Refine Results
Sort By
From
To
Page 7
Page 7
Analysis, Modeling and Simulation of Multiscale Problems
This book reports recent mathematical developments in the Programme "Analysis, Modeling and Simulation of Multiscale Problems", which started as a German research initiative in 2006. Multiscale problems occur in many fields of science, such as microstructures in materials, sharp-interface models, many-particle systems and motions on different spatial and temporal scales in quantum mechanics or in molecular dynamics. The book presents current mathematical foundations of modeling, and proposes efficient numerical treatment.
An Introduction to Riemann Surfaces, Algebraic Curves and Moduli Spaces
This book gives an introduction to modern geometry. Starting from an elementary level the author develops deep geometrical concepts, playing an important role nowadays in contemporary theoretical physics. He presents various techniques and viewpoints, thereby showing the relations between the alternative approaches.
An Introduction to Bayesian Analysis : Theory and Methods
This book is a contemporary introduction to theory, methods and computation in Bayesian Analysis. It focuses on topics that have stood the test of time and on emerging areas. No other such book is available in the market.
Affirmative aesthetics and wilful women : Gender, space and wobility in contemporary cinema
Adopts a fluid approach to space designed to accommodate wilful, affirmative, and imaginative perspectives of gender on screen.
Aesthetics and philosophy of art ; Vol. 9
The present volume is a continuation of the series Contemporary Philosophy (International Institute of Philosophy). As with the earlier volumes in the series, the present chronicles purport to give a survey of significant trends in contemporary philosophy. This volume on Aesthetics, containing nineteen surveys, shows the variety of approaches to Aesthetics in various cultures. The close connection between aesthetics and religion and between aesthetics and ethics is emphasized in several contributions.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advancements in Electric Machines
Discusses the stateof-the art of electric machines, associated components and contemporary trends of their development. Novel electric machines considered in this book have been limited to rotary electric machines. Linear electric machines and linear actuators have not been included.
Advanced Fuzzy Logic Technologies in Industrial Applications
Addresses the problem by introducing a dynamic, on-line fuzzy inference system. In this system membership functions and control rules are not determined until the system is applied and each output of its lookup table is calculated based on current inputs. The tuning process is a major focus in this volume because it is the most difficult stage in fuzzy control application. Using new methods such as µ-law technique, histogram equalization and the Bezier-based method, all detailed here, the tuning process can be significantly simplified and control performance improved. The other great strength of this book lies in the range and contemporaneity of its applications and examples which include: laser tracking and control; robot calibration; image processing and pattern recognition; medical engineering; audio systems; autonomous underwater vehicles and data mining.
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.
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.
A Climate of Justice : An Ethical Foundation for Environmentalism
This book helps readers combine history, politics, and ethics to address the most pressing problem facing the world today: environmental survival. In A Climate of Justice, Marvin Brown connects the environmental crisis to basic questions of economic, social, and racial justice. Brown shows how our current social climate maintains systemic injustices, and he uncovers resources for change through a civic ethics of repair and reciprocity.
