The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public. In particular, service-oriented programming and the support of semantics-based frameworks make application development accessible to users with almost no programming expertise. This monograph establishes requirement-centric scientific workflow design as an instance of consequent constraint-driven development. Requirements formulated in terms of user-level constraints are automatically transformed into running applications using temporal logic-based synthesis technology. The impact of this approach is illustrated by applying it to four very different bioinformatics scenarios: phylogenetic analysis, the dedicated GeneFisher-P scenario, the FiatFlux-P scenario, and microarray data analyses.

This volume continues previous DLES proceedings books, presenting modern developments in turbulent flow research. It is comprehensive in its coverage of numerical and modeling techniques for fluid mechanics.

After Surrey in 1994, Grenoble in 1996, Cambridge in 1999, Enschede in 2001, Munich in 2003, Poitiers in 2005, and Trieste in 2009, the 8th workshop, DLES8, was held in Eindhoven, The Netherlands, again under the auspices of ERCOFTAC. Following the spirit of the series, the goal of thisworkshopis to establish a state-of-the-art of DNS and LES techniques for the computation and modeling of transitional/turbulent flows covering a broad scope of topics such as aerodynamics, acoustics, combustion, multiphase flows, environment, geophysics and bio-medical applications. This gathering of specialists in the field was a unique opportunity for discussions about the more recent advances in the prediction, understanding and control of turbulent flows in academic or industrial situations.

"

An apparently appropriate control scheme for PEM fuel cells may actually lead to an inoperable plant when it is connected to other unit operations in a process with recycle streams and energy integration. PEM Fuel Cells with Bio-Ethanol Processor Systems presents a control system design that provides basic regulation of the hydrogen production process with PEM fuel cells. It then goes on to construct a fault diagnosis system to improve plant safety above this control structure. PEM Fuel Cells with Bio-Ethanol Processor Systems is divided into two parts: the first covers fuel cells and the second discusses plants for hydrogen production from bio-ethanol to feed PEM fuel cells. Both parts give detailed analyses of modeling, simulation, advanced control, and fault diagnosis. They give an extensive, in-depth discussion of the problems that can occur in fuel cell systems and propose a way to control these systems through advanced control algorithms. A significant part of the book is also given over to computer-aided engineering software tools that can be used to evaluate the dynamic performance of the overall plant. PEM Fuel Cells with Bio-Ethanol Processor Systems is intended for use by researchers and advanced students on chemical, electrical-electronic and mechanical engineering courses in which dynamics and control are incorporated with the traditional steady-state coverage of flowsheet synthesis, engineering economics and optimization.

This two-volume set of CCIS 391 and CCIS 392 constitutes the refereed proceedings of the Fourth International Conference on Information Computing and Applications, ICICA 2013, held in Singapore, in August 2013. The 126 revised full papers presented in both volumes were carefully reviewed and selected from 665 submissions. The papers are organized in topical sections on Internet computing and applications; engineering management and applications; intelligent computing and applications; control engineering and applications; cloud and evolutionary computing; knowledge management and applications; computational statistics and applications.

This book provides an overview of recent developments and applications of the Land Use Scanner model, which has been used in spatial planning for well over a decade. Internationally recognized as among the best of its kind, this versatile model can be applied at a national level for trend extrapolation, scenario studies and optimization, yet can also be employed in a smaller-scale regional context, as demonstrated by the assortment of regional case studies included in the book. Alongside these practical examples from the Netherlands, readers will find discussion of more theoretical aspects of land-use models as well as an assessment of various studies that aim to develop the Land-Use Scanner model further.

Spanning the divide between the abstractions of land-use modelling and the imperatives of policy making, this is a cutting-edge account of the way in which the Land-Use Scanner approach is able to interrogate a spectrum of issues that range from climate change to transportation efficiency. Aimed at planners, researchers and policy makers who need to stay abreast of the latest advances in land-use modelling techniques in the context of planning practice, the book guides the reader through the applications supported by current instrumentation. It affords the opportunity for a wide readership to benefit from the extensive and acknowledged expertise of Dutch planners, who have originated a host of much-used models."

