Page 59
Page 59
Bayesian core : A practical approach to computational Bayesian statistics
This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on its theoretical justifications. Special attention is paid to the derivation of prior distributions in each case and specific reference solutions are given for each of the models.
Bayesian computation with R : Introduces Bayesian modeling by use of computation using the R language
R's open source nature, free availability, and large number of contributor packages have made R the software of choice for many statisticians in education and industry. Bayesian Computation with R introduces Bayesian modeling by the use of computation using the R language.
Battery management systems : Accurate state-of-charge indication for battery-powered applications
Builds further on the contents of the first volume in the Philips Research Book Series, Battery Management Systems - Design by Modelling. Since the subject of battery SoC indication requires a number of disciplines, this book covers all important disciplines starting from (electro)chemistry to understand battery behaviour, via mathematics to enable modelling of the observed battery behaviour and measurement science to enable accurate measurement of battery variables and assessment of the overall accuracy, to electrical engineering to enable an efficient implementation of the developed SoC indication system. It will therefore serve as an important source of information for any person working in engineering and involved in battery management.
Basic Probability Theory with Applications
This book presents elementary probability theory with interesting and well-chosen applications that illustrate the theory. An introductory chapter reviews the basic elements of differential calculus which are used in the material to follow. The theory is presented systematically, beginning with the main results in elementary probability theory. This is followed by material on random variables. Random vectors, including the all important central limit theorem, are treated next. The last three chapters concentrate on applications of this theory in the areas of reliability theory, basic queuing models, and time series. Examples are elegantly woven into the text and over 400 exercises reinforce the material and provide students with ample practice.
Barriers and Biases in Computer-Mediated Knowledge Communication : And How They May Be Overcome
This books deals with computer-mediated cooperation and communication scenarios in teaching and learning situations, leisure activities (e.g. laypersons looking for expert information on the internet), and net-based communication at work. Such scenarios will become increasingly important. But the successful use of such computer-mediated settings is not trivial. Cooperative learning and work itself requires special skills and strategies. And the technical settings with sometimes restricted, sometimes new possibilities for communication add problems on top of the cooperation itself. What are the barriers in computer-mediated communication for cooperative learning and work? Which are the most relevant biases in computer-mediated information processing? Based on empirical research the contributors from psychology, education and computer sciences offer different perspectives on the nature and causes of such barriers.
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.
Balkan Sprachbund Morpho-Syntactic Features
This book discusses the morpho-syntactic Balkan Sprachbund features in nine languages in which they are most numerous. It contains a wealth of Balkan linguistic material, collected from both the existing literature sources and from the author’s own field work.
Balancing Agility and Formalism in Software Engineering ; 2nd IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007.
Autonomous Robots and Agents
This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. Challenges faced in the real world to accomplish complex tasks, which require collaborative efforts, and methods to overcome them, are detailed. Several informative articles deal with navigation, localization and mapping of mobile robots, a problem that engineers and researchers are grappling with all the time.This edited volume is targeted to present the latest state-of-the-art methodologies in Robotics. It is a compilation of the extended versions of the very best papers selected from the many that were presented at the 3rd International Conference on Autonomous Robots and Agents (ICARA 2006) which was held at Palmerston North, New Zealand from 11-14 December, 2006. Scientists and engineers who work with mobile robots will find this book very useful and stimulating.
Autonomous intelligent systems : Multi-agents and data mining ; 2nd International workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007, Proceedings
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically focused on the design and implementation of lar- scale open distributed intelligent systems. KDD also provides intelligent inf- mation technology with powerful ideas, algorithms, and software means to help cope with the main problem of artificial intelligence, formulated in the we- known question “Where does the knowledge come from?”, thus actually making modern applications intelligent and adaptive. The evident recent trend in both science and industry is to integrate and take advantage of both technologies. The existing experience with combined application of multi-agent technology to design architectures of distributed (- erarchical and peer-to-peer) data mining and KDD systems, as well as the u- lization of data mining and KDD achievements to provide enhanced intelligence of MAS, confirms the fact that both technologies are capable of mutual enri- ment and their integrateduse may result in intelligent information systems with new emergent properties.
Autonomous intelligent systems : Agents and data mining ; International workshop, AIS-ADM 2005
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and Data Mining, AIS-ADM 2005, held in St. Petersburg, Russia in June 2005. The 17 revised full papers presented together with 5 invited papers and the abstract of an invited talk were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on agent-based data mining issues, ontologies and Web mining, and applications and case studies.
Autonomous control for a reliable internet of services : Methods, models, approaches, techniques, algorithms, and tools
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, researchers, engineers, and research strategists working in this field. The objective of this book is, by applying a systematic approach, to assess the state-of-the-art and consolidate the main research results achieved in this area.
Autonomic and Trusted Computing ; 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings
This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC 2008, held in Oslo, Norway, in June 2008, co-located with UIC 2008, the 5th International Conference on Ubiquitous Intelligence and Computing.
Autonomic and Trusted Computing ; 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication systems that exhibit self-awareness, self-configuration, self-optimization, self-healing, self-protection and other self-x operations to the maximum extenteven without human interventionor guidance. Organiccomputing(OC)additionally emphasizes natural-analogueconceptslike self-organization and controlled emergence. Any autonomic ororganic system must be trus tworthy to avoid the risk of l- ing control and to retain confidence that the system will not fail. Trust and/or distrust relationships on the Internet and in pervasive infrastructures are key factors to enable dynamic interaction and cooperation of various users, systems and services. Trusted/trustworthy computing (TC) aims at making computing and communication systems as well as services available, predictable, traceable, controllable, assessable, sustainable, dependable, persist-able, security/privacy protect-able, etc.
Autonomic and Trusted Computing ; 3rd International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ATC 2006, held in Wuhan, China in September 2006. The 57 revised full papers presented together with two keynotes were carefully reviewed and selected from 208 submissions. The papers are organized in topical sections.
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 .
Automotive Lighting and Human Vision
Visual perception is the most important of the human senses. Lack of visual perception is one of the main causes of accidents. The safety of vehicle traffic depends on how well automotive lighting supports the visual perception of the driver. This book explains the fundamentals of visual perception, like e.g. physiology of eye and brain, as well as those of automotive lighting technology, like e.g. design of headlamps and signal lights. It is an interdiciplinary approach to a fastly evolving field of science and technology, answering questions like "How does information enter our brain when driving a car?" and "What are the benefits and dangers of LED signal lighting?"
Automating business modelling : A guide to using logic to represent Informal methods and support reasoning
Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning their businesses. The resulting product, an enterprise model, is commonly used as a blueprint for reconstructing organizations and such effort is often a part of business process re-engineering and improvement initiatives. Automating Business Modelling describes different techniques of providing automated support for enterprise modelling methods and introduces universally used approaches. A running example of a business modelling method is included; providing a framework and detailed explanation as to how to construct automated support for modelling, allowing readers to follow the method to create similar support. Suitable for senior undergraduates and postgraduates of Business Studies, Computer Science and Artificial Intelligence, practitioners in the fields of Knowledge Management, Enterprise Modelling and Software Engineering, this book offers insight and know-how to both student and professional.
Automatic Autocorrelation and Spectral Analysis
It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing a suitable candidate for given data. Improved order selection quality guarantees that one of the best (and often the best) will be selected automatically. The data themselves suggest their best representation. Should the analyst wish to intervene, alternatives can be provided. Written for graduate signal processing students and for researchers and engineers using time series analysis for practical applications ranging from breakdown prevention in heavy machinery to measuring lung noise for medical diagnosis.
Automated technology for verification and analysis ; 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.
