الصفحة 53
الصفحة 53
Foundations of genetic algorithms ; 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers
The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, January 5–9, 2005. This series of workshops was initiated in 1990 to encourage further research on the theoretical aspects of genetic algorithms, and the workshops have been held biennially ever since. The papers presented at these workshops are revised, edited and published as volumes during the year following each workshop. This series of (now eight) volumes provides an outstanding source of reference for the theoretical work in this ?eld. At the same time this series of volumes provides a clear picture of how the theoretical research has grown and matured along with the ?eld to encompass many evolutionary computation paradigms including evolution strategies (ES), evolutionary programming (EP), and genetic programming (GP), as well as the continuing growthininteractionswith other ?elds suchas mathematics,physics, and biology.
Foundations of generic optimization : Vol.1 : A combinatorial approach to epistasis
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results in soft computing, in particular fuzzy logic using genetic algorithms and neural networks. This book offers researchers not only a solid background but also a snapshot of the current state of the art in this field.
Foundations and novel approaches in data mining
Data-mining has become a popular research topic in recent years for the treatment of the "data rich and information poor” syndrome. Currently, application oriented engineers are only concerned with their immediate problems, which results in an ad hoc method of problem solving. Researchers, on the other hand, lack an understanding of the practical issues of data-mining for realworld problems and often concentrate on issues that are of no significance to the practitioners. In this volume, we hope to remedy problems by (1) presenting a theoretical foundation of data-mining, and (2) providing important new directions for data-mining research. A set of well respected data mining theoreticians were invited to present their views on the fundamental science of data mining.
Foundations and applications of MIS : A model theory approach
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. The development is driven by the need to eliminate ambiguity in specification, design and construction of the application software. Further, the authors show that the considerable effort being expanded nowadays on validation, verification and testing, as required in current software engineering practices, will be reduced. The approach also reinforces the belief that MIS development is independent of software development. The work presents an approach that provides a theoretical foundation for MIS development from the systems theoretic viewpoint along with practical applications ranging from a transaction processing system to a solver system. Both formal systems theory and automatic system generation based on the authors' newly extended Prolog offer a significant increase in the efficiency of specification, design and production of the application software, as well as an increase in the functional reliability of the software produced. The book assumes a working knowledge of elementary set theory, logic, and familiarity with some systems concepts, such as the automaton model.
Foundations and advances in data mining
In this carefully edited volume a theoretical foundation as well as important new directions for data-mining research are presented. It brings together a set of well respected data mining theoreticians and researchers with practical data mining experiences. The presented theories will give data mining practitioners a scientific perspective in data mining and thus provide more insight into their problems, and the provided new data mining topics can be expected to stimulate further research in these important directions.
Forty ways to think about architecture : Architectural history and theory today
How do we think about architecture historically and theoretically? Forty Ways to Think about Architecture provides an introduction to some of the wide-ranging ways in which architectural history and theory are being approached today.
Formulas, ingredients and production of cosmetics technology of skin- and hair-care products in Japan
Provides the comprehensive knowledge and instruction necessary for researchers to design and create cosmetics products. The book’s chapters cover a comprehensive list of topics, which include, among others, the basics of cosmetics, such as the raw materials of cosmetics and their application; practical techniques and technologies for designing and manufacturing cosmetics, as well as theoretical knowledge; emulsification; sensory evaluations of cosmetic ingredients; and how to create products such as soap-based cleansers, shampoos, conditioners, creams, and others. The potential for innovation is great in Japan’s cosmetics industry. This book expresses the hope that the high level of dedicated research continues and proliferates, especially among those who are innovators at heart.
Form-oriented analysis : A new methodology to model form-based applications
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel way to achieve a modeling framework optimized for this broad application domain. They introduce new modeling artifacts, such as page diagrams and form storyboards, and separate dialogue patterns to allow for reuse. In their implementation they have developed new constructs such as typed server pages, and tools for forward and reverse engineering of presentation layers. The methodology is explained using an online bookshop as a running example in which the user can experience the modeling concepts in action. The combination of theoretical achievements and hands-on practical advice and tools makes this book a reference work for both researchers in the areas of software architectures and submit-response style user interfaces, and professionals designing and developing such applications. More information and additional material is also available online.
Formation and Early Growth of Business Webs: Modular Product Systems in Network Markets
Networks of firms have been in the focus of management research for several years. Recently, special attention has been paid to so-called business webs. Business webs are networks of firms which provide complements to a common product architecture.The present book explicitly examines the formation and early growth of business webs. The author illustrates the early growth phases with two in-depth cases of the formation of the wireless internet ecosystem i-mode and the leading person-to-person online auction platform eBay. The book uncovers the contingencies under which the establishment of business webs is likely to succeed. Business researchers will benefit from the theoretical framework, while interested business managers will find explanations and advice for establishing a business web.
Formal Modeling and Analysis of Timed Systems ; Vol.4202 ; 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software toolsforanalyzingtimedsystemsandresolvingtemporalconstraints(mod- checking, simulation, robustness analysis, scheduling, etc).
Formal Methods for Open Object-Based Distributed Systems ; 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification.
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 and Software Engineering ; 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating.
Formal approaches to software testing and runtime verification ; 1st Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc.
Formal approaches to software testing ; Vol. 3997 ; 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005.
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 the ANN approach for - change rates forecasting is because of ANNs’ unique features and powerful pattern recognition capability. Unlike most of the traditional model-based forecasting techniques, ANNs are a class of data-driven, self-adaptive, and nonlinear methods that do not require specific assumptions on the und- lying data generating process. These features are particularly appealing for practical forecasting situations where data are abundant or easily available, even though the theoretical model or the underlying relationship is - known. Furthermore, ANNs have been successfully applied to a wide range of forecasting problems in almost all areas of business, industry and engineering.
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.
Food Emulsifiers and Their Applications
Thoroughly revised and updated, the second edition of Food Emulsifiers and their Applications integrates theoretical background with practical orientation and serves as the definitive reference on subject. It offers practitioners an overview of the manufacture, analysis, physical properties, interactions and applications of emulsifiers used in processed food. Written for food technologists as well as R & D and product development personnel, begins with the design and preparation of emulsifiers (including interactions with other food ingredients), which leads in to product categories, including dairy, infant nutrition, bakery, confectionery, and margarine, followed by nutrition improvement and processing techniques.
Fluid Transport in Nanoporous Materials : Proceedings of the NATO Advanced Study Institute, held in La Colle sur Loup, France, 16-28 June 2003
The most promising include molecular sieves which are being developed as inorganic or polymeric systems with 0. 3-30nm in pore dimensions. These nanoporous solids have a broad spectrum of applications in chemical and biochemical processes. The unique applications of molecular sieves are based on their sorption and transport selectivity. Yet, the transport processes in nanoporous systems are not understood well. At the same time, the theoretical capabilities have increased exponentially catalyzed by increases in computational capabilities. The interactions between a diffusing species and the host solid are being studied with increasing details and realism. Further, in situ experimental techniques have been developed which give an understanding of the interactions between diffusing species and nanoporous solids that was not available even a few years ago. The time was ripe to bring together these areas of common interest and study to understand what is known and what has yet to be determined concerning transport in nanoporous solids. Molecular sieves are playing an increasing role in a broad range of industrial petrochemical and biological processes. These include shape-selective separations and catalysis as well as sensors and drug delivery. Molecular sieves are made from inorganic as well as organic solids, e. g. , polymers. They can be employed in packed beds, as membranes and as barrier materials. Initially, the applications of molecular sieves were dominated by the use of zeolites.