The "European Experiment on the Transport and Transformation of Environmentally Relevant Trace Constituents over Europe" (EUROTRAC) was established in 1986 to tackle the scientific problem and combine the expertise, knowledge and resources in Europe, in order to apply them over a large region covering the greater part of the continent. EUROTRAC is a coordinated multidisciplinary scientific research project involving field measurements, laboratory studies, instrument development and development of comprehensive computer models for the simulation of the physical and chemical processes in the lower atmosphere.

Formal study of neuroscience (broadly defined) has been underway for millennia. For example, writing 2,350 years ago, Aristotle! asserted that association - of which he defined three specific varieties - lies at the center of human cognition. Over the past two centuries, the simultaneous rapid advancements of technology and (conse quently) per capita economic output have fueled an exponentially increasing effort in neuroscience research. Today, thanks to the accumulated efforts of hundreds of thousands of scientists, we possess an enormous body of knowledge about the mind and brain. Unfortunately, much of this knowledge is in the form of isolated factoids. In terms of "big picture" understanding, surprisingly little progress has been made since Aristotle. In some arenas we have probably suffered negative progress because certain neuroscience and neurophilosophy precepts have clouded our self-knowledge; causing us to become largely oblivious to some of the most profound and fundamental aspects of our nature (such as the highly distinctive propensity of all higher mammals to automatically seg ment all aspects of the world into distinct holistic objects and the massive reorganiza tion of large portions of our brains that ensues when we encounter completely new environments and life situations). At this epoch, neuroscience is like a huge collection of small, jagged, jigsaw puz zle pieces piled in a mound in a large warehouse (with neuroscientists going in and tossing more pieces onto the mound every month).

This two volume set (CCIS 398 and 399) constitutes the refereed proceedings of the International Symposium on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2013, held in Wuhan, China, in November 2013. The 136 papers presented, in addition to 4 keynote speeches and 5 invited sessions, were carefully reviewed and selected from 522 submissions. The papers are divided into 5 sessions: smart city in resource management and sustainable ecosystem, spatial data acquisition through RS and GIS in resource management and sustainable ecosystem, ecological and environmental data processing and management, advanced geospatial model and analysis for understanding ecological and environmental process, applications of geo-informatics in resource management and sustainable ecosystem.

This two volume set (CCIS 398 and 399) constitutes the refereed proceedings of the International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2013, held in Wuhan, China, in November 2013. The 136 papers presented, in addition to 4 keynote speeches and 5 invited sessions, were carefully reviewed and selected from 522 submissions. The papers are divided into 5 sessions: smart city in resource management and sustainable ecosystem, spatial data acquisition through RS and GIS in resource management and sustainable ecosystem, ecological and environmental data processing and management, advanced geospatial model and analysis for understanding ecological and environmental process, applications of geo-informatics in resource management and sustainable ecosystem.

This book is dedicated to Prof. Peter Young on his 70th birthday. Professor Young has been a pioneer in systems and control, and over the past 45 years he has influenced many developments in this field. This volume comprises a collection of contributions by leading experts in system identification, time-series analysis, environmetric modelling and control system design - modern research in topics that reflect important areas of interest in Professor Young's research career. Recent theoretical developments in and relevant applications of these areas are explored treating the various subjects broadly and in depth. The authoritative and up-to-date research presented here will be of interest to academic researcher in control and disciplines related to environmental research, particularly those to with water systems. The tutorial style in which many of the contributions are composed also makes the book suitable as a source of study material for graduate students in those areas.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This eleventh issue contains 9 carefully selected and thoroughly revised contributions.

