Results 51 to 60 of about 37,558,898 (309)
On Relaxing Metric Information in Linear Temporal Logic
, 2011 Metric LTL formulas rely on the next operator to encode time distances, whereas qualitative LTL formulas use only the until operator. This paper shows how to transform any metric LTL formula M into a qualitative formula Q, such that Q is satisfiable if ...
Furia, Carlo A., Spoletini, Paola
core +2 more sources
Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction [PDF]
, 2019 Global Navigation Satellite Systems (GNSS) are systems that continuously acquire data and provide position time series. Many monitoring applications are based on GNSS data and their efficiency depends on the capability in the time series analysis to ...
Cascarano, Pasquale +5 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Retinoblastoma (RB) is the most common pediatric ocular cancer, yet population‐based data on survival and risk factors remain limited. This study aimed to describe survival in a large national RB cohort and identify predictors of death and complications.
Samuel Sassine +14 more
wiley +1 more source
DISCRETE TIME PROCESS ALGEBRA: ABSOLUTE TIME, RELATIVE TIME AND PARAMETRIC TIME
Fundamenta Informaticae, 1997 We discuss the key notions of discrete time process algebra in the setting of ACP. Time is measured in discrete slices. The emphasis is on absolute, relative and parametric time notation. Note: Partial support received from ESPRIT Basic Research Action 7166, C0NCUR2.
Baeten, J.C.M., Bergstra, J.A.
openaire +3 more sources
, 2015 Conditional Simple Temporal Network (CSTN) is a constraint-based graph-formalism for conditional temporal planning. It offers a more flexible formalism than the equivalent CSTP model of Tsamardinos, Vidal and Pollack, from which it was derived mainly as ...
Comin, Carlo, Rizzi, Romeo
core +1 more source
Time-dependent mass of cosmological perturbations in the hybrid and dressed metric approaches to loop quantum cosmology [PDF]
, 2018 Loop quantum cosmology has recently been applied in order to extend the analysis of primordial perturbations to the Planck era and discuss the possible effects of quantum geometry on the cosmic microwave background.
de Blas, Daniel Martín +2 more
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Objective To evaluate selumetinib exposure using therapeutic drug monitoring (TDM) in pediatric patients with neurofibromatosis type 1 (NF1) and plexiform neurofibromas (PN), assess interpatient pharmacokinetic variability, and explore the relationship between drug exposure, clinical response, and adverse effects.
Janka Kovács +8 more
wiley +1 more source
Photonics, 2021 A polarization-insensitive recirculating delayed self-heterodyne method (PI-RDSHM) is proposed and demonstrated for the precise measurement of sub-kilohertz laser linewidths. By a unique combination of Faraday rotator mirrors (FRMs) in an interferometer,
Jing Gao +8 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background and Aims Wilms tumour (WT) has excellent event‐free and overall survival (OS). However, small differences exist between countries participating in the same international study. This led us to examine variation in adherence to protocol recommendations as a potential contributing factor.
Suzanne Tugnait +23 more
wiley +1 more source
Application of Bagging and Boosting Methods for Heart Disease Classification
Journal of Applied Computer Science and TechnologyCardiovascular disease remains a primary contributor to global mortality, underscoring the urgent need for accurate and early diagnostic tools. This study aims to develop a robust classification model for heart disease by conducting a comparative ...
Yehezkiel E.A Parapak +2 more
doaj +1 more source