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