Search results: Found 3

Listing 1 - 3 of 3
Sort by
Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading

Authors: --- ---
ISBN: 9783030228187 Year: Pages: 660 DOI: 10.1007/978-3-030-22818-7 Language: English
Publisher: Springer Nature
Subject: Agriculture (General) --- General and Civil Engineering --- Geology --- Earth Sciences
Added to DOAB on : 2020-02-05 11:21:07
License:

Loading...
Export citation

Choose an application

Abstract

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 twenty-four 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 LEAP-Asia that included assessment of a generalized scaling law and culminated in a workshop in Osaka, Japan in March 2019. LEAP-2020, ongoing at the time of printing, is addressing the validation of soil-structure interaction analyses of retaining walls involving a liquefiable soil. A workshop is planned at RPI, USA in 2020.

Foundations of Software Science and Computation Structures

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452315 Year: Pages: 644 DOI: 10.1007/978-3-030-45231-5 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Computer Science
Added to DOAB on : 2020-05-14 09:30:23
License:

Loading...
Export citation

Choose an application

Abstract

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.​

Quantum Information and Foundations

Authors: ---
ISBN: 9783039283804 9783039283811 Year: Pages: 508 DOI: 10.3390/books978-3-03928-381-1 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Science (General) --- Mathematics
Added to DOAB on : 2020-04-07 23:07:09
License:

Loading...
Export citation

Choose an application

Abstract

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 ultra-sensitive 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 non-causal 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.

Keywords

reconstruction of quantum theory --- entanglement --- monogamy --- quantum non-locality --- 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 --- higher-order interference --- generalised probabilistic theories --- Euclidean Jordan algebras --- Pauli exclusion principle --- quantum foundations --- X-ray spectroscopy --- underground experiment --- silicon drift detector --- measurement uncertainty relations --- relative entropy --- position --- momentum --- quantum mechanics --- the measurement problem --- collapse models --- X-rays --- 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 --- sampling-based 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 --- continuous-variable systems --- Wigner-friend experiment --- no-go 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
Narrow your search

Publisher

Springer Nature (2)

MDPI - Multidisciplinary Digital Publishing Institute (1)


License

CC by (2)

CC by-nc-nd (1)


Language

english (3)


Year
From To Submit

2020 (3)