الصفحة 21
الصفحة 21
Advances in spatial and temporal databases ; 10th International symposium, SSTD 2007, Boston, MA, USA, July 16.-18, 2007, Proceedings
The book is classified in numerous categories, each corresponding to a conference session. These include continuous monitoring; indexing and query processing; and mining.
Advances in Periodontal Surgery : A Clinical Guide to Techniques and Interdisciplinary Approaches
This book describes practical, contemporary, and evidence-based surgical approaches for the treatment of diseases and conditions affecting the periodontium, including advanced forms of periodontal disease, gingival recession, and complex cases requiring interdisciplinary management.
Advances in decision making under risk and uncertainty
Whether we like it or not we all feel that the world is uncertain. From choosing a new technology to selecting a job, we rarely know in advance what outcome will result from our decisions. Unfortunately, the standard theory of choice under uncertainty developed in the early forties and fifties turns out to be too rigid to take many tricky issues of choice under uncertainty into account. The good news is that we have now moved away from the early descriptively inadequate modeling of behavior. This book brings the reader into contact with the accomplished progress in individual decision making through the most recent contributions to uncertainty modeling and behavioral decision making. It also introduces the reader into the many subtle issues to be resolved for rational choice under uncertainty.
Advancements in Electric Machines
Discusses the stateof-the art of electric machines, associated components and contemporary trends of their development. Novel electric machines considered in this book have been limited to rotary electric machines. Linear electric machines and linear actuators have not been included.
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues ; 3rd International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings
Provides an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring - gether researchers and practitioners from both academia and industry to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications.
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques ; 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Constitutes the refereed proceedings of the Fourth International Conference on Intelligent Computing, ICIC 2008, held in Shanghai, China in September 2008.
Advanced Intelligent Computing Theories and Applications : With Aspects of Contemporary Intelligent Computing Techniques ; 3rd International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring - gether researchers and practitioners from both academia and industry to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing.This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications.
Advanced Intelligent Computing Theories and Applications : With Aspects of Artificial Intelligence ; 3rd International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring gether researchers and practitioners from both academia and industry to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing.This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications.
Advanced Fuzzy Logic Technologies in Industrial Applications
Addresses the problem by introducing a dynamic, on-line fuzzy inference system. In this system membership functions and control rules are not determined until the system is applied and each output of its lookup table is calculated based on current inputs. The tuning process is a major focus in this volume because it is the most difficult stage in fuzzy control application. Using new methods such as µ-law technique, histogram equalization and the Bezier-based method, all detailed here, the tuning process can be significantly simplified and control performance improved. The other great strength of this book lies in the range and contemporaneity of its applications and examples which include: laser tracking and control; robot calibration; image processing and pattern recognition; medical engineering; audio systems; autonomous underwater vehicles and data mining.
Advanced Data Warehouse Design : From Conventional to Spatial and Temporal Applications
This book serves as an introduction to the state of the art on data warehouse design, with many references to more detailed sources. Providing a clear and a concise presentation of the major concepts and results of data warehouse design, it can also be used as the basis of a graduate or advanced undergraduate course.
Adaptive Multimedia Retrieval : User, Context, and Feedback ; Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers
This book is an extended collection of revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2005). This workshop was organized during July 28-29, 2005, at the U- versity of Glasgow, UK, as part of an information retrieval research festival and in co-location with the 19th International Joint Conference on Arti?cial Int- ligence (IJCAI 2005). AMR 2005 was the third and so far the biggest event of the series of workshops that started in 2003 with a workshop during the 26th German Conference on Arti?cial Intelligence (KI 2003) and continued in 2004 as part of the 16th European Conference on Arti?cial Intelligence (ECAI 2004).
Adaptive Multimedia Retrieval : User, Context, and Feedback ; 4th International Workshop, AMR 2006, Geneva, Switzerland, July, 27-28, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Adaptive Multimedia Retrieval, AMR 2006, held in Geneva, Switzerland in July 2006. this book provides a good and conclusive overview of the current research in the area of adaptive information retrieval.
Adapting dermal fillers in clinical practice
There have been many different brands of dermal fillers approved for use for soft tissue augmentation in the US market alone, comprising four different types of temporary fillers and one permanent type, with several other brands and types also available elsewhere in the world. Against such a potentially bewildering variety and range of choices, this new text offers a scientific and an anatomic rationale for why a particular filler should be selected as optimal for each individual location and indication and how it should best be used in treatments. International experts share their clinical knowledge and expertise to guide all levels of aesthetic practitioners toward the best results for each individual patient.
Accounting for deferred income taxes
Incorporates the new tax rates and other impacts of the Tax Cuts and Jobs Act and will assist you in understanding FASB ASC 740, Income Taxes, and how it establishes guidelines for accounting for income taxes, including income tax expense, classification of deferred tax accounts, and related disclosures.
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
A Theory of Marketing : Outline of a Social Systems Perspective
Marketing has become one of the most influential forces in contemporary market economies. Yet despite ubiquitous empirical presence, uncountable textbook definitions, and sixty years of scholarly work, a coherent sociological understanding of this powerful concept is still amiss. Drawing on Luhmannian social systems theory, historical analysis, and four qualitative studies, the author theorizes on the marketing function as a self-contained system of communications. It is argued that marketing systems prosper within a host organization if and as long as they successfully influence observers' preferences towards particular brands. On these conceptual foundations a comprehensive brand- and communication-centered theory is developed that fulfills Alderson', Cox' and Bartels' foundational requirements for a general theory of marketing in an unprecedented way.
A Short Dictionary of Furniture : Containing Over 2,600 Entries That Include Terms and Names Used in Britain and the USA
Contains 2,612 entries and over 1,000 illustrations, reproduced from contemporary sources and from drawings by Ronald Escott, Marcelle Barton and Maureen Stafford. 6 sections: the first and second concern the description and design of furniture, the third contains the entries, the fourth gives a list of furniture makers in Britain and North America, section five records books and periodicals on furniture and design and the concluding section sets out in tabular form the periods with the materials used, and types of craftsmen employed from 1100 to 1950.
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Presents a ""practical theory"" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using ""horizontal"" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works.
A Logical Approach to Philosophy : Essays in Honour of Graham Solomon
The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic makes to philosophical progress, both by the application of formal methods to traditional philosophical problems and by opening up new avenues of inquiry as philosophers sort out the implications of new and often surprising technical results. Contributions include new technical results rich with philosophical significance for contemporary metaphysics, attempts to diagnose the philosophical significance of some recent technical results, philosophically motivated proposals for new approaches to negation, investigations in the history and philosophy of logic, and contributions to epistemology and philosophy of science that make essential use of logical techniques and results.
