Refine Results
Sort By
From
To
Page 1
Page 1
Classic Papers in Modern Diagnostic Radiology
The subject of diagnostic radiology is now very large and radiology depa- ments are involved in all areas of modern patient care.The defining event in m- ern radiology,and arguably the most significant development in radiology since Wilhelm Röntgen discovered X-rays, was the invention of the CT scanner in the 1970s.The CT scanner introduced modern cross-sectional imaging and also di- tal imaging.We now have MRI and ultrasound and these techniques are replacing many traditional X-ray procedures.The developments in radiology have been the result of a fruitful interaction between the basic sciences, clinical medicine and the manufacturers. This can be seen by looking at the various sources of these publications. Change is produced by the interactions between the various dis- plines. The editors have had a very difficult task in selecting the key discoveries and descriptions.The radiological literature is very large.Medical imaging continues to develop rapidly and these papers are the foundations of our current practice.
Analyse céphalométrique fonctionnelle et esthétique de profil = Functional and aesthetic cephalometric profile analysis
The complexity of the craniofacial architecture explains the multiplicity of cephalometric analyzes, too often based on points without phylogenetic, ontogenetic, anatomical or biomechanical justification. The value of a reliable and rapid analysis designed from indisputable fundamental foundations is essential. It enables the use of cephalometry in the daily practice of orthodontists, maxillofacial surgeons and facial plastic surgeons. This functional and aesthetic cephalometric analysis is carried out from fourteen anatomical points, ten bony points and four skin points, which all have in common that they are exo-basicranial. This analysis is easy to understand and use. It only takes five minutes to be learned and five minutes to be traced (fifteen seconds if it is computerized). The resulting results are reliable. The functional and aesthetic analysis is developed through four chapters. The first is devoted to the fundamental bases, the second to the analysis itself and to clinical cases, the third to the comparative study of different cephalometric analyzes, and finally the fourth chapter revisits the work of Arne Björk.
Linked Democracy : Foundations, Tools, and Applications
This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic democracy, offering licensed linked data along with information about the rights involved. This model of democracy for the web of data brings new challenges for the social organisation of knowledge, collective innovation, and the coordination of actions. Licensed linked data, licensed linguistic linked data, right expression languages, semantic web regulatory models, electronic institutions, artificial socio-cognitive systems are examples of regulatory and institutional design (regulations by design). The web has been massively populated with both data and services, and semantically structured data, the linked data cloud, facilitates and fosters human-machine interaction. Linked data aims to create ecosystems to make it possible to browse, discover, exploit and reuse data sets for applications. Rights Expression Languages semi-automatically regulate the use and reuse of content.
Mathematical Linguistics
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents linguistics as a cumulative body of knowledge from the ground up, with no prior knowledge of linguistics being assumed, covering more than the average two-semester introductory course in linguistics.This comprehensive, reader-friendly volume offers readers a high-level orientation, discussing the foundations of the field and presenting both the classical work and the most recent results. It covers an extremely rich array of topics including not only syntax and semantics but also phonology and morphology, probabilistic approaches, complexity, learnability, and the analysis of speech and handwriting.
Machine Learning Refined : Foundations, Algorithms, and Applications
Provides students with the fundamental knowledge and practical tools needed to conduct research and build data-driven products. The authors prioritize geometric intuition and algorithmic thinking, and include detail on all the essential mathematical prerequisites, to offer a fresh and accessible way to learn. Practical applications are emphasized, with examples from disciplines including computer vision, natural language processing, economics, neuroscience, recommender systems, physics, and biology.
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Literature-based Discovery
When Don Swanson hypothesized a connection between Raynaud’s phenomenon and dietary fish oil, the field of literature-based discovery (LBD) was born. During the subsequent two decades a steady stream of researchers have published articles about LBD and the field has made steady progress in laying foundations and creating an identity. LBD is an inherently multi-disciplinary enterprise where collaborations between the information and biomedical sciences are readily encountered. It is the hope and intention that this volume will plant a flag in the ground and inspire new researchers to the LBD challenge.
Knowledge Sharing in the Integrated Enterprise : Interoperability Strategies for the Enterprise Architect
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Complexity Theory and Cryptology : An Introduction to Cryptocomplexity
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research in complexity theory often is motivated by questions and problems arising in cryptology. This book takes account of this trend, and therefore its subject is what may be dubbed "cryptocomplexity,'' some sort of symbiosis of these two areas. This textbook is suitable for undergraduate and graduate students of computer science, mathematics, and engineering, and can be used for courses on complexity theory and cryptology, preferably by stressing their interrelation. Starting from scratch, it is an accessible introduction to cryptocomplexity and works its way to the frontiers of current research. It provides the necessary mathematical background, has numerous figures, exercises, and examples, and presents some central, up-to-date research topics and challenges. Due to its comprehensive bibliography and subject index, it is also a valuable source for researchers, teachers, and practitioners working in these fields.
Big Data Recommender Systems ; Vol.2 : Application Paradigms
Combines experimental and theoretical research on big data recommender systems to help computer scientists develop new concepts and methodologies for complex applications. It includes original scientific contributions in the form of theoretical foundations, comparative analysis, surveys, case studies, techniques and tools. First designed to generate personalized recommendations to users in the 90s, recommender systems apply knowledge discovery techniques to users’ data to suggest information, products, and services that best match their preferences. In recent decades, we have seen an exponential increase in the volumes of data, which has introduced many new challenges. recommender systems. Volume 2 covers a broad range of application paradigms for recommender systems over 22 chapters
Big Data Recommender Systems ; Vol.1 : Algorithms, Architectures, Big Data, Security and Trust
Combines experimental and theoretical research on big data recommender systems to help computer scientists develop new concepts and methodologies for complex applications. It includes original scientific contributions in the form of theoretical foundations, comparative analysis, surveys, case studies, techniques and tools.
Artificial intelligence in medicine
Provides a structured and analytical guide to the use of artificial intelligence in medicine. Covering all areas within medicine, the chapters give a systemic review of the history, scientific foundations, present advances, potential trends, and future challenges of artificial intelligence within a healthcare setting.
An introduction to ontology engineering
Provides the reader with a comprehensive introductory overview of ontology engineering. A secondary aim is to provide hands-on experience in ontology development that illustrate the theory. The book is divided into three blocks: Block I: logic foundations for ontologies both regarding the languages (mainly First Order predicate Logic, Description Logics, and OWL) and automated reasoning. Block II: developing good ontologies with methods and methodologies, the top-down approach with foundational ontologies, and the bottom-up approach to extract as much useful content as possible from legacy material. Block III: advanced topics with a selection of areas of specialisation, including Ontology-Based Data Access, the interaction between ontologies and natural languages (multilingual ontologies, controlled natural language), and advanced modelling with additional language features (fuzzy and temporal ontologies)
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.
Algorithmic learning theory ; Vol. 3734 ; 16th international conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
This volume contains the papers presented at the 16th Annual InternationalConference on Algorithmic Learning Theory (ALT 2005), which was held (Republic of Singapore), 2005. The main objective of theconference is to provide an interdisciplinary forum for the discussion of the the-oretical foundations of machine learning as well as their relevance to practicalapplications. The volume includes 30 technical contributions, which were selected by theprogram committee from 98 submissions.
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 fuzzy logic systems
Fuzzy logic systems have been a hot topic in the scientific and academic community for more than half a century. The idea of making machines behave and make decisions like humans do is astounding. The development and implementation of fuzzy logic systems can be seen in various real physical applications in daily human life. The methods employed using fuzzy logic have resulted in innovative technologies. This book provides insights into understanding the principles and concepts behind the advances of fuzzy logic systems. It presents ideas concerning fuzzy logic systems and their technological applications. The book is arranged into two sections on theories and foundations of fuzzy logic systems and implementations of fuzzy logic systems in service to the community.
Adaptive Autonomous Secure Cyber Systems
Establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure and reliable Internet. The recent advances in adaptive cyber defense (ACD) have developed a range of new ACD techniques and methodologies for reasoning in an adaptive environment.
Access Control Systems : Security, Identity Management and Trust Models
Access Control Systems: Security, Identity Management and Trust Models provides a thorough introduction to the foundations of programming systems security, delving into identity management, trust models, and the theory behind access control models. The book details access control mechanisms that are emerging with the latest Internet programming technologies, and explores all models employed and how they work. The latest role-based access control (RBAC) standard is also highlighted.
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.
