Search results

(1 - 20 of 65)

Pages

: Vision of Information Science Inspired by a New Representational Formalism
Author(s):: Goldfarb
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: A recently developed formalism for structural representation—called Evolving Transformations System (ETS)—is discussed as...

: A transformation approach to implementing aggregate operations
Author(s):: Middleton
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1979
Type:: Technical Report
: Some of the expressive power of certain programming languages depends on the provision of convenient means of operating on...

: Investigation on the analytical form of the transition matrix in inertial geodesy
Author(s):: Wong, Schwarz
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1979
Type:: Technical Report
: The error behavior of inertial survey systems can best be described by a system of differential equations. Its solution in...

: Reputation formalization for an information sharing multiagent system
Author(s):: Carter, Bitting, Ghorbani
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: We propose that through the formalization of concepts related to trust, a more accurate model of trust can be implemented....

: On a novel evolutionary based model for genome rearrangement
Author(s):: Korkin
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: The role of understanding the genome rearrangement is becoming more and more crucial in the modern life sciences. The new,...

: A method for astro-gravimetric geoid determination
Author(s):: Merry, Vanicek
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1974
Type:: Technical Report

: The stereographic double projection
Author(s):: Thomson, Mepham, Steeves
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1977
Type:: Technical Report

: A manual for geodetic coordinate transformations in the Maritime provinces
Author(s):: Krakiwsky, Thomson, Steeves
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1977
Type:: Technical Report

: Step by step methods for the numerical solution of Volterra integro-differential equations
Author(s):: Garey
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1976
Type:: Technical Report

: Interactive network design
Author(s):: Nickerson
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1979
Type:: Technical Report
: The availability of relatively inexpensive and powerful computer graphics terminals has inspired their application to...

: Determining Cliques of a Graph
Author(s):: Johnson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1975
Type:: Technical Report
: A generalization of the neighborhood of a vertex [7] is used to prove several results on the relation of a set of vertices of...

: Studies towards an astrogravimetric geoid for Canada
Author(s):: Merry
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1975
Type:: Technical Report
: The determination of geoidal heights from astrogeodetic deflections of the vertical is limited in reliability by the lack of...

: A driver for raster-like plotting devices
Author(s):: Gujar, Fitzgerald
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1976
Type:: Technical Report
: Electrostatic plotter type devices, CRT or hardcopy, are basically printers which allow the "paper" movement only in one...

: Counting the number of equivalent binary resolution proofs
Author(s):: Horton
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: A binary resolution proof is represented by a binary resolution tree (brt) with clauses at the nodes and resolutions being...

: A partition monitor for fast-batch-processing with limited execution (FABLE)
Author(s):: Emin
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1976
Type:: Technical Report
: FABLE is a sub-tasking monitor which was designed originally to execute as a problem program under IBM's OS/MFT-II (with sub...

: A device independent computer plotting system
Author(s):: Gujar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1976
Type:: Technical Report
: Almost every computing centre has a variety of plotting devices. Software available for these plotting devices is often...

: Orthogonal matrix package program (ORTMATPAC) for the WANG-700
Author(s):: Dorrer
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1973
Type:: Technical Report
: ORTMATPAC is a first attempt to make available to users of the WING 700 desk calculator a few routines for fundamental...

: Intersection of hyperbolae on the earth
Author(s):: Stuifbergen
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1980
Type:: Technical Report
: Several methods are discussed of solving for the point of intersection of a pair of hyperbolic lines of position as generated...

: The principal concepts for a long-term mapping program in the Maritime Provinces
Author(s):: Hamilton, Castonguay
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1978
Type:: Technical Report

: Doppler satellite control
Author(s):: Wells
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1974
Type:: Technical Report
: The application of the Transit Doppler satellite system to geodetic positioning, is investigated, using the operational...

Pages

Zircon - This is a contributing Drupal Theme
Design by WeebPal.