Results 21 to 30 of about 53,156,886 (365)
GNSS rapid precise point positioning enhanced by low Earth orbit satellites
Satellite Navigation, 2023 The Low Earth Orbit (LEO) satellites can be used to effectively speed up Precise Point Positioning (PPP) convergence. In this study, 180 LEO satellites with a global distribution are simulated to evaluate their contribution to the PPP convergence.
Ju Hong +7 more
doaj +1 more source
Time-LLM: Time Series Forecasting by Reprogramming Large Language Models [PDF]
International Conference on Learning Representations, 2023 Time series forecasting holds significant importance in many real-world dynamic systems and has been extensively studied. Unlike natural language process (NLP) and computer vision (CV), where a single large model can tackle multiple tasks, models for ...
Ming Jin +10 more
semanticscholar +1 more source
Model Checking CTL is Almost Always Inherently Sequential [PDF]
, 2009 The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of negations—restrictions already ...
Beyersdorff, Olaf +6 more
core +4 more sources
Efforts towards a low-temperature-sensitive physics package for vapor cell atomic clocks
Satellite Navigation, 2020 Strong environmental dependence is an intractable problem for vapor cell clocks, for which the high-temperature sensitivity of the physics package is considered one of the dominant reasons.
Qiang Hao +5 more
doaj +1 more source
Sustainable Urban Drainage Systems: Themes of Public Perception—A Case Study
Land, 2022 Climate adaptation measures address the challenges that densification and climate change impose on the urban environment. Sustainable urban drainage system (SUDS) constructs include the introduction of natural elements, such as riparian buffers ...
Bridget Thodesen +2 more
doaj +1 more source
Applied Sciences, 2022 Accurately manipulating quantum states is a fundamental strategy for improving the performance of quantum metrology, computing, and simulation. However, the quantum state is susceptible to dephasing due to the temperature and density of the atomic ...
Feng Guo +3 more
doaj +1 more source
Distributional Energy-Momentum Densities of Schwarzschild Space-Time [PDF]
, 1997 For Schwarzschild space-time, distributional expressions of energy-momentum densities and of scalar concomitants of the curvature tensors are examined for a class of coordinate systems which includes those of the Schwarzschild and of Kerr-Schild types as
Eisaku Sakane +2 more
core +3 more sources
Improved Conflict Detection for Graph Transformation with Attributes [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In graph transformation, a conflict describes a situation where two alternative transformations cannot be arbitrarily serialized. When enriching graphs with attributes, existing conflict detection techniques typically report a conflict whenever at least ...
Géza Kulcsár +4 more
doaj +1 more source
Applied Sciences, 2020 The Zeeman shift plays an important role in the evaluation of optical lattice clocks since a strong bias magnetic field is applied for departing Zeeman sublevels and defining a quantization axis.
Xiaotong Lu +4 more
doaj +1 more source
Bounded Reachability for Temporal Logic over Constraint Systems [PDF]
, 2010 We present CLTLB(D), an extension of PLTLB (PLTL with both past and future operators) augmented with atomic formulae built over a constraint system D. Even for decidable constraint systems, satisfiability and Model Checking problem of such logic can be ...
Bersani, Marcello M. +5 more
core +2 more sources