Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
Lire la suite
COMPSTAT 2008 : Proceedings in Computational Statistics
Presents methodological developments in Applied/Computational Statistics. This work covers a range of topics including Advances ...
Lire la suiteGPU-Based Interactive Visualization Techniques
This book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex ...
Lire la suite
Lasers, Clocks and Drag-Free Control : Exploration of Relativistic Gravity in Space
Over the next decade the gravitational physics community will benefit from dramatic improvements in many technologies critical ...
Lire la suite
Precision Physics of Simple Atoms and Molecules
This is the third in a series of topical-review volumes about the precision physics of simple atoms all published in LNP. ...
Lire la suite
Precision Spectroscopy in Astrophysics : Proceedings of the ESO/Lisbon/Aveiro Conference held in Aveiro, Portugal, 11–15 September 2006
High-accuracy Doppler shift measurements and high-precision spectroscopy are primary techniques in the search for exo-planets. Further ...
Lire la suite
Quantum Gravitation : The Feynman Path Integral Approach
The book covers the theory of Quantum Gravitation from the point of view of Feynman path integrals. These provide a manifestly ...
Lire la suiteSublinear Computation Paradigm : Algorithmic Revolution in the Big Data Era
This book gives an overview of cutting-edge work on a new paradigm called the "sublinear computation paradigm," which was ...
Lire la suite
Sublinear Computation Paradigm: Algorithmic Revolution in the Big Data Era / Naoki Katoh, Yuya Higashikawa, Hiro Ito, Atsuki Nagao, Tetsuo Shibuya, Adnan Sljoka, Kazuyuki Tanaka, Yushi Uno
gives an overview of cutting-edge work on a new paradigm called the “sublinear computation paradigm,” which was proposed ...
Lire la suite
