الصفحة 23
الصفحة 23
Affine Density in Wavelet Analysis
Provides the first thorough and comprehensive treatment of irregular wavelet frames by introducing and employing a new notion of affine density as a highly effective tool for examining the geometry of sequences of time-scale indices.
Advancing Human Assessment : The Methodological, Psychological and Policy Contributions of ETS
Describes the extensive contributions made toward the advancement of human assessment by scientists from one of the world’s leading research institutions, Educational Testing Service. The book’s four major sections detail research and development in measurement and statistics, education policy analysis and evaluation, scientific psychology, and validity. Many of the developments presented have become de-facto standards in educational and psychological measurement, including in item response theory (IRT), linking and equating, differential item functioning (DIF), and educational surveys like the National Assessment of Educational Progress (NAEP), the Programme of international Student Assessment (PISA), the Progress of International Reading Literacy Study (PIRLS) and the Trends in Mathematics and Science Study (TIMSS). In addition to its comprehensive coverage of contributions to the theory and methodology of educational and psychological measurement and statistics,
Advances in the Geological Storage of Carbon Dioxide : International Approaches to Reduce Anthropogenic Greenhouse Gas Emissions
As is now generally accepted mankind’s burning of fossil fuels has resulted in the mass transfer of greenhouse gases to the atmosphere, a modification of the delicately-balanced global carbon cycle, and a measurable change in world-wide temperatures and climate. Although not the most powerful greenhouse gas, carbon dioxide (CO) drives climate 2 change due to the enormous volumes of this gas pumped into the atmosphere every day. Produced in almost equal parts by the transportation, industrial and energy-generating sectors, atmospheric CO concentrations have 2 increased by about 50% over the last 300 years, and according to some sources are predicted to increase by up to 200% over pre-industrial levels during the next 100 years. If we are to reverse this trend, in order to prevent significant environmental change in the future, action must be taken immediately.
Advances in solid state physics ; Vol. 45
The book presents, to some extent, the status of the field of solid-state physics in 2005 not only in Germany but also internationally. It is ''nanoscience'', namely the physics of quantum dots and wires, electrical transport, optical properties, spin transport in nanostructures, and magnetism on the nanoscale, that is of central interest to the physics community. Also, soft matter and biological systems are covered.
Advances in informatics ; 10th Panhellenic Conference on informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings
This volume contains a subset of the papers presented at the 10th Panhellenic Conference in Informatics (PCI 2005), which took place at the , Greece, Of the submitted papers, 81 were accepted for inclusion in this volume, papers are classi?ed into 17 thematic sections as follows: – data bases and data mining – algorithms and theoretical foundations – cultural and museum information systems – Internet-scale software/information systems – wearable and mobile computing – computer graphics, virtual reality and visualization – AI, machine learning and knowledge bases – languages, text and speech processing – bioinformatics – software engineering – educational technologies – e-business – computer and sensor hardware and architecture – computer security – image and video processing – signal processing and telecommunications – computer and sensor networks
Advances in Algal Biology : A Commemoration of the Work of Rex Lowe
Advances in Algal Biology: A Commemoration of the Work of Rex Lowe was written by students and colleagues of Rex Lowe to acknowledge his esteemed career that included exceptional contributions to research and teaching. Papers in the book cover a variety of topics in algal ecology, focusing on benthic algal ecology in freshwater ecosystems. The studies provide an unusual combination of small-scale experiments and large-scale regional surveys that bridge both basic and applied ecology. Ecologists, limnologists, phycologists, and environmental scientists will find valuable contributions to the development and application of algal research.
Advanced materials in smart building skins for sustainability : From nano to macroscale
Demonstrates the importance of smart and dynamic building skins in in sustainable buildings / Provides the scientific basis for integration of nanoscale materials in building envelopes with enhanced performance / Illustrates engineering solution and design process incorporating advanced materials in applications of building skins. / Updates readers on the key areas of smart building skins embodied in the novel advanced materials with unique structures and smart properties that enable multiple functions in energy efficiency, solar harvesting, and environmental greenness. It synergistically integrates the topics and knowledge of material design and experimental studies, theoretical analyses of building energy-saving mechanisms and solar energy utilization, and new design methodologies and processes taking advanced materials into account at different scales - from nano to the macroscale.
AdvancED Flex Application Development : Building Rich Media X
Many Flex books cover the basics—this book does something different, and goes far further. The authors, leading Flash platform developers at Almer/Blank, working with Adobe User Group communities, are the creators of the Rich Media Exchange (RMX), a social media network for Adobe developers. In covering just how the RMX was built, this book contains all the knowledge you need to build similar large-scale rich Internet applications with Adobe Flex. From the inception of the idea through to deployment, the authors show the techniques needed to plan and build advanced applications. You'll learn how to use forms, styles, validators, video, sound analysis, and framework caching, ensuring you make the most of the features introduced in Flex 3.
Advanced Experimental Methods For Noise Research in Nanoscale Electronic Devices
The approach described is to create methods for experimental observations of noise sources, their localization and their frequency spectrum, voltage-current and thermal dependences. Our current knowledge of measurement methods for mesoscopic devices is summarized to identify directions for future research, related to downscaling effects. The directions for future research into fluctuation phenomena in quantum dot and quantum wire devices are specified. Nanoscale electronic devices will be the basic components for electronics of the 21st century. From this point of view the signal-to-noise ratio is a very important parameter for the device application. Since the noise is also a quality and reliability indicator, experimental methods will have a wide application in the future.
Advanced computer simulation approaches for soft matter sciences I
Soft matter science is nowadays an acronym for an increasingly important class of materials, which ranges from polymers, liquid crystals, colloids up to complex macromolecular assemblies, covering sizes from the nanoscale up the microscale. Computer simulations have proven as an indispensable, if not the most powerful, tool to understand properties of these materials and link theoretical models to experiments. In this first volume of a small series recognized leaders of the field review advanced topics and provide critical insight into the state-of-the-art methods and scientific questions of this lively domain of soft condensed matter research.
Addressing the Climate Crisis : Local action in theory and practice
This book brings together a collection of cutting-edge insights into how action can and is already being taken against climate change at multiple levels of our societies, amidst growing calls for transformative and inclusive climate action. In an era of increasing recognition regarding climate and ecological breakdown, this book offers hope, inspiration and analyses for multi-level climate action, spanning varied communities, places, spaces, agents and disciplines, demonstrating how the energy and dynamism of local scales are a powerful resource in turning the tide.
Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice
This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and functionality optimization. Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice includes chapter contributions that explore promising approaches and present the supporting data.
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.
Active Directory Field Guide
Active Directory Field Guide is ideal for Windows and Active Directory administrators and consultants. It contains valuable descriptions of higher-level skills, tasks, and tools, including migration, large-scale deployment, security, and disaster recovery, and provides bold, nontraditional solutions.
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 Emission Testing : Basics for Research - Applications in Civil Engineering
Covers all levels from the description of AE basics for AE beginners (level of a student) to sophisticated AE algorithms and applications to real large-scale structures as well as the observation of the cracking process in laboratory specimen to study fracture processes.
Accounting for social and environmental sustainability : A multi-capital approach
Offers an in‑depth examination of multi‑capital accounting, which has already been integrated within the corporate sustainability reporting directive and will follow on from sustainability reporting. the LIFTS model (limits and foundations towards sustainability accounting model) used in this book combines various scientific and practical contributions to develop budgets for environmental impacts and social obligations on an organisational scale. it proposes an accounting mechanism that enables an organization to manage each of its budgets and measure variances between forecast and actual. it provides an introduction to the principles of this model and its conditions of application and describes its implementation in numerous companies.
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the main challenge in abstraction refinement, i.e., the ability to efficiently reach or come close to the optimum abstraction (the smallest abstract model that proves or refutes the given property). A suite of fully automatic abstraction techniques are proposed to improve the overall computation efficiency. The suite of algorithms presented in this book has demonstrated significant improvement over the prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
A Theory of Shape Identification
Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have been applied to image stitching, stereo vision, image mosaics, solid object recognition and video or web image retrieval. More fundamentally, the ability of humans and animals to detect and recognize shapes is one of the enigmas of perception. The book describes a complete method that starts from a query image and an image database and yields a list of the images in the database containing shapes present in the query image. A false alarm number is associated to each detection. Many experiments will show that familiar simple shapes or images can reliably be identified with false alarm numbers ranging from 10-5 to less than 10-300.
A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems. Caromel and Henrio are the first to define a calculus for distributed objects interacting using asynchronous method calls with generalized futures, i.e., wait-by-necessity -- a must in large-scale systems, providing both high structuring and low coupling, and thus scalability. The authors provide very generic results on expressiveness and determinism, and the potential of their approach is further demonstrated by its capacity to cope with advanced issues such as mobility, groups, and components.
