تحسين النتائح
ترتيب حسب
من
الى
الصفحة 3
الصفحة 3
List decoding of error-correcting codes : Winning thesis of the 2002 ACM doctoral dissertation competition
Presents some spectacular new results in the area of decoding algorithms for error-correcting codes. Specifically, it shows how the notion of “list-decoding” can be applied to recover from far more errors, for a wide variety of err- correcting codes, than achievable before. A brief bit of background : error-correcting codes are combinatorial str- tures that show how to represent (or “encode”) information so that it is - silient to a moderate number of errors. Speci?cally, an error-correcting code takes a short binary string, called the message, and shows how to transform it into a longer binary string, called the codeword, so that if a small number of bits of the codewordare ?ipped, the resulting string does not look like any other codeword. The maximum number of errorsthat the code is guaranteed to detect, denoted d, is a central parameter in its design. A basic property of such a code is that if the number of errors that occur is known to be smaller than d/2, the message is determined uniquely. This poses a computational problem, called the decoding problem : compute the message from a corrupted codeword, when the number of errors is less than d/2.
Journal on Data Semantics X
Web semantics and semi-structured data , Semantic caching , Data warehousing and semantic data mining , Spatial, temporal, multimedia and multimodal semantics , Semantics in data visualization , Semantic services for mobile users , Supporting tools , Applications of semantic-driven approaches These topics are to be understood as specifically related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not from the topics in the list. While the physical appearance of the journal issues is like the books from the we- known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board.
Journal on Data Semantics VI
Data warehousing and semantic data mining • Spatial, temporal, multimedia and multimodal semantics • Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven approaches These topics are to be understood as speci?cally related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not within the topics in the list. While the physical appearanceof the journal issues looks like the books from the well-known Springer LNCS series, the mode of operation is that of a jo- nal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board. Contributions may also be invited, and nevertheless carefully reviewed, as in the case for issues that contain extended versions of best papers from major conferences addressing data semantics issues. Special issues, foc- ing on a speci?c topic, are coordinated by guest editors once the proposal for a special issue is accepted by the Editorial Board.
Journal on Data Semantics III
– semantic caching – data warehousing and semantic data mining – spatial, temporal, multimedia and multimodal semantics – semantics in data visualization – semantic services for mobile users – supporting tools – applications of semantic-driven approaches These topics are to be understood as speci?cally related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not within the topics in the list. While the physical appearance of the journal issues looks like the books from the well-known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board. Contributions may also be invited, and nevertheless carefully reviewed, as in the case for issues that contain extended versions of best papers from major conferences addressing data semantics issues. Special issues, focusing on a speci?c topic, are coordinated by guest editors once the proposal for a special issue is accepted by the Editorial Board. Finally, it is also possible that a journal issue be devoted to a single text.
Computation and the humanities : Towards an oral history of digital humanities
This book addresses the application of computing to cultural heritage and the discipline of Digital Humanities that formed around it. Digital Humanities research is transforming how the Human record can be transmitted, shaped, understood, questioned and imagined and it has been ongoing for more than 70 years. However, we have no comprehensive histories of its research trajectory or its disciplinary development. The authors make a first contribution towards remedying this by uncovering, documenting, and analysing a number of the social, intellectual and creative processes that helped to shape this research from the 1950s until the present day.
Biometric systems : Technology, design and performance evaluation
The use of computers to recognize humans from physical and behavioral traits dates back to the digital computer evolution of the 1960s. But even after decades of research and hundreds of major deployments, the field of biometrics remains fresh and exciting as new technologies are developed andoldtechnologiesareimprovedandfieldedinnewapplications.Wor- wide over the past few years,there has been a marked increase in both g- ernment and private sector interest in large-scale biometric deployments for accelerating human–machine processes, efficiently delivering human services, fighting identity fraud and even combating terrorism. The p- pose of this book is to explore the current state of the art in biometrics- tems and it is the system aspect that we have wished to emphasize. By their nature, biometric technologies sit at the exact boundary of the human–machineinterface.Butlikealltechnologies,bythemselvestheycan provide no value until deployed in a system with support hardware, n- work connections, computers, policies and procedures, all tuned together to work withpeople to improve some real business process within a social structure.
Artificial intelligence and national security
Analyses the implications of the technical, legal, ethical and privacy challenges as well as challenges for human rights and civil liberties regarding Artificial Intelligence (AI) and National Security. It also offers solutions that can be adopted to mitigate or eradicate these challenges wherever possible. As a general-purpose, dual-use technology, AI can be deployed for both good and evil. The use of AI is increasingly becoming of paramount importance to the governments mission to keep their nations safe. However, the design, development and use of AI for national security poses a wide range of legal, ethical, moral and privacy challenges. This book explores national security uses for Artificial Intelligence (AI) in Western Democracies and its malicious use. This book also investigates the legal, political, ethical, moral, privacy and human rights implications of the national security uses of AI in the aforementioned democracies. It illustrates how AI for national security purposes could threaten most individual fundamental rights, and how the use of AI in digital policing could undermine user human rights and privacy.
Anti-Spam Measures : Analysis and Design
The goal of this book is the methodical analysis of the potential, limitations, advantages, and drawbacks of anti-spam measures. These determine to which extent the measures can contribute to the reduction of spam in the long run. The range of considered anti-spam measures includes legislative, organizational, behavioral and technological ones. Furthermore, the conceptual development and analysis of an infrastructural email framework that features such a complementary application, is pointed out. The technological and organizational facets, the framework is analyzed twofold: its theoretical effectiveness is assessed with the aid of the formal model mentioned above, its storage and traffic requirements are analyzed quantitatively.
Anatomy ontologies for bioinformatics : Principles and practice
This book provides a timely and first-of-its-kind collection of contributed chapters on anatomy ontologies. It is interdisciplinary in its approach, bringing together relevant expertise from computing and biomedical studies, and covering both theoretical and applied aspects, with an emphasis on newer work relevant to the emerging Semantic Web.
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)
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
Advances in radar systems for target detection and tracking
Radar systems can provide the all-weather and all-time detection and tracking of targets of interest, and they have been extensively applied by the remote sensing community, in applications such as geological exploration, disaster forecasting, traffic monitoring, urban planning, environmental sciences, hydrology, littoral zones, oceans, etc. This reprint contains the several advance research studies on radar systems for target detection and tracking. It includes multipath ghost suppression, maneuvering target tracking, target detection, and other topics.
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.
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 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
Master Dentistry ; Vol.1 : Oral and Maxillofacial Surgery, Radiology, Pathology and Oral Medicine
Provides a comprehensive overview of the oral and maxillofacial subjects in dentistry that students will need in order to pass their final exams. This invaluable adjunct to exam preparation provides a practical synthesis of core information, reflecting real-life case scenarios. Information is structured to enhance understanding and clinical decision making, and a variety of self-assessment methods prepare students for success. Comprehensively updated, the book covers a range of essential topics in the field of contemporary oral and maxillofacial subjects, including surgical flap design, state-of-the-art surgical techniques, zygomatic implants, molecular pathology, current imaging applications and pain management. The text is integrated and evidence based throughout. Covers oral and maxillofacial surgery, radiology, pathology and oral medicine subjects Brand new chapter on facial skin broadens diagnostic ability Range of self-assessment tasks to support learning Aligns to dental school curricula globally Concise and easy to follow Designed to support recall for examination purposes Practical guidance on examination preparation and skills Perfect for BDS exam preparation and candidates taking the MFDS, MJDF, ORE or other post-graduate exams
Marsh and Martin’s Oral Microbiology
Suitable for undergraduate and postgraduate dental students, research workers, and a wide range of clinical dental professionals.
Manual of clinical procedures in dentistry
Explains the core procedures in dentistry, how to do them, and the rationale that underpins them. Full of useful and easy-to-access information, it acts as a compendium of practical procedures in primary dental care, supporting students and dental practitioners in their daily professional and academic lives. This manual is a complete, practical guide to the delivery of effective, state of the art oral healthcare—the ‘what, when, and how’ of clinical practice. It compiles chapters written by expert clinicians on topics such as dental imaging, the management of dental pain, conscious sedation, operative dentistry, implant dentistry, oral medicine and surgery, paediatric dentistry, periodontics, prosthodontics, special care dentistry, dental trauma, aesthetic dentistry, and much more.
Mandibular Implant Prostheses
Combines up-to-date clinical and research information that will help clinicians to advance their theoretical and clinical knowledge on mandibular implant overdentures. Furthermore, it describes treatment considerations for geriatric populations, covering all relevant aspects from physiology to treatment planning and patient management in the surgical and prosthetic phases.
Management of complications in oral and maxillofacial surgery
Presents clear and consistent guidance on all aspects of both common and less common, minor and major complications encountered in oral and maxillofacial surgery (OMS) practice. In-depth chapters provide thorough descriptions of each complication and recommend treatment strategies for associated complications of anesthesia, implant surgery, maxillofacial trauma, and more, using easy to read algorithms.
