الصفحة 80
الصفحة 80
Logic Programming ; Vol. 4079 ; 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. The 20 revised full papers and 6 application papers presented together with 2 invited talks, 2 tutorials and special interest papers, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles, were carefully reviewed and selected from 83 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations, semantics and foundations, analysis and transformations, CHRs and extensions, implementations and systems, answer set programming and extensions, as well as constraints and optimizations.
Logic for Programming, Artificial Intelligence, and Reasoning ; Vol. 3452 : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th - ternational Workshop on the Implementation of Logics (organized by Stephan Schulz and Boris Konev) and the Workshop on Analytic Proof Systems (or- nized by Matthias Baaz). The call for papers attracted 77 paper submissions, each of which was - viewed by at least three expert reviewers. The ?nal decisions on the papers were taken during an electronic Program Committee meeting held on the Internet. The Internet-based submission, reviewing, and discussion software EasyChair, provided by the second PC co-chair, supported each stage of the reviewing p- cess.
Logic for Programming, Artificial Intelligence, and Reasoning ; 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
Logic Based Program Synthesis and Transformation ; Vol. 3901 ; 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.
Location- and Context-Awareness ; Vol. 3479 ; First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings
The workshop was organized by the Institute of Communications and Navigation of the German Aerospace Center (DLR) in Oberpfa?enhofen, and the Mobile and Distributed Systems Group of the University of Munich. During the workshop, novel positioning algorithms and location sensing techniques were discussed, comprising not only enhancements of singular systems, like positioning in GSM or WLAN, but also hybrid technologies, such as the integration of global satellite systems with inertial positioning. Furthermore, improvements in sensor technology, as well as the integration and fusion of sensors, were addressed both on a theoretical and on an implementation level. Personal and confidential data, such as location data of users, have p- found implications for personal information privacy. Thus privacy protection, privacy-oriented location-aware systems, and how privacy aspects the feasibility and usefulness of systems were also addressed in the workshop.
Local-Moment Ferromagnets : Unique Properties for Modern Applications
Some ferromagnetic materials with localized magnetic moments have become a hot topic in modern solid-state physics because of their potential applications, e.g. in spintronic devices. The magnetic systems of interest comprise diluted magnetic semiconductors and half-metallic ferromagnets. Like conventional concentrated local-moment systems, they are characterized by an exchange interaction between localized magnetic moments and quasi-free charge carriers. The current research on local-moment ferromagnetism is reviewed in a tutorial style by leading experts in this field. Experimentalists present the latest approaches to characterize the unique material properties, and theoreticians propose definitive ideas to explain the observed phenomena. Students and researches alike will benefit from this status report.
Local Pattern Detection ; International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers
Introduction The dramatic increase in available computer storage capacity over the last 10 years has led to the creation of very large databases of scienti?c and commercial information. The need to analyze these masses of data has led to the evolution of the new field knowledge discovery in databases (KDD) at the intersection of machine learning, statistics and database technology. Being interdisciplinary by nature, the field offers the opportunity to combine the expertise of different fields into a common objective. Moreover, within each field diverse methods have been developed and justified with respect to different quality criteria. We have to investigate how these methods can contributet o solving the problem of KDD. Traditionally, KDD was seeking to end global models for the data that - plain most of the instances of the database and describe the general structure of the data. Examples are statistical time series models, cluster models, logic programs with high coverageor classi?cation models like decision trees or linear decision functions. In practice, though, the use of these models often is very l- ited, because global models tend to end only the obvious patterns in the data, 1 which domain experts already are aware of . What is really of interest to the users are the local patterns that deviate from the already-known background knowledge. David Hand, who organized a workshop in 2002, proposed the new field of local patterns.
Liver
Liver is the second largest organ in human body, more than 5,000 separate bodily functions including helping blood to clot, cleansing the blood of toxins to converting food into nutrients to control hormone levels, fighting infections and illness, regenerating back after injury and metabolizing cholesterol, glucose, iron and controlling their levels. Most people never give their liver a thought until something goes wrong, yet, liver diseases on rise, affecting one in ten. Liver diseases can be inherited or caused by a variety of factors that damage the liver.
Little and Falace's Dental Management of the Medically Compromised Patient ; 9th ed.
Learn how to provide dental care to any patient, regardless of existing medical conditions. Little and Falace’s Dental Management of the Medically Compromised Patient, 9th Edition, has been thoroughly revised to give you the information you need to assess common problems, and make safe and healthy dental management decisions. The new addition includes expanded coverage of women’s health issues and introduces a process for developing a medical-risk source. Also, each chapter features vivid illustrations and well-organized tables to give you in-depth details and overall summaries to help you get to the root of your future patients’ needs.
Listeria Monocytogenes : Pathogenesis and Host Response
This comprehensive volume, written by experts in the field, includes concise and timely reviews of Listeria monocytogenes, one of the most intensively studied bacterial pathogens. Listeria monocytogenes is the cause of listeriosis, a potentially fatal disease that arises from the consumption of contaminated food. During the past two decades, studies of this organism have uncovered a wealth of information on its virulence factors, its genome organization, and its interactions with host cells and the immune system.
Liquidity, markets and trading in action : An interdisciplinary perspective
This book addresses four standard business school subjects: microeconomics, macroeconomics, finance and information systems as they relate to trading, liquidity, and market structure. It provides a detailed examination of the impact of trading costs and other impediments of trading that the authors call “frictions”. It also presents an interactive simulation model of equity market trading, TraderEx, that enables students to implement trading decisions in different market scenarios and structures. Addressing these topics shines a bright light on how a real-world financial market operates, and the simulation provides students with an experiential learning opportunity that is informative and fun.
Liquid Crystalline Functional Assemblies and Their Supramolecular Structures
This book presents critical reviews of the present position and future trends in modern chemical research concerned with chemical structure and bonding. It contains short and concise reports, each written by the world's renowned experts.
Liposuction : Principles and Practice
Liposuction began as a contouring procedure but has evolved into the treatment of obese patients, gynecomastia, ptosis, macromastia, and even patients who have complications from heart disease or diabetes. Other disorders such as axillary sweat hypersecretion, lipomas, and angiomas are also potential disorders that may be treated with liposuction.
Lipids in Health and Disease
Lipids are functionally versatile molecules. They have evolved from relatively simple hydrocarbons that serve as depot storages of metabolites and barriers to the permeation of solutes into complex compounds that perform a variety of signalling functions in higher organisms. This volume is devoted to the polar lipids and their constituents. We have omitted the neutral lipids like fats and oils because their function is generally to act as deposits of metabolizable substrates. The sterols are also outside the scope of the present volume and the reader is referred to volume 28 of this series which is the subject of cholesterol. The polar lipids are comprised of fatty acids attached to either glycerol or sphingosine. The fatty acids themselves constitute an important reservoir of substrates for conversion into families of signalling and modulating molecules including the eicosanoids amongst which are the prostaglandins, thromboxanes and leucotrienes. The way fatty acid metabolism is regulated in the liver and how fatty acids are desaturated are subjects considered in the first part of this volume. This section also deals with the modulation of protein function and inflammation by unsaturated fatty acids and their derivatives. New insights into the role of fatty acid synthesis and eicosenoid function in tumour progression and metastasis are presented.
LINQ for Visual C# 2008
Every C# programmer needs to learn about LINQ (Language–Integrated Query), Microsoft's breakthrough technology for simplifying and unifying data access from any data source. With LINQ, you can write more elegant and flexible code—not just to access databases and files, but to manipulate data structures and XML. This book is a short, yet comprehensive guide to the major features of LINQ and the significant enhancements introduced with .NET 3.5. There is no better source for getting a head–start on the future of these technologies than this book.
Linked Democracy : Foundations, Tools, and Applications
This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic democracy, offering licensed linked data along with information about the rights involved. This model of democracy for the web of data brings new challenges for the social organisation of knowledge, collective innovation, and the coordination of actions. Licensed linked data, licensed linguistic linked data, right expression languages, semantic web regulatory models, electronic institutions, artificial socio-cognitive systems are examples of regulatory and institutional design (regulations by design). The web has been massively populated with both data and services, and semantically structured data, the linked data cloud, facilitates and fosters human-machine interaction. Linked data aims to create ecosystems to make it possible to browse, discover, exploit and reuse data sets for applications. Rights Expression Languages semi-automatically regulate the use and reuse of content.
Linear Genetic Programming
Linear Genetic Programming examines the evolution of imperative computer programs written as linear sequences of instructions. In contrast to functional expressions or syntax trees used in traditional Genetic Programming (GP), Linear Genetic Programming (LGP) employs a linear program structure as genetic material whose primary characteristics are exploited to achieve acceleration of both execution time and evolutionary progress.
Limnology and Aquatic Birds ; Proceedings of the Fourth Conference Working Group on Aquatic Birds of Societas Internationalis Limnologiae (SIL), Sackville, New Brunswick, Canada, August 3-7, 2003
The importance of habitat conservation for the protection of birds has become widely acknowledged and accepted by natural resource managers and the general public. Papers presented in this volume further our understanding of the important role that limnology has in determining habitat suitability for waterbirds. Long-term population monitoring of waterbirds is an important tool in our quest to understand the role waterbirds play in their environment. Continued population declines of many species of aquatic birds indicate the need for additional understanding of how human activities negatively impact water quality and bird populations and what mitigative actions can be taken. The main objective of the Working Group on Aquatic Birds of the International Limnological Society (SIL) is to integrate waterbirds into hydrobiology and treat waterbird studies in a limnological context. To achieve this goal, the Working Group organizes conferences to facilitate communications among limnologists interested in aquatic birds and ornithologists interested in the aquatic habitat. The efforts of the SIL Working Group on aquatic birds has resulted in a new emphasis on the links between aquatic birds and their environment
Light Scattering from Polymer Solutions and Nanoparticle Dispersions
Light scattering is a very powerful method to characterize the structure of polymers and nanoparticles in solution. Recent technical developments have strongly enhanced the possible applications of this technique, overcoming previous limitations like sample turbidity or insufficient experimental time scales. However, despite their importance, these new developments have not yet been presented in a comprehensive form. In addition, and maybe even more important to the broad audience, there lacks a simple-to-read textbook for students and non-experts interested in the basic principles and fundamental techniques of light scattering. As part of the Springer Laboratory series, this book tries not only to provide such a simple-to-read and illustrative textbook about the seemingly very complicated topic of light scattering from polymers and nanoparticles in dilute solution, but also intends to cover some of the newest technical developments in experimental light scattering.
