Search results
Pages
-
-
-
Compilation of a precise regional geoid
-
Author(s):
-
Vanĩcek, Kleusberg, Martinec, Sun, Ong, Najafi, Vajda, Harrie, Tomãšek, ter Horst
-
Discipline:
-
Geodesy & Geomatics
-
Discipline:
-
Geodesy & Geomatics
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
-
Some aspects of Kalman filtering
-
Author(s):
-
Salzmann
-
Discipline:
-
Geodesy & Geomatics
-
Discipline:
-
Geodesy & Geomatics
-
Type:
-
Technical Report
-
-
In hydrography and surveying the use of kinematic positioning techniques is nowadays very common. An optimal estimate of...
-
-
-
Access and privacy of distributed land related information
-
Author(s):
-
Anderson
-
Discipline:
-
Geodesy & Geomatics
-
Discipline:
-
Geodesy & Geomatics
-
Date:
-
1992
-
Type:
-
Technical Report
-
-
As information technology evolves and the perception of the value of information changes, the legal solutions designed to...
-
-
-
MOSAA developer's guide
-
Author(s):
-
Wang, Nickerson, Lees
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1996
-
Type:
-
Technical Report
-
-
MOSAA (Molecular Spectroscopic Assignment Assistant) is a knowledge-based system that can assist physicists in spectroscopic...
-
-
-
Seahats land trials
-
Author(s):
-
Peters
-
Discipline:
-
Geodesy & Geomatics
-
Discipline:
-
Geodesy & Geomatics
-
Date:
-
1984
-
Type:
-
Technical Report
-
-
-
Merge Path Improvements for Minimal Model Hyper Tableaux
-
Author(s):
-
Baumgartner, Horton, Spencer
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1998
-
Type:
-
Technical Report
-
-
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with...
-
-
-
Design and analysis of vectorized Monte Carlo codes
-
Author(s):
-
Sarno, Bhavsar, Banerjee
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
1989
-
Type:
-
Technical Report
-
-
Vectorized Monte Carlo codes use a set of vectors, generally referred to as a stack in the literature, to hold the attribute...
-
-
-
Detecting Cascade Vulnerability in Linear Time
-
Author(s):
-
Horton
-
Discipline:
-
Computer Science
-
Discipline:
-
Computer Science
-
Date:
-
2000
-
Type:
-
Technical Report
-
-
The cascade vulnerability detection problem asks whether an opponent can use interconnections to pass data improperly across...
Pages
Zircon - This is a contributing Drupal Theme
Design by
WeebPal.