Search Results - "Machine"

Refine Results
  1. 11281
  2. 11282
  3. 11283
  4. 11284
  5. 11285

    Geodesy for a Sustainable Earth Proceedings of the 2021 Scientific Assembly of the International Association of Geodesy, Beijing, China, June 28 - July 2, 2021 /

    Published 2023
    Table of Contents: “…-- Assessing Molodensky's Heights: A Rebuttal -- On the Accuracy of Geoid Heights Derived from Discrete GNSS/Levelling Data Using Kriging Interpolation -- Gravimetric Geoid Modeling by Stokes and Second Helmert's Condensation Method in Yogyakarta, Indonesia -- A Geodetic Determination of the Gravitational Potential Difference Toward a 100-km-scale Clock Frequency Comparison in a Plate Subduction Zone -- Validation of the Hellenic Gravity Network in the Frame of the ModernGravNet Project -- Global Gravity Field Modeling -- Combined Gravity Solution from SLR and GRACE/GRACE-FO -- Contribution of LARES SLR Data to Co-estimated Earth Geopotential Coefficients -- Determination and Combination of Monthly Gravity Field Time Series from Kinematic Orbits of GRACE, GRACE-FO and Swarm -- Topographic Gravity Field Modelling for Improving High-Resolution Global Gravity Field Models -- The Benefit of Accelerometers Based on Cold Atom Interferometry for Future Satellite Gravity Missions -- Kalman-Filter Based Hybridization of Classic and Cold Atom Interferometry Accelerometers for Future Satellite Gravity Missions -- Gravimetry by Nanoscale Parametric Amplifiers Driven by Radiation-Induced Dispersion Force Modulation -- Earth Rotation -- On the Improvement of Combined EOP Series by Adding 24-hour VLBI Sessions to VLBI Intensives and GNSS Data -- Investigating the Relationship Between Length of Day and El-Niño Using Wavelet Coherence Method -- Estimation of Earth Rotation Parameter UT1 from Lunar Laser Ranging Observations -- Surface Deformation Monitoring -- Determination of a GNSS-Based Velocity Field of the African Continent -- Vertical Land Motion at Tide Gauges Observed by GNSS: A New GFZ-TIGA Solution -- CyCLOPS: A National Integrated GNSS/InSAR Strategic Research Infrastructure for Monitoring Geohazards and Forming the Next Generation Datum of the Republic of Cyprus -- GNSS Positioning -- Dilution of Precision (DOP) Factors for Evaluating Observations to Galileo Satellites with VLBI -- On the Limits of State-of-the-Art GNSS Receivers in Frequency Transfer -- On the Effect of Antenna Calibration Errors on Geodetic Estimates: Investigation on Zero and Double Difference Approaches -- Estimation and Calibration of Codephase Center Correction Using the Empirical Mode Decomposition -- On the Potential of Image Similarity Metrics for Comparing Phase Center Corrections -- Multipath Characterization Using Ray-Tracing in Urban Trenches -- Bounding the Residual Tropospheric Error by Interval Analysis -- Precise Orbit Determination of CubeSats Using Proposed Observations Weighting Model -- Geodetic Atmospheric and Remote Sensing -- Optimal TEC Forecast Models Based on Machine Learning and Time Series Analysis Techniques - A Preliminary Study on the Ring of Fire -- Sensitivity of Shipborne GNSS Troposphere Retrieval to Processing Parameters -- Application of the Total Variation Method in Near Real-Time GNSS Tropospheric Tomography -- Comparison of the Effective Isotropic Radiated Power Parameter in CYGNSS v2.1 and v3.0 Level 1 Data and Its Impact on Soil Moisture Estimation -- Cross-Polarization Correction for Soil Moisture Retrieval Using GNSS SNR Data.…”
    Link to Metadata
    Electronic eBook
  6. 11286
  7. 11287
  8. 11288
  9. 11289
  10. 11290
  11. 11291
  12. 11292
  13. 11293
  14. 11294
  15. 11295
  16. 11296
  17. 11297

    Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2023
    Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
    Link to Metadata
    Electronic eBook
  18. 11298
  19. 11299
  20. 11300