الصفحة 193
الصفحة 193
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
Adaptable Architecture : Theory and practice
provides thought-provoking and inquisitive insights into how we can prolong the useful life of buildings by designing them to be more adaptable, and hence create a more sustainable built environment. The book provides a theoretical foundation counterpointed by the experiences and ideas of those involved in the design and use of buildings. It explains many approaches to designing for change, with lessons from history, and case studies including The Cedar Rapids Public Library, Kentish Town Health Centre and Folkestone Performing Arts Centre, which stretch our thinking beyond the conventional notions of adaptability. The authors reveal the many conditions that make it a complex design phenomenon, by considering the purpose, design and business case of buildings as well as the physical product. Full of summaries, diagrams, reference charts, tables, and photos of exemplar solutions for use as conversational tools or working aids, this book is for any professional or student who wants to research, question, imagine, illustrate - and ultimately design for - adaptation.
Ada 2005 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1
The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically. In naming this version, we have chosen the vernacular term Ada 2005 used by the Ada community to refer to the interesting extensions made to the language Ada by the Amendment 1.
Ad Hoc Networks : Technologies and Protocols
Ad Hoc Networks: Technologies and Protocols is a concise in-depth treatment of various constituent components of ad hoc network protocols. It reviews issues related to medium access control, scalable routing, group communications, use of directional/smart antennas, network security, and power management among other topics. The authors examine various technologies that may aid ad hoc networking including the presence of an ability to tune transmission power levels or the deployment of sophisticated smart antennae. Ad Hoc Networks: Protocols and Technologies will be immensely useful as a reference work to engineers and researchers as well as to advanced level students in the areas of wireless networks, and computer networks.
Acute Promyelocytic Leukemia : Molecular Genetics, Mouse Models and Targeted Therapy
Over the past 10 years, work on acute promyelocytic leukemia (APL) has become the paradigm of translational research that began with the discovery of a recurrent chromosomal translocation, followed by the identification of the genes and proteins involved, finding their molecular functions in transcriptional control, establishing mouse models and culminating in the development of targeted therapy.
Active Processes and Otoacoustic Emissions in Hearing
Sounds that are actually produced by healthy ears allow researchers and clinicians to study hearing and cochlear function noninvasively in both animals and humans. Active Processes and Otoacoustic Emissions in Hearing presents the first serious review of the biological basis of these otoacoustic emissions. Active processes, such as those in hair cells that produce emissions, represent a burgeoning and important area of sensory research. By providing a basis for understanding how and why otoacoustic emissions testing works through a basic understanding of general hearing processes, this volume will also interest clinicians, particularly otolaryngologists and audiologists.
Active Networks : IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004, Revised Papers
The proceedings of the sixth Annual International Working Conference on Active Networks, which took place in October 2004 at The Information and Telecommunications Technology Center, The University of Kansas, USA. The proceedings of IWAN 2004 mark a transition between the funded active networking programs in Europe, Japan, and the United States and a strong, continued interest in the architectures of programmable networks.The papers are organized into sections on active network systems and architectures, security in active networking, active network applications, mobile active networks and active network management.
Active mining ; 2nd International workshop, AM 2003, Maebashi, Japan, October 28, 2003, revised selected papers
"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) which was organized in conju- tion with the 14th International Symposium on Methodologies for Intelligent Systems (ISMIS 2003), The workshop was organized by the Maebashi Institute of Technology for shed light on the future development of active mining. "This volume contains : Topics Database Management / Artificial Intelligence / Algorithm Analysis and Problem Complexity / Health Informatics / Bioinformatics
Active Knowledge Modeling of Enterprises
An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families of platforms, model-configured workplaces and services.
Active Conceptual Modeling of Learning : Next Generation Learning-Base System Development
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on November 8, 2006 during the 25th International Conference on Conceptual Modeling, ER 2006, held November 6–9,2006, in Tucson, Arizona, plus several invited papers.These papers plus the invited papers represent the current thinking in conceptual modeling research, The active model can only be realized through technology integration (e.g., AI, software engineering, information technology,cognitive science, art and sciences, philosophy, etc.)
Across the Sahara : Tracks, trade and cross-cultural exchange in Libya
Provides a multi-perspective approach to the caravan trade in the Sahara during the 19th century. Based on travelogues from European travelers, recently found Arab sources, historical maps and results from several expeditions, the book gives an overview of the historical periods of the caravan trade as well as detailed information about the infrastructure which was necessary to establish those trade networks.
Acquired Cystic Disease of the Kidney and Renal Cell Carcinoma : Complication of Long-Term Dialysis
I have been involved in the treatment of chronic renal insuf? new and unexpected pathological conditions have also appeared as complications of long-term dialysis. One of these involves polycystic changes and their malignant transformation in diseased kidneys. Since I have studied these polycystic changes and their malignant transformation for many years, I decided to compile the results of my work in a book. Such conditions of diseased kidneys pose serious problems, particularly in Japan, where renal transplantation is performed very infrequently compared with other countries, and a large number of patients are managed by dialysis over a long period.
Acoustics of Wood
From the reviews of the 1st edition: "It will surely remain the most comprehensive work in this field for a long time to come. It belongs on the bookshelf of every material scientist and structural engineer."
Acoustics for Engineers : Troy Lectures
Provides the material for an introductory course in engineering acoustics for students with basic knowledge in mathematics. It is based on extensive teaching experience at the university level. Under the guidance of an academic teacher it is sufficient as the sole textbook for the subject.
Acoustic sensing techniques for the shallow water environment : Inversion methods and experiments
Contains the collection of papers from the second workshop on Experimental Acoustic Inversion Techniques for Exploration of the Shallow Water Environment. Acoustic techniques provide the most effective means for remote sensing of ocean and sea floor processes, and for probing the structure beneath the sea floor. No other energy propagates as efficiently in the ocean: radio waves and visible light are severely limited in range because the ocean is a highly conductive medium. However, sound from breaking waves and coastal shipping can be heard throughout the ocean, and marine mammals communicate acoustically over basin scale distances.
Acoustic MIMO Signal Processing
Telecommunication systems and human-machine interfaces start employing multiple microphones and loudspeakers in order to make conversations and interactions more lifelike, hence more efficient. This development gives rise to a variety of acoustic signal processing problems under multiple-input multiple-output (MIMO) scenarios, encompassing distant speech acquisition, sound source localization and tracking, echo and noise control, source separation and speech dereverberation, and many others. The last decade has witnessed a growing interest in exploring these problems, but there has been little effort to develop a theory to have all these problems investigated in a unified framework. This unique book attempts to fill the gap.
Acid Rain - Deposition to Recovery
Acid rain is still with us. Although it is a problem that people have worked diligently to solve, there are still many problem areas throughout the world. In reality the focus of acid rain research has shifted, and this book adds new vision to the topic. It contains papers, selected from Acid Rain 2005, the 7th International Conference on Acid Deposition, that take a broad perspective of the issues, emphasizing a number of themes: - the emission, concentration and deposition of pollutants / - nitrogen and trace elements in ecosystems and their effects on forests, water and soil / - studies of material damage and recovery - critical loads / The book is aimed at scientists and researchers who are working in the area of acid rain and its effects, and on nutrient cycling. This latest research will be of value to those concerned with the mitigation of acid rain effects.
Achievements in European Research on Grid Systems ; CoreGRID Integration Workshop 2006 (Selected Papers)
Achievements in European Research on Grid Systems comprises the edited proceedings of the 2006 CoreGRID Integration Workshop (CGIW'2006), held October 2006 in Krakow, Poland.
Accreditation and Evaluation in the European Higher Education Area
This volume presents a rich account of the development of accreditation and evaluation in 20 European countries. The authors are leaders in the field and they have cooperated in this effort by writing richly different, often deep and insightful analyses of the situation in their country. The two editors have added a synopsis detailing the main trends, and sketching commonalities as well as contrasts in the developments across Europe. The book shows how accreditation is becoming a main mechanism in the steering of higher education all over Europe. The book is unique in its analysis of forces driving towards the spread of different models of accreditation in the emerging European Higher Education area. Readers will obtain an up-to-date picture of the state of affairs of accreditation in the framework of evaluation activities in Europe.
Accounting and auditing small and medium-sized practices : Transformative capabilities in a rapidly changing society
Addresses recent trends, developments, and future of accounting and auditing of small and medium-sized practices (AASMPs) in the public and private sectors.the book has three main objectives: firstly, to provide an analysis of how different societal trends, including digitalization, impact AASMPs and what role education and training play in proactive adaptation to those trends; secondly, to outline major scenarios for global AASMP development by 2035; and thirdly, to offer a conceptual framework for better understanding of AASMPs' dynamic and transformative capabilities that are necessary to create sustained competitive advantage in a rapidly changing society. beyond presenting a conceptual framework, this book also offers a discussion of future scenarios for AASMPs' development and their role in the global economic development.
