الصفحة 57
الصفحة 57
Automated technology for verification and analysis ; 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
Automated deduction – CADE-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Augmented reality, virtual reality, and computer graphics ; 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part II
The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020, held in Lecce, Italy, in September 2020.* The 45 full papers and 14 short papers presented were carefully reviewed and selected from 99 submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual reality, augmented reality, mixed reality, 3D reconstruction visualization, and applications in the areas of cultural heritage, medicine, education, and industry.
Augmented reality, virtual reality, and computer graphics ; 7th International conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I
he 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020, held in Lecce, Italy, in September 2020.* The 45 full papers and 14 short papers presented were carefully reviewed and selected from 99 submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual reality, augmented reality, mixed reality, 3D reconstruction visualization, and applications in the areas of cultural heritage, medicine, education, and industry.
Atmospheric Boundary Layers : Nature, Theory, and Application to Environmental Modelling and Security
This collection of peer reviewed papers represents a concise, up-to-date summary of our current knowledge of planetary boundary layer (PBL) physics and parameterization. As such, it makes a major contribution to the interchange of knowledge and ideas between physicists, meteorologists and environmental modellers and sets out the course to be followed in subsequent research to improve PBL parameterizations in climate, numerical weather prediction, air quality, and emergency preparedness models. Major themes covered are: Nature and theory of turbulent boundary layers, Boundary layer flows - modelling and applications to environmental security, Nature, theory and modelling of boundary-layer flows, and Air flows within and above urban and other complex canopies - air-sea-ice interactions.
Atlas of Upper Gastrointestinal and Hepato-Pancreato-Biliary Surgery
Atlas of Upper Gastrointestinal and Hepato-Pancreato-Biliary Surgery covers in detail the technical aspects of all important procedures of the upper abdomen (esophagus, duodenum, stomach, liver, biliary system, pancreas, portal hypertension and spleen) including general, oncologic and transplantation surgery. Each chapter has been written by an expert renowned in his or her field and been reviewed by a second expert. All of the approximately 900 illustrations have been drawn by the same team of three artists of notable experience. The liver section follows the internationally accepted terminology of the Brisbane 2000 conference of the IHPBA. In this atlas experts of upper abdominal surgery share their experience and show how they do it - step by step.
Atlas of Regional Anatomy of the Brain Using MRI : with functional correlations
The volume provides a unique review of the essential topographical anatomy of the brain from an MRI perspective, correlating high-quality anatomical plates with the corresponding high-resolution MRI images. The book includes a historical review of brain mapping and an analysis of the essential reference planes used for the study of the human brain. Subsequent chapters provide a detailed review of the sulcal and the gyral anatomy of the human cortex, guiding the reader through an interpretation of the individual brain atlas provided by high-resolution MRI.
Atlas of orthodontic case reviews
Offers a comprehensive resource to the treatment of orthodontic malocclusions with a case-based approach. Discusses and illustrates the treatment of orthodontic malocclusions using actual clinical casesPresents more than 800 clinical photographs showing the stages of each treatment, to act as a visual referenceIncludes a description of each malocclusion, an explanation of the desired treatment outcomes, an account of the changes, and review questions for each case
Atlas of Emergency Medicine Procedures
Provides a step-by-step, visual guide to the most common procedures in emergency medicine. Completely revised, it also includes new procedures such as REBOA, the HINTS test, sphenopalatine ganglion block, occipital nerve block, and lung ultrasonography. Procedures are described on a single page, or two-page spreads, so that the physician can quickly access and review the procedure at hand. The atlas contains more than 700 diagnostic algorithms, schematic diagrams, and photographic illustrations to highlight the breadth and depth of emergency medicine. Topics are logically arranged by anatomic location or by type of procedure, and all procedures are based on the most current and evidence-based practices.
Astrophysics Update 2
"Astrophysics Updates" is intended to serve the information needs of professional astronomers and postgraduate students about areas of astronomy, astrophysics and cosmology that are rich and active research spheres. Observational methods and the latest results of astronomical research are presented as well as their theoretical foundations and interrelations. The contributed commissioned articles are written by leading exponents in a format that will appeal to professional astronomers and astrophysicists who are interested in topics outside their own specific areas of research. This collection of timely reviews may also attract the interest of advanced amateur astronomers seeking scientifically rigorous coverage.
Astrobiology : Future perspectives
Astrobiology, a new exciting interdisciplinary research field, seeks to unravel the origin and evolution of life wherever it might exist in the Universe. The current view of the origin of life on Earth is that it is strongly connected to the origin and evolution of our planet and, indeed, of the Universe as a whole. We are fortunate to be living in an era where centuries of speculation about the two ancient and fundamental problems: the origin of life and its prevalence in the Universe are being replaced by experimental science. The subject of Astrobiology can be approached from many different perspectives. This book is focused on abiogenic organic matter from the viewpoint of astronomy and planetary science and considers its potential relevance to the origins of life on Earth and elsewhere. Guided by the review papers in this book, the concluding chapter aims to identify key questions to motivate future research and stimulate astrobiological applications of current and future research facilities and space missions. Today’s rich array of new spacecraft, telescopes and dedicated scientists promises a steady flow of discoveries and insights that will ultimately lead us to the answers we seek.
Associative and endophytic nitrogen-fixing bacteria and cyanobacterial associations
Associative and Endophytic Nitrogen-fixing Bacteria and Cyanobacterial Associations This book is part of the seven-volume series that was launched a few years ago with the ambitious objectives of reviewing the field of nitrogen fixation from its earliest beginnings through the millennium change and of consolidating the relevant information - from fundamental to agricultural and environmental aspects – all in one place. Volume 5 covers the biology of bacteria that associate with n- leguminous plants. The subject matter includes a wide range of associations; it covers the bacterial species that associate either with the surface or within the tissues of grasses (often referred as plant growth-promoting rhizobacteria) and also the symbiotic associations that cyanobacteria form with fungi, algae, and both lower and higher plants. This volume does not deal with the Frankia-actinorhizal plant associations, which is the topic of Volume 6
Assessment of Energy-Efficient Building Details for Seismic Regions
Presents a methodology for the assessment of structural building details, taking into account the contemporary guidelines for earthquake-resistant and energy-efficient buildings. A review of structural details for energy-efficient buildings revealed that in some cases the structural system is interrupted, leading to solutions which are not suitable for earthquake-prone regions. Such typical examples would be the use of thermal insulation under the building foundation and reduction of the load-bearing elements’ dimensions – also at the potential locations of plastic hinges which are crucial for the dissipation of seismic energy.
Aspects of mathematical modelling : Applications in science, medicine, economics and management
The construction of mathematical models is an essential scientific activity. Mathematics has long been associated with developments in the exact sciences and engineering, but more recently mathematical modelling has been used to investigate complex systems that arise in many other fields. The contributors to this book demonstrate the application of mathematics to modern research topics in ecology and environmental science, health and medicine, phylogenetics and neural networks, theoretical chemistry, economics and management. The reader will find some review papers outlining current research directions in hot topics such as pattern formation and applications to medicine, and more targeted research papers on current developments in the various disciplines included.
Aspects of Illegal, Unreported and Unregulated Fishing in the Southern Ocean
Overfishing threatens the viability of high seas living resources. Furthermore, controls to prevent overfishing are inadequate. Illegal, Unreported and Unregulated (IUU) fishing is a product of overfishing and affects all marine fisheries. Southern Ocean fisheries have been particularly targeted by IUU fishing. The efforts of the Convention for the Conservation of Antarctic Marine Living Resources Commission and the Australian government to adopt complementary measures to deter IUU fishing in the Southern Ocean form the basis of this study, although the examination is conducted following a comprehensive review of the legal and other factors contributing to the development of IUU fishing as well as the applicable international law.
ASP.NET MVC Framework Preview
The ASP.NET MVC framework is the latest evolution of Microsoft's ASP.NET web platform. It introduces a radical high–productivity programming model, promotes cleaner code architecture, supports test–driven development, and provides powerful extensibility, combined with all the benefits of ASP.NET 3.5. ASP.NET MVC Framework Preview is a first look at this technology's main features, designed to give you a head start getting to grips with this powerful new technology.
Artificial neural networks in Pattern Recognition ; 9th IAPR TC3 Workshop, ANNPR 2020, Winterthur, Switzerland, September 2–4, 2020, Proceedings
This book constitutes the refereed proceedings of the 9th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2020, held in Winterthur, Switzerland, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 22 revised full papers presented were carefully reviewed and selected from 34 submissions. The papers present and discuss the latest research in all areas of neural network-and machine learning-based pattern recognition. They are organized in two sections: learning algorithms and architectures, and applications.
Artificial neural networks in Pattern Recognition ; 2nd IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings
This book constitutes the refereed proceedings of the Second IAPR Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2006, held in Ulm, Germany in August/September 2006. The 26 revised papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on unsupervised learning, semi-supervised learning, supervised learning, support vector learning, multiple classifier systems, visual object recognition, and data mining in bioinformatics
Artificial neural networks : Biological Inspirations – ICANN 2005 ; 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part I
The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial Neural Networks, ICANN 2005, held in Warsaw, Poland in September 2005. The over 600 papers submitted to ICANN 2005 were thoroughly reviewed and carefully selected for presentation. The first volume includes 106 contributions related to Biological Inspirations; topics addressed are modeling the brain and cognitive functions, development of cognitive powers in embodied systems spiking neural networks, associative memory models, models of biological functions, projects in the area of neuroIT, evolutionary and other biological inspirations, self-organizing maps and their applications, computer vision, face recognition and detection, sound and speech recognition, bioinformatics, biomedical applications, and information- theoretic concepts in biomedical data analysis.
