الصفحة 6
الصفحة 6
Designing Intelligent Construction Projects
Readers will find: Illuminating case study material that highlights how change management methodologies, game theory, and collaborative contractual design can deliver results Strategies for achieving lean, viable, and digitally oriented construction leadership fit for the modern market Rigorous discussions of the current and potential future impact of digitization on construction firms
Dépistage et cancers cutanés = Skin cancer screening
This work takes stock of the epidemiological aspects of these tumors in France and their clinical aspects. It offers an identification of risk markers and predisposing lesions specific to each tumor type. A strategy for the early diagnosis of carcinoma on the one hand and of melanoma on the other is proposed, relying, in particular for melanoma, on the new methods of care offered today to the patient.
Deep learning for computational problems in hardware security : Modeling attacks on strong physically unclonable function circuits
Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware security applications, in particular the techniques of launching potent "modeling attacks" on Physically Unclonable Function (PUF) circuits, which are promising hardware security primitives. The volume is self-contained and includes a comprehensive background on PUF circuits, and the necessary mathematical foundation of traditional and advanced machine learning techniques such as support vector machines, logistic regression, neural networks, and deep learning. This book can be used as a self-learning resource for researchers and practitioners of hardware security, and will also be suitable for graduate-level courses on hardware security and application of machine learning in hardware security.
Data Management Technologies and Applications ; 8th International Conference, DATA 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Data Management Technologies and Applications, DATA 2019, held in Prague, Czech Republic, in July 2019. The 8 revised full papers were carefully reviewed and selected from 90 submissions. The papers deal with the following topics: decision support systems, data analytics, data and information quality, digital rights management, big data, knowledge management, ontology engineering, digital libraries, mobile databases, object-oriented database systems, and data integrity.
Cybernetical Physics : From Control of Chaos to Quantum Control
This book is, perhaps, the first attempt to present a unified exposition of the subject and methodology of cybernetical physics as well as solutions to some of its problems. Emphasis of the book is on the examination of fundamental limits on energy transformation by means of control procedures in both conservative and dissipative systems.
Coral Reefs of the USA
This book will therefore be of broad general interest. For the first time, complete scholarly reviews are given for the geology, geomorphology and the biology of reefs encompassing a vast area stretching from the Mariana Islands in the west, Samoa in the south, Hawaii in the north and the Virgin Islands in the east.
Contributions to Ubiquitous Computing
This book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems and presents innovative solutions at all system layers ranging from hardware over vertical and horizontal infrastructure services and novel middleware techniques to various types of application software. Some chapters address core properties of ubiquitous applications including mobility, self-healing and self-organisation of both technical and social-technical systems. Other contributions deal with common facilities like secure e-payment or semantic web techniques and business solutions like wireless asset management or e- maintenance. Distributed systems management with self-monitoring capabilities, Internet congestion control, and novel security solutions coping with denial of service attacks against mobile agent systems and software- and hardware-based data encryption methods are further topics addressed.
Construction and Building Automation : From Concepts to Implementation
Intended to be used as a textbook in undergraduate civil engineering and construction courses to introduce cutting edge mechanical, electrical and computer science topics that are needed for civil and construction engineers to collaborate in inter-disciplinary automation projects. Introduces hardware and software needed for automating engineering tasks ; Presents examples of applications in the control of building systems ; Illustrates of the use of automation for improving construction processes ; Provides a lucid introduction to advanced computing concepts, machine learning, artificial intelligence, and control algorithms to construction and engineering students.
Conditionals, Information, and Inference
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, physical laws, and social norms. On the other hand, as default rules or general implications, they constitute a basic tool for reasoning, even in the presence of uncertainty. In this sense, conditionals are intimately connected both to information and inference. Due to their non-Boolean nature, however, conditionals are not easily dealt with. They are not simply true or false — rather, a conditional “if A then B” provides a context, A, for B to be plausible (or true) and must not be confused with “A entails B” or with the material implication “not A or B.” This ill- trates how conditionals represent information, understood in its strict sense as reduction of uncertainty. To learn that, in the context A, the proposition B is plausible, may reduce uncertainty about B and hence is information. The ab- ity to predict such conditioned propositions is knowledge and as such (earlier) acquired information. The ?rst work on conditional objects dates back to Boole in the 19th c- tury, and the interest in conditionals was revived in the second half of the 20th century, when the emerging Arti?cial Intelligence made claims for appropriate formaltoolstohandle“generalizedrules.”Sincethen,conditionalshavebeenthe topic of countless publications, each emphasizing their relevance for knowledge representation, plausible reasoning, nonmonotonic inference, and belief revision.
CONCREEP 10 : Mechanics and physics of creep, shrinkage, and durability of concrete and concrete structures
Contains 187 papers invited on the basis of carefully peer-reviewed abstracts. It elucidates the intricacies of concrete, linking atomistic physics to real life civil engineering design. Topics include: microstructures and micromechanics; multiscale creep, shrinkage, fracture, and durability properties; constitutive and numerical modeling; simulation and design of concrete structures; molecular- to lab-scale simulations and characterization of concrete; macroscopic material testing; creep and shrinkage of concrete under extreme conditions; monitoring of concrete structures and exploitation of measurement data; and creep and shrinkage properties of new cementitious materials.
Computer Vision Systems ; 2nd International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings
Computer Vision has reached a level of maturity that allows us not only to p- form research on individual methods and system components but also to build fully integrated computer vision systems of signi cant complexity. This opens a number of new problems related to system architecture, methods for system synthesis and veri cation, active vision systems, control of perception and - tion, knowledge and system representation, context modeling, cue integration, etc. By focusing on methods and concepts for the construction of fully integrated vision systems, ICVS aims to bring together researchers interested in computer vision systems. Similar to the previous event in Las Palmas, ICVS 2001 was organized as a single-track workshop consisting of high-quality.
Computer simulation studies in condensed-matter physics XVIII ; Proceedings of the Eighteenth Workshop, Athens, GA, USA, March 7-11, 2005
This volume represents a "status report" emanating from presentations made during the 18th Annual Workshop on Computer Simulations Studies in Condensed Matter Physics at the Center for Simulational Physics at the University of Georgia in March 2005. It provides a broad overview of the most recent advances in the field, spanning the range from statistical physics to soft condensed matter and biological systems. Results on nanostructures and materials are included as are several descriptions of advances in quantum simulations and quantum computing as well as.methodological advances.
Computer simulation studies in condensed-matter physics XVI ; Proceedings of the Seventeenth Workshop, Athens, GA, USA, February 16-20, 2004
This status report features the most recent developments in the field, spanning a wide range of topical areas in the computer simulation of condensed matter/materials physics. Both established and new topics are included, ranging from the statistical mechanics of classical magnetic spin models to electronic structure calculations, quantum simulations, and simulations of soft condensed matter. The book presents new physical results as well as novel methods of simulation and data analysis. Highlights of this volume include various aspects of non-equilibrium statistical mechanics, studies of properties of real materials using both classical model simulations and electronic structure calculations, and the use of computer simulations in teaching.
Computer Aided Systems Theory – EUROCAST 2005 ; 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those computer theoretical and practical developments used as tools to solve problems in system science. It was considered as the third component (the other two being CAD and CAM) that would provide for a complete picture of the path from computer and systems sciences to practical developments in science and engineering. Selected papers were published as Springer Lecture Notes in Computer Science vols. 410, 585, 763, 1030, 1333, 1728, 2178 and 2809 and in several special issues of Cybernetics and Systems: an lnternational
Computational Modelling of Concrete and Concrete Structures
Serves as an important reference for both academics and professionals, stimulating new research directions in the field of computational modelling of concrete and its application to the analysis of concrete structures.
Computational Intelligence, Theory and Applications ; International Conference 9th Fuzzy Days in Dortmund, Germany, Sept. 18-20, 2006 Proceedings
This book constitutes the refereed proceedings of the 9th Dortmund Fuzzy Days, held in Dortmund, Germany, 2006. The Fuzzy Days conference has established itself as an international forum for the discussion of new results in the field of Computational Intelligence. All the papers had to undergo a thorough review guaranteeing a solid quality of the programme. The papers are devoted to foundational and practical issues in fuzzy systems, neural networks, evolutionary algorithms, and machine learning and thus cover the whole range of computational intelligence.
Computational Intelligence, Theory and Applications ; International Conference 8th Fuzzy Days in Dortmund, Germany, Sept. 29-Oct. 01, 2004 Proceedings
This book constitutes the refereed proceedings of the 8th Dortmund Fuzzy Days, held in Dortmund, Germany, 2004. The Fuzzy-Days conference has established itself as an international forum for the discussion of new results in the field of Computational Intelligence. All the papers had to undergo a thorough review guaranteeing a solid quality of the programme. The papers are devoted to foundational and practical issues in fuzzy systems, neural networks, evolutionary algorithms, and machine learning and thus cover the whole range of computational intelligence.
Combinatorial Optimization : Theory and Algorithms
Puts special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It has arisen as the basis of several courses on combinatorial optimization and more special topics at graduate level. Since the complete book contains enough material for at least four semesters (4 hours a week), one usually selects material in a suitable way. The book contains complete but concise proofs, also for many deep results, some of which did not appear in a book before. Many very recent topics are covered as well, and many references are provided. Thus this book represents the state of the art of combinatorial optimization. This third edition contains a new chapter on facility location problems, an area which has been extremely active in the past few years. Furthermore there are several new sections and further material on various topics. New exercises and updates in the bibliography were added.
Combinatorial Optimization : Theory and Algorithms
Places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It has arisen as the basis of several courses on combinatorial optimization and more special topics at graduate level. It contains complete but concise proofs, also for many deep results, some of which did not appear in a textbook before. Many very recent topics are covered as well, and many references are provided. Thus this book represents the state of the art of combinatorial optimization.
Combinatorial Commutative Algebra
Combinatorial commutative algebra is an active area of research with thriving connections to other fields of pure and applied mathematics. This book provides a self-contained introduction to the subject, with an emphasis on combinatorial techniques for multigraded polynomial rings, semigroup algebras, and determinantal rings. The eighteen chapters cover a broad spectrum of topics, ranging from homological invariants of monomial ideals and their polyhedral resolutions, to hands-on tools for studying algebraic varieties with group actions, such as toric varieties, flag varieties, quiver loci, and Hilbert schemes. Over 100 figures, 250 exercises, and pointers to the literature make this book appealing to both graduate students and researchers.