Safety and Risk Modeling presents the latest theories and methods of safety and risk with an emphasis on safety and risk in modeling. It covers applications in several areas including transportations and security risk assessments, as well as applications related to current topics in safety and risk. Safety and Risk Modeling is a valuable resource for understanding the latest developments in both qualitative and quantitative methods of safety and risk analysis and their applications in operating environments. Each chapter has been written by active researchers or experienced practitioners to bridge the gap between theory and practice and to trigger new research challenges in safety and risk. Topics include: safety engineering, system maintenance, safety in design, failure analysis, and risk concept and modelling. Postgraduate students, researchers, and practitioners in many fields of engineering, operations research, management, and statistics will find Safety and Risk Modeling a state-of-the-art survey of reliability and quality in design and practice.

The focus from most Virtual Reality (VR) systems lies mainly on the visual immersion of the user. But the emphasis only on the visual perception is insufficient for some applications as the user is limited in his interactions within the VR. Therefore the textbook presents the principles and theoretical background to develop a VR system that is able to create a link between physical simulations and haptic rendering which requires update rates of 1\, kHz for the force feedback. Special attention is given to the modeling and computation of contact forces in a two-finger grasp of textiles. Addressing further the perception of small scale surface properties like roughness, novel algorithms are presented that are not only able to consider the highly dynamic behaviour of textiles but also capable of computing the small forces needed for the tactile rendering at the contact point. Final analysis of the entire VR system is being made showing the problems and the solutions found in the work

This book constitutes the proceedings of the 13th International Conference on Transport Systems Telematics, TST 2013, held in Katowice-Ustron, Poland, in October 2013. The 58 papers included in this volume were carefully reviewed and selected for inclusion in this book. They provide an overview of solutions being developed in the field of intelligent transportation systems, and include theoretical and case studies in the countries of conference participants.

Some recent fuzzy database modeling advances for the non-traditional applications are introduced in this book. The focus is on database models for modeling complex information and uncertainty at the conceptual, logical, physical design levels and from integrity constraints defined on the fuzzy relations.
The database models addressed here are; the conceptual data models, including the ExIFO and ExIFO2 data models, the logical database models, including the extended NF2 database model, fuzzy object-oriented database model, and the fuzzy deductive object-oriented database model. Integrity constraints are defined on the fuzzy relations are also addressed. A continuing reason for the limited adoption of fuzzy database systems has been performance. There have been few efforts at defining physical structures that accomodate fuzzy information. A new access structure and data organization for fuzzy information is introduced in this book.

Computer simulation has become a basic tool in many branches of physics such as statistical physics, particle physics, or materials science. The application of efficient algorithms is at least as important as good hardware in large-scale computation. This volume contains didactic lectures on such techniques based on physical insight. The emphasis is on Monte Carlo methods (introduction, cluster algorithms, reweighting and multihistogram techniques, umbrella sampling), efficient data analysis and optimization methods, but aspects of supercomputing, the solution of stochastic differential equations, and molecular dynamics are also discussed. The book addresses graduate students and researchers in theoretical and computational physics.

