Page 1
Page 1
User Modeling 2007 ; 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on User Modeling, UM 2007, held in Corfu, Greece in July 2007. The 30 revised full papers and 32 poster papers presented together with papers of 5 selected doctoral consortium articles and the abstracts of 3 lectures.The papers are organized in topical sections on evaluating user/student modeling techniques, data mining and machine learning for user modeling, collaborative filtering and recommender systems, cognitive modeling, user adaptation.
Upscaling Multiphase Flow in Porous Media : From Pore to Core and Beyond
This will be an invaluable reference for the development of new theories and computer-based modeling techniques for solving realistic multiphase flow problems. Part of this book has already been published in a journal.
Supply Chain Management : Models, Applications, and Research Directions
Brings together some of the most up to date research in the application of operations research and mathematical modeling te- niques to problems arising in supply chain management and e-Commerce. While research in the broad area of supply chain management enc- passes a wide range of topics and methodologies, we believe this book provides a good snapshot of current quantitative modeling approaches, issues, and trends within the field. Each chapter is a self-contained study of a timely and relevant research problem in supply chain mana- ment. The individual works place a heavy emphasis on the application of modeling techniques to real world management problems. In many instances, the actual results from applying these techniques in practice are highlighted. In addition, each chapter provides important mana- rial insights that apply to general supply chain management practice. The book is divided into three parts. The first part contains ch- ters that address the new and rapidly growing role of the internet and e-Commerce in supply chain management. Topics include e-Business applications and potentials; customer service issues in the presence of multiple sales channels, varying from purely Internet-based to traditional physical outlets; and risk management issues in e-Business in B2B m- kets.
Solar Energy Fundamentals and Modeling Techniques : Atmosphere, Environment, Climate Change and Renewable Energy
Collects together material from the current literature in atmospheric environmental sciences, climate change research, meteorology, engineering and renewable energy, liberally illustrated by diagrams and worked examples.the book includes an innovative exposition of expert system methodologies used in the domain of solar irradiation and energy. In addition to methodologies such as statistics and geo-statistics (regionalized variables), new modeling approaches such as fuzzy logic inference, artificial neural network (ANN) and genetic algorithm techniques are introduced, along with both classical Kriging and newly developed techniques for spatial solar irradiation modeling.
Singularities in Gravitational Systems : Applications to Chaotic Transport in the Solar System
Chaos theory plays an important role in modern physics and related sciences, but -, the most important results so far have been obtained in the study of gravitational systems applied to celestial mechanics. The present set of lectures introduces the mathematical methods used in the theory of singularities in gravitational systems, reviews modeling techniques for the simulation of close encounters and presents the state of the art about the study of diffusion of comets, wandering asteroids, meteors and planetary ring particles.
Semantic Web, Ontologies and Databases ; VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers
Among the topics addressed are semantics-aware data models and query languages; ontology-based views, mapping, transformations, and query reformulation; and storing and indexing semantic Web data and schemas.
Ontologies-Based Databases and Information Systems ; 1st and Second VLDB Workshops, ODBIS 2005/2006 Trondheim, Norway, September 2-3, 2005 Seoul, Korea, September 11, 2006 Revised Papers
This book constitutes the refereed post-proceedings of the First and Second VLDB Workshop Ontologies-based techniques for DataBases and Information Systems, held in Trondheim, Norway, September 2005 and Seoul, Korea, September 2006.
Observing systems for atmospheric composition : Satellite, aircraft, sensor web and ground-based observational methods and strategies
The new challenge in atmospheric chemistry is to understand the intercontinental transport and transformation of gases and aerosols. This book describes the observational and modeling techniques used to understand the atmospheric composition from satellites, aircraft and ground based platforms. The two common ideas presented throughout are the role of each component in an observing system for atmospheric composition, and the advances necessary to improve the understanding of atmospheric composition. The objective of this book is to provide a larger audience the opportunity to learn about these techniques and advances in atmospheric composition.
Nonlinear finite element analysis of composite and reinforced concrete beams
Nonlinear Finite Element Analysis of Composite and Reinforced Concrete Beams presents advanced methods and techniques for the analysis of composite and FRP reinforced concrete beams. The title introduces detailed numerical modeling methods and the modeling of the structural behavior of composite beams, including critical interfacial bond-slip behavior. It covers a new family of composite beam elements developed by the authors. Other sections cover nonlinear finite element analysis procedures and the numerical modeling techniques used in commercial finite element software that will be of particular interest to engineers and researchers executing numerical simulations.
Monetary Policy and the German Unemployment Problem in Macroeconomic Models : Theory and Evidence
Having the high unemployment in Germany in mind, this book discusses how macroeconomic theory has evolved over the past forty years. It shows that in recent years a convergence has taken place, with modern models embodying a Keynesian transmission mechanism, monetarist policy implication, and modeling techniques inspired by new classical economics and real business cycle theory. It also probes in which direction models may be extended from here. Empirically, the book uses different econometric techniques to investigate the relevance and implications of different macroeconomic theories for German data. A key question this book investigates is the role of demand and supply side conditions for the increase in the German unemployment rate. On a policy level, the book relates the implications of the different theories to the ongoing debate on the appropriate roles of demand and supply side policies for curing the German unemployment problem.
Molecular Materials with Specific Interactions - Modeling and Design
One of the first requirements to initiate the molecular modeling of molecular materials is an accurate and realistic description of the electronic structure, intermolecular interactions and chemical reactions at microscopic and macroscopic scale. Therefore the first four chapters contain an extensive introduction into the latest theories of intermolecular interactions, functional density techniques, microscopic and mezoscopic modeling techniques as well as first-principle molecular dynamics.In the following chapters, techniques bridging microscopic and mezoscopic modeling scales are presented. The authors then illustrate various successful applications of molecular design of new materials, drugs, biocatalysts, etc. before presenting challenging topics in molecular materials design.
Model-Driven Development of Reliable Automotive Services ; 2nd Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology
This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology.
Interactive Curve Modeling : With Applications to Computer Graphics, Vision and Image Processing
Interactive curve modeling techniques and their applications are extremely useful in a number of academic and industrial settings, and specifically play a significant role in multidisciplinary problem solving, such as in font design, designing objects, CAD/CAM, medical operations, scientific data visualization, virtual reality, character recognition, and object recognition, etc. Various problems such as iris, fingerprint, and signature recognition, can also be intelligently solved and automated using curve techniques.
Guide to Efficient Software Design : An MVC Approach to Concepts, Structures, and Models
This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These concepts are then applied to a case study, and reinforced through practice exercises, with the option to follow either a structured design or object-oriented design paradigm. The text applies an incremental and iterative software development approach, emphasizing the use of design characteristics and modeling techniques as a way to represent higher levels of design abstraction, and promoting the model-view-controller (MVC) architecture.
Global optimization ; Vol. 85 : Scientific and engineering case studies
Optimization models based on a nonlinear systems description often possess multiple local optima. The objective of global optimization (GO) is to find the best possible solution of multiextremal problems. Global Optimization: Selected Case Studies illustrates the applicability of GO modeling techniques and solution strategies to real-world problems.The contributed chapters cover a broad range of applications from agroecosystem management, assembly line design, bioinformatics, biophysics, black box systems optimization, cellular mobile network design, chemical process optimization, chemical product design, composite structure design, computational modeling of atomic and molecular structures, controller design for induction motors, electrical engineering design, feeding strategies in animal husbandry, the inverse position problem in kinematics, laser design, learning in neural nets, mechanical engineering design, numerical solution of equations, radiotherapy planning, robot design, and satellite data analysis. The solution strategies discussed encompass a range of practically viable methods, including both theoretically rigorous and heuristic approaches.
Fundamental approaches to software engineering ; Vol. 3922 ; 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Fundamental approaches to software engineering ; Vol. 3442 ; 8th International Conference, FASE 2005, Held as Part of the Joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.
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.
Financial management and corporate governance
This book provides an integrative perspective on financial management and corporate governance deployed in management decisions. It analyzes wide-ranging issues such as valuation, capital investment, capital structure, mergers and acquisitions, shareholder and stakeholder value management, and corporate governance structure. Throughout the analyses, the book provides a coherent view of firms, laws and markets, and offers practical financial modeling techniques to assist in financial decisions.
