Page 25
Page 25
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.
Artificial neural network-based optimized design of reinforced concrete structures
Introduces AI-based Lagrange optimization techniques that can enable more rational engineering decisions for concrete structures while conforming to codes of practice. It shows how objective functions including cost, CO2 emissions, and structural weight of concrete structures are optimized either separately or simultaneously while satisfying constraining design conditions using an ANN-based Lagrange algorithm. Any design target can be adopted as an objective function. Many optimized design examples are verified by both conventional structural calculations and big datasets. Uniquely applies the new powerful tools of AI to concrete structural design and optimization Multi-objective functions of concrete structures optimized either separately or simultaneously Design requirements imposed by codes are automatically satisfied by constraining conditions Heavily illustrated in color with practical design examples
Artificial Mind System : Kernel Memory Approach
This book is written from an engineer's perspective of the mind. "Artificial Mind System" exposes the reader to a broad spectrum of interesting areas in general brain science and mind-oriented studies. In this research monograph a picture of the holistic model of an artificial mind system and its behaviour is drawn, as concretely as possible, within a unified context, which could eventually lead to practical realisation in terms of hardware or software. With a view that "the mind is a system always evolving", ideas inspired by many branches of studies related to brain science are integrated within the text, i.e. artificial intelligence, cognitive science / psychology, connectionism, consciousness studies, general neuroscience, linguistics, pattern recognition / data clustering, robotics, and signal processing.
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 and machine learning techniques for civil engineering
Offers state-of-the-art contributions in the area of AI and its applications in the field of civil engineering presenting methods and implementation of AI and machine learning in multiple facets of civil engineering
Arithmetic of finite fields ; 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI 2008, held in Siena, Italy, in July 2008.
Arithmetic of finite fields ; 1st International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of mappings over finite fields, curve algebra, cryptography, codes, and discrete structures.
Architecture beyond the cupola : Inventions and designs of Dante Bini
This book reviews Dante Bini’s inventions and designs, focusing on his form-resistant Binishell and other pneumatic construction systems. Dante Bini’s double profile of architect and builder underpins the narrative of the entire book. It is used to analyse the evolution of the early reinforced-concrete Binishell patent into a variety of automated construction systems based on the use of air. Dante Bini has always been quite proactive in promoting his work and disseminating the results of his experimentations and achievements via journal articles, conference presentations and public talks.
Architecture and modelbuilding : Concepts, methods, materials
Provides in-depth information Numerous practical tips, clear explanations, concrete examples Aims and Scope Architectural models are used at various stages of a project. As working models they support the design process: they are made up from time to time using simple materials, such as cardboard, without any attempt at accuracy, and continue to be adjusted and added to as the ideas and the design progress. The point here is to swiftly check a design idea, to allow it to be continued or dismissed. Presentational models are more involved; at this stage the design has been completed and the purpose of the model is to convey the ideas to the potential user in a clear and easy-to-understand way.
Approximation, randomization and combinatorial optimization. algorithms and techniques ; 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings
This book constitutes the joint refereed proceedings of the 11th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2008.
Approximation and Online Algorithms ; Vol.3879 : 3rd International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers
The third Workshop on Approximation and Online Algorithms (WAOA 2005) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications from a variety of ?elds. WAOA 2005 took place in Palma de Mallorca, Spain, on 6–7 October 2005. The workshop was part of the ALGO 2005 event that also hosted ESA, WABI, and ATMOS. The two previous WAOA workshops were held in Budapest (2003) and Rome (2004).
Approximation and online algorithms ; Vol.3351 ; 2nd international workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers
The 2nd Workshop on Approximation and Online Algorithms (WAOA 2004) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications arising from a variety of fields. The workshop was part of the ALGO 2004 event which also hosted ESA, WABI, IWPEC, and ATMOS. Topics of interests for WAOA2004 were : applications to game theory, appr- imation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, in approximability results, mechanism design, network design, routing, packing and covering, paradigms, randomization techniques, and scheduling problems. on the reviews, This volume contains the 21 selected papers
Approximation and Online Algorithms ; 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers
The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for online and computationally hard problems.
Approximate and noisy realization of discrete-time dynamical systems
This monograph deals with approximation and noise cancellation of dynamical systems which include linear and nonlinear input/output relations. It will be of special interest to researchers, engineers and graduate students who have specialized in ?ltering theory and system theory. This monograph provides new results and their extensions which can also be applied to nonlinear dynamical systems.
Appraisal and repair of of building structures
This book is a practical guide to the detection and remedy of faults in claddings and fixings on buildings. It sets out the problems involved in common cladding systems for buildings, and relates these problems to all the materials used: stone, masonry, concrete and glass-reinforced composites.
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Applied geotechnics for construction projects ; Vol. 2 : Fundamental Principles of Soil Mechanics and the Role of Water
Addresses the fundamental principles of soil mechanics and the role of water in geotechnical projects and assessments. Applied Geotechnics for Construction Projects 2 outlines the hydraulic properties of soils and the basic concepts of water in soil, detailing the principles of permeability measurement tests and giving concrete test cases, and then goes on to outline the basic notions of soil mechanics as applied in geotechnics: from consolidation to short- and long-term notions via the swelling phenomena of clayey soils, soil shear strength and slope stability. The third chapter presents a comprehensive overview of geotechnical expertise using examples of concrete projects either with or without damage in the context of geotechnical construction works.
Applications of simulation methods in environmental and resource economics
Simulation methods are revolutionizing the practice of applied economic analysis. This volume collects eighteen chapters written by leading researchers from prestigious research institutions the world over. The common denominator of the papers is their relevance for applied research in environmental and resource economics. The topics range from discrete choice modeling with heterogeneity of preferences, to Bayesian estimation, to Monte Carlo experiments, to structural estimation of Kuhn-Tucker demand systems, to evaluation of simulation noise in maximum simulated likelihood estimates, to dynamic natural resource modeling. Empirical cases are used to show the practical use and the results brought forth by the different methods.
Applications of Membrane Computing
Membrane computing is a branch of natural computing which investigates computing models abstracted from the structure and functioning of living cells and from their interactions in tissues or higher-order biological structures. The models considered, called membrane systems (P systems), are parallel, distributed computing models, processing multisets of symbols in cell-like compartmental architectures. In many applications membrane systems have considerable advantages – among these are their inherently discrete nature, parallelism, transparency, scalability and nondeterminism.