Computer-aided-design (CAD) of semiconductor microtransducers is relatively new in contrast to their counterparts in the integrated circuit world. Integrated silicon microtransducers are realized using microfabrication techniques similar to those for standard integrated circuits (ICs). Unlike IC devices, however, microtransducers must interact with their environment, so their numerical simulation is considerably more complex. While the design of ICs aims at suppressing "parasitic effects, microtransducers thrive on optimizing the one or the other such effect. The challenging quest for physical models and simulation tools enabling microtransducer CAD is the topic of this book. It is intended as a text for graduate students in Electrical Engineering and Physics and as a reference for CAD engineers in the microsystems industry. This text evolved from a series of courses offered to graduate students from Electrical Engineering and Physics. Much of the material in the book can be presented in about 40 hours of lecture time. The book starts with an illustrative example which highlights the goals and benefits of microtransducer CAD. This follows with a summary of model equations describing electrical transport in semiconductor devices and microtransducers in the absence of external fields. Models treating the effects of the external radiant, magnetic, thermal, and mechanical fields on electrical transport are then systematically introduced. To enable a smooth transition into modeling of mechanical systems, an abridged version of solid structural and fluid mechanics is presented, whereby the focus is on pertinent model equations and boundary conditions. This follows with model equations and boundary conditions relevant to various types of mechanical microactuators including electrostatic, thermal, magnetic, piezoelectric, and electroacoustic. The book concludes with a glimpse into SPICE simulation of the mixed-signal microsystem, i.e., microtransducer plus circuitry. Where possible, the model equations are supplemented with tables and/or graphs of process-dependent material data to enable the CAD engineer to carry out simulations even when reliable material models are not available. IVZ LANG: Introduction: Modeling and Simulation of Microtransducers; Illustrative Example; Progress in Microtransducer Modeling; References.- Basic Electronic Transport: Poisson s Equation; Continuity Equations; Carrier Transport in Crystalline Materials and Isothermal Behavior; Electrical Conductivity and Isothermal Behavior in Polycrystalline Materials; Electrical Conductivity and Isothermal Behavior in Metals; Boundary and Interface Conditions; The External Fields What Do They Influence?; References.- Radiation Effects on Carrier Transport: Reflection and Transmission of Optical Signals; Modeling Optical Absorption in Intrinsic Semiconductors; Absorption in Heavily-Doped Semiconductors; Optical Generation Rate and Quantum Efficiency; Low Energy Interactions with Insulators and Metals; High Energy Interactions and Monte Carlo Simulations; Model Equations for Radiant Sensor Simulation; Illustrative Simulation Example Color Sensor; References.- Magnetic-Field Effects on Carrier Transport: Galvanomagnetic Transport Equation; Galvanomagnetic Transport Coefficients; Equations and Boundary Conditions for Magnetic Sensor Simulation; Illustrative Simulation Example Micromachined Magnetic Vector Probe; References.- Thermal Non-Uniformity Effects on Carrier Transport: Non-Isothermal Effects; Electrothermal Transport Model; Electrical and Thermal Transport Coefficients; Electro-Thermo-Magnetic Interactions; Heat Transfer in Thermal Microstructures; Summary of Equations and Computational Procedure; Illustrative Simulation Example Micro Pirani Gauge; References.- Mechanical Effects on Carrier Transport: Piezoresistive Effect; Strain and Electron Transport; Strain and Hole Transport; Piezojunction Effect; Effects of Stress Gradients; Galvano-Piezo-Magnetic Effects; The Piezo Drift-Diffusion Transport Model; Illustrative Simulation Example Stress Effects on Hall Sensors; References.- Mechanical and Fluidic Signals: Definitions; Model Equations for Mechanical Analysis; Model Equations for Analysis of Fluid Transport; Illustrative Simulation Example Analysis of Flow Channels; References.- Micro-Actuation: Transduction Principles; State-of-the-Art and Preview; Electrostatic Actuation; Thermal Actuation; Magnetic Actuation; Piezoelectric Actuation; Electroacoustic Transducers; Computational Procedure and Coupling; Illustrative Example CMOS Micromirror.- Microsystem Simulation: Electrical Analogues for Mixed-Signals and Historical Developments; Circuit Modeling and Implementation Considerations; Lumped Analysis: Illustrative Example Electrostatic Micromirror; Distributed Analysis: Illustrative Example Flow Microsensor; References.- Subject Index."

This book constitutes thoroughly revised selected papers of the 5th International Conference on Numerical Analysis and ItsApplications, NAA 2012, held in Lozenetz, Bulgaria, in June 2012. The 65 revised papers presented were carefully reviewed and selected from various submissions. The papers cover a broad area of topics of interest such as numerical approximation and computational geometry; numerical linear algebra and numerical solution of transcendental equation; numerical methods for differential equations; numerical stochastics, numerical modeling; and high performance scientific computing."

