Flux-Corrected Transport
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...
Lee mas
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 ...
Lee mas
Foreign Exchange Rate Forecasting using Artificial Neural Networks
In this monograph, the authors try to apply artificial neural networks (ANNs) to exchange rates forecasting. Selection of ...
Lee mas
Formal Concept Analysis
This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
Lee mas
Formal Concept Analysis (vol. # 3403)
This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...
Lee mas
Formal Concept Analysis (vol. # 3874)
This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
Lee mas
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 ...
Lee mas
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Lee mas
Formal Methods and Hybrid Real-Time Systems
This paper presents a few of these, including a distributed garbage collection problem, distributed consensus problems for ...
Lee mas
Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lee mas
Formal Methods and Stochastic Models for Performance Evaluation
This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...
Lee mas
Formal Methods and Stochastic Models for Performance Evaluation
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...
Lee mas
Formal Methods for Components and Objects (vol. # 3657)
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
Lee mas
Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lee mas
Formal Modeling and Analysis of Timed Systems
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
Lee mas
Formal Modeling and Analysis of Timed Systems (vol. # 4202)
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Lee mas
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lee mas
Formal Techniques for Networked and Distributed Systems – FORTE 2007
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...
Lee mas
Foundations of Fuzzy Logic and Soft Computing
This book comprises a selection of papers from IFSA 2007 on new methods and theories that contribute to the foundations of ...
Lee mas
Foundations of Generic Optimization
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...
Lee mas
