الصفحة 38
الصفحة 38
Motion-Free Super-Resolution
With the explosion of Internet technology and graphics engines, digital images are now everywhere. Image capturing tools are all pervading - in our pockets to inside a satellite. And although imaging applications demand an availability to high resolution images, such images are not picture perfect and may be lacking sufficient details. This requires that these images be super-resolved for improved details. How to achieve this is what constitutes research in the area of image super-resolution. Motion-Free Super-Resolution explores new technology for image super-resolution - applying cues other than the motion cue in super-resolving a scene. This book will serve as an essential reference for both academecians and practicing engineers in the area of image processing and computer vision, as well as providing a basis for ongoing research in this field.
Motion Planning in Medicine : Optimization and Simulation Algorithms for Image-Guided Procedures
The monograph written by Ron Alterovitz and Ken Goldberg combines ideas from robotics, physically-based modeling, and operations research to develop new motion planning and optimization algorithms for image-guided medical procedures. A challenge clinicians commonly face is compensating for errors caused by soft tissue deformations that occur when imaging devices or surgical tools physically contact soft tissue. A number of methods are presented which can be applied to a variety of medical procedures, from biopsies to anaesthesia injections to radiation cancer treatment. They can also be extended to address problems outside the context of medical robotics, including nonholonomic motion planning for mobile robots in field or manufacturing environments.
Morphological Models of Random Structures
This book covers methods of Mathematical Morphology to model and simulate random sets and functions (scalar and multivariate). The introduced models concern many physical situations in heterogeneous media, where a probabilistic approach is required, like fracture statistics of materials, scaling up of permeability in porous media, electron microscopy images (including multispectral images), rough surfaces, multi-component composites, biological tissues, textures for image coding and synthesis. The common feature of these random structures is their domain of definition in n dimensions, requiring more general models than standard Stochastic Processes.The main topics of the book cover an introduction to the theory of random sets, random space tessellations, Boolean random sets and functions, space-time random sets and functions (Dead Leaves, Sequential Alternate models, Reaction-Diffusion), prediction of effective properties of random media, and probabilistic fracture theories.
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.
Molecular Gels : Materials with Self-Assembled Fibrillar Networks
Molecular gels and fibrillar networks – a comprehensive guide to experiment and theory Molecular Gels: Materials with Self-Assembled Fibrillar Networks provides a comprehensive treatise on gelators, especially low molecular-mass gelators (LMOGs), and the properties of their gels. The structures and modes of formation of the self-assembled fibrillar networks (SAFINs) that immobilize the liquid components of the gels are discussed experimentally and theoretically. The spectroscopic, rheological, and structural features of the different classes of LMOGs are also presented. Many examples of the application of the principal analytical techniques for investigation of molecular gels (including SANS, SAXS, WAXS, UV-vis absorption, fluorescence and CD spectroscopies, scanning electron, transmission electron and optical microscopies, and molecular modeling) are presented didactically and in-depth, as are several of the theories of the stages of aggregation of individual LMOG molecules leading to SAFINs. Several actual and potential applications of molecular gels in disparate fields (from silicate replication of nanostructures to art conservation) are described. Special emphasis is placed on perspectives for future developments.
Modulated Temperature Differential Scanning Calorimetry : Theoretical and Practical Applications in Polymer Characterisation
This book provides both a basic and advanced treatment of the theory of the technique followed by a detailed exposition of its application to reacting systems, blends and semicrystalline polymers by the leaders in all of these fields. It is an essential text for anybody interested in calorimetry or polymer characterization, especially if they have found that conventional DSC cannot help them with their problems.
Modular Programming Languages ; 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings
On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference (JMLC), organized by Oxford Brookes University, Oxford, UK and held at Jesus College, Oxford. The mission of JMLC is to explore the concepts of well-structured programming languages and software and those of teaching good design and programming style. JMLC 2006 was the seventh in a series of successful conferences with themes including the construction of large and distributed software systems, and software en- neering aspects in new and dynamic application areas.
Modern Multidimensional Scalin : Theory and Applications
The book provides a comprehensive treatment of multidimensional scaling (MDS), a family of statistical techniques for analyzing the structure of (dis)similarity data. This book may be used as an introduction to MDS for students in psychology, sociology, and marketing. The prerequisite is an elementary background in statistics. The book is also well suited for a variety of advanced courses on MDS topics. All the mathematics required for more advanced topics is developed systematically. This second edition adds some 140 pages of new material. Many chapters are revised or have sections reflecting new insights and developments in MDS. There are two new chapters, one on asymmetric models and the other on unfolding. There are also numerous exercises that help the reader to practice what he or she has learned, and to delve deeper into the models and its intricacies.
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods.
Modern deep learning for tabular data : Novel approaches to common modeling problems
Synthesizes and presents novel deep learning approaches to a seemingly unlikely domain - tabular data. Whether for finance, business, security, medicine, or countless other domain, deep learning can help mine and model complex patterns in tabular data - an incredibly ubiquitous form of structured data. Part I of the book offers a rigorous overview of machine learning principles, algorithms, and implementation skills relevant to holistically modeling and manipulating tabular data. Part II studies five dominant deep learning model designs - Artificial Neural Networks, Convolutional Neural Networks, Recurrent Neural Networks, Attention and Transformers, and Tree-Rooted Networks - through both their 'default' usage and their application to tabular data. Part III compounds the power of the previously covered methods by surveying strategies and techniques to supercharge deep learning systems: autoencoders, deep data generation, meta-optimization, multi-model arrangement, and neural network interpretability.
Modern Aspects of Electrochemistry ; Vol. 39
This volume of Modern Aspects covers a wide spread of topics presented in an authoritative, informative and instructive manner by some internationally renowned specialists. Professors Politzer and Dr. Murray provide a comprehensive description of the various theoretical treatments of solute-solvent interactions, including ion-solvent interactions. Both continuum and discrete molecular models for the solvent molecules are discussed, including Monte Carlo and molecular dynamics simulations. The advantages and drawbacks of the resulting models and computational approaches are discussed and the impressive progress made in predicting the properties of molecular and ionic solutions is surveyed.
Models of Mechanics
This is a textbook on models and modeling in mechanics. It introduces a new unifying approach to applied mechanics: through the concept of the open scheme, a step-by-step approach to modeling evolves. The unifying approach enables a very large scope on relatively few pages: the book treats theories of mass points and rigid bodies, continuum models of solids and fluids, as well as traditional engineering mechanics of beams, cables, pipe flow and wave propagation.
Models in Software Engineering ; Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735).The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007).
Models in Software Engineering ; Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006, in Genoa, Italy, in October 2006 (see LNCS 4199). The 32 revised full papers were carefully selected for inclusion in the book.
Models for Discrete Longitudinal Data
This book provides a comprehensive treatment on modeling approaches for non-Gaussian repeated measures, possibly subject to incompleteness. The authors consider a variety of extensions, such as models for multivariate longitudinal measurements, random-effects models with serial correlation, and mixed models with non-Gaussian random effects. They sketch the general principles for how to deal with the commonly encountered issue of incomplete longitudinal data. The authors critique frequently used methods and propose flexible and broadly valid methods instead, and conclude with key concepts of sensitivity analysis. The book shows how the different approaches can be implemented within the SAS software package. The text is organized so the reader can skip the software-oriented chapters and sections without breaking the logical flow.
Models for computer aided tolerancing in design and manufacturing ; Selected conference papers from the 9th CIRP International Seminar on Computer-aided tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005
Computer Aided Tolerancing (CAT) is an important topic in any field of design and production where parts move relative to one another and/or are assembled together. Geometric variations from specified dimensions and form always occur when parts are manufactured. Improvements in production systems can cause the amounts of the variations to become smaller, but their presence does not disappear. To shorten the time from concept to market of a product, it has been increasingly important to take clearances and the tolerancing of manufacturing variations into consideration right from the beginning, at the stage of design. Hence, geometric models are defined that represent both the complete array of geometric variations possible during manufacture and also the influence of geometry on the function of individual parts and on assemblies of them.
Modellistica numerica per problemi differenziali = Numerical modeling for differential problems
This text introduces the basic concepts for the numerical modeling of partial differential problems. We consider the classic elliptic, parabolic and hyperbolic linear equations, but also other equations, such as those of diffusion and transport, of Navier-Stokes, and the conservation laws, and we provide numerous physical examples underlying these equations. Then we analyze numerical resolution methods based on finite elements, finite differences, finite volumes, spectral methods and domain decomposition methods. In particular, the algorithmic and computer implementation aspects are discussed and various easy-to-use programs are provided.
Modellistica Numerica per Problemi Differenziali = Numerical Modeling for Differential Problems
This text introduces the fundamental concepts for the numerical modeling of partial differential problems. We consider the classic linear elliptic, parabolic and hyperbolic equations, but also other equations, such as those of diffusion and transport, of Navier-Stokes, and the conservation laws. Numerous physical examples underlying these equations are provided, their main mathematical properties are studied, then numerical resolution methods based on finite elements, finite differences, finite volumes and spectral methods are proposed and analyzed. In particular, the algorithmic and computer implementation aspects are discussed and some easy-to-use programs in C ++ language are provided. The text does not presuppose an advanced mathematical knowledge of partial differential equations: the strictly indispensable concepts in this regard are reported in the Appendix. The volume is therefore suitable for students of scientific degree courses (Engineering, Mathematics, Physics, Chemistry, Information Sciences) and recommended for researchers from the academic and extra-academic world who want to approach this interesting branch of applied mathematics.
Modelling, State Observation and Diagnosis of Quantised Systems
The book concerns quantised systems which emerge from continuous-variable systems by quantising the values of all signals. It is shown how this leads to an abstract system description by means of a stochastic automaton. Based on stochastic automata, new methods for the solution to state observation and fault diagnostic problems are derived. The methods are extended to networks of stochastic automata, allowing component-oriented modelling and, thus, to deal with complex systems. The practical applicability and usefulness of the approach is shown at several examples.