This book constitutes the proceedings of the 6th International Symposium on Algorithmic Game Theory, SAGT 2013, held in Aachen, Germany, in October 2013. The 25 papers presented in this volume were carefully reviewed and selected from 65 submissions. They cover various important aspects of algorithmic game theory, such as solution concepts in game theory, efficiency of equilibria and the price of anarchy, computational aspects of equilibria and game theoretical measures, repeated games and convergence of dynamics, evolution and learning in games, coordination and collective action, network games and graph-theoretic aspects of social networks, voting and social choice, as well as algorithmic mechanism design.

This book constitutes the refereed proceedings of the 4th International Conference on Computational Logistics, ICCL 2013, held in Copenhagen, Denmark, in September 2013. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections named: maritime shipping, road transport, vehicle routing problems, aviation applications, and logistics and supply chain management.

This book constitutes the refereed proceedings of the 32nd International Conference on Conceptual Modeling, ER 2013, held in Hong Kong, China, in November 2013. The 23 full and 17 short papers presented were carefully reviewed and selected from 148 abstracts and 126 full papers submissions. The papers are organized in topical sections onmodeling and reasoning, fundamentals of conceptual modeling, business process modeling, network modeling, data semantics, security and optimization, ontology-based modeling, searching and mining, conceptual modeling and applications, demonstration papers."

This book constitutes the proceedings of the 9th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2013, held in conjunction with CAiSE 2013 in Valencia, Spain, in June 2013.

Tools and methods for modeling and simulation are widely used in enterprise engineering, organizational studies and business process management. In monitoring and evaluating business processes and the interactions of actors in a realistic environment, modeling and simulation have proven to be both powerful, efficient and economic, especially if complemented by animation and gaming elements.

The ten contributions in this volume were carefully reviewed and selected from 22 submissions. They explore the above topics, address the underlying challenges find and improve solutions, and show the application of modeling and simulation in the domains of enterprises, their organizations and underlying business processes.

This book constitutes the refereed proceedings of the Third International Conference on Model and Data Engineering, MEDI 2013, held in Amantea, Calabria, Italy, in September 2013. The 19 long papers and 3 short papers presented were carefully reviewed and selected from 61 submissions. The papers specifically focus on model engineering and data engineering with special emphasis on most recent and relevant topics in the areas of model-driven engineering, ontology engineering, formal modeling, security, and database modeling.

This volume constitutes the refereed proceedings of the international workshops, Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS and SOMOCO 2013, held as part of OTM 2013 in Graz, Austria, in September 2013. The 75 revised full papers presented together with 12 posters and 5 keynotes were carefully reviewed and selected from a total of 131 submissions. The papers are organized in topical sections on: On The Move Academy; Industry Case Studies Program; Adaptive Case Management and other non-workflow approaches to BPM; Enterprise Integration, Interoperability and Networking; Information Systems in Distributed Environment; Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society; Fact-Oriented Modeling; Semantics and Decision Making; Social Media Semantics; Social and Mobile Computing for collaborative environments; cooperative information systems; Ontologies, Data Bases and Applications of Semantics.

This comprehensively revised second edition of "Computational Systems Biology" discusses the experimental and theoretical foundations of the function of biological systems at the molecular, cellular or organismal level over temporal and spatial scales, as systems biology advances to provide clinical solutions to complex medical problems. In particular the work focuses on the engineering of biological systems and network modeling.
Logical information flow aids understanding of basic building blocks of life through disease phenotypesEvolved principles gives insight into underlying organizational principles of biological organizations, and systems processes, governing functions such as adaptation or response patternsCoverage of technical tools and systems helps researchers to understand and resolve specific systems biology problems using advanced computationMulti-scale modeling on disparate scales aids researchers understanding of dependencies and constraints of spatio-temporal relationships fundamental to biological organization and function.