الصفحة 14
الصفحة 14
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.
Computer science logic ; Vol. 4207 ; 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
Computer Aided Verification ; 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems.
Computational Multiscale Modeling of Fluids and Solids : Theory and Applications
The book includes the micro-scale, the meso-scale and the macro-scale. The chapters follow this classification. The book will explain in detail many tricks of the trade of some of the most important methods and techniques that are used to simulate materials on the perspective levels of spatial and temporal resolution. Case studies are occasionally included to further illustrate some methods or theoretical considerations. Example applications for all techniques are provided, some of which are from the author’s own contributions to some of the research areas. Methods are explained, if possible, on the basis of the original publications but also references to standard text books established in the various fields are mentioned.
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 intelligence in automotive applications
This volume is the first of its kind, suitable to automotive researchers, engineers and students. It provides a representative sample of contemporary CI activities in the area of automotive technology.
Computational Contact Mechanics
Topics of this book span the range from spatial and temporal discretization techniques for contact and impact problems with small and finite deformations over investigations on the reliability of micromechanical contact models over emerging techniques for rolling contact mechanics to homogenization methods and multi-scale approaches in contact problems. Furthermore, solution algorithms for single- and multi-processor computing environments, enabling methods that span from multi-contact to multi-scale approaches are discussed together with numerical experiments related to soil mechanics using discontinuous deformation analysis.
Comfort and Perception in Architecture
This book discusses the design of comfortable buildings and shows that design perception and, as a result, comfort should be an intentional feature of architectural design. Modern buildings are often sealed boxes without operable windows or daylighting design. However, contemporary designers increasingly find themselves faced with the task of creating spaces that are comfortable in terms of thermal and visual aspects.
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
Collage and architecture
This new edition includes: A stronger focus on contemporary practices, including digital methods; New designers and architects, including Marshall Brown, WAI Architecture Think Tank, and Tatiana Bilbao, bringing their methods and work to life; An expanded global and diverse perspective of architecture as collage; Collage is an important instrument for analysis and design. Through its 261 color images, this book shows how this versatile medium can be adapted and transformed in your own work.
Collaborative Medicine Case Studies : Evidence in Practice
Collaborative Medicine Case Studies Collaborative Medicine Case Studies shows physicians and mental health practitioners working together across a variety of settings to assess and treat entrenched illnesses, combined physical and psychological conditions (back pain/panic attacks, diabetes/bipolar disorder), and cases that defy straightforward diagnosis. At the same time, the cases reflect the economic and financial realities of contemporary health care.
Cohesion, coherence and temporal reference from an experimental corpus pragmatics perspective
Provides new methodological and theoretical insights into temporal reference and its linguistic expression, from a cross-linguistic experimental corpus pragmatics approach. Verbal tenses, in general, and more specifically the categories of tense, grammatical and lexical aspect are treated as cohesion ties contributing to the temporal coherence of a discourse, as well as to the cognitive temporal coherence of the mental representations built in the language comprehension process. As such, it investigates the phenomenon of temporal reference at the interface between corpus linguistics, theoretical linguistics and pragmatics, experimental pragmatics, psycholinguistics, natural language processing and machine translation.
Clocks in the Sky : The Story of Pulsars
In this book, Geoff McNamara explores the history, subsequent discovery and contemporary research into pulsar astronomy. The story of pulsars is brought right up to date with the announcement in 2006 of a new breed of pulsar, Rotating Radio Transients (RRATs), which emit short bursts of radio signals separated by long pauses. These may outnumber conventional radio pulsars by a ratio of four to one. Geoff McNamara ends by pointing out that, despite the enormous success of pulsar research in the second half of the twentieth century, the real discoveries are yet to be made including, perhaps, the detection of the hypothetical pulsar black hole binary system by the proposed Square Kilometre Array - the largest single radio telescope in the world.
Clinical toxicology : Principles and mechanisms ; 2nd ed.
Addresses the current principles and mechanisms of clinical toxicology. It examines the complex interactions associated with clinical toxicological events and chemical exposure and drug administration. The author places special emphasis on signs and symptoms of diseases and pathology caused by toxins and clinical drugs. He covers contemporary issues in clinical toxicology, such as biological and chemical toxins, changes in protocols for managing toxic ingestions, new antidotes, and changes in particular treatments. The chapters contain numerous drawings, figures, and tables to aid in comprehension.
Materials science for dentistry
A standard resource for undergraduate and postgraduate courses in dentistry. It provides fundamental coverage of the materials on which dentistry depends, covering the structure and chemistry that govern the behavior and performance of materials. Particular classes of materials include gypsum, polymers, acrylic, cements, waxes, ceramics and metals. Other chapters review surfaces, corrosion, mixing, casting, cutting and bonding, and mechanical testing. This updated edition, which includes substantial chapters on chemistry, has been extensively revised with new material on temporary restoration resins, hydraulic silicate cements and the practical aspects of wetting surfaces. Mindfully written to provide explanations for behavior, formulation, clinical and laboratory instructions and procedures, there is no comparable resource for researchers, students, teachers and practitioners in the field of dentistry.
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
Marxist Philosophy in China : From Qu Qiubai to Mao Zedong, 1923-1945
The book sets the philosophical writings of philosophers in the context of the development of Marxist philosophy internationally, and examines particularly the influence on these philosophers of Soviet Marxist philosophy. It argues that these Chinese Marxist philosophers’ interpretations of Marxist philosophy were quite orthodox when judged by the standards of contemporary Soviet Marxism. The book explores core themes in Marxist philosophy in China, including the dilemma of determinism, and investigates the way in which these Chinese Marxist philosophers sought a formula for the ‘Sinification’ of Marxist philosophy that both retained the universal dimensions of Marxism and allowed its application to the Chinese context. The book concludes with analysis of the role of the Yanan New Philosophy Association in developing from Soviet Marxist philosophy the philosophical dimension of Mao Zedong Thought, the official ideology of the Chinese Communist Party after 1945.
Managing European Coasts : Past, Present and Future
Many coastal areas and human activities are subject to increasing risks from natural and man-induced hazards such as flooding resulting from major changes in hydrology of river systems that has reached a global scale. Changes in the hydrological cycle coupled with changes in land and water management alter fluxes of materials transmitted from river catchments to the coastal zone, which have a major effect on coastal ecosystems. The increasing complexity of underlying processes and forcing functions that drive changes on coastal systems are witnessed at a multiplicity of temporal and spatial scales.
Making with data : Physical design and craft in a data-driven world
Making with Data: Physical Design and Craft in a Data-Driven World provides a snapshot of the diverse practices contemporary creators are using to produce objects, spaces, and experiences imbued with data. Across 25+ beautifully-illustrated chapters, international artists, designers, and scientists each explain the process of creating a specific data-driven piece—illustrating their practice with candid sketches, photos, and design artifacts from their own studios. Featuring influential voices in computer science, data science, graphic design, art, craft, and architecture, Making with Data is accessible and inspiring for enthusiasts and experts alike.
