Search Results - Clock Opera~

SISTEM OTOMATISASI PERANGKAT LISTRIK RUMAH BERBASIS OPENWRT LINUX by Pratama, Azhar

Link Metadata

Beyond 100: The Next Century in Geodesy Proceedings of the IAG General Assembly, Montreal, Canada, July 8-18, 2019 /

Table of Contents: “…Part I: Reference Systems and Frames -- Towards an International Height Reference Frame Using Clock Networks -- Towards the realization of the International Height Reference Frame (IHRF) in Argentina -- Comparing Vienna CRF solutions to Gaia-CRF2 -- Co-Location of Space Geodetic Techniques: Studies on Intra-Technique Short Baselines -- Status of IGS Reprocessing Activities at GFZ -- A Wavelet-based Outlier Detection and Noise Component Analysis for GNSS Position Time Series -- Part II: Gravity field modelling -- International Combination Service for Time-variable Gravity Fields (COST-G) - Start of operational phase and future perspectives -- LUH-GRACE2018: a new time series of monthly gravity field solutions from GRACE -- A Precise Geoid Model for Africa: AFRgeo2019 -- Part III: Earth rotation and geodynamics -- A first assessment of the corrections for the consistency of the IAU2000 and IAU2006 precession-nutation models -- Report of the IAU/IAG Joint Working Group on Theory of Earth rotation andvalidation -- Achievements of the first 4 years of the International Geodynamics and Earth Tide Service (IGETS) 2015 - 2019 -- Inter-comparison of ground gravity and vertical height measurements at collocated IGETS stations -- Part IV: Multi-Signal Positioning, Remote Sensing and Applications -- A Benchmarking Measurement Campaign to Support Ubiquitous Localization in GNSS Denied and Indoor Environments -- A method to correct the raw Doppler observations for GNSS velocity determination -- Assessment of a GNSS/INS/Wi-Fi Tight-Integration Method Using Support Vector Machine and Extended Kalman Filter -- Enhancing navigation in difficult environments with low-cost, dual-frequency GNSS PPP and MEMS IMU -- Part V: Monitoring and Understanding the Dynamic Earth with Geodetic Observations -- Water Depletion and Land Subsidence in Iran using Gravity, GNSS, InSAR and Precise Levelling Data -- Past and future sea level changes and land uplift in the Baltic Sea seen by geodetic observations -- Estimation ofLesser Antilles vertical velocity fields using a GNSS-PPP software comparison -- Time variations of the vertical component in Japanese GEONET GNSS sites -- An approximate method to simulate post-seismic deformations in a realistic Earth model -- Geodetic monitoring of the variable surface 1 deformation in Latin America -- Progress in GTEWS ground displacement measurements and tsunami warning -- Part VI: Geodesy for Atmospheric and Hydrospheric Climate Research (IAG, IAMAS, IACS, IAPSO) -- Characterization of the Upper Atmosphere from Neutral and Electron Density Observations -- Tropospheric products from high-level GNSS processing in Latin America -- Can vertical GPS displacements serve as proxies for climate variability in North America? …”
Link to Metadata

A systematic review of the sleep, sleepiness, and performance implications of limited wake shift work schedules by Michelle A Short, Alexandra Agostini, Kurt Lushington, Jillian Dorrian

Connect to this object online.

An Effective Test (EOmciSS) for Screening Older Adults With Mild Cognitive Impairment in a Community Setting: Development and Validation Study by Jingsong Wu, Jingnan Tu, Zhizhen Liu, Lei Cao, Youze He, Jia Huang, Jing Tao, Mabel N K Wong, Lidian Chen, Tatia M C Lee, Chetwyn C H Chan

Connect to this object online.

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...

Table 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

Design and simulation of serial peripheral interface core with APB interfacing / Muhammad Hafeez Sabparie ... [et al.] by Sabparie, Muhammad Hafeez, Noorsal, Emillia, Sulaiman, Suhana, Saparon, Azilah

Link Metadata

History without Chronology by Tanaka, Stefan

DOAB: download the publication
DOAB: description of the publication

History without Chronology by Tanaka, Stefan

OAPEN Library: download the publication
OAPEN Library: description of the publication

The Erard Grecian Harp in Regency England by Poulopoulos, Panagiotis

DOAB: download the publication
DOAB: description of the publication

Kairos study protocol: a multidisciplinary approach to the study of school timing and its effects on health, well-being and students' performance by Daniel Gabaldón-Estevan, Diego Carmona-Talavera, Belén Catalán-Gregori, Elena Mañas-García, Vanessa Martin-Carbonell, Lucía Monfort, Elvira Martinez-Besteiro, Mònica González-Carrasco, María Jesús Hernández-Jiménez, Kadri Täht, Marta Talavera, Ana Ancheta-Arrabal, Guillermo Sáez, Guillermo Sáez, Nuria Estany, Gonzalo Pin-Arboledas, Catia Reis, Catia Reis, Catia Reis

Connect to this object online.

The Erard Grecian Harp in Regency England by Poulopoulos, Panagiotis

DOAB: download the publication
DOAB: description of the publication

Impact of Daylight Saving Time on the Clinical Laboratory by Alexandra Ehlers BS, MT (ASCP), Richard L. Dyson BS, MS, Christina K. Hodgson MD, Scott R. Davis AAS, MLT (ASCP), Matthew D. Krasowski MD, PhD

Connect to this object online.

The Erard Grecian Harp in Regency England by Poulopoulos, Panagiotis

OAPEN Library: download the publication
OAPEN Library: description of the publication