Page 2
Page 2
Transactions on Computational Systems Biology X
The first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. The following two papers focus on molecular communication and the properties of such communication channels. Two further papers demonstrate techniques for the analysis of genes, and these are followed by a paper outlining an evolutionary approach to the non-unique oligonucleotide probe selection problem. The final paper, which is a regular paper, describes a stochastic pi-calculus model of the PHO pathway.
Towards a New Evolutionary Computation : Advances on Estimation of Distribution Algorithms
This is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.
Tort Law of the European Community
This publication deals with the European dimension of tort law. It provides a critical analysis of the acquis communautaire, asking if and to what extent the provisions and case law in the field of tort law are based on a conclusive system and are in accord with the national legal systems. It thus evaluates whether the acquis communautaire form the beginning of a comprehensive and coherent EC tort law or if the single directives and regulations are contradictory and lack a general concept that is yet to be found.
Topologia
Nato dall’esperienza dell’autore nell’insegnamento della topologia agli studenti del corso di Laurea in Matematica, questo libro contiene le nozioni fondamentali di topologia generale ed una introduzione alla topologia algebrica. La scelta degli argomenti, il loro ordine di presentazione e, soprattutto, il tipo di esposizione tiene conto delle tendenze attuali nell’insegnamento della topologia e delle novita’ nella struttura dei corsi di Laurea scientifici conseguenti all’introduzione del sistema 3+2. Il libro contiene circa 400 esercizi, in parte risolti.
Tibetan houses vernacular architecture of the Himalayas and environs
Analyses 21 traditional houses in the region that respond in diverse ways to the specifics of their location and local climate. The second part presents a comparative study of the construction elements – walls, roof and façades – using photographs and hand-drawn construction details. The newly produced scale drawings provide an excellent basis for comparative review. Detailed plans, atmospheric photographs and informative texts take the reader on a journey through a fascinating building culture.
Threshold decision-making in clinical medicine : With practical application to hematology and oncology
Aims to provide threshold models to help physicians to make optimal diagnostic, therapeutic and predictive decisions. Readers will not only find theoretical information but also practical examples illustrating how these decisions should be made.
Three-Dimensional Television : Capture, Transmission, Display
3DTV require the integration of a diversity of key technologies from computing to graphics, imaging to display, and signal processing to communications. The scope of this book reflects this diversity: different chapters deal with different stages of an end-to-end 3DTV system such as capture, representation, coding, transmission, and display. Both autostereoscopic techniques which eliminate the need for special glasses and allow viewer movement, and holographic approaches which have the potential to provide the truest three-dimensional images, are covered. Some chapters discuss current research trends in 3DTV technology, while others address underlying topics.
Thermal processes using attosecond laser pulses : When time matters
Contains a study of the thermal processes initiated by attosecond laser pulses. Considering the existence of the experimental evidence for the trains of the attosecond laser pulses, we developed the theoretical framework for attophysics, i.e. physics of phenomena with time duration in the attosecond domain. This time domain is concerned with phenomena whose duration is much shorter than the relaxation time for atomic, molecular and nanoparticles scales.
Theory of Quantum Transport in Metallic and Hybrid Nanostructures
A new science emerges at the intersection of modern physics, computer s- ence,andmaterialscience. Thestruggletofurtherminiaturizeisputtingna- technology to the verge of creating single-electron and/or single-spin devices that operate by moving a single electron (spin) and can serve as transistors, memory cells, and for logic gates. These devices take advantage of quantum physics that dominates nanometer size scales. The devices that utilize met- based hybrid nanostructures may possess signi?cant advantages over those exploiting purely semiconducting materials. First, the chemistry of metals is typically simpler than that of semiconductors. Second, the electric properties of metals are much less sensitive to the structural defects and impurities than those of semiconductors. Next, metallic devices allow better electric and th- mal contacts. Another important plus point is that in metals the electron de Broigle wavelength is smaller by many orders of magnitude as compared to that in semiconductor
Theory of Computation
Theory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of computing, as well as providing an introduction to some more advanced contemporary topics. This innovative text focuses primarily, although by no means exclusively, on computational complexity theory: the classification of computational problems in terms of their inherent complexity. It incorporates rigorous treatment of computational models, such as deterministic, nondeterministic, and alternating Turing machines; circuits; probabilistic machines; interactive proof systems; automata on infinite objects; and logical formalisms.
Theorem Proving in Higher Order Logics ; 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
The Vortex and The Jet : A Journey into the Beauty and Mystery of Flight
This book is an introduction for the lay reader to understand the basics of flight. The exposure is to the mysteries of lift generation by wings and the basic function of the jet propulsion engine. The text relies on simple descriptions of the physics of air flow without unduly involving mathematics. The text is richly illustrated with sketches and photographs to enrich verbal descriptions.
The Thermodynamic Machinery of Life
Living organisms are open thermodynamic systems whose functional structure has developed and been kinetically frozen during the historical process of biological evolution. A thermodynamics of both nonequilibrium and complex systems is needed for their description. In this book, the foundations of such a thermodynamics are presented. Biological processes at the cellular level are considered as coupled chemical reactions and transport processes across internal and the cytoplasmic membrane. All these processes are catalyzed by specific enzymes hence the kinetics of enzymatic catalysis and its control are described here in detail. The coupling of several processes through a common enzyme is considered in the context of free energy or signal transduction. Special attention is paid to evidence for a rich stochastic internal dynamics of native proteins and its possible role in the control of enzyme activity and in the action of biological molecular machines.
The Spina Bifida : Management and Outcome
The evolution of technology has made new surgical techniques available for the treatment of diseases associated with the spina bifida malformation, and this is especially true in hydrocephalus and fetal surgery. The progress in this last field and in prenatal diagnosis have raised the significant problem of the effectiveness and usefulness of in utero surgical treatment of the malformation, that are extensively discussed in this volume. Also the clinical situations that can be seen in adolescents or young adults with spina bifida, including sexuality and pregnancy, are highlighted. Aim of this book is to promote a multidisciplinary approach to spina bifida, providing the three main specialists’ categories involved - neurosurgeons, orthopaedic surgeons, and urologists - with an updated overview of surgical approaches and with a concise reference that explains the main clinical problems to be faced in everyday clinical practice.
The Selected Works of Arne Naess ; Volumes 1-10
rne Naess is considered one of the most important philosophers of the twentieth century. He has been a tremendously prolific author, yet his works as a whole have remained largely unavailable – until now. Springer made available for the first time, a definitive 10-volume collection of Arne Naess’s life’s works: The Selected Works of Arne Naess.The Selected Works of Arne Naess (SWAN) presents a major overview of Arne Naess’s thinking and provides an extensive collection of this prolific philosopher’s principal writings. Some of Naess’s most important publications have never before been available in English. Many others are out of print. Often, his papers were published in obscure and inaccessible journals. And because Naess has been so prolific, many of his most important papers still remain unpublished.
The Science of the Individual : Leibnizs Ontology of Individual Substance
In his well-known Discourse on Metaphysics, Leibniz puts individual substance at the basis of metaphysical building. In so doing, he connects himself to a venerable tradition. His theory of individual concept, however, breaks with another idea of the same tradition, that no account of the individual as such can be given.Contrary to what has been commonly accepted, Leibniz’s intuitions are not the mere result of the transcription of subject-predicate logic, nor of the uncritical persistence of some old metaphysical assumptions.
The Plant Endoplasmic Reticulum
The endoplasmic reticulum (ER), called "the mother of all membranes," is spotlighted in this timely new book. The work presented here is especially exciting since GFP-technology has provided new ways of looking at the dynamics of the ER and its relationship to other organelles, particularly the Golgi apparatus and peroxisomes. This book provides in-depth knowledge of the ER and the diverse roles it plays—for instance, in protein trafficking, homeostasis of cellular calcium, plant hormone and lipid synthesis. These manifold activities are reflected in the great plasticity of the ER as a structure, with more than a dozen specialized domains recognized for this organelle.
The Moon that Wasn’t : The Saga of Venus’ Spurious Satellite
This book details the history of one of astronomy’s many spurious objects, the satellite of Venus. First spotted in 1645, the non-existing moon was observed more than a dozen times until the late eighteenth century. Although few astronomers believed in the existence of the moon after about 1770, it continued to attract attention for at least another century. However, it has largely disappeared from the history of astronomy, and the rich historical sources have never been exploited. By telling the story of the enigmatic satellite in its proper historical context it is demonstrated that it was much more than a mere curiosity in the annals of astronomy – Frederick II of Prussia was familiar with it, and so was Bonnet, Kant and Voltaire.
The Legacies of Richard Popkin
Richard H. Popkin (1923-2005) transformed the study of the history of philosophy in the second half of the twentieth century. His History of Scepticism and his many other publications demonstrated the centrality of the problem of skepticism in the development of modern thought, the intimate connections between philosophy and religion, and the importance of contacts between Jewish and Christian thinkers. In this volume, scholars from around the world assess Popkin’s contributions to the many fields in which he was interested.
The Japanese Banking Crisis
Provides a readable narrative of the bubbles and the banking crisis Japan experienced during the two decades between the late 1980s and the early 2000s.
