الصفحة 90
الصفحة 90
Analytical and Stochastic Modeling Techniques and Applications ; 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2008, held in Nicosia, Cyprus, in June 2008.
Analysis and Design of Information Systems : Third ed.
This third edition of the successful Analysis and Design of Information Systems provides a comprehensive introduction and user-friendly survey to all aspects of business transformation and analysis, and aims to provide the complex set of tools covering all types of systems, including legacy, transactional, database, and web/e-commerce topics.
An Introduction to Language Processing with Perl and Prolog : An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German
This book teaches the principles of natural language processing, first covering linguistics issues such as encoding, entropy, and annotation schemes; defining words, tokens and parts of speech; and morphology. It then details the language-processing functions involved, including part-of-speech tagging using rules and stochastic techniques; using Prolog to write phase-structure grammars; parsing techniques and syntactic formalisms; semantics, predicate logic and lexical semantics; and analysis of discourse, and applications in dialog systems. The key feature of the book is the author's hands-on approach throughout, with extensive exercises, sample code in Prolog and Perl, and a detailed introduction to Prolog. The reader is supported with a companion website that contains teaching slides, programs, and additional material.
An Introduction to Kolmogorov Complexity and Its Applications
Written by two experts in the field, this book is ideal for advanced undergraduate students, graduate students, and researchers in all fields of science. It is self-contained: it contains the basic requirements from mathematics, probability theory, statistics, information theory, and computer science. Included are history, theory, new developments, a wide range of applications, numerous (new) problem sets, comments, source references, and hints to solutions of problems. This is the only comprehensive treatment of the central ideas of Kolmogorov complexity and their applications.
An Introduction to Knowledge Engineering
Knowledge Engineering refers to the development of systems that use knowledge, rather than data, to solve many novel computing problems. This is achieved by the application of computing techniques, closely associated with human cognitive processes, for transforming data into knowledge. An Introduction to Knowledge Engineering presents a simple but detailed exploration of current and established work in the field.
An Introduction to Formal Languages and Automata
Designed for an introductory course on formal languages, automata, compatibility, and related matters forming what is known as the theory of computation
An introduction to description logics
Designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them.
An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering introduces software engineering to advanced-level undergraduate and graduate students of computer science. It emphasizes a case-study approach whereby a project is developed through the course of the book, illustrating the different activities of software development. The sequence of chapters is essentially the same as the sequence of activities performed during a typical software project. All activities, including quality assurance and control activities, are described in each chapter as integral activities for that phase of development. Similarly, the author carefully introduces appropriate metrics for controlling and assessing the software process. Chapters in this revised edition, updated for today’s standards, include these new features: Software Process, Requirements Analysis and Specification, Software Architecture, Project Planning, Object Oriented Design, Coding,Testing,
AmIware : Hardware Technology Drivers of Ambient Intelligence
Ambient Intelligence is one of the new paradigms in the development of information and communication technology, which has attracted much attention over the past years. The aim is the to integrate technology into people environment in such a way that it improves their daily lives in terms of well-being, creativity, and productivity. Ambient Intelligence is a multidisciplinary concept, which heavily builds on a number of fundamental breakthroughs that have been achieved in the development of new hardware concepts over the past years. New insights in nano and micro electronics, packaging and interconnection technology, large-area electronics, energy scavenging devices, wireless sensors, low power electronics and computing platforms enable the realization of the heaven of ambient intelligence by overcoming the hell of physics.
Ambisonics : A Practical 3D Audio Theory for Recording, Studio Production, Sound Reinforcement, and Virtual Reality
Provides a concise explanation of the fundamentals and background of the surround sound recording and playback technology Ambisonics. It equips readers with the psychoacoustical, signal processing, acoustical, and mathematical knowledge needed to understand the inner workings of modern processing utilities, special equipment for recording, manipulation, and reproduction in the higher-order Ambisonic format. The book comes with various practical examples based on free software tools and open scientific data for reproducible research. The book includes an extensive mathematical appendix. The book offers readers a deeper understanding of Ambisonic technologies, and will especially benefit scientists, audio-system and audio-recording engineers.
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.
Ambient intelligence : A novel paradigm
Ambient Intelligence (AmI) is an integrating technology for supporting a pervasive and transparent infrastructure for implementing smart environments. Such technology is used to enable environments for detecting events and behaviors of people and for responding in a contextually relevant fashion. AmI proposes a multi-disciplinary approach for enhancing human machine interaction. The authors start with a description of the iDorm as an example of a smart environment conforming to the AmI paradigm, and introduces computer vision as an important component of the system. Other computer vision examples describe visual monitoring for the elderly, classic and novel surveillance techniques using clusters of cameras installed in indoor and outdoor application domains, and the monitoring of public spaces. Face and speech recognition systems are also covered as well as enhanced LEGO blocks for novel educational purposes. The book closes with a provocative chapter on how a cybernetic system can be designed as the backbone of a human machine interaction.
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 ; Vol.4175 : 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings
This book constitutes the refereed proceedings of the 6th International Workshop on Algorithms in Bioinformatics, WABI 2006, held in Zurich, Switzerland in September 2006 in the course of the ALGO 2006 conference meetings. The 36 revised full papers presented were carefully reviewed and selected from 100 submissions. All current issues of algorithms in bioinformatics are addressed, ranging from mathematical tools to experimental studies of approximation algorithms and reports on significant computational analyses. Numerous biological problems are dealt with, including genetic mapping, sequence alignment and sequence analysis, phylogeny, comparative genomics, and protein structure. For the first time also machine-learning approaches along with combinatorial optimization are covered.
Algorithms in Bioinformatics ; Vol. 3692 ; 5th international workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings
this book present the proceedings of the 5th Workshop on Algorithmsin Bioinformatics (WABI 2005) which took place in Spain, 2005. The Workshop on Algorithms in Bioinformatics highlights research workspecifically developed to address algorithmic problems in biosequence analysis. The emphasis is therefore on statistical and probabilistic algorithms that addressimportant problems in the field of molecular and structural biology. the workshop aims to present recent research results, includingsignificant work in progress, and to identify and explore directions of futureresearch.Original research papers (including significant work in progress) or state-of-the-art surveys were solicited on all aspects of algorithms in bioinformatics,including, but not limited to: exact and approximate algorithms for genomics,genetics, sequence analysis, gene and signal recognition, alignment, molecularevolution, phylogenetics, structure determination or prediction, gene expressionand gene networks, proteomics, functional genomics, and drug design.
Algorithms in Bioinformatics ; 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 meeting.
Algorithms in Bioinformatics ; 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings
All current issues of algorithms in bioinformatics are addressed, ranging from mathematical tools to experimental studies of approximation algorithms and reports on significant computational analyses. Numerous biological problems are dealt with, including genetic mapping, sequence alignment and sequence analysis, phylogeny, comparative genomics, and protein structure. Furthermore the papers feature high-performance computing approaches to computationally hard learning and optimization problems in bioinformatics and cover methods, software and dataset repositories for development and testing of such algorithms and their underlying models.
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.
