Bandwidth Extension of Speech Signals
Bandwidth Extension of Speech Signals provides discussion on different approaches for efficient and robust bandwidth extension of speech signals while acknowledging the influence of noise corrupted real-world signals. The book describes the theory and methods for quality enhancement of clean speech signals and distorted speech signals.
Autonomous vehicles technological trends
The automotive industry has always been synonymous with research and innovation, but nowadays the industry is adding pressure and is establishing the agenda of the researchers from the field. Visions have been provided, and the hardware and the software exist; the only question remaining is: “who is going to deliver”? To answer this question, we encouraged scientists, researchers, industry specialists, and academics to share their vision of autonomous vehicles. What will the platform look like? What kind of hardware and software is most suitable? Who will make the connection between these two interdependent environments (and how), so that in the end the AI will define the process? These are the pressing issues of the current moment, and this Special Issue will help all those interested in the topic to promote their vision and ideas.
Automotive software - connected services in mobile networks ; 1st Automotive software workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers .
Automated technology for verification and analysis ; 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects
Automated technology for verification and analysis ; 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.
Automated technology for verification and analysis ; 3rd International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2005, the third of the ATVA series, was held in Taipei, Taiwan, 2005. The main theme of the symposium encompasses - sign, complexities, tools, and applications of automated methods for veri?cation and analysis. This book constitutes the refereed proceedings of the symposium .
Automated reasoning with analytic tableaux and related methods ; International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2005)heldSeptember 2005inKoblenz,Germany. which included conferences covering a broad spectrum of topics and intere- ing ?elds of application for tableau-based methods: arti?cial intelligence (KI), multi-agent systems (MATES), automated reasoning and knowledge represen- tion (FTP), and software engineering and formal methods (SEFM).
Automated nanohandling by microrobots
Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. Different aspects of this research field regarding the hardware and software implementation of the system components, including the sensory feedback for automated nanohandling, are discussed in detail. Extensive applications of the microrobot station for nanohandling, nano-characterization and nanostructuring are provided, together with the experimental results.
Authoritative communities : The scientific case for nurturing the whole child
Authoritative Communities: The Scientific Case for Nurturing the Whole Child introduces innovative solutions based firmly in the children’s mental health and resilience literature and in the hypothesis that humans are "hardwired to connect." These "authoritative communities" consist of such individuals and institutions as parents, teachers, coaches, elders, and a variety of organizations that are committed to each other’s well-being over the long-term and who instill children with prosocial values such as empathy and compassion. Living within these communities enables children and youth to develop a consistent sense of purpose and meaning, so that they, in turn, are able to grow up to be responsible, productive, and nurturing adults.
Auditory Trauma, Protection, and Repair
Protection and Repair presents recent developments in auditory research and their potential translation to the clinical setting. In particular the authors address the major entities of peripheral auditory trauma, discuss the underlying mechanisms, the central nervous system consequences, protective interventions and finally explore the possibilities to restore cochlear morphology and function.Two themes run through the chapters in this book: cellular homeostasis and cell death. In the broadest sense, all auditory pathologies are disorders of cellular homeostasis.
Auditory Perception of Sound Sources
Auditory Perception of Sound Sources covers higher-level auditory processes that are perceptual processes. The chapters describe how humans and other animals perceive the sounds that they receive from the many sound sources existing in the world. This book will provide an overview of areas of current research involved with understanding how sound-source determination processes operate. This book will focus on psychophysics and perception as well as being relevant to basic auditory research.
Atlas of staging in gynecological cancer
Atlas of Staging in Gynecological Cancer gives a practical approach to the topic and is designed to be used in conjunction with diagnostic procedures between the surgeon and the radiologist. This book describes the two common staging regimes used by all units across the world, namely, the FIGO and TNM systems.
Atlas of Pediatric Oral and Dental Developmental Anomalies
A quick reference diagnostic guide for students and clinicians, covering a wide range of oral and dental developmental anomalies in children and adolescents. A useful, quick reference atlas helping students and clinicians diagnose a wide range of oral and dental developmental anomalies in children and adolescents Highly illustrated with clinical photographs Describes both common and rare conditions, and explores treatment options
Atlas of fundus autofluorescence imaging
During recent years, FAF (Fundus autofluorescence) imaging has been shown to be useful in various retinal diseases with regard to diagnostics, documentation of changes, identification of disease progression, and monitoring of novel therapies. Hereby, FAF imaging gives additional information above and beyond conventional imaging tools.This unique atlas provides a comprehensive and up-to-date overview of FAF imaging in retinal diseases. It also compares FAF findings with other imaging techniques such as fundus photograph, fluorescein- and ICG angiography as well as optical coherence tomography. General ophthalmologists as well as retina specialists will find this a very useful guide which illustrates typical FAF characteristics of various retinal diseases.
Astronomical sketching : A step-by-step introduction
At some time we have all gazed through the telescope eyepiece at the magnificent rings and banded globe of Saturn, or seen long shadows reaching across crater floors at the Moon’s terminator – and wondered at the sheer beauty of the sight. It seems almost anachronistic to think of sketching when CCD imaging is available, but astronomical sketching provides an entirely different and deeply personal experience. It means spending time at the eyepiece to really look at what you can see, training your eye to perceive ever greater detail to take the fullest advantage of your telescope's light grasp and resolution.
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis from several (i.e. linguistic, mathematical, and information theoretical) perspectives. It describes methodological as well as methodical foundations and collects approaches in the field of text and corpus linguistics. In this sense, it contributes to the computational linguistic and information theoretical grounding of automatic text analysis.
Artificial neural networks in Vehicular Pollution Modelling
Artificial neural networks (ANNs), which are parallel computational models, comprising of interconnected adaptive processing units (neurons) have the capability to predict accurately the dispersive behavior of vehicular pollutants under complex environmental conditions. This book aims at describing step-by-step procedure for formulation and development of ANN based VP models considering meteorological and traffic parameters. The model predictions are compared with existing line source deterministic/statistical based models to establish the efficacy of the ANN technique in explaining frequent dispersion complexities in urban areas. The book is very useful for hardcore professionals and researchers working in problems associated with urban air pollution management and control.
Artificial neural networks : Formal Models and Their Applications – ICANN 2005 ; 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II
The second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network models, supervised learning algorithms, ensemble-based learning, unsupervised learning, recurent neural networks, reinforcement learning, bayesian approaches to learning, learning theory, artificial neural networks for system modeling, decision making, optimalization and control, knowledge extraction from neural networks, temporal data analysis, prediction and forecasting, support vector machines and kernel-based methods, soft computing methods for data representation, analysis and processing, data fusion for industrial, medical and environmental applications, non-linear predictive models for speech processing, intelligent multimedia and semantics, applications to natural language processing, various applications, computational intelligence in games, and issues in hardware implementation.
Artificial Mind System : Kernel Memory Approach
This book is written from an engineer's perspective of the mind. "Artificial Mind System" exposes the reader to a broad spectrum of interesting areas in general brain science and mind-oriented studies. In this research monograph a picture of the holistic model of an artificial mind system and its behaviour is drawn, as concretely as possible, within a unified context, which could eventually lead to practical realisation in terms of hardware or software. With a view that "the mind is a system always evolving", ideas inspired by many branches of studies related to brain science are integrated within the text, i.e. artificial intelligence, cognitive science / psychology, connectionism, consciousness studies, general neuroscience, linguistics, pattern recognition / data clustering, robotics, and signal processing.
Artificial life models in software
Artificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and analysis of artefactual, virtual and living forms, written by those who personally design and produce software, hardware and art installations in artificial life, simulated complex systems and virtual worlds. This timely volume offers a nearly exhaustive overview and original analysis of major non-profit artificial life software packages. The carefully selected topics include: · simulation of real and imaginary life forms and their evolution · self-organization · emergent behaviours · swarm intelligence · evolutionary robotics · agent-based simulations · adaptive, complex and biologically inspired ecosystems · creative computer art There has long been a need within the academic and research community for an informal introduction and guidance to modern software tools for modelling and simulation of life-like phenomena – Artificial Life Models in Software fills this gap and provides invaluable information to both professional and amateur readers, offering detailed reviews of contemporary software for artificial life.



















