- Simple Search
- Advance Search
Total Books: 3403 - 3420 / 3461
Total Books: 3403 - 3420 / 3461
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works.
2006
English
Engineering
A Posteriori Error Analysis Via Duality Theory : With Applications in Modeling and Numerical Approximations
This volume provides a posteriori error analysis for mathematical idealizations in modeling boundary value problems, especially those arising in mechanical applications, and for numerical approximations of numerous nonlinear variational problems. The author avoids giving the results in the most general, abstract form so that it is easier for the reader to understand more clearly the essential ideas involved. Many examples are included to show the usefulness of the derived error estimates.
2005
English
Mathematics and Statistics
A Portrait of State-of-the-Art Research at the Technical University of Lisbon
This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book brings together in a review manner a comprehensive summary of high quality research contri- tions across basic and applied sciences. The contributing papers are organized around the following major areas: – Emergent areas (Nanosciences, Quantic Computations and Infor- tion, Risk and Volatility in Financial Markets); – Basic Sciences (Mathematics, Physics, Chemistry and Materials); – Social Sciences, Economics and Management Sciences; – Life Sciences and Biotechnology; – Engineering and Technologies – Nature, Environment and Sustainability; – Public Health, Food Quality and Safety; – Health and Sport Sciences; – Urbanism, Transports, Architecture, Arts and Design.
2007
English
Engineering
A Philosophical Examination of Social Justice and Child Poverty
Investigates child poverty from a philosophical perspective. It identifies the injustices of child poverty, relates them to the well-being of children, and discusses who has a moral responsibility to secure social justice for children.
2015
English
Social Sciences
A Pan-Chromatic View of Clusters of Galaxies and the Large-Scale Structure
The reviews presented in this volume cover a wide-range of cluster of galaxies topics like the physics of the ICM gas, the internal cluster dynamics, the detection of clusters using different observational techniques, the great advances in analytical or numerical modeling of clusters, weak and strong lensing effects, the large scale structure as traced by clusters, the cosmological significance of clusters as well as the formation and evolution of clusters within the new cosmological paradigm.
2008
English
Physics
A New Foundation of Physical Theories
Written in the tradition of G. Ludwig’s groundbreaking works, this book aims to clarify and formulate more precisely the fundamental ideas of physical theories. By introducing a basic descriptive language of simple form, in which it is possible to formulate recorded facts, ambiguities of physical theories are avoided as much as possible. In this approach the field of physics that should be described by a theory is determined by basic concepts only, i.e. concepts that can be explained without a theory.In this context the authors introduce a new concept of idealization and review the process of discovering new concepts. They believe that, when the theories are formulated within an axiomatic basis, solutions can be found to many difficult problems such as the interpretation of physical theories, the relations between theories as well as the introduction of physical concepts. The book addresses both physicists and philosophers of science and should encourage the reader to contribute to the understanding of the lasting core of physical knowledge about the real structures of the world.
2006
English
Physics
A Natural Introduction to Probability Theory
According to Leo Breiman (1968), probability theory has a right and a left hand. The right hand refers to rigorous mathematics, and the left hand refers to ‘pro- bilistic thinking’. The combination of these two aspects makes probability theory one of the most exciting ?elds in mathematics. One can study probability as a purely mathematical enterprise, but even when you do that, all the concepts that arisedo haveameaningontheintuitivelevel.Forinstance,wehaveto de?newhat we mean exactly by independent events as a mathematical concept, but clearly, we all know that when we ?ip a coin twice, the event that the ?rst gives heads is independent of the event that the second gives tails.
2008
English
Mathematics and Statistics
A Multidisciplinary Approach to Capability in Age and Ageing
This book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in order to reach goals one has reason to value – from a multidisciplinary approach. the book describes this demographic trends as well as the large global challenges and important societal implications this will have such as a worldwide increase in the number of persons affected with dementia, and in the ratio of retired persons to those still in the labor market. Through contributions from many different research areas, it discussed how capability depends on interactions between the individual (e.g. health, genetics, personality, intellectual capacity), environment (e.g. family, friends, home, work place), and society (e.g. political decisions, ageism, historical period).
2022
English
Social Sciences
A Modern Theory of Factorial Design
Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is extremely popular in various fields of application, including engineering, agriculture, medicine and life sciences. Factorial experiments are often used in case studies in quality management and Design for Six Sigma (DFSS).Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is extremely popular in various fields of application, including engineering, agriculture, medicine and life sciences. Factorial experiments are often used in case studies in quality management and Design for Six Sigma (DFSS).
2006
English
Mathematics and Statistics
A Modern Perspective on Type Theory : From its Origins until Today
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt
2005
English
Mathematics and Statistics
A Modern Introduction to Probability and Statistics : Understanding Why and How
A Modern Introduction to Probability and Statistics has numerous quick exercises to give direct feedback to the students. In addition the book contains over 350 exercises, half of which have answers, of which half have full solutions. A website at www.springeronline.com/1-85233-896-2 gives access to the data files used in the text, and, for instructors, the remaining solutions. The only pre-requisite for the book is a first course in calculus; the text covers standard statistics and probability material, and develops beyond traditional parametric models to the Poisson process, and on to useful modern methods such as the bootstrap.
2005
English
Mathematics and Statistics
A Mathematical Introduction to Conformal Field Theory
The first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal symmetry in n dimensions and its quantization in two dimensions. In particular, the conformal groups are determined and the appearance of the Virasoro algebra in the context of the quantization of two-dimensional conformal symmetry is explained via the classification of central extensions of Lie algebras and groups. The second part surveys some more advanced topics of conformal field theory, such as the representation theory of the Virasoro algebra, conformal symmetry within string theory, an axiomatic approach to Euclidean conformally covariant quantum field theory and a mathematical interpretation of the Verlinde formula in the context of moduli spaces of holomorphic vector bundles on a Riemann surface.
2008
English
Physics
A Logical Approach to Philosophy : Essays in Honour of Graham Solomon
The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic makes to philosophical progress, both by the application of formal methods to traditional philosophical problems and by opening up new avenues of inquiry as philosophers sort out the implications of new and often surprising technical results. Contributions include new technical results rich with philosophical significance for contemporary metaphysics, attempts to diagnose the philosophical significance of some recent technical results, philosophically motivated proposals for new approaches to negation, investigations in the history and philosophy of logic, and contributions to epistemology and philosophy of science that make essential use of logical techniques and results.
2006
English
Social Sciences
A Linear Systems Primer
Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction to systems theory with an emphasis on control. The material presented is broad enough to give the reader a clear picture of the dynamical behavior of linear systems as well as their advantages and limitations. Fundamental results and topics essential to linear systems theory are emphasized. The emphasis is on time-invariant systems, both continuous- and discrete-time.
2007
English
Engineering
A life cycle for clusters? : The dynamics of agglomeration, change, and adaption
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated in economic theory and policy. The euphoria about successful clusters however neglects that historically, many thriving clusters did deteriorate into old industrial areas. This book studies the determinants of cluster survival by analyzing their adaptability to change in the economic environment. Linking theoretic knowledge with empirical observations, a simulation model (based in the N/K method) is developed, which explains when and why the cluster's architecture assists or hampers adaptability. It is found that architectures with intermediate degrees of division of labour and more collective governance forms foster adaptability. Cluster development is thus path dependent as architectures having evolved over time impact on the likelihood of future survival.
2006
English
Environmental Science
A Life (Un)Worthy of Living: Reproductive Genetics in Israel and Germany
This book presents the findings of a study into the social shaping of reproductive genetics in Germany and Israel, two exceptionally interesting social settings, which share a traumatic history. ‘This is a unique and courageous book. Yael Hashiloni-Dolev studied the field of reproductive genetics in Israel and Germany, and found out that while in Germany social, cultural, legal and religious conditions restrict the selection of embryos based on prenatal diagnosis, it is strongly encouraged in Israel. This unexpected finding is brilliantly analyzed by the author. Thus this excellent book must be read and discussed by social scientists, human geneticists, genetic counsellors, bio ethicists and medical students.'
2007
English
Social Sciences
A History of Thermodynamics : The Doctrine of Energy and Entropy
The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural philosophy. It is true that the steam engine for the conversion of heat into work existed before thermodynamics was developed as a branch of physics. However, the systematic theory improved the conversion process, and it succeeded in developing other processes essential to modern life, notably refrigeration and rectification. So, altogether thermodynamics has provided humanity with cheap energy, and cheap fuel, -- consequently with cheap, and abundant, and unspoiled food. Thus thermodynamics has made populations grow, and life expectancy increase beyond anything people could possibly have imagined 200 years ago.
2007
English
Engineering
A History of Parametric Statistical Inference from Bernoulli to Fischer, 1713-1935
This is a history of parametric statistical inference, written by one of the most important historians of statistics of the 20th century, Anders Hald. This book can be viewed as a follow-up to his two most recent books, although this current text is much more streamlined and contains new analysis of many ideas and developments. And unlike his other books, which were encyclopedic by nature, this book can be used for a course on the topic, the only prerequisites being a basic course in probability and statistics.
2007
English
Mathematics and Statistics
Total Books: 3403 - 3420 / 3461
