الصفحة 20
الصفحة 20
Applications of declarative programming and knowledge management ; 15th international conference on applications of declarative programming and knowledge management, INAP 2004, and 18th workshop on logic programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, Thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
Anxiety in health behaviors and physical illness
While the links between physical illness and depression have been well-documented and analyzed, little has been made of the data relating physical illness to anxiety—until now. Anxiety in Health Behavior and Physical Illness explores complex relationships between medical and anxiety pathology on the theoretical, research, and practical fronts. Over forty experts examine reciprocal roles of anxiety and medical illness as causal or exacerbating factors in each other’s onset and development, describe forms of anxiety typical to major disease entities, discuss common health behaviors as they impact anxiety, recast anxiety disorders as chronic illness, and identify patients for whom new forms of treatment may be warranted.
Anthropological Perspectives on Environmental Communication
Through anthropological and ethnographic analyses, this collection addresses how interests, values, and ideologies affect dialogue and sustainability work. Drawing on studies from three continents – Europe, North America, and South America – the paradoxes and the plurality of meanings associated with the creation of sustainable futures are explored. The book focuses on how communication practices collide with organizational frameworks, customary practices, livelihoods, and landscape.
Animals and the shaping of modern medicine : One health and its histories
This book breaks new ground by situating animals and their diseases at the very heart of modern medicine. In demonstrating their historical significance as subjects and shapers of medicine, it offers important insights into past animal lives, and reveals that what we think of as ‘human’ medicine was in fact deeply zoological.Each chapter analyses an important episode in which animals changed and were changed by medicine. Ranging across the animal inhabitants of Britain’s zoos, sick sheep on Scottish farms, unproductive livestock in developing countries, and the tapeworms of California and Beirut, they illuminate the multi-species dimensions of modern medicine and its rich historical connections with biology, zoology, agriculture and veterinary medicine. The modern movement for One Health – whose history is also analyzed – is therefore revealed as just the latest attempt to improve health by working across species and disciplines.
Angiogenesis in Inflammation : Mechanisms and Clinical Correlates
This volume relates the lessons learned from tumour biology applied to inflammation. This issue of Angiogenesis in Inflammation: Mechanisms and Clinical Correlates develops current knowledge on the mechanisms at the molecular and cellular levels as they relate to inflammation, including acute and chronic inflammation, neurogenic initiation, and the role of the multiple cellular components that comprise inflammation: granulocytes, macrophages, fibroblasts, dendritic cells and lymphocytes. This is related to inflammatory disease: not only the familiar angiogenesis dependent diseases of rheumatoid arthritis and psoriasis, but also loci such as the lung, gastric ulcers, the eye with uveitis, wound healing and periodontal disease and their therapy, how this knowledge may be used in the discovery of novel therapeutics. The volume brings together experts in each of these fields to link the molecular and cellular processes in angiogenesis to those of inflammation and disease, culminating in a discourse on areas for future therapies.
Anatomy for Dental Medicine
Strikes an optimal balance between systemic and regional approaches to complex head and neck anatomy. Award-winning full-color illustrations, succinct text, summary tables, and questions put anatomical structures and knowledge into a practical context. NEW! Additional radiologic images and landmark features throughoutNEW! Reorganized brain/nerve sectionsNEW! Expanded clinical question appendix including patient box questions in the style of the INBDENEW! Factual question appendix places greater emphasis on areas including the skull, larynx, cross sectional anatomy, body below the neck, and local anesthesia
Analyzing uncertainty in civil engineering
This volume addresses the issue of uncertainty in civil engineering from design to construction. Failures do occur in practice. Attributing them to a residual system risk or a faulty execution of the project does not properly cover the range of causes. A closer scrutiny of the adopted design, the engineering model, the data, the soil-construction-interaction and the model assumptions is required. Usually, the uncertainties in initial and boundary conditions are abundant. Current engineering practice often leaves these issues aside, despite the fact that new scientific tools have been developed in the past decades that allow a rational description of uncertainties of all kinds, from model uncertainty to data uncertainty. It is the aim of this volume to have a critical look at current engineering risk concepts in order to raise awareness of uncertainty in numerical computations, shortcomings of a strictly probabilistic safety concept, geotechnical models of failure mechanisms and their implications for construction management, execution, and the juristic question of responsibility. In addition, a number of the new procedures for modelling uncertainty are explained.
Alzheimers Disease
Alzheimer’s disease (AD) is a neurodegenerative disease that robs the minds of our elderly population. Approximately one in every eight adults over the age of 65 and nearly half of those over 85 are afflicted with this disease. The aging population in developed societies will impose an ever increasing socioeconomic threat in the future. Current medicines for AD patients are mainly symptomatic treatments and a huge unmet medical need exists to slow the progression of this disease. A great deal of research has been dedicated to understanding the pathogenesis of AD from which comes many ideas for intervening with its progression. Some of these ideas have been fast-tracked to clinical trials due to the availability of medicines with proven clinical efficacies for other diseases (e.g. atorvastatin, simvastatin, rosiglitazone and clioquinol) while others represent novel chemical entities (e.g. glycogen synthase kinase-3 inhibitors).
Algorithms – ESA 2007 ; 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings
This book presented submissions in the engineering and applications track. The papers address all current subjects in algorithmics reaching from design and analysis issues of algorithms over to real-world applicat.
Algorithmic number theory ; 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Algorithmic Number Theory Symposium, ANTS 2006, held in Berlin, July 2006. The book presents 37 revised full papers together with 4 invited papers selected for inclusion. The papers are organized in topical sections on algebraic number theory, analytic and elementary number theory, lattices, curves and varieties over fields of characteristic zero, curves over finite fields and applications, and discrete logarithms.
Algorithmic Foundations of Robotics VI
Robot algorithms are abstractions of computational processes that control or reason about motion and perception in the physical world. Because actions in the physical world are subject to physical laws and geometric constraints, the design and analysis of robot algorithms raises a unique combination of questions in control theory, computational and differential geometry, and computer science. Algorithms serve as a unifying theme in the multi-disciplinary field of robotics. This volume consists of selected contributions to the sixth Workshop on the Algorithmic Foundations of Robotics. This is a highly competitive meeting of experts in the field of algorithmic issues related to robotics and automation.
Algebraic Methodology and Software Technology ; 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) fve diferent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical efects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines.
AI in drug discovery
Constitutes the refereed proceedings of the First international workshop on ai in Drug Discovery, AIDD 2024, held as a part of the 33rd International Conference on Artificial Neural Networks, ICANN 2024, in Lugano, Switzerland, on September 19, 2024. These papers focus on various aspects of the rapidly evolving field of Artificial Intelligence (AI)-driven drug discovery in chemistry, including Big Data and advanced Machine Learning, eXplainable AI (XAI), Chemoinformatics, Use of deep learning to predict molecular properties, Modeling and prediction of chemical reaction data and Generative models.
AI in clinical medicine : A practical guide for healthcare professionals
A Practical Guide for Healthcare Professionals is the definitive reference book for the emerging and exciting use of AI throughout clinical medicine. AI in Clinical Medicine: A Practical Guide for Healthcare Professionals is divided into four sections. Section 1 provides readers with the basic vocabulary that they require, a framework for AI, and highlights the importance of robust AI training for physicians. Section 2 reviews foundational ideas and concepts, including the history of AI. Section 3 explores how AI is applied to specific disciplines. Section 4 describes emerging trends, and applications of AI in medicine in the future.
Aging and the Heart : A Post-Genomic View
In this book, the genetic and molecular basis of cardiovascular aging will be discussed. In addition, a comprehensive assessment of the bioenergetic changes that occur in human and animal models of cardiac aging as well as current diagnostic and future therapeutic modalities will be undertaken.
Agent-oriented software engineering VIII ; 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software Engineering, AOSE 2007, held in Honolulu, Hawaii in May 2007 as part of AAMAS 2007.
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
African Cultural Astronomy : Current Archaeoastronomy and Ethnoastronomy research in Africa
Astronomy is the science of studying the sky using telescopes and light collectors such as photographic plates or CCD detectors. However, people have always studied the sky and continue to study the sky without the aid of instruments this is the realm of cultural astronomy. This is the first scholarly collection of articles focused on the cultural astronomy of Africans. It weaves together astronomy, anthropology, and Africa. The volume includes African myths and legends about the sky, alignments to celestial bodies found at archaeological sites and at places of worship, rock art with celestial imagery, and scientific thinking revealed in local astronomy traditions including ethnomathematics and the creation of calendars. Authors include astronomers Kim Malville, Johnson Urama, and Thebe Medupe; archaeologist Felix Chami, and geographer Michael Bonine, and many new authors.
Advances in Multiresolution for Geometric Modelling
Multiresolution methods in geometric modelling are concerned with the generation, representation, and manipulation of geometric objects at several levels of detail. Applications include fast visualization and rendering as well as coding, compression, and digital transmission of 3D geometric objects.The book contains seven survey papers, providing a detailed overview of recent advances in the various fields within multiresolution modelling, and sixteen additional research papers. Each of the seven parts of the book starts with a survey paper, followed by the associated research papers in that area.
Advances in Mathematical Finance
This volume brings together a collection of chapters by some of the most distinguished researchers and practitioners in the fields of mathematical finance and financial engineering. Presenting state-of-the-art developments in theory and practice.
