الصفحة 14
الصفحة 14
img

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.

img

Logic Synthesis for Compositional Microprogram Control Units

In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator vertices is not less than 75% of the total number of all algorithm vertices. A special class of control units named as compositional microprogram control units (CMCU) is proposed as the best way for interpretation of linear control algorithms.

img

Linear Models for Optimal Test Design

Begins with a reflection on the history of test design--the core activity of all educational and psychological testing. It then presents a standard language for modeling test design problems as instances of multi-objective constrained optimization. The main portion of the book discusses test design models for a large variety of problems from the daily practice of testing, and illustrates their use with the help of numerous empirical examples. The presentation includes models for the assembly of tests to an absolute or relative target for their information functions, classical test assembly, test equating problems, item matching, test splitting, simultaneous assembly of multiple tests, tests with item sets, multidimensional tests, and adaptive test assembly. Two separate chapters are devoted to the questions of how to design item banks for optimal support of programs with fixed and adaptive tests. Linear Models for Optimal Test Design, which does not require any specific mathematical background, has been written to be a helpful resource on the desk of any test specialist.

img

Lie Theory Vol.229 : Unitary Representations and Compactifications of Symmetric Spaces

It focuses on two fundamental questions in the theory of semisimple Lie groups: the geometry of Riemannian symmetric spaces and their compactifications; and branching laws for unitary representations, i.e., restricting unitary representations to (typically, but not exclusively, symmetric) subgroups and decomposing the ensuing representations into irreducibles.Ji's introductory chapter motivates the subject of symmetric spaces and their compactifications with carefully selected examples. A discussion of Satake and Furstenberg boundaries and a survey of the geometry of Riemannian symmetric spaces in general provide a good background for the second chapter, namely, the Borel–Ji authoritative treatment of various types of compactifications useful for studying symmetric and locally symmetric spaces. Borel–Ji further examine constructions of Oshima, De Concini, Procesi, and Melrose, which demonstrate the wide applicability of compactification techniques. Kobayashi examines the important subject of branching laws. Important concepts from modern representation theory, such as Harish–Chandra modules, associated varieties, microlocal analysis, derived functor modules, and geometric quantization are introduced. Concrete examples and relevant exercises engage the reader.

img

Leray–Schauder Type Alternatives, Complementarity Problems and Variational Inequalities

Complementarity theory, a relatively new domain in applied mathematics, has deep connections with several aspects of fundamental mathematics and also has many applications in optimization, economics and engineering. The study of variational inequalities is another domain of applied mathematics with many applications to the study of certain problems with unilateral conditions. This book is the first to discuss complementarity theory and variational inequalities using Leray–Schauder type alternatives.

img

Lectures on Quantum Mechanics

Presents theoretical physics with a breathtaking array of examples and anecdotes. Basdevant's style is clear and stimulating, in the manner of a brisk classroom lecture that students can follow with ease and enjoyment.

img

Learning, philosophy, and African citizenship

This book discusses and addresses the compelling questions concerning the ideals of citizenship, the processes of learning to fulfill these ideals, and possibilities of education in fostering citizenship. Rather than advocating for one framework, the authors demonstrate the continuously contested nature of the concept of citizenship as theoretically discussed and practically experienced. The monograph combines, in an unconventional way, selected philosophical accounts and everyday experiences from certain locations in Tanzania and Uganda.

img

Le piante e linquinamento dellaria ; 3rd ed.

Il volume approfondisce il complesso tema dei rapporti tra vegetazione e inquinanti dell’aria, affrontandone in modo capillare e ben documentato sia gli aspetti scientifici sia le implicazioni storico-culturali. La ricca iconografia a colori, l’approccio didattico, gli aggiornamenti normativi nazionali e comunitari, così come la dettagliata trattazione di tematiche quali la fitotossicologia, l’ecologia, la patologia vegetale, il biomonitoraggio, l'educazione ambientale e la valutazione di impatto ambientale, rendono il testo un sussidio indispensabile per i laureandi e gli specializzandi nelle Facoltà di Agraria e di Scienze Biologiche, Ambientali e Naturali

img

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.

img

Lateral Alignment of Epitaxial Quantum Dots

Accurate positioning of self-organized nanostructures on a substrate surface can be regarded as the Achilles’ heel of nanotechnology. This perception also applies to self-assembled semiconductor quantum dots. This book describes the full range of possible strategies to laterally align self-assembled quantum dots on a substrate surface, starting from pure self-ordering mechanisms and culminating with forced alignment by lithographic positioning. The text addresses both short- and long-range ordering phenomena and paves the way for the future high integration of single quantum dot devices on a single chip. Contributions by the best-known experts in this field ensure that all relevant quantum-dot heterostructures are elucidated from diverse relevant perspectives.

img

Lasers, Clocks and Drag-Free Control : Exploration of Relativistic Gravity in Space

