Page 193
Page 193
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 Introduction To Chemoinformatics
This, the first text written specifically for this field, aims to provide an introduction to the major techniques of chemoinformatics. The first part of the book deals with the representation of 2D and 3D molecular structures, the calculation of molecular descriptors and the construction of mathematical models. The second part describes other important topics including molecular similarity and diversity, the analysis of large data sets, virtual screening, and library design. Simple illustrative examples are used throughout to illustrate key concepts, supplemented with case studies from the literature.
An introduction to cable roof structures ; 2nd ed.
Provides structural engineers with a concise introduction to the architectural, structural and technological aspects of cable roofs, and supplies sufficient information for engineers to carry out their own designs. The improved methods for generating wind and earthquake histories have been included as the trend in modern design codes seem increasingly to require that dynamic response of other forms of non-linear structures such as guyed masts is considered at the design stage.
An Interactive Multimedia Introduction to Signal Processing
A didactic concept is undertaken for microelectronics, computer technology and communication engineering, which deals with the visualization of signals and processes in addition to graphical programming of signal processing systems. Through the utilization of a professional and globally supported software for metrology and control engineering, DasyLab, useful applications can be developed, modified and optimized. Computer supported processing of real signals is made possible over the sound card and the parallel port. Over two hundred pre-programmed signal engineering systems and design transparencies are provided. Pictures also play a dominant rule in this book: there are numerous introduction-videos, one for every chapter, more than 250 high-quality pictures and - most important – all the "living" experiments and their results are visualized. With this learning system, readers can now make use of "equipment" and software, which was practically unaffordable for individuals in the past. What's more, here is a very new concept for learning Signal Processing, not only from the physically-based scientific fundamentals, but also from the didactic perspective, based on modern results of brain research.
An annotated timeline of operations research: An informal history
An Annotated Timeline of Operations Research: An Informal History recounts the evolution of Operations Research (OR) as a new science - the science of decision making. Arising from the urgent operational issues of World War II, the philosophy and methodology of OR has permeated the resolution of decision problems in business, industry, and government. The Timeline chronicles the history of OR in the form of self-contained, expository entries. Each entry presents a concise explanation of the events and people under discussion, and provides key sources where further relevant information can be obtained. In addition, books and papers that have influenced the development of OR or helped to educate the first generations of OR academics and practitioners are cited throughout the book.
Amplification of Chirality
Amplification of Chirality presents critical reviews of the present position and future trends in modern chemical research. The book contains short and concise reports on chemistry. Each is written by the world renowned experts. Still valid and useful after 5 or 10 years, more information as well as the electronic version of the whole content available at: springerlink.com.
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.
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.
Alternatives to Animal Testing : Proceedings of Asian Congress 2016
This book presents recent advances in the pure sciences that are of significance in the quest for alternatives to the use of animals in research and describes a variety of practical applications of the three key guiding principles for the more ethical use of animals in experiments – replacement, reduction, and refinement, collectively known as the 3Rs. Important examples from across the world of implementation of the 3Rs in the testing of cosmetics, chemicals, pesticides, and biologics, including vaccines, are described, with additional information on relevant regulations. The coverage also encompasses emerging approaches to alternative tests and the 3Rs.
Allelopathy : A Physiological Process with Ecological Implications
This book provides the reader relevant information about actual knowledge about the process of allelopathy, covering all aspects from the molecular to the ecological level. Special relevance is given to the physiological and ecophysiological aspects of allelopathy. Several ecosystems are studied and methodological considerations are taken into account in several different chapters. The book has been written to be useful both for Ph.D. students and for senior researchers, so the chapters include all necessary information to be read by beginners, but they also include a lot of useful information and discussion for the initiated.
Aligner Techniques in Orthodontics
Filled with the theoretical and practical clinical information on the popular aligner techniques with a focus on Invisalign. Written by practicing orthodontists and noted experts on the topic, the book is designed to help practitioners develop their skills in using aligners in orthodontics. The authors describe in detail the clear and simple methods for treating patients using different aligner techniques, as well as material on treating any given malocclusion.
Algoritmi : Lo spirito dell’informatica = Algorithms : The spirit of information technology
Algorithms are the heart of computer science and mathematics, since without them the use of computers would not be possible. In this book, which in its English edition has been a longtime bestseller, Harel and Feldmann answer all questions relating to this topic. They talk about the evaluation, correctness and effectiveness of algorithms, but also clarify some doubts about programming techniques and also refer to the very current discussion on quantum computing. The book is useful both as a basic text for an introductory university course in computer science, and as a general introduction to natural sciences, mathematics or engineering.
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 and Models for the Web-Graph ; 4th International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers
his book constitutes the revised papers of the Fourth International Workshop on Algorithms and Models for the Web-Graph, WAW 2006, held in Banff, Canada, November 30 - December 1, 2006.
Algorithms – ESA 2005 ; 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings
This volume contains the 75 contributed papers and the abstracts of the threeinvited lectures presented at the 13th Annual European Symposium on Algo-rithms (ESA 2005), held in Spain, 2005. respectively.Papers were solicited in all areas of algorithmic research, including but notlimited to algorithmic aspects of networks, approximation and on-line algo-rithms, computational biology, computational geometry, computational financeand algorithmic game theory, data structures, database and information re-trieval, external memory algorithms, graph algorithms, graph drawing, machinelearning, mobile computing, pattern matching and data compression, quantumcomputing, and randomized algorithms. The algorithms could be sequential,distributed, or parallel. Submissions were especially encouraged in the area ofmathematical programming and operations research, including combinatorialoptimization, integer programming, polyhedral combinatorics, and semidefiniteprogramming.Each extended abstract was submitted to one of the two tracks.
