Refine Results
Sort By
From
To
Page 28
Page 28
Ambient intelligence for scientific discovery : Foundations, theories, and systems
Many difficult scientific discovery tasks can only be solved in interactive ways, by combining intelligent computing techniques with intuitive and adaptive user interfaces. It is inevitable to use human intelligence in scientific discovery systems: human eyes can capture complex patterns and relationships, along with detecting the exceptional cases in a data set; the human brain can easily manipulate perceptions to make decisions. Ambient intelligence is about this kind of ubiquitous and autonomous human interaction with information. Scientific discovery is a process of creative perception and communication, dealing with questions like: how do we significantly reduce information while maintaining meaning, or how do we extract patterns from massive data and growing data resources. Originating from the SIGCHI Workshop on Ambient Intelligence for Scientific Discovery, this state-of-the-art survey is organized in three parts: new paradigms in scientific discovery, ambient cognition, and ambient intelligence systems. Many chapters share common features such as interaction, vision, language, and biomedicine.
Alternative breast imaging : Four model-based approaches
Medical imaging has been transformed over the past 30 years by the advent of computerized tomography (CT), magnetic resonance imaging (MRI), and various advances in x-ray and ultrasonic techniques. An enabling force behind this progress has been the (so far) exponentially increasing power of computers, which has made it practical to explore fundamentally new approaches. In particular, what our group terms "model-based" modalities-which produce tissue property images from data using nonlinear, iterative numerical modeling techniques-have become increasingly feasible. Alternative Breast Imaging: Four Model-Based Approaches explores our research on four such modalities, particularly with regard to imaging of the breast: (1) MR elastography (MRE), (2) electrical impedance spectroscopy (EIS), (3) microwave imaging spectroscopy (MIS), and (4) near infrared spectroscopic imaging (NIS).
Algorithms in Bioinformatics : Theory and Implementation
Explores a comprehensive and insightful treatment of the practical application of bioinformatic algorithms in a variety of fields. Delivers a fulsome treatment of some of the main algorithms used to explain biological functions and relationships. It introduces readers to the art of algorithms in a practical manner which is linked with biological theory and interpretation. The book covers many key areas of bioinformatics, including global and local sequence alignment, forced alignment, detection of motifs, Sequence logos, Markov chains or information entropy. Other novel approaches are also described, such as Self-Sequence alignment, Objective Digital Stains (ODSs) or Spectral Forecast and the Discrete Probability Detector (DPD) algorithm. Readers will also benefit from the inclusion of: A detailed presentation of new methods, such as Self-sequence alignment, Objective Digital Stains and Spectral Forecast ; A treatment of sequence alignment, including local sequence alignment, global sequence alignment and forced sequence alignment with full implementations ; Discussions of position-specific weight matrices, including the count, weight, relative frequencies, and log-likelihoods matrices ; A detailed presentation of the methods related to Markov Chains as well as a description of their implementation in Bioinformatics and adjacent fields ; An examination of information and entropy, including sequence logos and explanations related to their meaning ; A chapter on philosophical transactions that allows the reader a broader view of the prediction process ; Extensive worked examples with detailed case studies that point out the meaning of different results
Algorithms for Sensor and Ad Hoc Networks : Advanced Lectures
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain or other. After activation the sensors form a self-organized network and provide data, for example about a forthcoming earthquake. The trend towards wireless communication increasingly affects electronic devices in almost every sphere of life. Conventional wireless networks rely on infrastructure such as base stations; mobile devices interact with these base stations in a client/server fashion. In contrast, current research is focusing on networks that are completely unstructured, but are nevertheless able to communicate (via several hops) with each other, despite the low coverage of their antennas. Such systems are called sensor or ad hoc networks, depending on the point of view and the application. Wireless ad hoc and sensor networks have gained an incredible research momentum. Computer scientists and engineers of all flavors are embracing the area. Sensor networks have been adopted by researchers in many fields: from hardware technology to operating systems, from antenna design to databases, from information theory to networking, from graph theory to computational geometry.
Algorithms for Decision Making
A broad introduction to algorithms for decision making under uncertainty, introducing the underlying mathematical problem formulations and the algorithms for solving them. Automated decision-making systems or decision-support systems—used in applications that range from aircraft collision avoidance to breast cancer screening—must be designed to account for various sources of uncertainty while carefully balancing multiple objectives. This textbook provides a broad introduction to algorithms for decision making under uncertainty, covering the underlying mathematical problem formulations and the algorithms for solving them.
Algorithms and data structures for massive datasets
Learn: Probabilistic sketching data structures for practical problems Choosing the right database engine for your application Evaluating and designing efficient on-disk data structures and algorithms Understanding the algorithmic trade-offs involved in massive-scale systems Deriving basic statistics from streaming data Correctly sampling streaming data Computing percentiles with limited space resources Algorithms and Data Structures for Massive Datasets reveals a toolbox of new methods that are perfect for handling modern big data applications. You'll explore the novel data structures and algorithms that underpin Google, Facebook, and other enterprise applications that work with truly massive amounts of data. These effective techniques can be applied to any discipline, from finance to text analysis. Graphics, illustrations, and hands-on industry examples make complex ideas practical to implement in your projects--and there's no mathematical proofs to puzzle over. Work through this one-of-a-kind guide, and you'll find the sweet spot of saving space without sacrificing your data's accuracy. About the Technology Standard algorithms and data structures may become slow--or fail altogether--when applied to large distributed datasets. Choosing algorithms designed for big data saves time, increases accuracy, and reduces processing cost.
Algorithms – ESA 2007 ; 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings
This book presented submissions in the engineering and applications track. The papers address all current subjects in algorithmics reaching from design and analysis issues of algorithms over to real-world applicat.
Algorithmic learning theory ; Vol. 3734 ; 16th international conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
This volume contains the papers presented at the 16th Annual InternationalConference on Algorithmic Learning Theory (ALT 2005), which was held (Republic of Singapore), 2005. The main objective of theconference is to provide an interdisciplinary forum for the discussion of the the-oretical foundations of machine learning as well as their relevance to practicalapplications. The volume includes 30 technical contributions, which were selected by theprogram committee from 98 submissions.
Algorithmic Aspects of Bioinformatics
Advances in bioinformatics and systems biology require improved computational methods for analyzing data, while progress in molecular biology is in turn influencing the development of computer science methods. This book introduces some key problems in bioinformatics, discusses the models used to formally describe these problems, and analyzes the algorithmic approaches used to solve them. After introducing the basics of molecular biology and algorithmics, Part I explains string algorithms and alignments; Part II details the field of physical mapping and DNA sequencing; and Part III examines the application of algorithmics to the analysis of biological data. Exciting application examples include predicting the spatial structure of proteins, and computing haplotypes from genotype data. This book describes topics in detail and presents formal models in a mathematically precise, yet intuitive manner, with many figures and chapter summaries, detailed derivations, and examples. It is well suited as an introduction into the field of bioinformatics, and will benefit students and lecturers in bioinformatics and algorithmics, while also offering practitioners an update on current research topics.
Algorithmes dapproximation
Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. Il allie la profondeur de la théorie mathématique aux promesses d'applications pratiques d'un intérêt considérable. La plupart des problèmes issus d'applications relevant de domaines aussi différents que la conception de circuits VLSI, la conception et la planification de réseaux, l'ordonnancement, la théorie des jeux, la biologie ou la théorie des nombres, sont des problèmes NP-difficiles. Leur résolution exacte demanderait des ressources informatiques inaccessibles et ne peut donc être envisagée. Pour faire face à cette situation, un grand nombre d'algorithmes proposant des solutions approchées à ces problèmes ont été développés.
Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
Ajax Patterns and Best Practices
Ajax is taking us into the next generation of web applications. Ajax has broken the client-server barrier by decoupling the client from the server, but an Ajax application still needs a server to extract content from. The most effective use of Ajax and the server requires an understanding of REST, an architectural style used to define Web services. Ajax Patterns and Best Practices explores dynamic web applications that combine Ajax and REST as a single solution. A major advantage of REST is that, like Ajax, it can be used with today's existing technologies.
AI, data, and digitalization : First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers
Artificial Intelligence, Big Data and Digitalization allow us more than ever beforeto make use of the data our society and public and private sectors generate every day.Institutions around the world are increasingly turning to such methods and technologiesto help them solve complex problems, promote efficiency and improve performance anddecision-making.
AI and UX : Why artificial intelligence needs user experience
Great effort has been put forth to continuously make AI “smarter.” But, will smarter always equal more successful AI? It is not just about getting a product to market, but about getting the product into a user’s hands in a form that will be embraced. This demands examining the product from the perspective of the user. Authors Gavin Lew and Robert Schumacher have written AI and UX to examine just how product managers and designers can best strike this balance. From exploring the history of the parallel journeys of AI and UX, to investigating past product examples and failures, to practical expert knowledge on how to best execute a positive user experience, AI and UX examines all angles of how AI can best be developed within a UX framework.
AI and IoT for smart city applications
Provides a valuable combination of relevant research works on developing smart city ecosystem from the artificial intelligence (AI) and Internet of things (IoT) perspective. The technical research works presented here are focused on a number of aspects of smart cities: smart mobility, smart living, smart environment, smart citizens, smart government, and smart waste management systems as well as related technologies and concepts. This edited book offers critical insight to the key underlying research themes within smart cities, highlighting the limitations of current developments and potential future directions.
Agile processes in software engineering and extreme programming : XP 2022 workshops, Copenhagen, Denmark, June 13-17, 2022 and XP 2023 workshops, Amsterdam, the Netherlands, June 13-16, 2023 : revised selected papers
Book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands.
Agile Development with the ICONIX Process : People, Process, and Pragmatism
Describes how to apply ICONIX Process (a minimal, use case-driven modeling process) in an agile software project. It's full of practical advice for avoiding common agile pitfalls. Further, the book defines a core agile subset so those of you who want to get agile need not spend years learning to do it. Instead, you can simply read this book and apply the core subset of techniques. The book follows a real-life .NET/C# project from inception and UML modeling, to working code through several iterations. You can then go on-line to compare the finished product with the initial set of use cases. The book also introduces several extensions to the core ICONIX Process, including combining test-driven development (TDD) with up-front design to maximize both approaches (with examples using Java and JUnit). And the book incorporates persona analysis to drive the projects goals and reduce requirements churn.
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
Affect and Emotion in Human-Computer Interaction : From Theory to Applications
The present book provides an account of the latest work on a variety of aspects related to affect and emotion in human-technology interaction. It covers theoretical issues, user experience and design aspects as well as sensing issues, and reports on a number of affective applications that have been developed in recent years.
Advances in Production Technology
This edited volume contains the selected papers presented at the scientific board meeting of the German Cluster of Excellence on “Integrative Production Technology for High-Wage Countries”, held in November 2014. The topical structure of the book is clustered in six sessions: Integrative Production Technology, Individualised Production, Virtual Production Systems, Integrated Technologies, Self-Optimising Production Systems and Human Factors in Production Technology. The Aachen perspective on a holistic theory of production is complemented by conference papers from external leading researchers in the fields of production, materials science and bordering disciplines.
