الصفحة 8
الصفحة 8
Automated technology for verification and analysis ; 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.
Autoimmunity : Methods and protocols
Brings together a comprehensive and up-to-date collection of protocols that reflect the diverse experimental strategies. Chapters detail T-cell, macrophage characterization, neutrophil functional assays, organoid culture methods, spatial transcriptomics, RNA FISH, microRNA profiling, and ribosome profiling. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and key tips on troubleshooting and avoiding known pitfalls.
Atmospheric Aerosol Properties : Formation, Processes and Impacts
An increasing interest in studies of atmospheric aerosols in the context of their impact on the formation of climate, heterogeneous chemical reactions in the atmosphere affecting in particular the environmental quality, problems of visibility and human health is the cause of unusual scales of developments connected with studies of atmospheric aerosols. The necessity has arisen to analyze the latest results concerning, first of all, three aspects of the problems considered: 1. aerosol properties from data of complex field observational experiment; 2. processes of aerosol formation and interaction of aerosol with clouds, 3. aerosol as a climate-forming atmospheric component (including the problem of long-range transport). The monograph in hand is dedicated mainly to the problems of the impact of aerosol on climate processes in the atmosphere, from microphysical processes of formation and evolution of aerosol properties to the formation of macro-scale cloud sytems on aerosol particles.
Architecture of computing systems ; 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, held virtually in July 2021. The 12 full papers in this volume were carefully reviewed and selected from 24 submissions. 2 workshop papers (VEFRE) are also included. ARCS has always been a conference attracting leading-edge research outcomes in Computer Architecture and Operating Systems, including a wide spectrum of topics ranging from fully integrated, self-powered embedded systems up to high-performance computing systems. It also provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including heterogeneous computing, memory optimizations, and organic computing.
Angiogenesis in Inflammation : Mechanisms and Clinical Correlates
This volume relates the lessons learned from tumour biology applied to inflammation. This issue of Angiogenesis in Inflammation: Mechanisms and Clinical Correlates develops current knowledge on the mechanisms at the molecular and cellular levels as they relate to inflammation, including acute and chronic inflammation, neurogenic initiation, and the role of the multiple cellular components that comprise inflammation: granulocytes, macrophages, fibroblasts, dendritic cells and lymphocytes. This is related to inflammatory disease: not only the familiar angiogenesis dependent diseases of rheumatoid arthritis and psoriasis, but also loci such as the lung, gastric ulcers, the eye with uveitis, wound healing and periodontal disease and their therapy, how this knowledge may be used in the discovery of novel therapeutics. The volume brings together experts in each of these fields to link the molecular and cellular processes in angiogenesis to those of inflammation and disease, culminating in a discourse on areas for future therapies.
Ane's Encyclopedic Dictionary of General & Applied Entomology
Keeping the requirements of teachers and researchers in mind, this encyclopedic dictionary presents the terminology in entomology and pest management in the most authentic and comprehensive way. It also includes terms related to the close relatives of insects, such as mites and ticks and some other organisms which are pests of crops.
Allelochemicals : Biological Control of Plant Pathogens and Diseases
This book is organized around the indication that allelochemicals can be employed for biological control of plant pathogens and plant diseases. Specifically, this volume focuses on (i) discovery and development of natural product based fungicides for agriculture, (ii) direct use of allelochemicals as well as indirect effects through cover crops and organic amendments for plant parasitic pest control and (iii) application of allelopathy in pest management.
Agroforestry in Europe : Current Status and Future Prospects
Brings together some of the most important current research in European agroforestry, and evaluates the current scope and future potential of agroforestry across the EU.While the majority of Europe’s agroforestry practices are currently focused in the Mediterranean, this volume draws together examples from a wide range of countries – including Greece, Spain, the UK, Hungary, Germany, Italy, the Netherlands, Switzerland, France and Slovenia. The book also covers a range of agroforestry types, including silvopastoralism – Europe’s predominant form of agroforestry – as well as alley cropping, forest farming, silvoarable systems and the use of trees for shelter. Through these examples the book also discusses the potential roles for these traditional land management systems in addressing both environmental issues such as water quality, biodiversity conservation, desertification, ecosystem services and socioeconomic issues such as rural population stabilization.
Agricultural Implications of the Fukushima Nuclear Accident (III)
Reports on studies undertaken at contaminated sites such as farmland, forests, and marine and freshwater environments, with a particular focus on livestock, wild plants and mushrooms, crops, and marine products in those environments. It also provides additional data collected in the subsequent years to show how the radioactivity levels in agricultural products and their growing environments have changed with time and the route by which radioactive materials entered agricultural products as well as their movement between different components (e.g., soil, water, and trees) within an environmental system (e.g., forests). The book covers various topics, including radioactivity testing of food products; decontamination trials for rice and livestock production; the state of contamination in, trees, mushrooms, and timber; the dynamics of radioactivity distribution in paddy fields and upland forests; damage incurred by the forestry and fishery industries; and the change in consumers’ attitudes. Chapter 19 introduces a real-time radioisotope imaging system, a pioneering technique to visualize the movement of cesium in soil and in plants.
Agricultural Biotechnology in China : Origins and Prospects
Building on a long tradition of agricultural advances, Chinese scientists have applied biotechnology techniques to develop hundreds of novel crop varieties suited to local farming conditions and challenges.Agricultural Biotechnology in China: Origins and Prospects is a comprehensive examination of how the origins of biotechnology research agendas, along with the effectiveness of the seed delivery system and biosafety oversight, help to explain current patterns of crop development and adoption in China. Based on firsthand insights from China’s laboratories and farms, Valerie Karplus and Dr. Xing Wang Deng explore the implications of China’s investment for the nation’s rural development, environmental footprint, as well as its global scientific and economic competitiveness.
Advances in Molecular Oncology
Proceedings of the 2nd Annual IFOM-IEO Meeting on Cancer. This is a new meeting, it has about 200 attendees from Australia, Austria, Belgium, Brazil, Canada, England, France, Germany, Greece, Ireland, Italy, Japan, Netherlands, Spain, Sweden, Switzerland, and the USA. The 2nd IFOM-IEO international meeting on cancer will provide a forum in which the world’s leading cancer researchers and young scientists will discuss the latest advances in molecular oncology. The impact of recent breakthroughs in basic research and of emerging technologies on molecular medicine in cancer will be highlighted.
Advances in Molecular Breeding Toward Drought and Salt Tolerant Crops
Advances in Molecular Breeding toward Drought and Salt Tolerant Crops seeks to integrate the most recent findings about key biological determinants of plant stress tolerance with modern crop improvement strategies. This volume is unique because is provides exceptionally wide coverage of current knowledge and expertise being applied in drought and salt tolerance research, spanning the scientific hierarchy from physiology, biochemistry, development, and genetics, to the newest technologies being used to manipulate drought and salinity associated traits for germplasm improvement. This book will be an invaluable reference for educators and researchers in agronomy and horticulture, crop breeding, molecular genetics, and biotechnology.
Advances in Mechanics of Materials for Environmental and Civil Engineering
Deals with both mathematical modeling and experimental studies related to systems relevant for various civil engineering fields. The book addresses several key topics, including artificial intelligence applied to the control and monitoring of construction site personnel, finite element models for endplate beam-to-column connections under various load conditions, random functionally graded micropolar beams, and many others. The book explores the design and study of microstructures aimed at increasing the toughness and durability of novel materials in building and construction, based also on the re-utilization of residues and wastes of metallurgical industry produces.
Advanced parallel processing technologies ; 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional flavor by sharing of the underlying theories and applications, and the establishment of new and long-term collaborative channels. And it will continue to provide a forum for researchers, professionals, and industrial practitioners from around the world to report on new advances in high-performance architecture and software, as well as to identify issues and directions for research and development in the new era of evolving technologies.
Adsorption and Diffusion
Molecular Sieves - Science and Technology covers, in a comprehensive manner, the science and technology of zeolites and all related microporous and mesoporous materials. Authored by renowned experts, the contributions to this handbook-like series are grouped together topically in such a way that each volume deals with a specific sub-field. Volume 7 is treating fundamentals and analyses of adsorption and diffusion in zeolites including single-file diffusion, i.e. phenomena of basic importance, especially with respect to separation processes and catalysis. Various methods of measuring adsorption and diffusion are described and discussed, i.e. techniques such as chromatographic, gravimetric and barometric uptake and desorption, nuclear magnetic resonance, infrared spectroscopy, interference microscopy, neutron scattering, frequency response as well as proton profiling.
Adobe Photoshop CC Classroom in a Book
The 15 project-based lessons show key step-by-step techniques for working in Photoshop, including how to correct, enhance, and distort digital images, create image composites, and prepare images for print and the web. In addition to learning the essential elements of the Photoshop interface, this revised edition for the 2018 release covers features like search capabilities, Content-Aware Crop, Select and Mask, Face-Aware Liquify, designing with multiple artboards, creating and organising enhanced brush presets, and much more!
Adipose-derived stem cells : Methods and protocols
Discusses of the latest technology and advancements in the field of human-derived ASC and SVF. The chapters in this book are organized into four parts. Part One focuses on human ASC’s isolation, characterization, and differentiation. Part Two describes the isolation and characterization of ASC and SVF from canine, feline, and murine tissues. Part Three looks at hydrogels, scaffolds, and microphysiological systems, and Part Four talks about the new assays and applications using ASC. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.
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.
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.
Acidity and Basicity
This is the first handbook on zeolites and other microporous materials. It is an up-to-date, highly sophisticated collection of information for those who deal with zeolites in industry or at academic institutions as well as being a guide for newcomers.
