K-frame

Results: 106



#Item
51Cartography / Measurement / EUREF Permanent Network / Regional Reference Frame Sub-Commission for Europe / Baseline / Canton of Bern / Error analysis for the Global Positioning System / Root mean square / Global Positioning System / Geodesy / Technology / GPS

314 Comparison of the BERNESE and GIPSY/OASIS II Software Systems Using EUREF Data K. KANIUTH1, C. VÖLKSEN2

Add to Reading List

Source URL: www.euref.eu

Language: English - Date: 2003-11-27 07:10:29
52Technology / Regional Reference Frame Sub-Commission for Europe / EUREF Permanent Network / Global Positioning System / Geodetic network / Differential GPS / World Geodetic System / Geodetic system / Satellite navigation / Geodesy / Cartography / Measurement

National Report of Bulgaria G. MILEV1, M. MINCHEV2, K. VASSILEVA1, T. TASHKOV3, G. PETROV3, G. VALEV4, T. BELJASHKI5 Abstract The main activities on the EUREF have been outlined. The operation of the permanent station, n

Add to Reading List

Source URL: www.euref.eu

Language: English - Date: 2003-11-27 07:19:03
53Cartography / EUREF Permanent Network / Regional Reference Frame Sub-Commission for Europe / Barometer / Earth tide / Atmospheric pressure / Geoid / Global Positioning System / Datum / Geodesy / Measurement / Technology

1 Modelling Vertical Site Displacements due to Atmospheric Pressure Loading with the Bernese Software ! A Demonstration Using EUREF Data ! K. KANIUTH, S. HUBER1

Add to Reading List

Source URL: www.euref.eu

Language: English - Date: 2011-05-23 11:22:40
54Measurement / Regional Reference Frame Sub-Commission for Europe / European Terrestrial Reference System / GLONASS / Global Positioning System / Normalhöhennull / Differential GPS / Geodetic system / Datum / Geodesy / Cartography / Technology

256 National Report of Germany on EUREF J. IHDE1, K. PAHLER2, M. SACHER1, G. WEBER1 pates in the supply of the necessary precise GPS satellite orbits by the “International GPS Service (IGS)”. Precise

Add to Reading List

Source URL: www.euref.eu

Language: English - Date: 2003-11-27 07:09:39
55Indian society / Mut / Vicks Sinex / Gamit / Asia / Geodesy / States and territories of India / Regional Reference Frame Sub-Commission for Europe

EPN Local Analysis Centres Workshop, Brussels – May 15 – 16, 2013 MUT LAC Report K. Szafranek, A. Araszkiewicz, M. Figurski

Add to Reading List

Source URL: epncb.oma.be

Language: English - Date: 2013-05-22 04:35:18
56Technology / Navigation / Surveying / Special relativity / Global Positioning System / Nuclear command and control / Kinematics / Regional Reference Frame Sub-Commission for Europe / Frame of reference / Geodesy / Physics / Cartography

205 Slovak Terrestrial Reference Frame SKTRF 2001 – Its Computation and Connection to the EUREF – M. KLOBUŠIAK, K. LEITMANNOVÁ, Š. PRIAM, D. FERIANC1 Abstract

Add to Reading List

Source URL: www.euref.eu

Language: English - Date: 2003-11-27 07:09:19
57Domes / Radar / Radome / EUREF Permanent Network / Regional Reference Frame Sub-Commission for Europe / Choke ring antenna / Antenna / Error analysis for the Global Positioning System / Global Positioning System / Technology / Geodesy / GPS

97 An Assessment of Radome Effects on Height Estimates in the EUREF Network K. KANIUTH, S. HUBER1

Add to Reading List

Source URL: www.euref.eu

Language: English - Date: 2003-11-27 07:08:38
58Logic in computer science / Boolean algebra / Boolean satisfiability problem / Electronic design automation / P-complete / Temporal logic / Frame problem / Cook–Levin theorem / Theoretical computer science / Applied mathematics / Mathematics

Reasoning about A c t i o n in Polynomial T i m e T h o m a s D r a k e n g r e n and M a r c u s B j a r e l a n d Department of Computer and Information Science Link6ping University, S[removed]Linkoping, Sweden email: {

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-01-24 05:33:24
59Epistemology / Frame problem / Theoretical computer science / Situation calculus / Science / Predicate transformer semantics / Event calculus / Logic programming / Knowledge representation / Artificial intelligence

Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-01-24 05:34:02
60Connection / Vector bundles / Fiber bundles / Differential topology / Vector-valued differential form / Frame bundle / Covariant derivative / Differentiable manifold / Differential form / Differential geometry / Mathematical analysis / Algebra

Journal of Functional Analysis 183, 42108[removed]doi:[removed]jfan[removed], available online at http:www.idealibrary.com on Heat Equation Derivative Formulas for Vector Bundles Bruce K. Driver 1 Department of Mathema

Add to Reading List

Source URL: www.math.ucsd.edu

Language: English - Date: 2006-06-20 08:28:54
UPDATE