الصفحة 33
الصفحة 33
Integrated Groundwater Management : Concepts, Approaches and Challenges
The aim of this book is to document for the first time the dimensions and requirements of effective integrated groundwater management (IGM). Groundwater management is a formidable challenge, one that remains one of humanity’s foremost priorities. It has become a largely non-renewable resource that is overexploited in many parts of the world. In the 21st century, the issue moves from how to simply obtain the water we need to how we manage it sustainably for future generations, future economies, and future ecosystems. The focus then becomes one of understanding the drivers and current state of the groundwater resource, and restoring equilibrium to at-risk aquifers. Many interrelated dimensions, however, come to bear when trying to manage groundwater effectively. An integrated approach to groundwater necessarily involves many factors beyond the aquifer itself, such as surface water, water use, water quality, and ecohydrology.
Integrated Graphic and Computer Modelling
Full colour throughout, the book explores programming language developments from machine code to more natural language forms, and the basic display operations and commands needed to create effective computer graphic systems. As the visual presentation of real and virtual environments becomes more and more the norm in application systems, a clear understanding of the theory that underpins these techniques is required of all students and practitioners studying and working on large computer systems.
Integrated formal methods ; 5th International conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
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.
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.
Integrable Systems in Celestial Mechanics
This work presents a unified treatment of three important integrable problems relevant to both Celestial and Quantum Mechanics. Under discussion are the Kepler (two-body) problem and the Euler (two-fixed center) problem, the latter being the more complex and more instructive, as it exhibits a richer and more varied solution structure. Further, because of the interesting investigations by the 20th century mathematical physicist J.P. Vinti, the Euler problem is now recognized as being intimately linked to the Vinti (Earth-satellite) problem. Here the analysis of these problems is shown to follow a definite shared pattern yielding exact forms for the solutions. A central feature is the detailed treatment of the planar Euler problem where the solutions are expressed in terms of Jacobian elliptic functions, yielding analytic representations for the orbits over the entire parameter range.
Integer programming and combinatorial optimization ; 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002. Proceedings
This volume contains the papers selected for presentation at IPCO 2002, the NinthInternationalConferenceonIntegerProgrammingandCombinatorial- timization, Cambridge, MA (USA), May 27–29, 2002. The IPCO series of c- ferences highlights recent developments in theory, computation, and application of integer programming and combinatorial optimization. IPCO was established in 1988 when the ?rst IPCO program committee was formed. IPCO is held every year in which no International Symposium on Ma- ematical Programming (ISMP) takes places. The ISMP is triennial, so IPCO conferences are held twice in every three-year period. The eight previous IPCO conferences were held in Waterloo (Canada) 1990, Pittsburgh (USA) 1992, Erice (Italy) 1993, Copenhagen (Denmark) 1995, Vancouver (Canada) 1996, Houston (USA) 1998, Graz (Austria) 1999, and Utrecht (The Netherlands) 2001. In response to the call for papers for IPCO 2002, the program committee received 110 submissions, a record number for IPCO. The program committee met on January 7 and 8, 2002, in Aussois (France), and selected 33 papers for inclusion in the scienti?c program of IPCO 2002. The selection was based on originality and quality, and re?ects many of the current directions in integer programming and combinatorial optimization research.
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.
Insulin resistance
Insulin is a peptide hormone secreted by the B cells of the pancreatic islets of Langerhans and maintains normal blood glucose levels by facilitating cellular glucose uptake, regulating carbohydrate, lipid and protein metabolism and promoting cell division and growth through its mutagenic effects.
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.
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.
Inside/outside Islamic art and architecture: a cartography of boundaries in and of the field
When we walk into a gallery, we have a fairly good idea where the building begins and ends; and inside, while observing a painting, we are equally confident in distinguishing between the painting-proper and its frame and borders. Yet, things are often more complicated. A building defines an exterior space just as much as an interior, and what we perceive to be ornamental and marginal to a given painting may in fact be central to what it represents. In this volume, a simple question is presented: instead of dichotomous separations between inside and outside, or exterior and interior, what other relationships can we think of? The first book of its kind to grapple with this question, Inside/Outside Islamic Art and Architecture focuses on a wide spectrum of mediums and topics, including painted manuscripts, objects, architectural decoration, architecture and urban planning, and photography. Bringing together scholars with diverse methodologies-who work on a geographical span stretching from India to Spain and Nigeria, and across a temporal spectrum from the thirteenth to the twenty-first century-this original book also poses engaging questions about the boundaries of the field.
Inside deep learning : Math, algorithms, models
Journey through the theory and practice of modern deep learning, and apply innovative techniques to solve everyday data problems. In Inside Deep Learning, you will learn how to: Implement deep learning with PyTorch Select the right deep learning components Train and evaluate a deep learning model Fine tune deep learning models to maximize performance Understand deep learning terminology Adapt existing PyTorch code to solve new problems Inside Deep Learning is an accessible guide to implementing deep learning with the PyTorch framework. It demystifies complex deep learning concepts and teaches you to understand the vocabulary of deep learning so you can keep pace in a rapidly evolving field. No detail is skipped--you'll dive into math, theory, and practical applications. Everything is clearly explained in plain English.
Insects and Ecosystem Function
In the past two decades, an increasing number of ecologists have started to investigate the importance of biodiversity for ecological processes such as energy flow and nutrient cycling, often referred to as 'ecosystem functioning'. Insects are a dominant component of biodiversity in terrestrial ecosystems and play a key role in mediating the relationship between plants and ecosystem processes. This volume is the first to summarize their effects on ecosystem functioning, focusing mainly, but not exclusively, on herbivorous insects. Renowned authors with extensive experience in the field of plant-insect interactions, contribute to the volume using examples from their own work. In addition to providing concise reviews of the field, this volume discusses in detail the advantages and disadvantages of various techniques of manipulating insect herbivory. Thus, the text provides both a theoretical basis as well as practical advice for future manipulative studies of biodiversity-ecosystem functioning.
Insect Conservation and Islands
A series of original papers and reviews dealing with the peculiarities of island insects and their conservation in many parts of the world. Contributions to this special issue of Journal of Insect Conservation range from biogeographical analyses andecological features of island insects and their evolution to the variety of concerns for their wellbeing, and practical conservation through a variety of, sometimes novel, approaches. They provide a valuable and up-to-date resource for entomologists and conservation practitioners.
Inorganic Constituents in Soil : Basics and Visuals
A must-read for students of and beginners in soil science. In a well-organized and easy-to-follow manner, it provides basic outlines of soil minerals, new methods and recent developments in the field, with a special focus on visual aids. The chapters on primary minerals, secondary minerals, non-crystalline inorganic constituents and inorganic constituents sensitive to varying redox conditions will help readers understand the basic components of soils. Further, readers are introduced to new analytical methods with the aid of microscopy and recent developments in the field. Uniquely, the book features case studies on the identification and isolation methods for vivianite crystals from paddy field soils, as well as a identical procedure for identifying noncrystalline constituents such as volcanic glasses and plant opals, which can also be applied to other soils depending on the local conditions.
Innovative Tools and methods using BIM for an efficient renovation in buildings
This book describes a BIM-based toolkit that has been developed according to the latest research activities on building information modelling and semantic interoperability to optimize the building process. It highlights the impacts of using such new tools to fast renovation activities starting from the decision-making and design stages to the construction site management with the possibility to monitor occupants' and owners’ feedback during the realization process. In this process, a framework has been developed and implemented to allow stakeholders involved in a renovation project to efficiently compile, maintain, and add data about (i) building elements, (ii) building services systems, (iii) tenants, operators, and owners of the building, and (iv) current and predicted performance of the building from the various data sources available. The framework applies and specializes the existing practices in the Semantic Web, Linked Data, and ontology domain to the management of renovation projects. It has been designed to be open so that any system which implements the required functions and uses the specified conventions will be able to achieve semantic interoperability with other framework-compliant systems in the renovation domain. Finally, this book represents the validation process of the toolkit that has been held in three demo sites: a social housing building in Italy and two private residential buildings in Poland and Finland. The outcome shows that the toolkit facilitates the renovation process with relevant reductions of time, costs, and energy consumption and that the inhabitants can take advantage of the increase in building performances, quality, and comfort.
Innovative techniques in instruction technology, e-learning, e-assessment, and education
Innovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper articles addressing the following topics:E-Learning including development of courses and systems for technical and liberal studies programs; online laboratories; intelligent testing using fuzzy logic; evaluation of on line courses in comparison to traditional courses; mediation in virtual environments; and methods for speaker verification.
Innovative Perspectives in Oral and Maxillofacial Surgery
Examines the latest technologies and developments in oral and maxillofacial surgery. Extensive and unique, Innovative Perspectives in Oral and Maxillofacial Surgery is a vital tool for all dental specialists ranging from undergraduate students to established oral maxillofacial surgeons.
Innovative Internet Computing Systems ; 2nd International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings
Constitutes the proceedings of the second international workshop on Innovative Internet Computing Systems, held in Germany in 2002. The 20 papers cover large-scale distributed computing infrastructures, management and retrieval of web-based information, content classification and more.
