Search Results - "CLOCK"
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 13
- Biology, life sciences 10
- Clocks and watches 9
- Technology: general issues 9
- History of engineering & technology 8
- Medicine 8
- Physics 6
- Computer science 4
- History 4
- Humanities 4
- Software Engineering 4
- Theory of Computation 4
- Astrophysics 3
- Compilers (Computer programs) 3
- Compilers and Interpreters 3
- Computer Engineering and Networks 3
- Computer engineering 3
- Computer networks 3
- Endocrinology 3
- Neurosciences 3
- Software engineering 3
- String instruments 3
- African history 2
- Artificial Intelligence 2
- Artificial intelligence 2
- Botany & plant sciences 2
- Central government 2
- Child and Adolescence Psychology 2
- Classical music (c 1750 to c 1830) 2
- Clock and watch making 2
-
741
-
742
-
743
-
744
-
745
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 2023Table 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 -
746
-
747
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2023Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata
Electronic eBook -
748
-
749
-
750
-
751
-
752
-
753
-
754
-
755
-
756
-
757
-
758
-
759
Recent Advances in Chemical Kinetics
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
760