Refine Results
Sort By
From
To
Page 3
Page 3
Boundary Representation Modelling Techniques
Boundary representation is the principle solid modelling method used in modern CAD/CAM systems. There have been a long series of developments on which currently available systems are based, full details of which are only partially known. Ian Stroud’s thorough coverage of these developments puts this technology in perspective. Ian Stroud started working with boundary representation solid modelling in 1977. Since then he has researched and is researching a wide variety of topics in and around this field. The information in the book comes from the results of this research.
Biomedical data mining for information retrieval : Methodologies, techniques, and applications
Discusses data mining, biomedical image processing, information retrieval with broad coverage of basic scientific applications. covers the topic of mining biomedical text, images and visual features towards information retrieval. Biomedical and health informatics is an emerging field of research at the intersection of information science, computer science, and healthcare and brings tremendous opportunities and challenges due to easily available and abundant biomedical data for further analysis. The aim of healthcare informatics is to ensure the high-quality, efficient healthcare, better treatment and quality of life by analyzing biomedical and healthcare data including patient’s data, electronic health records (EHRs) and lifestyle. Previously, it was a common requirement to have a domain expert to develop a model for biomedical or healthcare; however, recent advancements in representation learning algorithms allows us to automatically to develop the model. Biomedical image mining, a novel research area, due to the vast amount of available biomedical images, increasingly generates and stores digitally.
Bioinformatics : Problem Solving Paradigms
This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. Mathematically demanding themes are put across to the reader by properly chosen representations with the aid of lots of illustrations.
Bioinformatics
In this textbook present mathematical models in bioinformatics and they describe the biological problems that inspire the computer science tools used to handle the enormous data sets involved. The first part of the book covers the mathematical and computational methods, while the practical applications are presented in the second part. The mathematical presentation is descriptive and avoids unnecessary formalism, and yet remains clear and precise. Emphasis is laid on motivation through biological problems and cross applications. Each of the four chapters in the first part is accompanied by exercises and problems to support an understanding of the techniques presented. Each of the six chapters of the second part is devoted to some specific application domain: sequence alignment, molecular phylogenetics and coalescence theory, genomics, proteomics, RNA, and DNA microarrays. Each chapter concludes with a problems and projects section, to deepen the reader's understanding and to allow for the design of derived methods. Many of the projects involve publicly available software and/or Web-based bioinformatics depositories. Finally, the book closes with a thorough bibliography, reaching from classic research results to very recent findings, providing many pointers for future research.Overall, this volume is ideally suited for a senior undergraduate or graduate course on bioinformatics, with a strong focus on its mathematical and computer science background.
Beginning Web Development, Silverlight, and ASP.NET AJAX : From novice to professional
Beginning Web Development, Silverlight, and ASP.NET AJAX: From Novice to Professional aims to give you the skills you need to start building web applications with Microsoft's next–generation technology as quickly as possible. Whether you're interested in ASP.NET AJAX, Silverlight, or the technologies that support them (WPF, WCF, WF, etc.), this book is the starting point that you need. It adopts a “zero to hero” approach that concentrates on achieving practical results you can use in real projects rather than presenting a deep academic treatment that can't be immediately applied.
Automorphic forms and even unimodular lattices : Kneser neighbors of niemeier lattices
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It explains how the new advances in the Langlands program mentioned above pave the way for a solution. This study proves to be very rich, leading us to classical themes such as theta series, Siegel modular forms, the triality principle, L-functions and congruences between Galois representations.
Arakelov Geometry and Diophantine Applications
Bridging the gap between novice and expert, the aim of this book is to present in a self-contained way a number of striking examples of current diophantine problems to which Arakelov geometry has been or may be applied. Arakelov geometry can be seen as a link between algebraic geometry and diophantine geometry.The first chapters provide some background and introduction to the subject. These are followed by a presentation of different applications to arithmetic geometry. The final part describes the recent application of Arakelov geometry to Shimura varieties and the proof of an averaged version of Colmez's conjecture. This book thus blends initiation to fundamental tools of Arakelov geometry with original material corresponding to current research.
Analysis and Modelling of Faces and Gestures ; 2nd International workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings
During the last 30 years, face recognition and related problems such as face detection/tracking and facial expression recognition have attracted researchers from both the engineering and psychology communities. In addition, extensive research has been carried out to study hand and body gestures. The understanding of how humans perceive these important cues has significant scientific value and extensive applications. this one-day workshop (AMFG 2005) provided a focused international forum to bring together well-known researchers and research groups to review the status of recognition, analysis and modeling of faces and gestures, to discuss the challenges that we are facing, and to explore future directions. Overall, 30 papers were selected from 90 submitted manuscripts. The topics of these papers range from feature representation, robust recognition, learning, and 3D modeling to psychology.
An Introduction to Quantum and Vassiliev Knot Invariants
Provides an accessible introduction to knot theory, focussing on Vassiliev invariants, quantum knot invariants constructed via representations of quantum groups, and how these two apparently distinct theories come together through the Kontsevich invariant. Consisting of four parts, the book opens with an introduction to the fundamentals of knot theory, and to knot invariants such as the Jones polynomial. The second part introduces quantum invariants of knots, working constructively from first principles towards the construction of Reshetikhin-Turaev invariants and a description of how these arise through Drinfeld and Jimbo's quantum groups. Its third part offers an introduction to Vassiliev invariants, providing a careful account of how chord diagrams and Jacobi diagrams arise in the theory, and the role that Lie algebras play. The final part of the book introduces the Konstevich invariant. This is a universal quantum invariant and a universal Vassiliev invariant, and brings together these two seemingly different families of knot invariants. The book provides a detailed account of the construction of the Jones polynomial via the quantum groups attached to sl(2), the Vassiliev weight system arising from sl(2), and how these invariants come together through the Kontsevich invariant.
An Introduction to Knowledge Engineering
Knowledge Engineering refers to the development of systems that use knowledge, rather than data, to solve many novel computing problems. This is achieved by the application of computing techniques, closely associated with human cognitive processes, for transforming data into knowledge. An Introduction to Knowledge Engineering presents a simple but detailed exploration of current and established work in the field.
An introduction to description logics
Designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them.
Algorithms in Bioinformatics : Theory and Implementation
Explores a comprehensive and insightful treatment of the practical application of bioinformatic algorithms in a variety of fields. Delivers a fulsome treatment of some of the main algorithms used to explain biological functions and relationships. It introduces readers to the art of algorithms in a practical manner which is linked with biological theory and interpretation. The book covers many key areas of bioinformatics, including global and local sequence alignment, forced alignment, detection of motifs, Sequence logos, Markov chains or information entropy. Other novel approaches are also described, such as Self-Sequence alignment, Objective Digital Stains (ODSs) or Spectral Forecast and the Discrete Probability Detector (DPD) algorithm. Readers will also benefit from the inclusion of: A detailed presentation of new methods, such as Self-sequence alignment, Objective Digital Stains and Spectral Forecast ; A treatment of sequence alignment, including local sequence alignment, global sequence alignment and forced sequence alignment with full implementations ; Discussions of position-specific weight matrices, including the count, weight, relative frequencies, and log-likelihoods matrices ; A detailed presentation of the methods related to Markov Chains as well as a description of their implementation in Bioinformatics and adjacent fields ; An examination of information and entropy, including sequence logos and explanations related to their meaning ; A chapter on philosophical transactions that allows the reader a broader view of the prediction process ; Extensive worked examples with detailed case studies that point out the meaning of different results
Algorithms and Programming : Problems and Solutions
This book containing classical and well-known problems supplemented by clear and in-depth explanations. The material covered includes such topics as combinatorics, sorting, searching, queues, grammar and parsing, selected well-known algorithms and much more.
Advanced Methods for Inconsistent Knowledge Management
This book presents a unified and systematic description of a wide class of miscellaneous problems of inconsistent knowledge management, analyzed by traditional mathematical methods using relational and logical representations.
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 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.
Comprehensive applied basic sciences : For MDS students
All the questions are answered as per the type of question (long | short) and with “to the point” answers to make it more interesting. Answers are selected authentically from standard textbooks commonly referred to by the students to avoid confusion during examinations. Each answer is explained in heading and subheadings to break the continuous text. Written in a simple, well structured and point-wise format with a comprehensive examination-oriented description along with the diagrammatic representation. An indispensable book for the ‘last minute’ revision while preparing for the examinations and for quick reference throughout the course duration.
3D imaging in endodontics : A new era in diagnosis and treatment
Full understanding of the role of cone beam computed tomography (CBCT) in helping to solve many of the most challenging problems in endodontics. It will shorten the learning curve in application of this exciting imaging technology in a variety of contexts: difficult diagnostic cases, treatment planning, evaluation of internal tooth anatomy prior to root canal therapy, nonsurgical and surgical treatments, early detection and treatment of resorptive defects, and outcomes assessment. The ability to obtain an accurate 3D representation of a tooth and the surrounding structures by means of noninvasive CBCT imaging is changing the approach to clinical decision making in endodontics. Clinicians long accustomed to working in very small, three-dimensional spaces are no longer constrained by the limitations of two-dimensional imaging. The challenges of mastering the new technology can, however, be daunting. The detailed guidance contained in this book will help endodontists to take full advantage of the important benefits offered by CBCT.
Machine Learning Applications in Civil Engineering
Discusses machine learning and deep learning models for different civil engineering applications. These models work for stochastic methods wherein internal processing is done using randomized prototypes. The book explains various machine learning model designs that will assist researchers to design multi domain systems with maximum efficiency. It introduces Machine Learning and its applications to different Civil Engineering tasks, including Basic Machine Learning Models for data pre-processing, models for data representation, classification models for Civil Engineering Applications, Bioinspired Computing models for Civil Engineering, and their case studies.
