Page 21
Page 21
Scattering from Model Nonspherical Particles : Theory and Applications to Environmental Physics
The scattering of electromagnetic radiation by nonspherical particles has become an increasingly important research topic over the past 20 years. The book addresses a wide spectrum of applications, ranging from scattering properties of water droplets containing pollutants, atmospheric aerosols and ice crystals to the modeling of cosmic dust grains as aggregates.
Scaling Topic Maps ; 3rd International Conference on Topic Maps Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers
Organized in topical sections on applied topic maps in industry and administration, visualisation and representation of topic maps, collaborative applications, standards related research, information integration with topic maps, social software with topic maps, topic maps engines, topic maps and dublin core, information management with topic maps, as well as open space and poster sessions.
Scaling of Differential Equations
Serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource for learning the art of scaling. A special feature of the book is the emphasis on how to create software for scaled models, based on existing software for unscaled models. Scaling (or non-dimensionalization) is a mathematical technique that greatly simplifies the setting of input parameters in numerical simulations. Moreover, scaling enhances the understanding of how different physical processes interact in a differential equation model. Compared to the existing literature, where the topic of scaling is frequently encountered, but very often in only a brief and shallow setting, the present book gives much more thorough explanations of how to reason about finding the right scales.
Scale Space and Variational Methods in Computer Vision ; 1st International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007, Proceedings
Constitutes the refereed proceedings of the First International Conference on Scale Space Methods and Variational Methods in Computer Vision, SSVM 2007. This book introduces topical sections on scale space and features extraction, image enhancement and reconstruction, image segmentation and visual grouping, motion analysis, and optical flow.
Scalable Optimization via Probabilistic Modeling : From Algorithms to Applications
The volume Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications is a worthy addition to your library because it succeeds on exactly those dimensions where so many edited.
S-BPM in the Wild : Practical Value Creation
Presents field studies on the application of subject-oriented business process management (S-BPM). Each case presents a specific story and focuses on an essential modeling or implementation issue, and most end with implications or suggestions for further studies. Significant variables and success factors are identified that were discovered during the respective study and lead to suggesting S-BPM novelties. For each case, the authors explain step-by-step how the story develops, and provide readers guidance by detailing the respective rationale.
Satellite Events at the MoDELS 2005 Conference ; MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, in Montego Bay, Jamaica in October 2005 (see LNCS 3713). The 30 revised full papers were carefully selected for inclusion in the book and are presented along with an educators's and a doctorial symposium section comprising additional 13 short articles. The papers are organized in topical sections representing the various workshops: tool support for OCL and related formalisms, model design and validation (MoDeVA), modeling and analysis of real-time and embedded systems (MARTES), aspect oriented modeling (AOM), model transformations in practice (MTiP), software model engineer...
Satellite communications systems engineering : Atmospheric effects, satellite link design and system
Focuses on the important basic principles that are unique and timeless to satellite-based communications delivery systems. Enhances the publication with the latest updated information and new technologies developed since the publication of the first edition. More in-depth treatments are included for the mobile satellite channel, satellite signal processing, on-board processing satellites, satellite orbits, transmission impairments, and propagation effects modeling and prediction. New chapters include interference mitigation in satellite communications, spectrum management for satellite communications, and high throughput satellites (HTS).
SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for Verification Paradigm.
Sandwich Structures 7 : Advancing with Sandwich Structures and Materials ; Proceedings of the 7th International Conference on Sandwich Structures, Aalborg University, Aalborg, Denmark, 29-31 August 2005
The overall objective of the 7th International Conference on Sandwich Structures (ICSS-7) is to provide a forum for the presentation and discussion of the latest research and technology on all aspects of sandwich structures and materials, spanning the entire spectrum of research to applications in all the fields listed above.
S+Functional Data Analysis : User's Manual for Windows ®
S+Functional Data Analysis is the first commercial object oriented package for exploring, modeling, and analyzing functional data. Functional data analysis (FDA) handles longitudinal data and treats each observation as a function of time (or other variable). The functions are related. The goal is to analyze a sample of functions instead of a sample of related points.
Rough - Granular Computing in Knowledge Discovery and Data Mining
This book covers methods based on a combination of granular computing, rough sets, and knowledge discovery in data mining (KDD). The discussion of KDD foundations based on the rough set approach and granular computing feature illustrative applications.
Rock Damage and Fluid Transport ; Part I
Mechanical properties and fluid transport in rocks are intimately linked as deformation of a solid rock matrix immediately affects the pore space and permeability. This may result in transient or permanent changes of pore pressures and effective pressures causing rock strength to vary in space and time. Fluid circulation and deformation processes in crustal rocks are coupled, producing significant complexity of mechanical and fluid transport behavior. This often poses severe technical and economic problems for reservoir and geotechnical engineering projects involved in oil and gas production, CO2 sequestration, mining and underground waste disposal. For example, the depletion of hydrocarbon and water reservoirs leading to compaction may have adverse effects on well production. Solution/precipitation processes modify porosity and affect permeability of aquifers and reservoir rocks. Fracture damage from underground excavation will critically influence the long-term stability and performance of waste storage.
Robust Optimization-Directed Design
Recently, there has been enormous practical interest in strategies for applying optimization tools to the development of robust solutions and designs in several areas, including aerodynamics, the integration of sensing and control, cooperative control with poorly modeled uncertainty, cascading failures in military and civilian applications, multi-mode seekers/sensor fusion, and data association problems and tracking systems. The contributions to this book explore these different strategies.
Robust Control Design with MATLAB®
Robust Control Design with MATLAB® helps you learn how to use well-developed advanced robust control design methods in practical cases. To this end, several realistic control design examples ranging from teaching-laboratory experiments.
Robotics and Cognitive Approaches to Spatial Mapping
This book brings together the fields of robot spatial mapping and cognitive spatial mapping, Robot spatial mapping, in this book, is about the problem of a robot computing a representation of its environment from data gathered by its sensors. The book consists of three parts: Robot Mapping, Cognitive Mapping, and Cognitive Robot Mapping. The first part addresses a cross section of problems commonly found in robot mapping, such as uncertainty, localization, unstructured environments, and control architectures. It includes a comprehensive introduction to the famous SLAM problem. Part two presents works on cognitive mapping and discusses how the findings could benefit researchers interested in robot mapping. Spatial cognition is examined based on behaviour of humans and animals, and how spatial information is encoded in the brain. The third part presents implementations of cognitive mapping theories on mobile robots. It includes computational models of cognitive maps, such as hybrid metric-topological ones, absolute space representations, and biomimetic approaches.
RNA nanotechnology and therapeutics
Interest in RNA nanotechnology has increased in recent years as recognition of its potential for applications in nanomedicine has grown. Edited by the world's foremost experts in nanomedicine, this comprehensive, state-of-the-art reference details the latest research developments and challenges in the biophysical and single molecule approaches in RNA nanotechnology. In addition, the text also provides in-depth discussions of RNA structure for nanoparticle construction, RNA computation and modeling, single molecule imaging of RNA, RNA nanoparticle assembly, RNA nanoparticles in therapeutics, immunorecognition of RNA nanomaterials, RNA chemistry for nanoparticle synthesis, and conjugation and labeling.
Risk-Averse Capacity Control in Revenue Management
“If necessity is the mother of invention, then deregulation is the father, and r- enue management (also known as yield management) is the couple’s golden child – at least as far as operations research is concerned.” (Horner, 2000, p. 47) Deregulation had a signi?cant impact on the U.S. airline industry in the late 1970s. Charter and low-cost airlines such as People Express and Southwest wereabletoo?erseatsatafractionofthepricechargedbyestablishedcarriers like Pan Am and American Airlines. Due to their di?erent cost structure, it seemed to be impossible for the big carriers to o?er tickets at the same low price. Yet they had to ?nd a way to compete. Robert L. Crandall from American Airlines is widely credited with the - lution to the problem:yield management – today calledrevenue management, since it maximizes revenue earned on a ?ight rather than yield (revenue per passenger mile).
Risk Management in Stochastic Integer Programming : With Application to Dispersed Power Generation
Two-stage stochastic optimization is a useful tool for making optimal decisions under uncertainty. Frederike Neise describes two concepts to handle the classic linear mixed-integer two-stage stochastic optimization problem: The well-known mean-risk modeling, which aims at finding a best solution in terms of expected costs and risk measures, and stochastic programming with first order dominance constraints that heads towards a decision dominating a given cost benchmark and optimizing an additional objective. For this new class of stochastic optimization problems results on structure and stability are proven. Moreover, the author develops equivalent deterministic formulations of the problem, which are efficiently solved by the presented dual decomposition method based on Lagrangian relaxation and branch-and-bound techniques.
Risk Assessment, Modeling and Decision Support : Strategic Directions
The papers in this volume integrate results from current research efforts in earthquake engineering with research from the larger risk assessment community. The authors include risk and hazard researchers from the major U.S. hazard and earthquake centers and some from abroad as well as programmers and analysts from leading insurance and risk assessment firms. The introductory chapter provides an historical overview of the rise of risk assessment in the U.S., with particular emphasis on the role of seismic risk assessment. Four key components of risk assessment and decision support software are analyzed in detail in the remaining papers: treatment of uncertainty, loss assessment, modeling of seismic mitigation strategies, and visualization of risk and uncertainty. The volume lays out a road map for future developments in risk modeling and decision support and positions earthquake engineering research within the family of risk analysis tools and techniques.
