الصفحة 21
الصفحة 21
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
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
Living Off the Land in Space : Green Roads to the Cosmos
Draws parallels with the settlement of terrestrial frontiers to investigate how new space propulsion techniques may help future space settlers exploit extraterrestrial resources to establish independence from the Earth. "Living Off the Land in Space," a collaboration among two space scientists and an artist, is illuminated with many NASA-derived computer-generated images, including drawings, and presents the human (as well as the technological) side of space settlement. It will be an inspiring and indispensible source for those wishing to share in this great adventure.
Lise Meitner and the Dawn of the Nuclear Age
Documenting the extraordinary life of an aspiring woman scientist whose life was filled with adversity. Surviving both World Wars and gender discrimination, Meitner was a pioneer at the forefront of her discipline involving the study of radio-elements and nuclear fission.
Linear Partial Differential Equations for Scientists and Engineers
This significantly expanded fourth edition is designed as an introduction to the theory and applications of linear PDEs. The authors provide fundamental concepts, underlying principles, a wide range of applications, and various methods of solutions to PDEs. In addition to essential standard material on the subject, the book contains new material that is not usually covered in similar texts and reference books, including conservation laws, the spherical wave equation, the cylindrical wave equation, higher-dimensional boundary-value problems, the finite element method, fractional partial differential equations, and nonlinear partial differential equations with applications.
Light and Light Sources : High-Intensity Discharge Lamps
Light and Light Sources gives an introduction to the working principles of high-intensity discharge (HID) lamps and points out challenges and problems associated with the development and operation of HID lamps. The state-of-the-art in electrode and plasma diagnostics as well as numerical methods used for the understanding of HID lamps are described. This volume addresses students as well as scientists and researchers at universities and in industry.
Lidar : Range-Resolved Optical Remote Sensing of the Atmosphere
Written by leading experts in optical radar, or lidar, this book brings all the recent practices up-to-date and covers a multitude of applications, from atmospheric sciences to environmental protection. Its broad cross-disciplinary scope should appeal to both the experienced scientist and the novice in the field. The Foreword is by one of the early pioneers in the area, Herbert Walther.
Lentil : An ancient crop for modern times
Presents the most comprehensive and up to date review of research on lentil production systems, biotic and abiotic stresses management, quality seed production, storage techniques and lentil growing around the world. This book will be of great value to legume breeders, scientists, nutritionists, academic
Lectures in Supercomputational Neurosciences : Dynamics in Complex Brain Networks
The present volume is an introduction, largely from the physicists' perspective, to the subject matter with in-depth contributions by system neuroscientists. A conceptual model for complex networks of neurons is introduced that incorporates many important features of the real brain, such as various types of neurons, various brain areas, inhibitory and excitatory coupling and the plasticity of the network. The computational implementation on supercomputers, which is introduced and discussed in detail in this book, will enable the readers to modify and adapt the algortihm for their own research.
Learning from clusters : A critical assessment from an economic-geographical perspective
Edited volumes run the danger of being a hotchpotch of contributions on a wide variety of topics. Here, we have explicitly focused on a central theme in contemporary economic geography and regional science, namely the relationship between learning, innovation and clustering. Internationally renowned scientists made both theoretical and empirical contributions to this volume. We think this book constitutes a broad palette of contemporary thinking and research on the relationship between spatial concentration and innovation and hope it will play a significant role in future debates on this issue.
Learning About Particles - 50 Privileged Years
Embedded in an autobiographic framework, this book retraces vividly and in some depth the golden years of particle physics as witnessed by one of the scientists who made seminal contributions to the understanding of what is now known as the Standard Model of particle physics. Well beyond a survey of interest to historians of sciences and researchers in the field, this book is a must for all students and young researchers who have learned about the theoretical and experimental facts that make up the standard model through modern textbooks only. It will provide the interested reader with a first hand account and deeper understanding of the multilayered and sinuous development that finally led to the present architecture of this theory.
Lattice Boltzmann Modeling : An Introduction for Geoscientists and Engineers
Lattice Boltzmann models have a remarkable ability to simulate single- and multi-phase fluids and transport processes within them. A rich variety of behaviors, including higher Reynolds numbers flows, phase separation, evaporation, condensation, cavitation, buoyancy, and interactions with surfaces can readily be simulated. This book provides a basic introduction that emphasizes intuition and simplistic conceptualization of processes. It avoids the more difficult mathematics that underlies LB models. The model is viewed from a particle perspective where collisions, streaming, and particle-particle/particle-surface interactions constitute the entire conceptual framework. Beginners and those with more interest in model application than detailed mathematical foundations will find this a powerful "quick start" guide. Example simulations, exercises, and computer codes are included. Working code is provided on the Internet
Lasers in the Conservation of Artworks ; LACONA VI Proceedings, Vienna, Austria, Sept. 21--25, 2005
In 1995 Professor Costas Fotakis brought together restorers and scientists to discuss the potential of lasers in art conservation. Since then the field of "Lasers in the Conservation of Artworks" has gained enormously in importance. Nowadays restorers and laser scientists work close together in order to develop new fields of applications during the last years.
Lasers in the Conservation of Artworks ; LACONA V Proceedings, Osnabrück, Germany, Sept. 15-18, 2003
Since 1995, when Costas Fotakis first brought together restorers and scientists to discuss the potential of lasers in art conservation, the field has grown enormously in importance, and today restorers and laser scientists work together to develop new applications. This book presents the more than six dozen research papers prepared for LACONA V (Lasers in Art Conservation), held in Osnabrueck/Germany in September 2003. The fifth congress once again gathers restorers, art historians, museum staff, laser scientists and laser manufacturers. The topics include, among others: laser cleaning of artworks (case studies and side effects), removal of former conservation layers, fundamentals of laser-artwork interaction, online monitoring and process control, laser diagnostics, spectroscopy for monitoring and identification, networks and co-operation projects.
Landslides in research, theory and practice ; Proceedings of the 8th International Symposium on Landslides held in Cardiff on 26–30 June 2000
Contains vital information from throughout the world on landslide and slope instability problems. Every four years the worlds leading scientists and engineers dealing with landslides, have the opportunity to meet up and engage in the exchange of ideas and experiences at a symposium run under the auspices of ISSMGE Technical Committee 11. These volumes, taken from the 8th symposium in the series, detail investigations into landslide causes, mechanisms and hazards, together with accounts of monitoring and mapping.
Lamto : Structure, Functioning, and Dynamics of a Savanna Ecosystem
Known as "a dream place for scientists," the Lamto savannas, located on the edge of the Cote d'Ivoire rain forests, are one of the only savannas in the world where ongoing ecological research has endured for more than forty years. Drawing from and synthesizing this abundance of research, the book examines the structure, functioning, and dynamics of the Lamto humid savanna. Beginning with the history of the Lamto ecology station and an overview of the major environmental conditions of the site, this exacting work specifically examines the integrative view of energy and nutrient fluxes relative to the dynamics of the savanna's vegetation.
Laboratory Hemostasis : A Practical Guide for Pathologists
This handbook will provide practical information and guidance on the topics relevant to directing a coagulation laboratory and be of interest to pathologists, clinical laboratory scientists, residents, fellows, as well as coagulation laboratory supervisors, technologists and technicians.
La scuola dell’atopia = The school of atopy
The need to clarify the current concepts of atopy, which for too long have oscillated between a primitive purely clinical vision and a subsequent purely immunological one, had been ripe for some time. Understanding that the role of immunoglobulins E is not exhaustive and accepting the Solomonic division between intrinsic and extrinsic atopy were the first two fundamental steps. Recent discoveries of the role of innate immunity, and therefore of antimicrobial peptides, have opened fundamental spaces for understanding in atopy and beyond. What now appears clear is that atopy is not the disease of an organ but rather a defect in the membranes that delimit our "self". The fact that these membranes are called skin, intestines, conjunctiva, bronchi or whatever has artificially fragmented the understanding and treatment of a unitary phenomenon. This book seeks to summarize the different experiences but above all to be a stimulus to ensure that medicine focuses constructively on the same target. If this is the case, we will no longer see "religious wars" between scientists and practicing doctors or, even worse, between the different specialists vying for the patient. If atopy, as we believe, is a global problem, it can only be adequately addressed in a multidisciplinary context and in a collaborative atmosphere, not only between doctor and doctor but also between doctor and patient.
Kristian Birkeland : The First Space Scientist
PREFACEThisscientific biography of Kristian Birkeland (1867–1917) was written to bring the story ofa Norwegian national hero to the attention ofthe English-speaking world. Birkeland’sheroic stature was established not on a field of military battle,but in the bitter cold of the Artic wilderness ashe sought to answer basic questions abouthow the Sun controlled northern lights andmag-netic storms. He was also afather of Norsk Hydro one ofNorway’s largest industries. Birkel and died before reaching the age of 50.Because Birkel and never kept adiary, documented information about his family and private life is sparse. Before he died, Olaf Devik, the last of Birke-ffland’s close friends, gave along interview and graciously transferred his personal archive to A.E. Birkeland’s 82 scientific papers and three book-length publications map the progress of his investigations. addressed this book questions that had vexed European scientists for centuries. Why do the northern lights appear overhead when the Earth’s magnetic field is disturbed? How are magnetic storms connected to disturbances on the Sun? To answer these questions Birkeland interpreted his advance laboratory simulations and daring campaigns in the Arctic wilderness in the light of Maxwell’s newly discovered laws of electricity and magnetism. Birkeland’s ideas were dismissed for decades, only to be vindicated when satellites could fly above the Earth’s atmosphere.
Knowledge and Data Management in GRIDs
Knowledge and Data Management in GRIDs is the third volume of the CoreGRID series and brings together scientific contributions by researchers and scientists working on storage, data, and knowledge management in GRID and Peer-to-Peer systems. This volume presents the latest GRID solutions and research results in key areas of knowledge and data management such as distributed storage management, GRID databases, Semantic GRID and GRID-aware data mining.
