Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Fundamentals of Computation Theory
This volume is dedicated to the 15th Symposium on Fundamentals of Computation Theory FCT 2005, held in Lubeck, Germany, on August 17–20, 2005.
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in September/October 2014. The 21 regular papers and 8 short papers presented were carefully reviewed and selected from 44 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization; ad-hoc; sensor and mobile networks; cyberphysical systems; fault-tolerant and dependable systems; formal methods; safety and security; and cloud computing; P2P; self-organizing; and autonomous systems.
On the role of constitutive behaviour in the response of squeezing ground to tunnelling
Squeezing conditions in tunnelling are characterized by the occurrence of large deformations of the opening or high rock pressure that may overstress the lining. Squeezing is associated with poor quality rock. Tunnelling in squeezing ground involves great uncertainties. It is therefore very important to gain a better understanding of the underlying mechanisms. Triaxial testing is the main source of information in order to understand the mechanical features of squeezing ground. Despite the complexity of the squeezing mechanism and the behaviour observed under relatively simple loading conditions, most of previous research work and engineering design practice considers the ground as a linearly...
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010, held in New York, USA, in September 2010. The 39 revised full papers were carefully reviewed and selected from 90 submissions. The papers address all safety and security-related aspects of self-stabilizing systems in various areas. The most topics related to self-* systems. The tracks were: self-stabilization; self-organization; ad-hoc, sensor, and dynamic networks; peer to peer; fault-tolerance and dependable systems; safety and verification; swarm, amorphous, spatial, and complex systems; security; cryptography, and discrete distributed algorithms.
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, held in Grenoble, France, in October 2011. The 29 papers presented were carefully reviewed and selected from 79 submissions. They cover the following areas: ad-hoc, sensor, and peer-to-peer networks; safety and verification; security; self-organizing and autonomic systems; and self-stabilization.
Principles of Distributed Systems
This book constitutes the refereed proceedings of the 18th International Conference on Principles of Distributed Systems, OPODIS 2014, Cortina d'Ampezzo, Italy, in December 2014. The 32 papers presented together with two invited talks were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on consistency; distributed graph algorithms; fault tolerance; models; radio networks; robots; self-stabilization; shared data structures; shared memory; synchronization and universal construction.
Scientific and Statistical Database Management
This book constitutes the refereed proceedings of the 23rd International Conference on Scientific and Statistical Database Management, SSDBM 2011, held in Portland, OR, USA, in July 2011. The 26 long and 12 short papers presented together with 15 posters were carefully reviewed and selected from 80 submissions. The topics covered are ranked search; temporal data and queries; workflow and provenance; querying graphs; clustering and data mining; architectures and privacy; and applications and models.
On the variability of squeezing behaviour in tunnelling
On the variability of squeezing behaviour in tunnelling
Hermeneutics of the Ban on Images, The
Recognizing both the potential of biblical prohibition of images for causing religious conflict and the promise of a more nuanced appreciation of the role of images in human experience, this book constructs a framework for understanding the place of images, and their prohibition, within the biblical text and Christian religious practice.
Provenance and Annotation of Data and Processes
This book constitutes the revised selected papers of the 5th International Provenance and Annotation Workshop, IPAW 2014, held in Cologne, Germany in June 2014. The 14 long papers, 20 short papers and 4 extended abstracts presented were carefully reviewed and selected from 53 submissions. The papers include tools that enable provenance capture from software compilers, from web publications and from scripts, using existing audit logs and employing both static and dynamic instrumentation.
