الصفحة 10
الصفحة 10
Formal Methods for Performance Evaluation ; 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007.
Formal Methods for Mobile Computing ; 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
Formal Methods for Hardware Verification ; 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
Formal Methods for Computational Systems Biology ; 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). This series of schools addresses the use of formal methods in computer science asaprominent approach to theri gorousdesign of computer, communication, and software systems. The main aim of the SFM series is to ofer a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the feld.
Formal concept analysis ; Vol. 3403 ; 3rd International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings
This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and its applications. The first part of the book is devoted to foundational and methodological topics. The contributions in the second part demonstrate how formal concept analysis is successfully used outside of mathematics, in linguistics, text retrieval, association rule mining, data analysis, and economics. The third part presents applications in software engineering.
Food-Borne Parasitic Zoonoses : Fish and Plant-Borne Parasites
The focus of this book is on those zoonoses that are transmitted by fish, plant and invertebrate foods. While people, especially those living in developed countries, are commonly aware of meat-borne zoonoses such as trichinellosis and cysticercosis, fewer are acquainted with parasitic diseases caused by liver, lung and intestinal flukes, fish-borne tapeworms, and tissue roundworms. This book reviews not only the prevalence and distribution of these zoonoses, including available health and economic impact data, but also highlights gaps in our knowledge base that must be filled in order to gain insights on approaches to prevention. The topics on epidemiology, diagnosis, and clinical aspects emphasize knowledge gaps that limit a full understanding of these zoonoses, and target where greater research investments on these parasitic diseases should be focused.
Fluid Mechanics : An Introduction to the Theory of Fluid Flows
Advancements of fluid flow measuring techniques and of computational methods have led to new ways to treat laminar and turbulent flows. These methods are extensively used these days in research and engineering practise. This also requires new ways to teach the subject to students at higher educational institutions in an introductory manner. The book provides the knowledge to students in engineering and natural science needed to enter fluid mechanics applications in various fields. Analytical treatments are provided, based on the Navier-Stokes equations. Introductions are also given into numerical and experimental methods applied to flows. The main benefit the reader will derive from the book is a sound introduction into all aspects of fluid mechanics covering all relevant subfields.
Financial cryptography and data security ; FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020, in Kota Kinabalu, Malaysia, in February 2020. The 39 full papers and 3 short papers presented in this book were carefully reviewed and selected from 73 submissions. The papers feature four Workshops: The 1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020.
Fiber Concrete : In Construction
Helps the user to correctly use fiber-reinforced concrete as a building material in accordance with its properties in order to create a long-lasting building for the client at low cost. Fiber-reinforced concrete as an extension of concrete offers considerable advantages for building practice, which, based on the material properties, enable a very long service life.Fiber-reinforced concrete is particularly suitable for an aggressive environment such as salt exposure, since corrosion can be completely avoided. Particular attention is also paid to the shrinkage cracks that occur in the concrete and how they can be and how these can be avoided when using fibers.
Ferrous Materials : Steel and Cast Iron
This book closes the gap in the treatment of steel and cast iron. Each chapter takes into account the gradual transitions between the two types of ferrous materials. The authors demonstrate that steel and cast iron are versatile and customisable materials which will continue to play a key role in the future.
Exceptional Lifespans
How long can humans live? This open access book documents, verifies and brings to life the advance of the frontier of human survival. It carefully validates data on supercentenarians, aged 110+, and semi-supercentenarians, aged 105-109, stored in the International Database on Longevity (IDL).
Evolutionary Microeconomics
Classical microeconomics is intended to explain how a price system is able to coordinate the economic agents. But even if it can be extended to incomplete information and externalities, it remains grounded on very heroic assumptions. Agents are endowed with a very strong rationality, equilibrium is stated without a concrete process to achieve it, market is the unique institution considered. Evolutionary microeconomics is aimed at bypassing these limitations by considering a dynamic approach, however not biologically oriented.
European Energy Futures 2030 : Technology and Social Visions from the European Energy Delphi Survey
The book summarizes the results of the first Europe-wide Delphi study on future developments in the energy sector. With a time horizon of 2030, this expert survey not only provides a useful perspective on long-term developments of energy technologies, but also evaluates these technologies against different sets of social values or "visions". In the comprehensive analysis following the Delphi survey itself, special attention was given to faithfully translating the trends and needs identified by the survey participants into recommendations for R&D and energy policies.
Essential NMR : For Scientists and Engineers
ESSENTIAL NMR is a set of lecture notes for scientists and engineers who want to brush up on their knowledge of NMR. This book is also a compendium for graduate and postgraduate students of physics and chemistry as well as for their teachers, covering all fields of NMR, i.e. NMR methodology and hardware, chemical analysis, 2D-spectroscopy, NMR imaging, flow NMR, and quality control NMR. The material, selected and organized for a one-semester course, is presented with pairs of pages addressing particular topics. One page of each pair provides a text containing the key information, the other page shows a color illustration. This is the most comprehensive textbook on NMR to date.
Essential echocardiography : A practical guide
A Practical Handbook serves as today's premier practical guide to the understanding of the most commonly used cardiac imaging technique in the world. The perfect marriage between anatomy and physiology, the text covers emerging cardiac imaging technologies, advances in ultrasound technology, as well as new techniques and applications of cardiac ultrasound. Essential Echocardiography: A Practical Handbook provides the physiological, anatomical, and diagnostic grounding for all students of cardiac ultrasound, as well as a sound basis for a more general understanding of cardiac imaging.
Essential Cases on Natural Causation
This first volume covers one key aspect of tortious liability – natural causation. The conditio sine qua non rule is examined and tested throughout all jurisdictions, in particular with an eye on whether and to what extent courts are willing to deviate from the strict concept of this formula.
ERP Systems and Organisational Change : A Socio-technical Insight
ERP (Enterprise Resource Planning) systems are now the backbone of the information systems in public and private sector organisations. This book provides a unique and comprehensive insight into ERP systems, from both a social and a technical viewpoint.
Ensembles ordonnés finis : concepts, résultats et usages = Finite ordered sets : concepts, results and uses
The concepts of order, classification, storage are presented in many activities and human situations. The mathematical formalization of these notions first allowed the great development of the theory of lattices, then that of more general ordered structures, in particular those relating to discrete mathematics.
English Linguistics : Essentials
It serves both as an introduction for beginners and as a companion for more advanced undergraduate and graduate students, familiarizing its readers with the major and distinctive properties of English (Standard English as well major national, regional and social varieties), including an in-depth structural comparison with German.
Emissions Trading and Business
Emissions trading challenges the management of companies in an entirely new manner. It does not only allow for a bigger flexibility in management decisions concerning emission issues like other marked based environmental policy instruments. Furthermore it changes the code by which environmental policy steers management decisions from hierarchical to monetary information.
