الصفحة 50
الصفحة 50
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.
Conceptions of the Desirable : What Cities Ought to Know about the Future
Right in the heart of Graz, the second largest city in Austria, an entire city district had simply fallen into oblivion. The owners have taken up the search for answers: How, in future, do we wish to work and live? This title presents the results of a research by structuring its content into: Life, Work, Urbanity and Education.
Computer simulations in condensed matter : From materials to chemical biology ; Vol.1
This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all relevant computer simulation methods and their applications in condensed matter systems. Volume 1 is an in-depth introduction to a vast spectrum of computational techniques for statistical mechanical systems of condensed matter. It will enable the graduate student and both the specialist and nonspecialist researcher to get acquainted with the tools necessary to carry out numerical simulations at an advanced level. Volume 2 published as LNP 704 (ISBN 3-540-35283-X) is a collection of state-of-the-art surveys on numerical experiments carried out for a great number of systems, ranging from materials sciences to chemical biology.
Computer graphics and geometric modelling : Implementation & algorithms
Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume work covers implementation and theory in a thorough and systematic fashion. Computer Graphics and Geometric Modelling: Implementation and Algorithms, covers the computer graphics part of the field of geometric modelling and includes all the standard computer graphics topics. The first part deals with basic concepts and algorithms and the main steps involved in displaying photorealistic images on a computer. The second part covers curves and surfaces and a number of more advanced geometric modelling topics including intersection algorithms, distance algorithms, polygonizing curves and surfaces, trimmed surfaces, implicit curves and surfaces, offset curves and surfaces, curvature, geodesics, blending etc. The third part touches on some aspects of computational geometry and a few special topics such as interval analysis and finite element methods. The volume includes two companion programs.
Computational logic in multi-agent systems ; Vol. 3900 ; 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.
Computational logic in multi-agent systems ; Vol. 3487 ; 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.
Computational logic in multi-agent systems ; 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming.
Computational Logic in Multi-Agent Systems ; 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems. It was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems.
Computational logic in multi-agent systems ; 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing methods suffer from two flaws. First, a centralized survivability algorithm (CSA) ensures survivability of the MAS – unfortunately, if the node on which the CSA exists goes down, the survivability of the MAS is questionable. Second, no mechanism exists to change how the MAS is deployed when external factors trigger a re-evaluation of the survivability of the MAS. In this paper, we present three algorithms to address these two important problems. Our algorithms can be built on top of any CSA. Our algorithms are completely distributed and can handle external triggers to compute a new deployment. We report on experiments assessing the efficiency of these algorithms.
Computational linguistics and intelligent text processing ; Vol. 3878 ; 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings
CICLing 2006 (www.CICLing.org) was the 7th Annual Conference on Intelligent Text Processing and Computational Linguistics. The CICLing conferences are intended to provide a wide-scope forum for discussion of the internal art and craft of natural language processing research and the best practices in its applications.
Computational linguistics and intelligent text processing ; 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings
The CICLing conferences are intended to provide a wide-scope forum for the discussion of both the art and craft of natural language processing research and the best practices in its applications. This volume contains the papers accepted for oral presentation at the c- ference, as well as several of the best papers accepted for poster presentation.
Computational linguistics and intelligent text processing ; 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings
This book cover all current issues in computational linguistics research and present intelligent text processing applications. The papers are organized in topical sections on: lexical resources, corpus-based knowledge acquisition, morphology and part-of-speech tagging, named entity recognition, temporal expression treatment, word segmentation, sentence splitting, chunking, grammar formalisms and syntax, word sense disambiguation and discrimination and semantics.
Computational linguistics and intelligent text processing ; Vol. 3406 ; 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2005, held in Mexico City, Mexico in February 2005. An approach that involves natural language analysis techniques for the treatment of software system functional requirements is described in this book. This approach is used as the basis for a process developed to generate sequence diagrams automatically from the textual specification of use cases. This facility has been integrated in the Requirements Engineering Phase of OO-Method, an automatic production environment of software. For this purpose, a translator that is based on natural language parser is used. The translator provides grammatical information to each use case sentence and it identifies the corresponding interaction. The automatic transformation is conceived and specified following an orientation that is based on models and patterns. The results of the validation of the transformation patterns are presented.
Computational Fluid Dynamics 2004 ; Proceedings of the Third International Conference on Computational Fluid Dynamics, ICCFD3, Toronto, 12-16 July 2004
The International Conference on Computational Fluid Dynamics (ICCFD) is the merger of the International Conference on Numerical Methods in Fluid Dynamics (ICNMFD) and the International Symposium on Computational Fluid Dynamics (ISCFD). It is held every two years and brings together physicists, mathematicians and engineers to review and share recent advances in mathematical and computational techniques for modeling fluid dynamics. The proceedings of the 2004 conference held in Toronto, Canada, contain a selection of refereed contributions and are meant to serve as a source of reference for all those interested in the state of the art in computational fluid dynamics.
Command-Line Rust : A Project-Based Primer for Writing Rust CLIs
Rather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program in each chapter. Author Ken Youens-Clark shows you how to start, write, and test each of these programs to create a finished product. You'll learn how to handle errors in Rust, read and write files, and use regular expressions, Rust types, structs, and more.
Comet, Asteroid Impacts and Human Society : An Interdisciplinary Approach
Leading specialists in various disciplines were first invited to a multidisciplinary workshop funded by ICSU on the topic to gain a better appreciation and perspective on the subject of comet/asteroid impacts as viewed by different disciplines. This volume provides a necessary link between various disciplines and comet/asteroid impacts.
Combating Antibiotic Resistance : Report to the President and National Strategy
Antibiotics, in particular, have saved millions of lives. This book discusses combating antibiotic resistance and provides reports to the presidents and national strategies.
Colorectal Cancer : Evidence-based Chemotherapy Strategies
The clinician is challenged to keep up with the rapidly changing landscape and the rapidly emerging data that shape the options for treatment today and tom- row. In this text, leaders in the management of colorectal cancer review the current literature that has led us to where we are today. Critical evaluations of the data are offered, and evidence-based recommendations are made.
Color science and shade selection in operative dentistry : Essential elements for clinical success
Presents all the theory and clinical guidance required in order to achieve consistent clinical success. The book opens by reviewing color and its dimensions and discussing color perception, drawing attention to the various phenomena that impact upon it. Shade selection in Operative Dentistry is then explained in detail with the aid of copious illustrations. The coverage encompasses shade selection methods for resin-based composite restorations and for bleaching procedures, with presentation of the latest evidence on their accuracy and reliability.
Color in Dentistry : A Clinical Guide to Predictable Esthetics
Provides step-by-step protocols to help dental professionals accurately match, communicate, and reproduce the color of teeth and gingiva. These authors demonstrate how to implement color science in simple problem-solving instructions for predictable esthetics in both clinical protocols and laboratory techniques. An extensive presentation of clinical cases is included to illustrate the use of recommended protocols in general practice. An outstanding contribution to the practice and theory of color management in contemporary dentistry
