Refine Results
Sort By
From
To
Page 7
Page 7
Algorithmic Aspects of Bioinformatics
Advances in bioinformatics and systems biology require improved computational methods for analyzing data, while progress in molecular biology is in turn influencing the development of computer science methods. This book introduces some key problems in bioinformatics, discusses the models used to formally describe these problems, and analyzes the algorithmic approaches used to solve them. After introducing the basics of molecular biology and algorithmics, Part I explains string algorithms and alignments; Part II details the field of physical mapping and DNA sequencing; and Part III examines the application of algorithmics to the analysis of biological data. Exciting application examples include predicting the spatial structure of proteins, and computing haplotypes from genotype data. This book describes topics in detail and presents formal models in a mathematically precise, yet intuitive manner, with many figures and chapter summaries, detailed derivations, and examples. It is well suited as an introduction into the field of bioinformatics, and will benefit students and lecturers in bioinformatics and algorithmics, while also offering practitioners an update on current research topics.
Advances in UAV detection, classification and tracking
Explores the latest techniques and advancements in unmanned aerial vehicle (UAV) detection, classification, and tracking. As UAV technology continues to evolve and become more accessible, there is a growing need for effective methods to detect, identify, and track these devices in various scenarios. This reprint provides a thorough overview of the state-of-the-art approaches for UAV detection, classification, and tracking, covering both theoretical and practical aspects.The reprint begins by introducing the basics of UAVs and their various applications, followed by a detailed overview of the challenges associated with UAV detection, classification, and tracking. The authors then present the latest techniques and algorithms used in the field, including machine-learning-based approaches, computer vision techniques, and sensor fusion techniques. The reprint also covers the challenges of real-world applications, such as dealing with occlusions, sensor noise, and environmental factors.
Advances in Computer and Information Sciences and Engineering
Advances in Computer and Information Sciences and Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences.
AdvancED Flex 3
Divided into three parts. The first part discusses the architectural and design aspects of Flex 3 application development. It explains the internals of a Flex 3 application and advocates a few best practices to fine-tune your application to ensure maximum performance. It includes tutorials on creating custom components, data binding, and creating AIR-powered desktop applications. The second part concentrates on effectively integrating Flex 3 with server- and client-side technologies. Techniques for integration with Java and PHP are covered in detail, and content covering interaction with client-side technologies is also included. After reading the chapter on JavaScript integration, you will be ready to create applications that can use Ajax and Flex 3 together. The third and final part of the book is a unique and eclectic mix of some advanced topics like mash-ups, collaborative applications, 3D rendering, highly interactive visualization, and audio and video streaming.
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.
Advance Concepts of Image Processing and Pattern Recognition : Effective Solution for Global Challenges
Explains the important concepts and principles of image processing to implement the algorithms and techniques to discover new problems and applications. It contains numerous fundamental and advanced image processing algorithms and pattern recognition techniques to illustrate the framework. It presents essential background theory, shape methods, texture about new methods, and techniques for image processing and pattern recognition. It maintains a good balance between a mathematical background and practical implementation. This book also contains the comparison table and images that are used to show the results of enhanced techniques. This book consists of novel concepts and hybrid methods for providing effective solutions for society. It also includes a detailed explanation of algorithms in various programming languages like MATLAB, Python, etc.
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
Action Research in Software Engineering: Theory and Applications
This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. It elaborates on how to find the right research activities and how to distinguish them from non-significant ones. Further, it details how to glean lessons from the research results, no matter whether they are positive or negative. Lastly, it shows how companies can evolve and build talents while expanding their product portfolio.
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.
A Platform-Centric Approach to System-on-Chip (SOC) Design
The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan for its implementation. The proposed plan allows component vendors, system integrators and product developers to collaborate effectively and efficiently to create complex products within budget and schedule constraints.
A Matrix Algebra Approach to Artificial Intelligence
The book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses on the applications of matrix algebra approaches in AI. Highlighting matrix algebra in graph-based learning and embedding, network embedding, convolutional neural networks and Pareto optimization theory, and discussing recent topics and advances, the book offers a valuable resource for scientists, engineers, and graduate students in various disciplines
A First Course in Statistical Inference
Offers a modern and accessible introduction to Statistical Inference, the science of inferring key information from data. Aimed at beginning undergraduate students in mathematics, it presents the concepts underpinning frequentist statistical theory. Written in a conversational and informal style, this concise text concentrates on ideas and concepts, with key theorems stated and proved. Detailed worked examples are included and each chapter ends with a set of exercises, with full solutions given at the back of the book. Examples using R are provided throughout the book, with a brief guide to the software included. Topics covered in the book include: sampling distributions, properties of estimators, confidence intervals, hypothesis testing, ANOVA, and fitting a straight line to paired data.
Materials, Chemicals and Methods for Dental Applications
Focuses on the materials used for dental applications looking at the fundamental issues and the developments that have taken place the past decade. While it provides a broad overview of dental materials, the chemicals that are used for the preparation and fabrication of dental materials are explained as well. Also, the desired properties of these materials are discussed and the relevance of the chemical, physical, and mechanical properties is elucidated. Methods for the characterization and classification, as well as clinical studies are reviewed here. In particular, materials for dental crowns, implants, toothpaste compositions, mouth rinses, as well as materials for toothbrushes and dental floss are discussed. For example, in toothpaste compositions, several classes of materials an chemcials are incorporated, such as abrasives, detergents, humectants, thickeners, sweeteners, coloring agents, bad breath reduction agents, flavoring agents, tartar control agents, and others. These chemicals, together with their structures, are detailed in the text.
Local Anaesthesia in Dentistry
A comprehensive guide to the use of local anaesthesia in dentistry that will meet the needs of both students and dental practitioners. It provides the reader with ample background information on the origin of pain and the pharmacology of anaesthetics, and describes the anatomy of the trigeminal nerve in detail. Subsequent chapters cover key are as such as general practical aspects, local anesthaesia in the upper and the lower jaw, the use of local anaesthetics in children, local and systematic complications, and the prevention of side effects. Patients at particular risk of adverse effects are identified and attention drawn to significant legal aspects.
Little and Falace's Dental Management of the Medically Compromised Patient ; 9th ed.
Learn how to provide dental care to any patient, regardless of existing medical conditions. Little and Falace’s Dental Management of the Medically Compromised Patient, 9th Edition, has been thoroughly revised to give you the information you need to assess common problems, and make safe and healthy dental management decisions. The new addition includes expanded coverage of women’s health issues and introduces a process for developing a medical-risk source. Also, each chapter features vivid illustrations and well-organized tables to give you in-depth details and overall summaries to help you get to the root of your future patients’ needs.
Lippincott's Concise Illustrated Anatomy ; Vol.3
Presents human gross anatomy in an efficient, easy-to-use format by combining core, need-to-know content with detailed atlas-style illustrations. This volume focuses on anatomical structures and functions of the head and neck, and includes clinical considerations concerning these important regions. With artwork adopted from the Lippincott Williams & Wilkins Atlas of Anatomy as well as new illustrations, understanding the functional and clinical relevance of anatomy has never been more at hand!
Lecture Notes on General Medicine for Dental Practice : A System based Approach with Dental Management Considerations
Offers a system based approach covering a broad range of topics in general medicine for dental practice. The book includes chapters on history taking and patient interview, general physical examination, system specific examination, common health related complaints, systemic infections, and diseases of the gastrointestinal, cardiovascular, respiratory, neurological, immunological, renal, endocrinal, dermatological and musculoskeletal systems. Nutritional disorders, psychiatric disorders, the female patient with menstrual, menopause and pregnancy related disorders, dental management of patients taking medications for systemic conditions and medical emergencies in dental practice have also been discussed in some detail.
Complications in Cranio-Maxillofacial and Oral Surgery
This superbly illustrated book equips readers with a detailed, up-to-date understanding of the surgical and nonsurgical complications that may arise during cranio-maxillofacial and oral surgery for a range of conditions, including malformations, infections, trauma, and tumors.
Common complications in endodontics : Prevention and management
Describes the most commonly encountered endodontic complications and provides up-to-date information on their prevention and management. The opening chapters explain the importance of accurate diagnosis and treatment planning, outline the role of digital radiography and CBCT in managing complications, and highlight the need for close attention to anatomic landmarks in order to avoid damage to neurovascular anatomy. Endodontic problems associated with different procedural errors are then discussed in detail, covering a wide variety of access- and instrumentation-related complications and the difficulties that may arise when using obturation techniques. Readers will also find information on the endodontic–periodontal relationship, special issues in geriatric patients, and the potential medical emergencies and precautions in specific patient subsets.
