الصفحة 30
الصفحة 30
Automated reasoning ; 3rd International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
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 – CADE-21 ; 21st International Conference on automated deduction, Bremen, Germany, July 17-20, 2007, Proceedings
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. The papers are organized in topical sections on higher-order logic, description logic, intuitionistic logic, satisfiability modulo theories, induction, rewriting, and polymorphism, first-order logic, model checking and verification, termination, as well as tableaux and first-order systems.
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.
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.
Atoms, molecules and photons : An introduction to atomic- molecular- and quantum physics
This introduction to Atomic and Molecular Physics explains how our present model of atoms and molecules has been developed over the last two centuries both by many experimental discoveries and, from the theoretical side, by the introduction of quantum physics to the adequate description of micro-particles. It illustrates the wave model of particles by many examples and shows the limits of classical description. The interaction of electromagnetic radiation with atoms and molecules and its potential for spectroscopy is outlined in more detail and in particular lasers as modern spectroscopic tools are discussed more thoroughly. Many examples and problems with solutions are offered to encourage readers to actively engage in experimentation.
Atomistic approaches in modern biology : From quantum chemistry to molecular simulations
This volume of Topics in Current Chemistry presents an overview of atomistic theoreticalmethodsapplied tomolecular biologicalsystems. Itthus repesents abottom-upview of chemistryonbiologyfroma theoreticalperspective. The chapters arearrangedsuchthat important issuesareconsidered startingfrom a quantum mechanical perspective and proceeding to a molecular mechanics and molecular dynamics descriptiono fthemotionoftheelementaryparticles involved.which are responsible for the properties and function of biomolecules. Depending on the length and time scales relevant for a given phenomenon to be investigated, tailored theoretical methods are required to account for these. If one is interested in large scale motions of molecules, a molecul- mechnanics-based description willbeappropriate.
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.
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 mandibular and maxillary reconstruction with the fibula flap : A step-by-step approach
Deals with the standard technique used for reconstructing the mandible and the maxilla - the fibula flap. The reader will find useful information on all issues that are important in the surgical procedure, including the use of CAD-CAM technology (Computer Assisted Technology), bone synthesis and flap modelling. The editors draw on their 30 years of experience to provide a step-by-step description of this surgical procedure. With the help of numerous illustrations, the reader will learn the technical, functional and aesthetic developments since 1989 when this technique was first described.
Atlas of fallen dust in Kuwait
Serves as an atlas of deposited dust and dust storms in Kuwait in relation to local and global regions. It features a wealth of maps and images of dust storm trajectories in the region, together with detailed descriptions of the chemical and physical properties of fallen dust
Atlas effectors of anti-tumor immunity
The “Atlas Effectors of Anti-Tumor Immunity” is a unique scientific publication, which includes major issues of up-to-date information about immunophenotype, morphology and function of main effectors of anti-tumor immunity presented in a reasonable format. The Atlas comprises a large number of illustrations presented by schemes and original micrographs demonstrating morphological features and ultrastructure of immunocompetent cells at various stages of differentiation. The volume includes data referring to the history of anti-tumor immunity effectors research, state of the art and perspectives for development of anti-cancer adoptive immunotherapy methods.A special section of the Atlas describes cellular tumor microenvironment and micro-anatomy of carcinomas. Several parts include data about killer cells (natural killer T-cells, lymphokine-activated killers) and T-regulatory lymphocytes. A special chapter gives a wide-range description of antigen-presenting dendritic cells, methods of dendritic cell generation and development of DC-based vaccines for anti-tumor immunotherapy.
Aspects of physical biology : Biological water, protein solutions, transport and replication
The present volume focuses on three main subtopics (biological water, protein solutions as well as transport and replication), presenting for each of the them the on-going debates on recent results. The role of water in biological processes, the mechanisms of protein folding, the phases and cooperative effects in biological solutions, the thermodynamic description of replication, transport and neural activity, all are subjects that are revised in this volume, based on new experiments and new theoretical interpretations.
Architecture description languages ; IFIP TC-2 workshop on architecture description languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
These proceedings record the papers presented at the Workshop onArchitecture Description Languages held in the city of Toulouse in thesouth of France.The aim of an ADL (Architecture Description Language) is to formallydescribe software and hardware architectures. Usually, an ADL describescomponents, their interfaces, their structures, their interactions (structureof data flow and control flow) and the mappings to hardware systems. Amajor goal of such descriptions is to allow analysis with respect to severalaspects like timing, safety, reliability, ...
Architectural styles : A visual guide
A guide to architectural styles across the centuries and around the world. Modeled after an architect's plein air sketchbook, the volume features hundreds of detailed drawings by esteemed architectural illustrator Robbie Polley alongside incisive and informative descriptions. This unique guidebook takes readers from Europe and the Americas to Egypt, China, and India. It covers a host of historical and contemporary architectural styles, from ancient and classical to Pre-Columbian, Romanesque, Renaissance, Palladian, art nouveau, Brutalist, and biomorphic. It describes the histories and characteristics of the building traditions of each era and region of the world, and looks at key architectural elements such as buttresses, spandrels, curtain walls, and oculi. The book also includes a section on building parts-from domes and columns to towers, arches, roofs, and vaulting-along with a detailed glossary and bibliography. Comprehensive and authoritative, 'Architectural Styles' is an essential resource for architects and designers and a must-have illustrated guide for anyone interested in architecture or drawing.
Architectonics and parametric thinking : computational modeling for beginning design
Architectonics and Parametric Thinking begins by clearly positioning the potentials of parametric design through a series of chapters written by leaders in their respective industries. This helps to situate the vast potential of parametric softwares, allowing the reader to understand the full range of what is made possible by working computationally. Following this theoretical introduction, the book presents a manual that walks readers through the step-by-step construction of parametric modeling scripts built through an architectonic lens using clear, compelling diagrams.
Architecting dependable systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. It also contains sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.
Applied Statistics Using SPSS, STATISTICA, MATLAB and R
The book provides a comprehensive coverage of the main statistical analysis topics important for practical applications such as data description, statistical inference, classification and regression, factor analysis, survival data and directional statistics.
Applied Mathematics for Restructured Electric Power Systems : Optimization, Control, and Computational Intellige
Discusses the use of applied mathematics to solve challenging power system problems. This book covers such areas as: control, optimization, and computational intelligence. It follows a three-part format: a description of an important power system problem or problems; the practice and/or particular research approaches; and, research directions.
