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
-
721
STILASI BUNGA PUKUL EMPAT SEBAGAI IDE PEMBUATAN MOTIF BATIK PADA OUTER
Published 2018Link Metadata
Book -
722
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata
Electronic eBook -
723
-
724
-
725
-
726
-
727
-
728
Functional Somatic Symptoms in Children and Adolescents A Stress-System Approach to Assessment and Treatment /
Published 2020Table of Contents: “…The Stress-System Model for Functional Somatic Symptoms -- 5. The Circadian Clock and Functional Somatic Symptoms -- 6. The Autonomic Nervous System and Functional Somatic Symptoms -- 7. …”
Link to Metadata
Electronic eBook -
729
-
730
-
731
-
732
-
733
-
734
-
735
-
736
-
737
-
738
Beyond 100: The Next Century in Geodesy Proceedings of the IAG General Assembly, Montreal, Canada, July 8-18, 2019 /
Published 2022Table 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
Electronic eBook -
739
-
740