Ditemukan 341 dokumen yang sesuai dengan query
"
This book presents the work done by the RILEM Technical Committee 227-HPB (Physical properties and behaviour of High-Performance Concrete at high temperature). It contains the latest research results on the behaviour of high-performance concretes at high temperature.
The book presents the state of the art of experimental data on High-Performance concretes and it collects and synthesizes useful data about concrete behaviour at high temperatures. The book is divided into independent chapters dealing with degradation reactions in ...
"
Switzerland: Springer Cham, 2019
e20502595
eBooks Universitas Indonesia Library
Ray, Sandip
"
This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy verification. The authors focus on a promising security architecture for implementing security policies, which satisfies the goals of flexibility, verification, and upgradability from the ground up, including a plug-and-play hardware block in which all policy implementations ...
"
Switzerland: Springer Cham, 2019
e20502835
eBooks Universitas Indonesia Library
"
Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 7 of the Proceedings of the 2018 SEM Annual Conference & Exposition on Experimental and Applied Mechanics, the seventh volume of eight from the Conference, brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on a wide range of areas, including:
- Inverse Problems/Hybrid Techniques
- Material Characterizations Using Thermography
- Thermoelastic Stress Analysis
- Fatigue ...
"
Switzerland: Springer Cham, 2019
e20502836
eBooks Universitas Indonesia Library
"
The book reports on advanced topics in the areas of wearable robotics research and practice. It focuses on new technologies, including neural interfaces, soft wearable robots, sensors and actuators technologies, and discusses important regulatory challenges, as well as clinical and ethical issues. Based on the 4th International Symposium on Wearable Robotics, WeRob2018, held October 16-20, 2018, in Pisa, Italy, the book addresses a large audience of academics and professionals working in government, industry, and medical ...
"
Switzerland: Springer Cham, 2019
e20502861
eBooks Universitas Indonesia Library
"
Providing a comprehensive overview of hot stamping (also known as ‘press hardening’), this book examines all essential aspects of this innovative metal forming method, and explores its various uses. It investigates hot stamping from both technological and business perspectives, and outlines potential future developments. Individual chapters explore topics such as the history of hot stamping, the state of the art, materials and processes employed, and how hot stamping is currently being used in the automotive ...
"
Switzerland: Springer Cham, 2019
e20502825
eBooks Universitas Indonesia Library
"
This book presents the second volume of Piola’s original Italian text together with the English-language translation and comments, showing convincingly that Gabrio Piola’s work must still be regarded as a modern theory. Gabrio Piola’s work has had an enormous impact on the development of applied mathematics and continuum mechanics. As such, a committee of scientific experts took it upon themselves to translate his complete works. In a second step, they commented on Piola’s work and ...
"
Switzerland: Springer Cham, 2019
e20502826
eBooks Universitas Indonesia Library
Iordache, Octavian
"
This book focuses on new developments in polytopic projects, particularly on implementation domains and case studies, as well as high-dimensional methodology. Polytopic projects are based on a general reference architecture inspired and shared by the functional organization of organisms and enterprises as informational and cognitive systems, the scientific and engineering methodology and the operational structure of existing self-evolvable and self-sustainable systems ...
"
Switzerland: Springer Cham, 2019
e20502834
eBooks Universitas Indonesia Library
Banerjee, Amal
"
This book presents a seamless and unified scheme for automating very complicated calculations required to design, evaluate performance characteristics of, and implement broadband and narrow band impedance matching sub-circuits. The results of these automated calculations (the component values of the impedance matching sub-circuit) are formatted as text SPICE(Simulation Program with Integrated Circuit Emphasis) input netlists. Readers then immediately can use any available SPICE simulator to measure the performance characteristics (DC response, transient response, ...
"
Switzerland: Springer Cham, 2019
e20502824
eBooks Universitas Indonesia Library
"
This proceedings volume chronicles the papers presented at the 35th CIB W78 2018 Conference: IT in Design, Construction, and Management, held in Chicago, IL, USA, in October 2018. The theme of the conference focused on fostering, encouraging, and promoting research and development in the application of integrated information technology (IT) throughout the life-cycle of the design, construction, and occupancy of buildings and related facilities. The CIB – International Council for Research and Innovation in Building ...
"
Switzerland: Springer Cham, 2019
e20502830
eBooks Universitas Indonesia Library
Russinoff, David M.
"
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor ...
"
Switzerland: Springer Cham, 2019
e20502864
eBooks Universitas Indonesia Library
