الصفحة 43
الصفحة 43
Integrated Reaction and Separation Operations : Modelling and experimental validation
The book presents the latest developments in simulation of integrated processes as well as new methods of process synthesis and process control. It shows details of experimental approaches for model validation, determining of model parameters and measurement techniques. The combination of sophisticated modelling, optimisation methods and experimental results has not ben published up to now. The book gives deep insights into the overall evaluation of integrated processes as well as development of methods for a systematic design and optimisation of integrated reaction and separation processes. Potentials for process integration and the technical as well as economic limitations have been identified. The book covers several case studies of reactive distillation, reactive extraction, reactive gas-adsorption and chromatographic reactors which have been investigated from the modelling and experimental point of view. Based on validated models process simulation was used to optimize these processes. Following the concept of integrated process design approaches have been developed for model predictive control and process optimisation during production. Another new and very important focus of the book is systematic synthesis of integrated processes.
Integrated pharmaceutics : Applied preformulation, product design, and regulatory science
Provides a comprehensive introduction to the creation and manufacture of effective dosage forms for drug delivery. It presents its subject following the principles of physical pharmacy, product design, and drug regulations. This tripartite structure allows readers to move from theory to practice, beginning from a firm foundation ...
Integrated Methods for Optimization
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into a unified framework that allows them to be generalized and combined. The unification of MP and CP creates optimization methods that have much greater modeling power, increased computational speed, and a sizeable reduction computational coding. Hence the benefits of this integration are substantial, providing the Applied Sciences with a powerful, high-level modeling solution for optimization problems. As reviewers of the book have noted, this integration along with constraint programming being incorporated into a number of programming languages, brings the field a step closer to being able to simply state a problem and having the computer solve it.
Integrated Information Management : Applying Successful Industrial Concepts in IT
After years of apparent dormancy, once again companies are paying more att- tion to information management. IT departments and CIOs are confronted with a number of new challenges, which force them to reconsider past information m- agement strategies and solutions. Recently cited as positive trends in IT are only those developments concerning stronger customer service and process orientation or pertaining to new forms of IT governance.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Integrated Circuit Test Engineering : Modern Techniques
Integrated Circuit Test Engineering provides a thorough-going and illuminating introduction to test engineering in analogue, digital and mixed-signal integrated circuits. This text is a valuable practical learning tool for advanced undergraduate and graduate electronic engineering students, an excellent teaching resource for their tutors and a useful guide for the practising electronic engineer.
Integrated Circuit Packaging, Assembly and Interconnections
Integrated Circuit Packaging, Assembly and Interconnections is intended as a multi-purpose text, serving individuals looking for an introduction, or a review, or an update of the various IC packaging, assembly, and interconnection technologies. To this end, it provides an overview of the materials and the processes, as well as the trends and available options that encompass electronic manufacturing. It covers both the technical issues and touches on some of the reliability concerns with the various technologies applicable to packaging and assembly of the IC. The focus is on the electronic manufacturing process which, in its simplest form, involves assembly of the IC into a package or interconnect substrate or board. The book discusses the various packaging approaches available, namely, single chip, multichip, and Chip On Board; the assembly options, chip & wire, tape automated bonding, and flip chip; and the essential high density package/substrate manufacturing technologies, thin film, thick film, cofired ceramic, and laminate printed wiring board (PWB) processes. Included also is a discussion of high density PWBs using build up/sequential processes.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 4148 ; 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sponsorship and CEDA sponsorship. Over the years, the PATMOS workshop has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design methodologies, and tools required for the development of upcoming generations of integrated circuits and systems. The technical program of PATMOS 2006 contained state-of-the-art technical contributions, three invited talks, a special session on hearing-aid design, and an embedded tutorial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert reviewers, selected the 64 papers presented at PATMOS. The papers were organized into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, full papers were required, and several reviews were received per manuscript.
Integrated circuit and system design : Power and timing modeling, optimization and simulation ; 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings
Papers cover high level design, low power design techniques, low power analog circuits, statistical static timing analysis, power modeling and optimization, low power routing optimization, security and asynchronous design, low power applications, modeling and optimization, and more.
Integrated Chemical Microsensor Systems in CMOS Technology
This book, "Integrated Chemical Microsensor Systems in CMOS Technology", provides a comprehensive treatment of the highly interdisciplinary field of CMOS chemical microsensor systems. It is targeted at students, scientists and engineers who are interested in gaining an introduction to the field of chemical sensing since all the necessary fundamental knowledge is included. However, as it provides detailed information on all important issues related to the realization of chemical microsensors in CMOS technology, it also addresses experts well familiar with the field.
Integral bridges : a fundamental approach to the time–temperature loading problem
In recent years, integral bridges have become increasingly popular in the UK. The Highways Agency standard now requires, where possible, that all new bridges with a length of less than sixty metres should be of integral form. In addition, it has been found that, due especially to the problems and costs associated with failed expansion joints, integral bridges are not only cost effective but also have a longer lifespan. Integral Bridges was commissioned by the Highways Agency to produce guidance for bridge designers by addressing the thermally induced soil/structure interaction problem created by environmental changes of temperature and the associated cyclical displacements imposed on the granular backfill to the bridge abutments. It develops a better theoretical understanding of the cyclic performance, in particular the strain racheting in the backfill soil when in contact with a stiff structure. It also identifies the governing soil parameters and examines their influence in the interaction problem, develops numerical modelling procedures to predict interactive soil behaviour, and identifies and quantifies the controlling features of bridge structures relevant to the interaction problem.
Intangible capital and growth : Essays on labor productivity, monetary economics, and political economy ; Vol.1
It is now widely recognized that intangible capital has been a crucial element in the growth performance of these economies and their firms. In the author's view, “intangible capital” serves as the most appropriate umbrella term for capturing several dimensions of capital that are not tangible in nature but are nevertheless fundamentally important for growth. The term encompasses investments in education (human capital) and in informal (social capital) and formal (rule of law) institutions by the public sector and households, as well as investments by businesses aimed at enhancing their knowledge base, such as software, innovative property, and economic competencies.
Insurance intermediation : An economic analysis of the information services market
Insurance intermediaries can help consumers to economize on information and transaction costs in insurance markets. However, competing intermediaries provide heterogeneous information services, which are difficult to assess by incompletely informed consumers. Conduct and performance in the market for insurance information services are analyzed by applying search theoretical and industrial organization approaches. Based on a sample of 927 insurance intermediaries, the factors that affect the quality of the information services provided by them are studied empirically. The results obtained support the main hypotheses derived from industrial organization theories as to the poor working of quality competition under incomplete and asymmetric information on the side of consumers.
Insurance distribution directive : A legal analysis
This book of the AIDA Europe Research Series on Insurance Law and Regulation offers the first comprehensive legal and regulatory analysis of the Insurance Distribution Directive (IDD).
Insulin Resistance and Polycystic Ovarian Syndrome : Pathogenesis, Evaluation, and Treatment
This book highlights the recent transition of PCOS from an infertility disorder with a diagnosis based on ovarian tissue histology to a more complex clinical entity, a metabolic disorder in which insulin resistance plays a central role. With an expert panel of authors, each chapter provides an up-to-date and balanced overview of PCOS, paying special attention to the central role of insulin resistance in the syndrome’s pathogenesis and in the management of its reproductive and metabolic abnormalities.
Instructional Scaffolding in STEM Education : Strategies and Efficacy Evidence
This book uses meta-analysis to synthesize research on scaffolding and scaffolding-related interventions in STEM (science, technology, engineering, and mathematics) education. Specifically, the volume examines the extent to which study quality, assessment type, and scaffolding characteristics (strategy, intended outcome, fading schedule, scaffolding intervention, and paired intervention) influence cognitive student outcomes. It includes detailed descriptions of the theoretical foundations of scaffolding, scaffolding strategies that have been proposed to meet different intended learning outcomes in STEM, and associated efficacy information. Furthermore, the book describes assessment strategies and study designs which can be used to evaluate the influence of scaffolding, and suggests new fields in which scaffolding strategies that have proven efficacious may be used.
Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.
Institutional Context of Education Systems in Europe : A Cross-Country Comparison on Quality and Equity
In this volume, the authors take up the challenge of considering what a European ‘settlement’ might look like. In doing so, they take into account worldwide trends and the increasing evidence of convergence across educational systems. The outcomes of comparative analyses seem to suggest that strong education systems in terms of finance, governance and choice could be preferable. To a greater or lesser extent, therefore, all the systems of education currently in use in Europe face some common challenges. The way in which these challenges are addressed will determine the future of these systems.
Instability in Models Connected with Fluid Flows II
Instability in Models Connected with Fluid Flows II presents chapters from world renowned specialists. The stability of mathematical models simulating physical processes is discussed in topics on control theory, first order linear and nonlinear equations, water waves, free boundary problems, large time asymptotics of solutions, stochastic equations, Euler equations, Navier-Stokes equations, and other PDEs of fluid mechanics. Fields covered include: the free surface Euler (or water-wave) equations, the Cauchy problem for transport equations, irreducible Chapman--Enskog projections and Navier-Stokes approximations, randomly forced PDEs, stability of equilibrium figures of uniformly rotating viscous incompressible liquid, Navier-Stokes equations in cylindrical domains, Navier-Stokes-Poisson flows in a vacuum.
Insights into Receptor Function and New Drug Development Targets
G-Protein Coupled receptors (GPCRs) and other receptors are significant targets for drug discovery, due to their roles in fundamental physiological processes. Among these roles are: regulation of growth, food intake, reproduction, water balance, sensory perception, blood pressure and heart rate. GPCR-directed drugs account for approximately $40 billion in sales and, of drugs at market, approximately 70% target GPCR function. The availability of combinatorial chemistry coupled with high throughput screening techniques have facilitated discovery of peptidic and non-peptidic ligands of membrane receptors. Mutant receptor models have revealed their role in health and disease and provided insight to new therapeutic approaches, based on control of protein trafficking. Understanding receptor-receptor interactions has provided one mechanism for receptor cross-talk and revealed unexpected interactions.
