Page 34
Page 34
Concrete materials and technology : A practical guide
Demands an underlying knowledge of concrete fundamentals as well as its constituent materials, and in various formulations. Starting with the basics, Concrete Materials and Technology: A Practical Guide examines the production and chemistry of cement, as well as the different types and their applications. Quality control processes and numerous methods for testing are presented and explained in detail.
Concrete bridge strengthening and repair
Covering a wide range of structural elements and related defects, this collection of twenty concrete bridge strengthening and repair case studies showcases solutions to real problems encountered in the field and the processes by which those solutions were developed. Drawing on a lifetime of experience Atkins consultant Iain Kennedy Reid provides insight into methods of investigation and diagnosis of problems relating to beams, slabs, columns and panel walls, as well as how to apply demand-led research to these problems in a practical way.
Concrete - filled steel tubular arch bridges
Discusses the features of composite materials and arch structures. Providing an in-depth fundamental and practical guide to the field, it systemically addresses all aspects of concrete-filled steel tubular (CFST) arch bridges, including a comprehensive overview on technical developments, structural systems, structural detailing, design and analysis, construction technology, and maintenance.
Concise Guide to Quantum Computing : Algorithms, Exercises, and Implementations
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum algorithms, as well as for self-study. It contains basic theoretical concepts and methods for solving basic types of problems and gives an overview of basic qubit operations, entangled states, quantum circuits, implementing functions, quantum Fourier transform, phase estimation, etc. The book serves as a basis for the application of new information technologies in education and corporate technical training: theoretical material and examples of practical problems, as well as exercises with, in most cases, detailed solutions, have relation to information technologies. A large number of detailed examples serve to better develop professional competencies in computer science.
Concepts in pharmaceutical biotechnology and drug development
Provides comprehensive coverage of the development of new pharmaceuticals and the enhancement of existing ones. It offers a comprehensive understanding of pharmaceutical biotechnology, including its underlying principles and practical applications from an industrial standpoint. While introducing the roles and applications of biotechnology in drug design and development, the book describes how developments in other fields, like genomics, proteomics, and high-throughput screening, have facilitated the discovery of novel therapeutic targets and drug development methods. It included concepts that are essential to biotechnology and apply to protein therapies. And provides a thorough overview of the ways in which biotechnology influences drug development, production, and regulation, and is a valuable resource for those seeking to enhance their understanding in this area.
Computers and Education : E-Learning, From Theory to Practice
This book contains a selection of contributions presenting the latest research in the field of Computers in Education and, more specifically, in E-Learning. The topics covered range from proposals regarding the newest "de facto" standards in E-Learning - such as IMS Learning Design - to the more practical aspects of the design, i.e. implementations and the actual application of educational tools in real settings. The volume reflects the diverse scenario of the application of computers in the educational field by describing previous experiences and addressing some of the present key issues such as Learning Management Systems as well as more innovative aspects such as personalized or ubiquitous learning.
Computer-aided drug design
Computer-Aided Drug Design (CADD) is a comprehensive guide designed for both beginners and experienced users in CADD. Covers the fundamental principles and gradually delves into more advanced concepts and techniques, making it an invaluable resource to anyone interested in CADD. It begins by establishing a solid foundation, explaining the core concepts of CADD, the user interface and essential tools. It covers QSAR, molecular docking, homology modeling, virtual screening, pharmacophore modeling, ensuring that the reader can quickly become proficient in CADD. Provides in-depth insights into 3D modeling, rendering, and parametric design. The style of the book is simple, every topic begins from the very basics and explores advanced levels with clarity. Practical examples, step-by-step tutorials and hands-on exercises, are included for better understanding.
Computer vision and machine learning for intelligent sensing systems
Offers a selection of high-quality research articles that tackle the major difficulties in computer vision and machine learning for intelligent sensing systems from both theoretical and practical standpoints. This publication includes intelligent sensing techniques, twelve foundational investigations into sense-making methods, and discusses particular uses of intelligent sensing systems in autonomous driving and virtual reality.
Computer Security – ESORICS 2006 ; 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. it presents original research contributions, case studies and implementation experiences addressing any aspect of computer security - in theory, mechanisms, applications, or practical experience.
Computer safety, reliability, and security ; Vol. 4166 ; 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for knowledge and technology transfer for researchers, industry (suppliers, operators, users), regulators and certi?ers of such systems. SAFECOMP provides ample opportunity to exchange insights and experiences on emerging methods, approaches and practical so- tions to safety, security and reliability problems across the borders of di?erent application domains and technologies.
Computer safety, reliability, and security ; 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
Computer Insecurity : Risking the System
Security is one of the most significant issues facing the owners and users of computer systems in the Internet age, and recent years have convincingly illustrated that the problem is increasing in both scale and cost. Computer Insecurity: Risking the System approaches its topic from the perspective of vulnerability – how can your system be attacked? Covering technical issues and human factors, the comprehensively researched text makes reference to numerous real-life security incidents, which help to provide persuasive practical evidence of the problems and the impacts that result. Key issues covered include: • the problem of computer insecurity • the need to raise security awareness • common failings that compromise protection • the attack and exploitation of systems • considerations in responding to the threats
Computer and Information Science
The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS International Workshop on e-Activity (IWEA 2008) is to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information science; and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.
Computer Aided Verification ; Vol. 3576 ; 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis methods for software and hardware systems. The conference covered the spectrum from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation.
Computer aided verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification ; 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
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 Quantum Mechanics for Materials Engineers : The EMTO Method and Applications
Computational Quantum Mechanics for Materials Engineers describes new approaches to the modelling of disordered alloys that combine the most efficient quantum-level theories of random alloys with the most sophisticated numerical techniques to establish a theoretical insight into the electronic structure of complex materials such as stainless steels, Hume-Rothery alloys and silicates. The practical success of these approaches to applications in all of these areas are covered in detail. The new EMTO-CPA method is detailed, including its application in alloys to model structural stability and elastic properties of random alloys of arbitrary composition and the effect of alloying elements on elastic stiffnesses stacking fault energies and structural parameters. The EMTO-CPA method makes new approaches to computational alloy design feasible. Computational Quantum Mechanics for Materials Engineers shows how the technique will soon allow materials engineers to become "quantum blacksmiths
Computational methods for rational drug design
Covers the tools and techniques of drug design with applications to the discovery of small molecule-based therapeutics, detailing methodologies and practical applications and addressing the challenges of techniques like AI/ML and drug design for unknown receptor structures. Divided into 23 chapters, the contributors address various cutting-edge areas of therapeutic importance such as neurodegenerative disorders, cancer, multi-drug resistant bacterial infections, inflammatory diseases, and viral infections.
