الصفحة 70
الصفحة 70
Logischer empirismus, lebensreform und die deutsche jugendbewegung : Logical empiricism, life reform, and the German Youth Movement
Investigate the roots of Logical Empiricism in the context of the Life Reform and the German Youth Movements. Rudolf Carnap and Hans Reichenbach are the key protagonists; they both belonged to the German Youth Movement and developed their early philosophical views in this setting. By combining scholarly essays with unpublished and hard to access manuscripts, letters, and articles, this volume recasts our understanding of the early years of Logical Empiricism
Logics in Artificial Intelligence ; 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008.The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.
Logic-based program synthesis and transformation ; 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Logical foundations of computer science ; International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Logical Data Modeling : What it is and How to do it
LOGICAL DATA MODELING: What It Is and How To Do IT is directed toward three groups of people: (1) Business subject matter experts, (2) information technology professionals, (3) advanced students in Computer Science, Management Information Systems, and e-Business. Its purpose is to outline the basics of logical data modeling—specifically, data modeling for relational database management systems—in simple, practical terms and in a business context. The focus on relational data modeling is consciously made because it is superior in modeling real business activities.
Logic Programming with Prolog
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in the field of Artificial Intelligence. This book does not assume that the reader is an experienced programmer or has a background in Mathematics, Logic or Artificial Intelligence. It starts from scratch and aims to arrive at the point where quite powerful programs can be written in the language. It is intended both as a textbook for an introductory course and as a self-study book. On completion the reader will know enough to use Prolog in their own research or practical projects. Each chapter has self-assessment exercises so that the reader may check their own progress. A glossary of the technical terms used completes the book.
Logic Programming and Nonmonotonic Reasoning ; 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, KY, USA(1995), Dagstuhl, Germany(1997), ElPaso, TX, USA(1999), Vienna, A- tria (2001) and Ft. Lauderdale, FL, USA (2004), the eighth conference was held in Diamante, Italy, from 5th to 8th of September 2005. TheaimoftheLPNMRconferencesistobringtogetherandfacilitateinter- tions between active researchers interested in all aspects concerning declarative logic programming, nonmonotonic reasoning, knowledge representation, and the design of logic-based systems and database systems. LPNMR strives to enc- pass theoretical and experimental studies that lead to the implementation of practi...
Logic for Programming, Aritficial Intelligence, and Reasoning ; 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed and selected from 96 submissions.
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.
Location- and context-awareness ; 3rd International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007, Proceedings
These proceedings contain the papers presented at the 3rd International S- posium on Location- and Context-Awareness in September of 2007. Computing has become mobile, wireless, and portable. The rangeof contexts encountered while sitting at a desk working on a computer is very limited c- pared to the large variety of situations experienced away from the desktop.
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.
Local Heroes in the Global Village : Globalization and the New Entrepreneurship Policies
The book contributes to the debate what role public policies play in stimulating national and regional economic growth. With a better understanding of the complexity and variety of existent entrepreneurship policies in the U.S. and Germany the reader of this volume will be able to formulate best practice, hands-on strategies which aim to promote nations as well as regions in an "entrepreneurial economy".This volume brings together conference contributions of leading academics and policy advisors from the United States and Europe,The volume has the virtue of both providing solid empirical analysis and theoretical underpinning from leading economists,social scientists as well as a fresh perspective on the myths and realities concerning the operation of the U.S
Local and Semi-Local Bifurcations in Hamiltonian Dynamical Systems : Results and Examples
Once again KAM theory is committed in the context of nearly integrable Hamiltonian systems. While elliptic and hyperbolic tori determine the distribution of maximal invariant tori, they themselves form n-parameter families. Hence, without the need for untypical conditions or external parameters, torus bifurcations of high co-dimension may be found in a single given Hamiltonian system. The text moves gradually from the integrable case, in which symmetries allow for reduction to bifurcating equilibria, to non-integrability, where smooth parametrisations have to be replaced by Cantor sets. Planar singularities and their versal unfoldings are an important ingredient that helps to explain the underlying dynamics in a transparent way.
Living with Heart Disease
The media are full of terms like angina, heart failure, coronary artery disease, thrombosis, but what do these mean to you? Gerry Coghlan and Clive Handler are experienced heart doctors who have written this book for people who have or might get coronary heart disease.
List decoding of error-correcting codes : Winning thesis of the 2002 ACM doctoral dissertation competition
Presents some spectacular new results in the area of decoding algorithms for error-correcting codes. Specifically, it shows how the notion of “list-decoding” can be applied to recover from far more errors, for a wide variety of err- correcting codes, than achievable before. A brief bit of background : error-correcting codes are combinatorial str- tures that show how to represent (or “encode”) information so that it is - silient to a moderate number of errors. Speci?cally, an error-correcting code takes a short binary string, called the message, and shows how to transform it into a longer binary string, called the codeword, so that if a small number of bits of the codewordare ?ipped, the resulting string does not look like any other codeword. The maximum number of errorsthat the code is guaranteed to detect, denoted d, is a central parameter in its design. A basic property of such a code is that if the number of errors that occur is known to be smaller than d/2, the message is determined uniquely. This poses a computational problem, called the decoding problem : compute the message from a corrupted codeword, when the number of errors is less than d/2.
Liquid separations with membranes : An introduction to barrier interference
On the level of a textbook a self-consistent approach to liquid separations with membranes is presented, contrasting equilibrium separations with the rate-controlling effects of barrier interference on mass transfer. As a corollary objective, an effort is made to observe context, factual and historical, when introducing concepts and applications of membrane separation science. Ordering principle is the formal structure of mass transfer across barriers, being construed of a driving force (allocated to the condition of the mixtures to be separated) and a barrier permeability (holding the keys to membrane selectivity). The membranes, by this approach, appear by way of the mass transport demands which they are to meet, or else by way of the separation effects which they inspire.
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.
Linear Systems Control : Deterministic and Stochastic Methods
Modern control theory and in particular state space or state variable methods can be adapted to the description of many different systems because it depends strongly on physical modeling and physical intuition. The laws of physics are in the form of differential equations and for this reason, this book concentrates on system descriptions in this form. This means coupled systems of linear or nonlinear differential equations. The physical approach is emphasized in this book because it is most natural for complex systems. It also makes what would ordinarily be a difficult mathematical subject into one which can straightforwardly be understood intuitively and which deals with concepts which engineering and science students are already familiar.
Linear and Generalized Linear Mixed Models and Their Applications
This book covers two major classes of mixed effects models, linear mixed models and generalized linear mixed models, and it presents an up-to-date account of theory and methods in analysis of these models as well as their applications in various fields. The book offers a systematic approach to inference about non-Gaussian linear mixed models. Furthermore, it has included recently developed methods, such as mixed model diagnostics, mixed model selection, and jackknife method in the context of mixed models.
Linear and Generalized Linear Mixed Models and Their Applications
This book covers two major classes of mixed effects models—linear mixed models and generalized linear mixed models—and it presents an up-to-date account of theory and methods in analysis of these models as well as their applications in various fields. It offers a systematic approach to inference about non-Gaussian linear mixed models. Furthermore, it discusses the latest developments and methods in the field, incorporating relevant updates since publication of the first edition. These include advances in high-dimensional linear mixed models in genome-wide association studies (GWAS), advances in inference about generalized linear mixed models with crossed random effects, new methods in mixed model prediction, mixed model selection, and mixed model diagnostics.
