Refine Results
Sort By
From
To
Page 4
Page 4
Applications and Innovations in Intelligent Systems XV ; Proceedings of AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
The papers in this volume are the refereed application papers presented at AI-2007, the Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2007.
An Introduction to Network Programming with Java
This book provides an overview of Java … . Each chapter is supplemented with practical programming exercises.The combination of code templates with good supporting discussions allows a competent Java programmer to rapidly expand his or her skill base to include network programming.
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
Algorithms and data structures : The Basic Toolbox
This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical language.
Algorithmic Learning in a Random World
This new monograph integrates mathematical theory and revealing experimental work. It demonstrates mathematically the validity of the reliability claimed by conformal predictors when they are applied to independent and identically distributed data, and it confirms experimentally that the accuracy is sufficient for many practical problems. Later chapters generalize these results to models called repetitive structures, which originate in the algorithmic theory of randomness and statistical physics. The approach is flexible enough to incorporate most existing methods of machine learning, including newer methods such as boosting and support vector machines and older methods such as nearest neighbors and the bootstrap.
Affect and Emotion in Human-Computer Interaction : From Theory to Applications
The present book provides an account of the latest work on a variety of aspects related to affect and emotion in human-technology interaction. It covers theoretical issues, user experience and design aspects as well as sensing issues, and reports on a number of affective applications that have been developed in recent years.
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances in Data Mining : Applications in E-Commerce, Medicine, and Knowledge Management
Presents papers describing selected projects on the topic of data mining in fields like e commerce, medicine, and knowledge management. The objective is to report on current results and at the same time to give a review on the present activities in this field in Germany. An effort has been made to include the latest scientific results, as well as lead the reader to the various fields of activity and the problems related to them. Knowledge discovery on the basis of web data is a wide and fast growing area. E commerce is the principal theme of motivation in this field, as companies invest large sums in the electronic market, in order to maximize their profits and minimize their risks. Other applications are telelearning, teleteaching, service support, and citizen information systems. Concerning these applications, there is a great need to understand and support the user by means of recommendation systems, adaptive information systems, as well as by personalization.
Advanced Topics in Exception Handling Techniques
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle.This book is composed of five parts; the first four deal with topics related to exception handling in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part focuses on case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.
Adaptive Business Intelligence
In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. Adaptive business intelligence systems combine prediction and optimization techniques to assist decision makers in complex, rapidly changing environments. These systems address the fundamental questions: What is likely to happen in the future? And what is the best decision right now? Adaptive Business Intelligence includes elements of data mining, predictive modeling, forecasting, optimization, and adaptability.
Active Conceptual Modeling of Learning : Next Generation Learning-Base System Development
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on November 8, 2006 during the 25th International Conference on Conceptual Modeling, ER 2006, held November 6–9,2006, in Tucson, Arizona, plus several invited papers.These papers plus the invited papers represent the current thinking in conceptual modeling research, The active model can only be realized through technology integration (e.g., AI, software engineering, information technology,cognitive science, art and sciences, philosophy, etc.)
A journey of embedded and cyber-physical systems : Essays dedicated to Peter Marwedel on the occasion of his 70th birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
A Graph-Theoretic Approach to Enterprise Network Dynamics
This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise networks. Network dynamics analysis yields valuable information about network performance, efficiency, fault prediction, cost optimization, indicators and warnings.
Level the curve: data-driven practice management principles to compete in today's changing orthodontic landscape
In Level the curve, tech-savvy orthodontist and entrepreneur Dr. Jamie Reynolds teams with digital stats guru Oliver Gelles to rewrite the rules for running a profitable orthodontic practice. Their book offers a proven, data-driven system that’s the new gold standard in orthodontic practices all over the country.
Learning the language of dentistry : disciplinary corpora in the teaching of English for specific academic purposes
Explores the affordances of disciplinary corpora for the teaching and learning of the language of dentistry, within the field of English for Specific Academic Purposes (ESAP). We extract disciplinary register features and vocabulary from three key genres of the dentistry discipline (published experimental research articles, case reports, and novice/professional research reports within the Dental Public Health domain), before integrating these features into ESAP pedagogy in the form of corpus-based ESAP materials that promote student-led direct engagement with disciplinary corpora – an approach known as 'data-driven learning'. This book is a timely and relevant addition to the field of corpus linguistics and ESAP, and is especially targeted at ESAP professionals who are required to teach disciplinary discourses but who may struggle to know what to teach as non-experts of the target discipline.
Community Oral Health Practice for the Dental Hygienist
Describes the role of the public health professional in improving the oral health care of people throughout the community. It discusses key topics such as access to care, the assessment needed for program planning, social responsibility and government policy, cultural diversity, and career options in public health. Written by respected dental educator Christine French Beatty, this book helps you prepare for the National Board Dental Hygiene Examination (NBDHE) and to develop the core competencies needed in the practice setting.
Classifications and lists in oral and maxillofacial surgery
Contains a concise collection of the most important oral and maxillofacial surgery classifications and lists. Such classifications help to describe diseases in a comprehensible, measurable, validated and reproducible manner and are the first step towards a systematic approach for treating specific conditions. Elsewhere in this book, lists provide clinical guidance on key subspecialty topics. Using subdivisions such as trauma, head and neck cancer, and orthognathic surgery, this is a succinct and easy-to-use guide for the head and neck clinician.
Burt and Eklund’s dentistry, dental practice, and the community
Presents dentistry and dental practice against the ever-changing backdrop of economic, technological, and demographic trends, as well as the distribution of the oral diseases that dental professionals treat and prevent. Readers will learn the latest techniques of research and measurement, and how oral disease may be limited through control and prevention. This updated text also addresses the new educational competencies for predoctoral/ post-doctoral dental students and dental hygiene students with updated and new content on cultural competency, oral health literacy, social responsibility, motivational interviewing, and oral systemic associations.
Basics of dental technology : a step by step approach
A complete reference for the current techniques and materials used in dental technology. Retains the accessible, task-based approach and step-by-step guidance. Features digital dental technology and an interactive student website to support self-assessment. Explains key competencies, concepts, instruments, and equipment, and also introduces more specialist techniques and procedures, such as denture prosthetics, fixed prosthodontics and orthodontic work. Provides essential information for trainee dental technicians and students learning about dental technology, including study tips and strategies for working effectively within a dental team
