الصفحة 43
الصفحة 43
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.
Formal Modeling and Analysis of Timed Systems ; 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
Formal Methods for Industrial Critical Systems ; 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.
Formal Methods and Stochastic Models for Performance Evaluation ; 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006 with international experts from all over the world. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.
Formal concept analysis ; Vol. 3874 ; 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February 2006. The 17 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the book. The papers show advances in applied lattice and order theory and in particular scientific advances related to formal concept analysis and its practical applications: data and knowledge processing including data visualization, information retrieval, machine learning, data analysis and knowledge management.
Formal Concept Analysis ; 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually analyzing data and kno- edge. The theory itselfstronglyreliesonorder and lattice theory,whichhasbeen studied by mathematicians over decades. FCA proved itself highly relevant in several applications from the beginning , and, over the last years, the range of application shaskept growing. The mainreasonfor this comesfromthe fact that our modern society has turned into an “information” society. After years and years of using computers, companies realized they had stored gigantic amounts of data.
Formal Concept Analysis ; 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. The papers comprise state of the art research from foundational to applied lattice theory and related fields, all of which involve methods and techniques of formal concept analysis such as data visualization, information retrieval, machine learning, data analysis and knowledge management.
Formal aspects in security and trust ; Vol. 173 ; IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Forest Inventory : Methodology and Applications
This book has been developed as a forest inventory textbook for students and can also serve as a handbook for practical foresters. The book is divided into four sections. The first section deals mostly with sampling issues. First, we present the basic sampling designs at a fairly non-technical mathematical level. In addition, we present some more advanced sampling issues often needed in forest inventory. Those include for instance problems with systematic sampling, and methods for sampling vegetation or rare populations. Forest inventory also includes issues that are unique to forestry, like problems in measuring sample plots in the field, or utilising sample tree measurements. These issues include highly sophisticated methodology, but we try to present these also such that forestry students can grasp the ideas behind them. Each method is presented with examples. For foresters who need more details, references are given to more advanced scientific papers and books in the fields of statistics and biometrics.
Forensic Genetics in the Governance of Crime
This book uses a critical sociological perspective to explore contemporary ways of reformulating the governance of crime through genetics. Through the lens of scientific knowledge and genetic technology, Machado and Granja offer a unique perspective on current trends in crime governance. They explore the place and role of genetics in criminal justice systems, and show how classical and contemporary social theory can help address challenges posed by social processes and interactions generated by the uses, meanings, and expectations attributed to genetics in the governance of crime
Forecasting Innovations : Methods for Predicting Numbers of Patent Filings
This is a practical guide to solutions for a case study of forecasting demand for services and products in international markets - and so much more than just another listing of dry theoretical methods. Leading experts present studies on improvements to methods for forecasting numbers of incoming patent filings at the European Patent Office. Studies are presented from econometric, survey and systems theory viewpoints.
Forecasting and Assessing Risk of Individual Electricity Peaks
The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction of electric demand peaks. A cross-section of popular demand forecasting algorithms from statistics, machine learning and mathematics is presented, followed by extreme value theory techniques with examples.
Food Anxiety in Globalising Vietnam
This book approaches the anxieties inherent in food consumption and production in Vietnam. The country’s rapid and recent economic integration into global agro-food systems and consumer markets spurred a new quality of food safety concerns, health issues and distrust in food distribution networks that have become increasingly obscured. This edited volume further puts the eating body centre stage by following how gendered body norms, food taboos, power structures and social differentiation shape people’s ambivalent relations with food. It uncovers Vietnam’s trajectories of agricultural modernisation against which consumers and producers manoeuvre amongst food self-sufficiency, security and abundance. It provides social science perspectives on anxieties related to food and surrounding discourses that travel between the local and the global, the individual and society and into the body. Therefore, the book’s lens of food anxiety matters for social theory and for understanding the embeddedness and discontinuities of food globalizations in Vietnam and beyond.
Folk Psychology Re-Assessed
FOLK PSYCHOLOGY, THEORY OF MIND AND SIMULATION The tasks we face in our day to day social lives are quite heterogeneous but many of them make a common demand upon us. They require us to understand and interact with other people and, in most social encounters, we exhibit a special sensitivity to our fellow human beings that is quite different from the way we respond to inanimate objects and most other species of organism. Social life is dependent, to a considerable degree, on our ability to understand what is distinctive about human behaviour and to successfully apply that understanding in all manner of situations.
Foliations and Geometric Structures
Offers basic material on distributions and foliations. This book introduces and builds the tools needed for studying the geometry of foliated manifolds. Its main theme is to investigate the interrelations between foliations of a manifold on the one hand, and the many geometric structures that the manifold may admit on the other hand.
Fluid Mechanics of Flow Metering
This book addresses two major fluid mechanical problems in flow metering: the analysis of signal generation in turbulent pipe flow, which explains the function of the meter beyond a simple calibration, and the possible use of a meter in non-developed flows. These problems are investigated with reference to, and examples from, a variety of meters, e.g. ultrasound cross-correlation meters, vortex meters, and turbine meters. Studying these problems requires consideration of specific phenomena in turbulent non-developed pipe flow, as caused by installations, and finding special solutions with signal processing, both of which are included in the book.
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.
Fluctuations, Information, Gravity and the Quantum Potential
A main theme of the book outlines the role of the quantum potential in quantum mechanics and general relativity and one of its origins via fluctuations formulated in terms of Fisher information. Another theme is the description of various approaches to Bohmian mechanics and their role in quantum mechanics and general relativity. Along the way various approaches to, for instance, the Dirac equation, the Einstein equations, the Klein-Gordon equation, the Maxwell equations and the Schr?dinger equations are described. Statistics and geometry are intertwined in various ways and, among other matters, the aether, cosmology, entropy, fractals, quantum Kaehler geometry, the vacuum and the zero point field are discussed. There is also some speculative material and some original work along with material extracted from over 1000 references and the work is current up to April 2005.
Fluctuation Theory for Lévy Processes : Ecole d'Eté de Probabilités de Saint-Flour XXXV - 2005
Lévy processes, i.e. processes in continuous time with stationary and independent increments, are named after Paul Lévy, who made the connection with infinitely divisible distributions and described their structure. They form a flexible class of models, which have been applied to the study of storage processes, insurance risk, queues, turbulence, laser cooling, ... and of course finance, where the feature that they include examples having "heavy tails" is particularly important. Their sample path behaviour poses a variety of difficult and fascinating problems
Flow and transport processes with complex obstructions : Applications to cities, vegetative canopies and industry
The NATO Advanced Study Institute “Flow and Transport Processes in Complex - structed Geometries: from cities and vegetative canopies to engineering problems” was held in Kyiv, Ukraine in the period of May 4 - 15, 2004. This book based on the papers presented there provides an overview of this new area in ?uid mechanics and its app- cations that have developed over the past three decades. The subject, whose origins lie both in theory and in practice, is now rapidly developing in many directions. The focus of applied ?uid mechanics research has steadily been shifting from - gineering to environmental applications.