Over the next decade the gravitational physics community will benefit from dramatic improvements in many technologies critical to testing gravity. Highly accurate deep space navigation, interplanetary laser communication, interferometry and metrology, high precision frequency standards, precise pointing and attitude control, together with drag-free technologies, will revolutionize the field of experimental gravitational physics. The centennial of the general theory of relativity in 2015 will motivate a significant number of experiments designed to test this theory with unprecedented accuracy.

img

Lasers and Nuclei : Applications of Ultrahigh Intensity Lasers in Nuclear Science

Lasers and Nuclei describes the generation of high-energy-particle radiation with high-intensity lasers and its application to nuclear science. A basic introduction to laser--matter interaction at high fields is complemented by detailed presentations of state of the art laser particle acceleration and elementary laser nuclear experiments. The text also discusses future applications of lasers in nuclear science, for example in nuclear astrophysics, isotope generation, nuclear fuel physics and proton and neutron imaging.

img

Landscapes of Mars : A Visual Tour

Landscapes of Mars is essentially a picture book that provides a visual tour of Mars. All the major regions and topographical features will be shown and supplemented with chapter introductions and extended captions. In a way, think of it as a visual tourist guide. Other topics covered are Martian uplands on the order of the elevation of Mt. Everest, Giant volcanoes and a rift system, the Grand Canyon of Mars, craters and the absence of craters over large regions (erosion), and wind shadows around craters, sand dunes, and dust devils.

img

Lagrangian Transport in Geophysical Jets and Waves : The Dynamical Systems Approach

This book provides an accessible introduction to a new set of methods for the analysis of Lagrangian motion in geophysical flows. These methods were originally developed in the abstract mathematical setting of dynamical systems theory, through a geometric approach to differential equations. Despite the recent developments in this field and the existence of a substantial body of work on geophysical fluid problems in the dynamical systems and geophysical literature, this is the first introductory text that presents these methods in the context of geophysical fluid flow. The book is organized into seven chapters; the first introduces the geophysical context and the mathematical models of geophysical fluid flow that are explored in subsequent chapters. The second and third cover the simplest case of steady flow, develop basic mathematical concepts and definitions, and touch on some important topics from the classical theory of Hamiltonian systems. The fundamental elements and methods of Lagrangian transport analysis in time-dependent flows that are the main subject of the book are described in the fourth, fifth, and sixth chapters. The seventh chapter gives a brief survey of some of the rapidly evolving research in geophysical fluid dynamics that makes use of this new approach. Related supplementary material, including a glossary and an introduction to numerical methods, is given in the appendices.

img

Lagrangian Probability Distributions

Lagrangian expansions can be used to obtain numerous useful probability models, which have been applied to real life situations including, but not limited to: branching processes, queuing processes, stochastic processes, environmental toxicology, diffusion of information, ecology, strikes in industries, sales of new products, and production targets for optimum profits. This book presents a comprehensive, systematic treatment of the class of Lagrangian probability distributions, along with some of its families, their properties, and important applications.

img

La mente medica : Che significa "umanizzazione" della medicina? = The Medical Mind : What does "humanization" of medicine mean?

Il presente testo intende chiarire misconoscimenti e riduzionismi che paralizzano il pur auspicato mutamento della medicina e le sue articolazioni in differenti professionalità. La Psicologia Clinica si pone come chiave per leggere la mentalità collettiva che sottende l’attuale cultura sanitaria medicalizzante, che si scontra con le esigenze della persona umana, negando, oltretutto, quanto la psicosomatica oggi ci dice circa la costante modulazione psichica di tutti i processi organici, nella salute così come in tutte le malattie. L’umanizzazione della medicina non è un surplus eticamente giusto per il malato: è un indispensabile agente terapeutico. La sua mancanza è iatrogena.

img

L’osservazione delle stelle variabili = The observation of variable stars

The observation of variable stars is one of the main contributions that amateur astronomers can offer to science and this book provides all the information necessary to pursue it profitably. In the first part the different classes of variables are presented in detail, with examples, light curves and physical descriptions. The second section, on the other hand, covers all the practical aspects of observation: from preparation and planning, to observation techniques, up to the management and processing of data.

img

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.

img

Kantianism for animals : A radical kantian animal ethic

The book gives readers in animal ethics an accessible introduction to Kant’s views on our duties to others, and his view that we have only ‘indirect’ duties regarding animals. It then investigates how one would have to depart from Kant in order to recognise that animals matter morally for their own sake. The result is a deliberately amended version of Kantianism which nevertheless remains faithful to central aspects of Kant’s thought. The book’s final part illustrates the framework’s use in applied contexts, addressing the issues of using animals as mere means, the ethics of veganism and vegetarianism, and environmental protection.

img

Jupiter : and How to Observe It

Jupiter is one of the most spectacular observing targets for amateur astronomers. There are various books about observing the planets, and several about Jupiter itself, but this is the only book to deal with the giant planet - its formation, structure, and incredible physics - as well as with the practical aspects of observation of the planet and its moons.

عدد النتائج بكل صفحة