Results 41 to 50 of about 37,558,898 (309)
Partially Punctual Metric Temporal Logic is Decidable
Metric Temporal Logic $\mathsf{MTL}[\until_I,\since_I]$ is one of the most studied real time logics. It exhibits considerable diversity in expressiveness and decidability properties based on the permitted set of modalities and the nature of time interval
Krishna, Shankara Narayanan +2 more
core +1 more source
ABSTRACT Blinatumomab has been shown to be highly effective for patients with pediatric B‐ALL and has recently become standard of care therapy. Due to its past use in the clinical trial setting, there is limited information available about real‐world administration.
Katelyn Oranges +12 more
wiley +1 more source
Experimental Evaluation of the Blackbody Radiation Shift in the Cesium Atomic Fountain Clock
The cesium atomic fountain clock is the world’s most accurate microwave atomic clock. The uncertainty of blackbody radiation (BBR) shift accounts for an increasingly large percentage of the uncertainty associated with fountain clocks and has become a key
Fan Yang +10 more
doaj +1 more source
A Modal Logic for Subject-Oriented Spatial Reasoning [PDF]
We present a modal logic for representing and reasoning about space seen from the subject\u27s perspective. The language of our logic comprises modal operators for the relations "in front", "behind", "to the left", and "to the right" of the subject ...
Walega, Przemyslaw Andrzej +1 more
core +1 more source
Clinical Insights Into Hypercalcemia of Malignancy in Childhood
ABSTRACT Hypercalcemia of malignancy (HCM) is a rare but life‐threatening metabolic emergency in children that occurs in less than 1% of pediatric cancer cases, with a reported incidence ranging from 0.4% to 1.0% across different studies. While it is observed in 10%–20% of adult malignancies, pediatric HCM remains relatively uncommon.
Hüseyin Anıl Korkmaz
wiley +1 more source
Developing a National Climate Adaptation Framework for the Design of Moisture-Resilient Buildings
Risk assessment for moisture safety—particularly in the context of future climate scenarios—is not yet a routine component of building design practices.
Tore Kvande, Berit Time
doaj +1 more source
Precision measurement of transverse velocity distribution of a strontium atomic beam
We measure the transverse velocity distribution in a thermal Sr atomic beam precisely by velocity-selective saturated fluorescence spectroscopy. The use of an ultrastable laser system and the narrow intercombination transition line of Sr atoms mean that ...
F. Gao +7 more
doaj +1 more source
Recent Advances Concerning the 87Sr Optical Lattice Clock at the National Time Service Center
We review recent experimental progress concerning the 87Sr optical lattice clock at the National Time Service Center in China. Hertz-level spectroscopy of the 87Sr clock transition for the optical lattice clock was performed, and closed-loop operation of
Yebing Wang +4 more
doaj +1 more source
Real‐time and dynamic time transfer method based on double‐differenced real‐time kinematic mode
In this study, a real‐time and dynamic time transfer method based on double‐differenced (DD) real‐time kinematic (RTK) mode is proposed. First, the method forms the DD observations of Global Navigation Satellite System (GNSS) to fix the DD ambiguity, and
Rui Tu +7 more
doaj +1 more source
This essay explores South African artist William Kentridge’s multimedia installation The Refusal of Time, first exhibited at documenta (13) in 2012. In the material surrounding this installation, Kentridge and Peter Galison interrogate the history of time’s material invention as a European system of imperial domination, one that gathered the planet ...
openaire +2 more sources

