adaptive  (8.338 Angebote unter 28.269.698 Artikeln)

Invited Talks.- The Essence of Programming Languages.- Safe Code - It's Not Just for Applets Anymore.- Computing with Distributed Resources.- The Verifying Compiler: A Grand Challenge for Computing...

There is no more fundamental substance to life on earth than water. Three quarter of the Earth's surface is covered by either saltwater or freshwater, yet millions face a daily struggle to access e...

Population genomics is a rapidly emerging field that has the potential to transform our understanding of how evolutionary forces shape genomic diversity among microbes.  There have already been con...

Tutorials.- Monte Carlo and Quasi-Monte Carlo for Statistics.- Monte Carlo Computation in Finance.- Invited Articles.- Particle Markov Chain Monte Carlo for Efficient Numerical Simulation.- Computa...

In addition to describing core concepts and principles, this book reveals professional methodologies and tools used by national agencies and private corporations to predict sites' potential for win...

Foundations of Semantic Web Reasoning.- Composing Frameworks and Components for Families of Semantic Web Applications.- Semantic Web Logic Programming Tools.- Web Rules Need Two Kinds of Negation.-...

Comparative Ultrastructure of the Retina in Fish, Monkey and Man.- Topographie Relationship between Neurons, Synapses and Glia Cells.- Electrical Activity of Single Neurons in the Frog's Retina.- T...

Aerospace Industry.- Some Applications of Mathematics in Aeronautics and Perspectives (invited paper).- Small Satellites for Deep Space Operation -- a Challenge to Optimal Control.- Numerical Compu...

Eyes and Ears for Computers -- A Review.- Nicht-Boolesche Wahrscheinlichkeitsmaße für Teilraummethoden in der Zeichenerkennung.- Automatic Synthesis of Minimal Algorithms from Samples of their Beha...

It has always been ESO's aim to operate the VLT in an interferometric mode (VLTI) which allows the coherent combination of stellar light beams col lected by the four 8-m telescopes and by several s...

Calibration, Pose Estimation and Depth.- Self-calibration with Partially Known Rotations.- A Combined Approach for Estimating Patchlets from PMD Depth Images and Stereo Intensity Images.- View-Base...

Invited Papers.- The Complexity of Real Recursive Functions.- Hypercomputation in the Chinese Room.- Very Large Scale Spatial Computing.- The Minimum-Model DNA Computation on a Sequence of Probe Ar...

This book summarizes the results of a multimethod project on school development performed during the COVID-19 pandemic. It combines innovative theoretical approaches and findings as well as long-te...

Session 1: Querying.- On Tree Pattern Query Rewriting Using Views.- Querying Capability Modeling and Construction of Deep Web Sources.- Optimization of Bounded Continuous Search Queries Based on Ra...