الصفحة 35
الصفحة 35
Consumer Health Informatics : Informing Consumers and Improving Health Care
This comprehensive volume the inclusion of several case studies serves to examine pertinent topics, namely computer-based information for cancer; National Library of Medicine initiatives; and web-based patient preferences and utilities. Designed for use by medical IT specialists, physicians, nurses, healthcare providers, and professors and students of medical informatics, the book's chapter highlights include patient empowerment; frameworks and models for health behavior change and patient education; patient to patient communication; patient to provider communication; privacy and confidentiality; ethical issues; evaluation methods, and more.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
Constraint Theory : Multidimensional Mathematical Model Management
The enormous potential of digital computation to manage new complex systems is impeded by exponential increases in complexity. As the model's dimensionality increases from hundreds to thousands of variables, and as submodels constructed by diverse technical teams are integrated into the total model, the model is likely to become inconsistent and even more likely, the computational requests on the model become unallowable. This text analyzes the way constraint theory employs bipartite graphs and constraint matrices to detect and correct these well-posed problems. It also presents the process of locating the "kernel of constraint", literally trillions of times faster than a random search, determining consistency and compatibility within seconds.
Consciousness : A Mathematical Treatment of the Global Neuronal Workspace Model
This book brings together the fundamental ideas of information theory and the statistical mechanics of phase transitions within the context of the neurosciences, culture, immunology and socio-psychological studies. Outlined is a program pertaining to a dynamic and semantic extension of current models for the global neuronal workspace as were previously introduced by Baars, Dretske and others.
Conjoint measurement : Methods and applications
Covering developments in Conjoint Analysis, this book presents the theory and applications of this technique. It discusses: normative models that maximize return, extension of choice-based conjoint simulations, latent class, hierarchical Bayes modelling, choice simulators, and normative models for representing competitive actions and reactions.
Conditional Mutagenesis : An Approach to Disease Models
Leading experts provide timely and comprehensive information on methods for conditional mutagenesis in the mouse (part 1) and their application to model human physiology and pathophysiology (part 2). It illustrates how sophisticated genetic manipulations of the mouse genome are employed to model human diseases and to identify underlying molecular mechanisms. Finally the book considers the development of new drugs to treat them.
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification.
CONCUR 2008 - Concurrency Theory ; 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
Concrete composite columns : Behavior and design
Moves beyond existing resources, to study the relationship between existing composite structures and design methods for the sectional form of concrete composite structure. Chapters cover the failure criteria of concrete; confined concrete types; models including axial stress prediction, analysis oriented constitutive, and design-oriented constitutive models; the design and analysis of section form; double confined concrete; seismic behaviors of concrete composite columns; and the seismic design of concrete composite columns.
Conceptual structural design : Bridging the gap between architects and engineers
Aims to 'bridge the gap' between engineers' and architects' understanding of structural form. It aims to inspire designers to develop innovative and viable structural forms. This book is presented in two parts. The first part is theoretical and investigates source of inspiration for developing structural form; learning from natural forms; applying our own intuition; seeking inspiration from precedents; applying understanding of structural principles; and developing design through physical models.
Conceptual Modeling - ER 2008 ; 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held in Barcelona, Spain, in October 2008.
Conceptual Modeling - ER 2006 ; 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings
The International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research and applications in which the - jor emphasis is on conceptual modeling. Topics of interest span the entire spectrum of conceptual modeling including research and practice in areas such as theories of c- cepts and ontologies underlying conceptual modeling, methods and tools for devel- ing and communicating conceptual models, and techniques for transforming conc- tual models into effective implementations.
Conceptual Modeling - ER 2005
Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would bene?t from the application of those technologies. Conceptual modeling is the key mechanism for und- standing and representing the domains of information system and database - gineering but also increasingly for other domains including the new “virtual” e-environmentsandtheinformationsystemsthatsupportthem.Theimportance of conceptual modeling in software engineering is evidenced by recent interest in “model-drivenarchitecture”and“extremenon-programming”.Conceptualm- eling also plays a prominent rolein various technical disciplines and in the social sciences. The Annual International Conference on Conceptual Modeling (referred to as the ER Conference) provides a central forum for presenting and discussing current research and applications in which conceptual modeling is the major emphasis.
Concepts and Controversies in Obsessive-Compulsive Disorder
Few syndromes in psychopathology generate as much popular curiosity and clinical exploration as does obsessive-compulsive disorder (OCD). Speci?c advances include an improved grasp of the heterogeneity of the disorder, identi?cation of putative subtyping schemes, and the development of increasingly sophisticated theoretical models of the etiology and maintenance.
Computing the Electrical Activity in the Heart
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The book gives an introduction to the most important models of the field, followed by a detailed description of numerical techniques for the models. Particular focus is on efficient numerical methods for large scale simulations on both scalar and parallel computers.
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the effect of a given drug can be reflected by changing the Markov model. These lecture notes provide an accessible introduction to the mathematical methods needed to deal with these models. They emphasize the use of numerical methods and provide sufficient details for the reader to implement the models and thereby study the effect of various drugs. Examples in the text include stochastic calcium release from internal storage systems in cells, as well as stochastic models of the transmembrane potential. Well known Markov models are studied and a systematic approach to including the effect of mutations is presented.
Computing Attitude and Affect in Text : Theory and Applications
Human Language Technology (HLT) and Natural Language Processing (NLP) systems have typically focused on the “factual” aspect of content analysis. Other aspects, including pragmatics, opinion, and style, have received much less attention. However, to achieve an adequate understanding of a text, these aspects cannot be ignored. The chapters in this book address the aspect of subjective opinion, which includes identifying different points of view, identifying different emotive dimensions, and classifying text by opinion. Various conceptual models and computational methods are presented.
Computer-aided drug design
Computer-Aided Drug Design (CADD) is a comprehensive guide designed for both beginners and experienced users in CADD. Covers the fundamental principles and gradually delves into more advanced concepts and techniques, making it an invaluable resource to anyone interested in CADD. It begins by establishing a solid foundation, explaining the core concepts of CADD, the user interface and essential tools. It covers QSAR, molecular docking, homology modeling, virtual screening, pharmacophore modeling, ensuring that the reader can quickly become proficient in CADD. Provides in-depth insights into 3D modeling, rendering, and parametric design. The style of the book is simple, every topic begins from the very basics and explores advanced levels with clarity. Practical examples, step-by-step tutorials and hands-on exercises, are included for better understanding.
Computer vision and graphics ; International Conference, ICCVG 2020, Warsaw, Poland, September 14–16, 2020, Proceedings
This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, held in Warsaw, Poland, in September 2020. The 20 full papers were selected from 49 submissions. The contributions cover topics such as: modelling of human visual perception; computational geometry; geometrical models of objects and scenes; illumination and reflection models and methods; image formation; image and video coding; image filtering and enhancement; biomedical image processing; biomedical graphics; colour image processing; multispectral image processing; pattern recognition in image processing
Computer Vision -- ECCV 2006 ; Vol. 3954 ; 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part IV
Constitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of issues in computer vision, on recognition, statistical models and visual learning, 3D reconstruction and multi-view geometry, energy minimization, tracking and motion, segmentation, shape from X, visual tracking, and more.
