Page 21
Page 21
Implementation and Application of Functional Languages ; Vol. 4015 ; 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, Ireland, September 19–21, 2005. It was organized by the Department of Computer Science at Trinity College, University of Dublin. IFL 2005 was the 17th event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical aspects over language design and implementation towards applications and tool support.
Impact of Institutions on Lending : Informal Constraints and Enforcement of Bank Regulation in Mongolia
Chuluunbaatar Enkhzaya examines the "inadequate" behaviour of banks in Mongolia by analysing the institutional framework of the banking system, especially in lending. She focuses on the genesis of informal institutions of lending and their interaction with formal institutions of lending. Herewith, informal institutions such as the attitude to risk were indirectly observed by diagnosing the "action-regulating" knowledge of bankers. In order to ensure an effective allocation of the scarce financial resources of Mongolia the author therefore suggests a change - as simultaneous as possible - of formal and informal rules.
Immunity boosting medicinal plants of the Western Himalayas
Presents a comprehensive guide to traditional immunity-boosting medicinal plants of the Himalayas, their traditional uses, phytochemistry, pharmacology, diversity, conversation, biotechnology, toxicology, as well as future prospective. All the chapters cover the latest advances in ethnobotany, phytochemistry, biochemistry, and biotechnology.
Imaging planetario : Guida all’uso della webcam = Planetary Imaging : Guide to using the webcam
In this book, Martin Mobberley introduces the amateur to the use of webcams and digital image processing, while providing detailed tips for shooting the Sun, Moon and planets. Each object, with its specific shooting and processing techniques, is treated in a separate chapter. Through the images in this book, the amateur will be able to realize what can be done by applying a webcam to your telescope!
Imaging in Treatment Planning for Sinonasal Diseases
Provides both basic and advanced information on the clinical presentation, imaging findings and treatment of sinonasal diseases. For each specific disease, the rationale underlying the treatment strategy is discussed and the imaging findings critical to the decision-making process are identified. This is an original approach and reflects the constant team effort at the editors' institute over the past 15 years to integrate clinical and radiological information with the aim of establishing the most appropriate treatment. Special emphasis is placed on the identification of clinical and imaging data that allow selection of an endonasal or an external approach in surgical candidates. The value of planning an integrated endoscopic and radiological follow-up in the different diseases is also thoroughly reviewed. Through the correlation of imaging with endoscopic or clinical findings, this book will enable radiologists to familiarise themselves with the "otorhinolaryngological world" and clinicians to understand more fully the significance of specific radiological findings. It will serve as an invaluable guide to the selection of imaging techniques.
Image-Guided IMRT
Intensity-modulated radiation therapy (IMRT), one of the most important developments in radiation oncology in the past 25 years, involves technology to deliver radiation to tumors in the right location, quantity and time. Unavoidable irradiation of surrounding normal tissues is distributed so as to preserve their function. The achievements and future directions in the field are grouped in the three sections of the book, each suitable for supporting a teaching course.
Il Parlagioco : Uno strumento per comunicare attraverso il gioco = he Parlagioco: A tool for communicating through play
Il Parlagioco nasce da un'esperienza riabilitativa con un bambino autistico, il cui linguaggio aveva bisogno di regole comunicative. Per questo è stato creato un gioco di carte per realizzare uno scambio interattivo attraverso il desiderio di comunicare giocando. Il Parlagioco è servito anche a ridurre l'iperselettività tipica dell'autismo, orientando l'attenzione del bambino verso gli elementi esaustivi, ignorando i dettagli insignificanti allo scopo di cogliere i nessi di un insieme necessari a una comprensione globale. Da questa esperienza il Parlagioco è stato ulteriormente sviluppato per promuovere la pragmatica della comunicazione e le regole del linguaggio in ambito clinico. La sua applicazione nei disturbi specifici del linguaggio permette di ampliare il lessico, la comprensione di nuovi vocaboli e la produzione di richieste. Quando il disturbo del linguaggio è invece associato a ritardo mentale nelle malattie genetiche o neurologiche, esso consente delle facilitazioni nel proporre compiti specifici di riabilitazione linguistica. La presentazione grafica allettante e la proposta ludica fannno si' che esso sia facilmente applicabile anche in ambito scolastico e familiare.
Il cielo sopra Roma : I luoghi dell’astronomia = The sky above Rome : The places of astronomy
Astronomy in Rome has always been there, but a little hidden: it was in the palaces, in the churches or, better, above the churches, speculas scattered along a path that few know by now. Intrigued and frightened, the Romans witnessed the burning of Giordano Bruno in a familiar corner of Campo de 'Fiori, but they probably didn't quite understand what guilt he was accused of. They certainly did not think that he was a philosopher and a scientist who had tried to imagine what the world was like.
Identities at Work
This edited volume on Identities at Work brings together international theory and empirical research that deals with continuity and change of identity formation processes at work under conditions of modern working processes and labour market flexibility. Modern work processes in manufacturing and service organisations increasingly rely upon responsible and competent employees who are willing and able to engage in the tasks that their job requires and in continuous learning. That employees are able to engage in taking up new forms of responsibility and master complex work situations is, on the one hand, dependent upon employees’ skills and how well they are trained. On the other hand, it requires that employees identify with what they do and commit to their work and the performance of tasks.
Identifying, Assessing, and Treating Conduct Disorder at School
Identifying, Assessing, and Treating Conduct Disorder at School bridges the gap between science and practice, providing school professionals with the information they need to coordinate efforts and enhance communication between parents, other educators, administrators, and social services providers. In addition, it offers guidance on the interventions that are likely to be most effective in meeting the unique needs of youths with conduct disorder.
Identifying, Assessing, and Treating Autism at School
As the rate of autism diagnosis continues to escalate, awareness and recognition of this developmental brain disorder - as well as a demand for services - are also mushrooming. School districts, already struggling under the weight of withering budgets and increasing enrollments, are now scrambling to strike a balance between the types of services and treatments parents want for their children and what the school system can afford to provide. Consequently, a broad cross-section of professionals and parents are searching for the means and methods by which to identify and address the wide-ranging.
Identification and Control : The Gap between Theory and Practice
Identification and Control meets the difficulty of making practical use of new systems theory head on, presenting a selection of varied applications together with relevant theory. The highly-experienced groups of researchers and engineers contributing to this volume show how workable identification and control solutions can be derived by adapting and extrapolating from the theory. Each chapter has a common structure: a brief presentation of theory, extensively cited throughout the chapter; the description of a particular application; experimental results; and a final section highlighting, explaining and laying out solutions to the discrepancy between the theoretical and the practical.
Ideals and Reality : Projective Modules and Number of Generators of Ideals
The book gives a comprehensive introduction to basic commutative algebra, together with the related methods from homological algebra, which will enable students who know only the fundamentals of algebra to enjoy the power of using these tools. At the same time, it also serves as a valuable reference for the research specialist and as potential course material, because the authors present, for the first time in book form, an approach here that is an intermix of classical algebraic K-theory and complete intersection techniques, making connections with the famous results of Forster-Swan and Eisenbud-Evans. A study of projective modules and their connections with topological vector bundles in a form due to Vaserstein is included. Important subsidiary results appear in the copious exercises.
Ice, Rock, and Beauty : A Visual Tour of the New Solar System
Ice, Rock, and Beauty is a book for anybody who lives in the solar neighborhood, and takes an interest in its significance to us as residents.The book gathers images from a rich pool, many from national and international organizations such as NASA and ESA, some directly from academic astronomers, and a few from private individuals. Together they tell a story of the Solar System, and of its beauty, that has not been told before.
IAEA Atlas of Cardiac PET/CT : A Case-Study Approach
This book presents a wide portfolio of examples of positron emission tomography coupled with computer tomography (PET/CT) studies in various cardiac conditions in order to provide a rationale for the implementation of this technology in an array of clinical conditions. Cardiovascular diseases are a major contributor to premature morbidity and mortality worldwide. Low- and middle-income countries (LMICs) are particularly affected by cardiovascular diseases (CVDs), with more than 75% of all CVDs deaths occurring in these countries. For this reason, target 3.4 of the United Nations (UN) Sustainable Development Goals (SDGs) agenda aims at a 30% reduction in premature mortality due to non-communicable diseases (NCDs), which include CVDs, by 2030.
Hyperbolic Systems of Balance Laws : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 14-21, 2003
The present Cime volume includes four lectures by Bressan, Serre, Zumbrun and Williams and an appendix with a Tutorial on Center Manifold Theorem by Bressan. Bressan’s notes start with an extensive review of the theory of hyperbolic conservation laws. Then he introduces the vanishing viscosity approach and explains clearly the building blocks of the theory in particular the crucial role of the decomposition by travelling waves. Serre focuses on existence and stability for discrete shock profiles, he reviews the existence both in the rational and in the irrational cases and gives a concise introduction to the use of spectral methods for stability analysis. Finally the lectures by Williams and Zumbrun deal with the stability of multidimensional fronts.
Hyperbolic Problems : Theory, Numerics, Applications ; Proceedings of the Eleventh International Conference on Hyperbolic Problems held in Ecole Normale Supérieure, Lyon, July 17-21, 2006
This volume contains papers that were presented at HYP2006, the eleventh international Conference on Hyperbolic Problems: Theory, Numerics and Applications held at the Ecole Normale Supérieure de Lyon, France, July 17-21, 2006. This biennial series of conferences has become one of the most important international events in Applied Mathematics. As computers became more and more powerful, the interplay between theory, modelling, and numerical algorithms gained considerable impact, and the scope of HYP conferences expanded accordingly. The field is currently in interaction with a variety of scientific domains, including fluid dynamics, physics, electromagnetism, chemistry, biology, road and network traffic, and engineering. Many of these papers present new effective numerical methods and their application in various contexts.
Hyperbolic Geometry
The geometry of the hyperbolic plane has been an active and fascinating field of mathematical inquiry for most of the past two centuries. The basic approach taken is to define hyperbolic lines and develop a natural group of transformations preserving hyperbolic lines, and then study hyperbolic geometry as those quantities invariant under this group of transformations. Topics covered include the upper half-plane model of the hyperbolic plane, Möbius transformations, the general Möbius group, and their subgroups preserving the upper half-plane, hyperbolic arc-length and distance as quantities invariant under these subgroups, the Poincaré disc model, convex subsets of the hyperbolic plane, hyperbolic area, the Gauss-Bonnet formula and its applications.
Hydropower Economics
HYDROPOWER ECONOMICS examines sustainable alternate energy sources beginning with modeling hydropower and extending the model to include thermal power and wind power. The book will use various econometric measures, equilibrium metrics, OR methods, and DEA/productivity analyses to analyze and model the optimal use of these alternate energy sources. Because these problems are dynamic in nature, dynamic methods are used to model the problems. The book derives results on the allocation of the amounts of alternate sources of energy (water, thermal, and wind) required to produce electricity at acceptable levels over time. Graphic illustrations of the analytical and mathematical modeling used to reach research conclusions are used throughout the book.
Hydromagnetic Waves in the Magnetosphere and the Ionosphere
The book deals with Ultra-Low-Frequency (ULF)-electromagnetic waves observed on Earth and in Space. This book integrates topics pertaining to all scales of the MHD-waves, emphasizing the linkages between the ULF-waves below the ionosphere on the ground and magnetospheric MHD-waves.
