Page 94
Page 94
Automated reasoning with analytic tableaux and related methods ; International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2005)heldSeptember 2005inKoblenz,Germany. which included conferences covering a broad spectrum of topics and intere- ing ?elds of application for tableau-based methods: arti?cial intelligence (KI), multi-agent systems (MATES), automated reasoning and knowledge represen- tion (FTP), and software engineering and formal methods (SEFM).
Automated nanohandling by microrobots
Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. Different aspects of this research field regarding the hardware and software implementation of the system components, including the sensory feedback for automated nanohandling, are discussed in detail. Extensive applications of the microrobot station for nanohandling, nano-characterization and nanostructuring are provided, together with the experimental results.
Automated machine learning : Methods, systems, challenges
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML methods that can be used easily and without expert knowledge. However, many of the recent machine learning successes crucially rely on human experts, who manually select appropriate ML architectures (deep learning architectures or more traditional ML workflows) and their hyperparameters. To overcome this problem, the field of AutoML targets a progressive automation of machine learning, based on principles from optimization and machine learning itself.
Automated deduction in Geometry ; 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
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.
Automata, languages and programming ; Vol. 3580 ; 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP 2005, Lisbon, Portugal, July 11-15, 2005. including Topics Computer Science, general Mathematical Logic and Foundations Theory of Computation Software Engineering/Programming and Operating Systems Data Structures and Information Theory Data Structures
Automata, languages and programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Automata, Languages and Programming ; 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008.
Autoformation et aide au diagnostic en hématologie avec le logiciel ADH = Self-study and diagnostic aid in hematology with ADH software
The software includes a rich iconography on blood and marrow cells which will complement the knowledge in cytology of hematologists. Certain cytological abnormalities encountered in certain pathologies are also presented.
Attention in Cognitive Systems : Theories and Systems from an Interdisciplinary Viewpoint ; 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers
The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor activities and the interpretation of feedback from perceptual modalities. Decision making about the selection of information from the incoming sensory stream – in tune with contextual processing on a current task and an agent’s global objectives – becomes a further challenging issue in attentional control. Attention must operate at interfaces between bottom-up driven world int- pretation and top-down driven information selection, thus acting at the core of arti?cial cognitive systems. These insights have already induced changes in AI-related disciplines, such as the design of behavior-based robot control and the computational modeling of animats. Today, the development of enabling technologiessuch as autonomous robotic systems,miniaturizedmobile–evenwearable–sensors,andambientintelligence systems involves the real-time analysis of enormous quantities of data. These data have to be processed in an intelligent way to provide “on time delivery” of the required relevant information. Knowledge has to be applied about what needs to be attended to, and when, and what to do in a meaningful sequence, in correspondence with visual feedback.
Attention deficit hyperactivity disorder (ADHD) : Awareness in Syrian communities
Attention deficit hyperactivity disorder (ADHD) is a prevalent neurodevelopmental disorder affecting both children and adults, characterized by inattention, hyperactivity, and impulsivity. This research explores ADHD awareness, prevalence, diagnosis, and treatment preferences within Syrian communities. A survey was conducted to collect data from individuals regarding their awareness of ADHD, its diagnosis, and treatment preferences. Additionally, interviews with specialists provided insights from medical professionals on the diagnosis and management of ADHD.
Atmospheric and space flight dynamics : Modeling and simulation with MATLAB® and Simulink®
Modern aerospace vehicles, such as the space shuttle, other launch vehicles, and long-range ballistic missiles, do not discriminate between atmospheric and space flight. Most texts on flight dynamics, however, make this artificial distinction and therefore do not simultaneously cover aircraft and spacecraft. Bridging this gap in the literature, Atmospheric and Space Flight Dynamics is a unified presentation, demonstrating that the two disciplines have actually evolved from the same set of physical principles.Primarily useful as a textbook for advanced undergraduate and beginning graduate-level students, the work is also an excellent reference or self-study guide for researchers and practitioners in aerospace engineering, aviation, mechanical engineering, dynamics, astrodynamics, aeronautics, and astronautics.
Atlas of seeds and fruits of Central and East-European Flora : The carpathian mountains region
The Carpathian flora occurs not only in the Carpathian Mountains, but also in large lowlands extending towards the south, north and east and involves introduced and invading flora of more than 7,500 species. Since the morphological characteristics of the seeds are usually constant they are very important for determination of systematic units. The present atlas of seeds with nearly 4,800 seed illustrations is supplemented with detailed seed descriptions, brief plant descriptions, locality and the native source of plants. This publication is unique, both in its extent – with so many plant seeds from such a wide-ranging region - and in the form of its presentation – with such detailed descriptions.
Asymmetric Cell Division
Cell biologists have recently become aware that the asymmetry of cell division is an important regulatory phenomenon in the fate of a cell. During development, cell diversity originates through asymmetry; in the adult organism asymmetric divisions regulate the stem cell reservoir and are a source of the drift that contributes to the aging of organisms with renewable cell compartments. Because of the concept of semi-conservative DNA synthesis, it was thought that the distribution of DNA between daughter cells was symmetric. The analysis of the phenomenon in cells during mitosis, however, revealed the asymmetry in the distribution of the genetic material that creates the drift contributing to aging of mammals. On the other hand, cancer cells can originate from a deregulation of asymmetry during mitosis in particular during stem cell expansion. The book describes the phenomenon in different organisms from plants to animals and addresses its implications for the development of the organism, cell differentiation, human aging and the biology of cancers.
Astrophysics : A new approach
For a quantitative understanding of the physics of the universe - from the solar system through the milky way to clusters of galaxies all the way to cosmology - these edited lecture notes are perhaps among the most concise and also among the most critical ones: Astrophysics has not yet stood the redundancy test of laboratory physics, hence should be wary of early interpretations. Special chapters are devoted to magnetic and radiation processes, supernovae, disks, black-hole candidacy, bipolar flows, cosmic rays, gamma-ray bursts, image distortions, and special sources. At the same time, planet earth is viewed as the arena for life, with plants and animals having evolved to homo sapiens during cosmic time. -- This text is unique in covering the basic qualitative and quantitative tools, formulae as well as numbers, needed for the precise interpretation of frontline phenomena in astrophysical research. The author compares mainstream interpretations with new and even controversial ones he wishes to emphasize.
Astronomy with a home computer
Here is a one-volume guide to just about everything computer-related for amateur astronomers!Today’s amateur astronomy is inextricably linked to personal computers. Computer-controlled "go-to" telescopes are inexpensive. CCD and webcam imaging make intensive use of the technology for capturing and processing images. Planetarium software provides information and an easy interface for telescopes. The Internet offers links to other astronomers, information, and software. The list goes on and on.
Astronomical image and data analysis
With information and scale as central themes, this comprehensive survey explains how to handle real problems in astronomical data analysis using a modern arsenal of powerful techniques. It treats those innovative methods of image, signal, and data processing that are proving to be both effective and widely relevant. The coverage includes chapters or appendices on: detection and filtering; image compression; multichannel, multiscale, and catalog data analytical methods; wavelets transforms, Picard iteration, and software tools. This second edition of Starck and Murtagh's highly appreciated reference again deals with topics that are at or beyond the state of the art. It presents material which is more algorithmically oriented than most alternatives and broaches new areas like ridgelet and curvelet transforms. Throughout the book various additions and updates have been made.
Assessment and remediation of contaminated sediments
Contaminated sediments pose some of the most difficult site remediation issues. Contaminated sediments typically reside in spatially variable and dynamic systems subject to seasonal flow variations and episodic storm events. The volume of sediments that must be managed at particular sites often exceeds one million cubic meters, dwarfing many contaminated soil sites. These sediments are also associated with equally daunting volumes of water and efforts to remove the contamination typically entrains even more water. The environmental security of both NATO and partner countries is at risk due to the pervasive nature of sediment contamination of rivers, lakes and harbors. A NATO Advanced Research Workshop was convened in Bratislava in May 2005 to discuss current approaches to managing contaminated sediments and to identify research necessary to overcome outstanding problems.
Assessing Climate Change : Temperatures, Solar Radiation, and Heat Balance
The chapters of the book attempt to answer a number of essential questions in relation to global warming and climate change. He begins by showing how the earth’s climate has varied in the past, discussing ice ages, the Holocene period since the end of the last ice age, particularly during the past 1000 years. He investigates the reliability of "proxies" for historical temperatures and assesses the hockey stick version of global temperatures for the past millennium. To do this effectively he looks carefully at how well near surface temperatures of land and ocean on earth have been monitored during the past 100 years or more, and looks at the utility and significance of a single global average temperature
Assembly language for x86 processors ; 8th ed.
Focuses on its primary goal, to teach students how to write and debug programs at the machine level. It will never replace a complete book on computer architecture, but it does give students the first-hand experience of writing software in an environment that teaches them how a computer works. Our premise is that students retain knowledge better when theory is combined with experience. In an engineering course, students construct prototypes; in a computer architecture course, students should write machine-level programs.
