الصفحة 1
الصفحة 1
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.
Earthquakes, Tsunamis and Nuclear Risks : Prediction and Assessment Beyond the Fukushima Accident
This book covers seismic probabilistic risk assessment (S-PRA) and related studies which have become more important to increase the safety of nuclear facilities against earthquakes and tsunamis in the face of the many uncertainties after the Fukushima accident. The topics are (1) Active faults and active tectonics important for seismic hazard assessment of nuclear facilities,(2) Seismic source modeling and simulation and modeling techniques indispensable for strong ground motion prediction, and (3) PRA with external hazard and risk communication.
Domain-driven design with Java, a practitioner's guide : create simple, elegant, and valuable software solutions for complex business problems
Helps you as a developer and architect to put your knowledge to work in order to create elegant software designs that are enjoyable to work with and easy to reason about. You'll begin with an introduction to the concepts of domain-driven design and discover various ways to apply them in real-world scenarios. You'll also appreciate how DDD is extremely relevant when creating cloud native solutions that employ modern techniques such as event-driven microservices and fine-grained architectures. As you advance through the chapters, you'll get acquainted with core DDD's strategic design concepts such as the ubiquitous language, context maps, bounded contexts, and tactical design elements like aggregates and domain models and events. You'll understand how to apply modern, lightweight modeling techniques such as business value canvas, Wardley mapping, domain storytelling, and event storming, while also learning how to test-drive the system to create solutions that exhibit high degrees of internal quality.
Atomistic modeling of materials failure
Atomistic Modeling of Materials Failure is an introduction to molecular and atomistic modeling techniques applied to solid deformation and fracture. Focusing on a variety of brittle, ductile and geometrically confined materials, this detailed overview includes computational methods at the atomic scale, and describes how these techniques can be used to model the dynamics of cracks, dislocations and other deformation mechanisms.
Analytical and Stochastic Modeling Techniques and Applications ; 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2008, held in Nicosia, Cyprus, in June 2008.
An Introduction to Optical Wireless Mobile Communications
Discusses existing conventional radio frequency (RF)-based wireless access technology and presents the challenges that can impact the requirements of the future wave of new wireless services in the context of artificial intelligence (AI) driven autonomous systems and machine-type communications. The relationship between visible light communications (VLC) and light fidelity (LiFi), is explored, and the major advantages of VLC and LiFi such as security and data density, and discuss existing research challenges are also introduced. Channel modeling techniques are provided for mobile multiuser scenarios, and will introduce key building blocks to achieve LiFi cellular networks achieving orders of magnitude improvements of area spectral efficiency compared to state-of-the-art. Challenges that arise from moving from a static point-to-point visible light link to a LiFi network that is capable of serving hundreds of mobile and fixed nodes are discussed. An overview of recent standardization activities and the commercialization challenges of this disruptive technology is also provided.
Alternative breast imaging : Four model-based approaches
Medical imaging has been transformed over the past 30 years by the advent of computerized tomography (CT), magnetic resonance imaging (MRI), and various advances in x-ray and ultrasonic techniques. An enabling force behind this progress has been the (so far) exponentially increasing power of computers, which has made it practical to explore fundamentally new approaches. In particular, what our group terms "model-based" modalities-which produce tissue property images from data using nonlinear, iterative numerical modeling techniques-have become increasingly feasible. Alternative Breast Imaging: Four Model-Based Approaches explores our research on four such modalities, particularly with regard to imaging of the breast: (1) MR elastography (MRE), (2) electrical impedance spectroscopy (EIS), (3) microwave imaging spectroscopy (MIS), and (4) near infrared spectroscopic imaging (NIS).
