Search results:
Found 3
Listing 1  3 of 3 
Sort by

Choose an application
This open access book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses the repeatability, variability, and sensitivity of lateral spreading observed in twentyfour centrifuge model tests on mildly sloping liquefiable sand. The centrifuge tests were conducted at nine different centrifuge facilities around the world. For the first time, a sufficient number of experiments were conducted to enable assessment of variability of centrifuge test results. The experimental data provided a unique basis for assessing the capabilities of twelve different simulation platforms for numerical simulation of soil liquefaction. The results of the experiments and the numerical simulations are presented and discussed in papers submitted by the project participants. The work presented in this book was followed by LEAPAsia that included assessment of a generalized scaling law and culminated in a workshop in Osaka, Japan in March 2019. LEAP2020, ongoing at the time of printing, is addressing the validation of soilstructure interaction analyses of retaining walls involving a liquefiable soil. A workshop is planned at RPI, USA in 2020.
Engineering  Engineering geology  Engineering—Geology  Foundations  Hydraulics  Quality control  Reliability  Industrial safety  Geotechnical engineering  Soil science  Soil conservation  Natural disasters
Choose an application
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.
Mathematical Logic and Foundations  Discrete Mathematics in Computer Science  Programming Languages, Compilers, Interpreters  Programming Techniques  Logic in AI  Computer Systems Organization and Communication Networks  categorical models and logics  language theory, automata, and games  modal, spatial, and temporal logics  type theory and proof theory  concurrency theory and process calculi  rewriting theory  semantics of programming languages  program analysis, correctness, transformation, and verification  logics of programming  software specification and refinement  emerging models of computation  logical aspects of computational complexity  models of software security  logical foundations of data bases  mathematics  artificial intellegence  formal logic  linguistics  Mathematical foundations  Mathematical logic  Discrete mathematics  Maths for computer scientists  Programming & scripting languages: general  Compilers & interpreters  Computer programming / software engineering  Artificial intelligence  Computer networking & communications
Choose an application
Quantum information has dramatically changed information science and technology, looking at the quantum nature of the information carrier as a resource for building new information protocols, designing radically new communication and computation algorithms, and ultrasensitive measurements in metrology, with a wealth of applications. From a fundamental perspective, this new discipline has led us to regard quantum theory itself as a special theory of information, and has opened routes for exploring solutions to the tension with general relativity, based, for example, on the holographic principle, on noncausal variations of the theory, or else on the powerful algorithm of the quantum cellular automaton, which has revealed new routes for exploring quantum fields theory, both as a new microscopic mechanism on the fundamental side, and as a tool for efficient physical quantum simulations for practical purposes. In this golden age of foundations, an astonishing number of new ideas, frameworks, and results, spawned by the quantum information theory experience, have revolutionized the way we think about the subject, with a new research community emerging worldwide, including scientists from computer science and mathematics.
reconstruction of quantum theory  entanglement  monogamy  quantum nonlocality  conserved informational charges  limited information  complementarity  characterization of unitary group and state spaces  algebraic quantum theory  C*algebra  gelfand duality  classical context  bohrification  process theory  classical limit  purity  higherorder interference  generalised probabilistic theories  Euclidean Jordan algebras  Pauli exclusion principle  quantum foundations  Xray spectroscopy  underground experiment  silicon drift detector  measurement uncertainty relations  relative entropy  position  momentum  quantum mechanics  the measurement problem  collapse models  Xrays  quantum gravity  discrete spacetime  causal sets  path summation  entropic gravity  physical computing models  complexity classes  causality  blind source separation (BSS)  qubit pair  exchange coupling  entangled pure state  unentanglement criterion  probabilities in quantum measurements  independence of random quantum sources  iterant  Clifford algebra  matrix algebra  braid group  Fermion  Dirac equation  quantum information  quantum computation  semiclassical physics  quantum control  quantum genetic algorithm  samplingbased learning control (SLC)  quantum foundations  relativity  quantum gravity  cluster states  multipartite entanglement  percolation  Shannon information  quantum information  quantum measurements  consistent histories  incompatible frameworks  single framework rule  probability theory  entropy  quantum relative entropy  quantum information  quantum mechanics  inference  quantum measurement  quantum estimation  macroscopic quantum measurement  quantum annealing  adiabatic quantum computing  hard problems  Hadamard matrix  binary optimization  reconstruction of quantum mechanics  conjugate systems  Jordan algebras  quantum correlations  Gaussian states  Gaussian unitary operations  continuousvariable systems  Wignerfriend experiment  nogo theorem  quantum foundations  interpretations of quantum mechanics  subsystem  agent  conservation of information  purification  group representations  commuting subalgebras  quantum walks  Hubbard model  Thirring model  quantum information  quantum foundations  quantum theory and gravity
Listing 1  3 of 3 
Sort by
