Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
Lee mas
COMPSTAT 2008 : Proceedings in Computational Statistics
Presents methodological developments in Applied/Computational Statistics. This work covers a range of topics including Advances ...
Lee masGPU-Based Interactive Visualization Techniques
This book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
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 ...
Lee masSublinear 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 ...
Lee mas
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 ...
Lee mas
