الصفحة 32
الصفحة 32
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 of Specification Languages
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Logica Universalis : Towards a General Theory of Logic
Signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons.Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity.
Lochnagar : The Natural History of a Mountain Lake
The remote mountain loch of Lochnagar is one of the most studied freshwater bodies in Europe. This book brings together knowledge gained over two decades of multi-disciplinary scientific study, with the results of lake sediment research covering millennia, to show how the loch has developed both naturally and as a result of human impact
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.
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.
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.
Linked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project
Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, semantics-based information system. This book presents an overview on the results of the research project “LOD2 -- Creating Knowledge out of Interlinked Data”. LOD2 is a large-scale integrating project co-funded by the European Commission within the FP7 Information and Communication Technologies Work Program. Commencing in September 2010, this 4-year project comprised leading Linked Open Data research groups, companies, and service providers from across 11 European countries and South Korea.
Lines of Inquiry in Mathematical Modelling Research in Education
The book addresses the “balancing act” between developing students’ modelling skills on the one hand, and using modelling to help them learn mathematics on the other, which arises from the integration of modelling into classrooms. In addition the book highlights professional learning and development for in-service teachers, particularly in systems where the introduction of modelling into curricula means reassessing how mathematics is taught.
Linear Programming : Foundations and Extensions
Linear Programming: Foundations and Extensions is an introduction to the field of optimization. The book emphasizes constrained optimization, beginning with a substantial treatment of linear programming, and proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex optimization. The book is carefully written. Specific examples and concrete algorithms precede more abstract topics. Topics are clearly developed with a large number of numerical examples worked out in detail.
Linear Optimization Problems with Inexact Data
Linear programming attracted the interest of mathematicians during and after World War II when the first computers were constructed and methods for solving large linear programming problems were sought in connection with specific practical problems—for example, providing logistical support for the U.S. Armed Forces or modeling national economies. Early attempts to apply linear programming methods to solve practical problems failed to satisfy expectations. There were various reasons for the failure. One of them, which is the central topic of this book, was the inexactness of the data used to create the models. This phenomenon, inherent in most pratical problems, has been dealt with in several ways. At first, linear programming models used "average” values of inherently vague coefficients, but the optimal solutions of these models were not always optimal for the original problem itself. Later researchers developed the stochastic linear programming approach, but this too has its limitations. Recently, interest has been given to linear programming problems with data given as intervals, convex sets and/or fuzzy sets. The individual results of these studies have been promising, but the literature has not presented a unified theory. Linear Optimization Problems with Inexact Data attempts to present a comprehensive treatment of linear optimization with inexact data, summarizing existing results and presenting new ones within a unifying framework.
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.
Light scattering by systems of particles : Null-field method with discrete sources : Theory and programs
Light Scattering by Systems of Particles comprehensively develops the theory of the null-field method, while covering almost all aspects and current applications. The "Null-field Method with Discrete Sources" is an extension of the Null-field Method (also called T-Matrix Method) to compute light scattering by arbitrarily shaped dielectric particles. This book incorporates FORTRAN programs and exemplary simulation results that demonstrate all aspects of the latest developments of the method. Worked examples of the application of the FORTRAN programs show readers how to adapt or modify the programs for their specific application.
Lifelong Learning : Interpretations of an Education Policy in Europe
In Europe, the idea of Lifelong Learning has developed from an education policy to the most important pedagogic paradigm. The concept was created as an answer to the international education crisis, diagnozed by Philip H. Coombs in 1967. Since the European Year of Lifelong Learning in 1996, it has been regarded as an alternative to deal with the rapid social, political and economic changes of the modern world. Andrea Óhidy shows the genesis of the concept and its development towards a pedagogic paradigm. She investigates the relations between the concept of Lifelong Learning and school education and points out the most important links between Lifelong Learning and adult education.
Les fonctions sphinctériennes = Sphincter functions
This book on Sphincter functions provides an update on a very topical subject, urinary and anal incontinence. Divided into three parts, it first deals with fundamental aspects, whether anatomical, physiological or clinical. The explorations of the various urinary and anorectal functions are described with electrophysiological, manometric, urodynamic tests as well as imaging. The second part is devoted to the pathology with all the dysfunctions that we encounter in daily practice. Urinary and anal incontinence, dysuria and retention, neurological sphincter disorders, dysfunctions in pregnant women and children are discussed. The last part takes stock of treatments, whether pharmacological, rehabilitative or surgical. This work, which contains a considerable amount of information, will undoubtedly be of interest to many medical specialists (physicians in physical medicine and rehabilitation, neurologists, gastroenterologists, gynecologists, general practitioners, pediatricians), surgeons (urologists, gynecological surgeons, surgeons). digestive) whether they are in training or already involved in the management of perineal disability. Other health professionals will find reference material there (nurses, physiotherapists, midwives).
Lectures on Quantum Gravity
A primary goal was to foster interaction and communication between participants from different cultures, both in the layman’s sense of the term and in terms of approaches to quantum gravity. We hope that the links formed by students and the school will persist throughout their professional lives, continuing to promote interaction and the essential exchange of ideas that drives research forward. This volume contains improved and updated versions of the lectures given at the School. It has been prepared both as a reminder for the participants, and so that these pedagogical introductions can be made available to others who were unable to attend. We expect them to serve students of all ages well.
Lectures on Algebraic Geometry I : Sheaves, Cohomology of Sheaves, and Applications to Riemann Surfaces
This book and the following second volume is an introduction into modern algebraic geometry. In the first volume the methods of homological algebra, theory of sheaves, and sheaf cohomology are developed. These methods are indispensable for modern algebraic geometry, but they are also fundamental for other branches of mathematics and of great interest in their own.In the last chapter of volume I these concepts are applied to the theory of compact Riemann surfaces. In this chapter the author makes clear how influential the ideas of Abel, Riemann and Jacobi were and that many of the modern methods have been anticipated by them.
Learning to Live in the Knowledge Society ; IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Learning through Community : Exploring Participatory Practices
A collection of case studies that explore the learning that people do through community engagement. Developed within a network of Canadian researchers and their community partners, it explores learning that is organized by the learners themselves, collectively, rather than as individuals. Reflecting the contributors’ political priorities, the volume begins with groups that are highly marginalized in our society: immigrant women, sex trade workers, senior citizens, garment workers, women doing community economic development, and people who identify with disability and anti-poverty movements.
Learning the language of dentistry : disciplinary corpora in the teaching of English for specific academic purposes
Explores the affordances of disciplinary corpora for the teaching and learning of the language of dentistry, within the field of English for Specific Academic Purposes (ESAP). We extract disciplinary register features and vocabulary from three key genres of the dentistry discipline (published experimental research articles, case reports, and novice/professional research reports within the Dental Public Health domain), before integrating these features into ESAP pedagogy in the form of corpus-based ESAP materials that promote student-led direct engagement with disciplinary corpora – an approach known as 'data-driven learning'. This book is a timely and relevant addition to the field of corpus linguistics and ESAP, and is especially targeted at ESAP professionals who are required to teach disciplinary discourses but who may struggle to know what to teach as non-experts of the target discipline.
