الصفحة 18
الصفحة 18
Barry's Introduction to Construction of Buildings ; 4th ed.
Based mainly on domestic and residential buildings—and filled with extensive illustrations throughout—this concise text is the ideal introduction to the subject of building construction. It provides the basic material that readers need in order to understand the construction process for the majority of low rise buildings. The book explains construction technology through the key functional and performance requirements for the main elements common to all buildings. With a strong focus on building efficiency and meeting the challenges posed by limiting the environmental impact of buildings, and new “at a glance” summaries allowing you to grasp the salient points of each chapter, readers will find the text fully up to date with the latest building regulations and construction technology. Deals with design, technology, site assembly, and environmental issues of domestic and residential buildings. Thoroughly updated, with particular attention paid to the concept of building efficiency and improved integration of the topics covered to match current student needs. New “at a glance” summaries at the beginning of each chapter.
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.
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.
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis from several (i.e. linguistic, mathematical, and information theoretical) perspectives. It describes methodological as well as methodical foundations and collects approaches in the field of text and corpus linguistics. In this sense, it contributes to the computational linguistic and information theoretical grounding of automatic text analysis.
Artificial intelligence in theory and practice ; IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Artificial intelligence in medicine
Provides a structured and analytical guide to the use of artificial intelligence in medicine. Covering all areas within medicine, the chapters give a systemic review of the history, scientific foundations, present advances, potential trends, and future challenges of artificial intelligence within a healthcare setting.
Artificial intelligence in mechatronics and civil engineering : Bridging the gap
Recent studies highlight the application of artificial intelligence, machine learning, and simulation techniques in engineering. This book covers the successful implementation of different intelligent techniques in various areas of engineering focusing on common areas between mechatronics and civil engineering. The power of artificial intelligence and machine learning techniques in solving some examples of real-life problems in engineering is highlighted in this book. The implementation process to design the optimum intelligent models is discussed in this book.
Artificial intelligence applications and innovations ; 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI), 2006, June 7-9, 2006, Athens, Greece
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Artificial intelligence and symbolic computation ; 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.
Argumentation in multi-agent systems ; Vol. 4049 ; 2nd International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, revised selected and invited papers
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Argumentation in Multi-Agent Systems held in Utrecht, Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 10 revised full papers presented together with an invited paper were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections on foundations, negotiation, protocols, deliberation and coalition formation, and consensus formation.
Applied Physics of Carbon Nanotubes : Fundamentals of Theory, Optics and Transport Devices
The book describes the state-of-the-art in fundamental, applied and device physics of nanotubes, including fabrication, manipulation and characterization for device applications; optics of nanotubes; transport and electromechanical devices and fundamentals of theory for applications. This information is critical to the field of nanoscience since nanotubes have the potential to become a very significant electronic material for decades to come. The book will benefit all all readers interested in the application of nanotubes, either in their theoretical foundations or in newly developed characterization tools that may enable practical device fabrication.
Applied geotechnics for construction projects ; Vol. 3 : Behavior and Design of Project Foundations and Eurocode Validation
Applied Geotechnics for Construction Projects 3 first presents the basic theoretical principles and rules governing the designing and validation of foundations; shallow, semi-deep and deep, then presents real foundation projects with a detailed comparison of the approaches and methods of calculating foundations in relation to the reference systems and rules in force, closely compared to and validated by the Eurocodes. The third chapter presents examples of foundation projects, covering high-side building rafts, strip footings, piles and embankments, enriched by an unprecedented level of experience in the field of foundations for civil and industrial construction projects.
Applied cryptography and network security ; 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I
The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications.
Analytical Methods in Anisotropic Elasticity : with Symbolic Computational Tools
This comprehensive textbook /reference focuses on the mathematical techniques and solution methodologies required to establish the foundations of anisotropic elasticity and provides the theoretical background for composite material analysis. Specific attention is devoted to the potential of modern symbolic computational tools to support highly complex analytical solutions and their contribution to the rigor, analytical uniformity and exactness of the derivation.
Analytical Chemistry : Theoretical and Metrological Fundamentals
Fundamentals of Analytical Chemistry are usually presented as a sum of chemical and physical foundations, laws, axioms and equations for analytical methods and procedures. In contrast, this book delivers a practice-oriented, general guiding theory valid for all methods and techniques. Starting with a closer look to analytical signals and their dependencies, all the important figures of merit characterizing the power of analytical procedures and the reliability of analytical results are discussed and quantified, such as sensitivity, precision, accuracy and ruggedness. Elements of signal theory, information theory, statistics and fundamentals of calibration are also presented for this aim.
Analysis, Modeling and Simulation of Multiscale Problems
This book reports recent mathematical developments in the Programme "Analysis, Modeling and Simulation of Multiscale Problems", which started as a German research initiative in 2006. Multiscale problems occur in many fields of science, such as microstructures in materials, sharp-interface models, many-particle systems and motions on different spatial and temporal scales in quantum mechanics or in molecular dynamics. The book presents current mathematical foundations of modeling, and proposes efficient numerical treatment.
Analysis, design and construction of foundations
Outlines methods for analysis and design the construction of shallow and deep foundations with particular reference to case studies in Hong Kong and China, as well as a discussion of methods used in other countries. It introduces the main approaches used by geotechnical and structural engineers, and the precautions required for planning and designing foundation structures. Some computational methods and computer programs are reviewed to provide tools for performing more realistic analysis of foundation systems.
Analyse céphalométrique fonctionnelle et esthétique de profil = Functional and aesthetic cephalometric profile analysis
The complexity of the craniofacial architecture explains the multiplicity of cephalometric analyzes, too often based on points without phylogenetic, ontogenetic, anatomical or biomechanical justification. The value of a reliable and rapid analysis designed from indisputable fundamental foundations is essential. It enables the use of cephalometry in the daily practice of orthodontists, maxillofacial surgeons and facial plastic surgeons. This functional and aesthetic cephalometric analysis is carried out from fourteen anatomical points, ten bony points and four skin points, which all have in common that they are exo-basicranial. This analysis is easy to understand and use. It only takes five minutes to be learned and five minutes to be traced (fifteen seconds if it is computerized). The resulting results are reliable. The functional and aesthetic analysis is developed through four chapters. The first is devoted to the fundamental bases, the second to the analysis itself and to clinical cases, the third to the comparative study of different cephalometric analyzes, and finally the fourth chapter revisits the work of Arne Björk.
