Results 71 to 80 of about 53,156,886 (365)
FEBS Letters, EarlyView.Metabolic dysfunction‐associated steatotic liver disease (MASLD) affects nearly one‐third of the global population and poses a significant risk of progression to cirrhosis or liver cancer. Here, we discuss the roles of hepatic dendritic cell subtypes in MASLD, highlighting their distinct contributions to disease initiation and progression, and their ...
Camilla Klaimi +3 more
wiley +1 more source
The model checking fingerprints of CTL operators
, 2015 The aim of this study is to understand the inherent expressive power of CTL operators. We investigate the complexity of model checking for all CTL fragments with one CTL operator and arbitrary Boolean operators.
Krebs, Andreas +2 more
core +1 more source
Simple Algorithm for Simple Timed Games [PDF]
, 2008 version 1.1We propose a subclass of timed game automata (TGA), called Task TGA, representing networks of communicating tasks where the system can choose when to start the task and the environment can choose the duration of the task.
Abdeddaim, Yasmina +2 more
core +4 more sources
Time scale for the onset of Fickian diffusion in supercooled liquids [PDF]
, 2005 We propose a quantitative measure of a time scale on which Fickian diffusion sets in for supercooled liquids and use Brownian Dynamics computer simulations to determine the temperature dependence of this onset time in a Lennard-Jones binary mixture. The time for the onset of Fickian diffusion ranges between 6.5 and 31 times the $\alpha$ relaxation time
arxiv +1 more source
Time-Aware Q-Networks: Resolving Temporal Irregularity for Deep Reinforcement Learning [PDF]
arXiv, 2021 Deep Reinforcement Learning (DRL) has shown outstanding performance on inducing effective action policies that maximize expected long-term return on many complex tasks. Much of DRL work has been focused on sequences of events with discrete time steps and ignores the irregular time intervals between consecutive events.
arxiv
Development of Compact and Robust Physical System for Strontium Optical Lattice Clock
Applied SciencesCompact and robust optical clocks are significant in scientific research and engineering. Here, we present a physical system for a strontium atomic optical clock with dimensions of 465 mm × 588 mm × 415 mm and a weight of 66.6 kg. To date, this is one of
Yingxin Chen +7 more
doaj +1 more source
Preliminary Analysis of Intersystem Biases in BDS-2/BDS-3 Precise Time and Frequency Transfer
Remote Sensing, 2022 The Chinese BeiDou global satellite system (BDS-3) and regional system (BDS-2) are predicted to coexist over the next decade. Intersystem biases (ISBs) in BDS-2/BDS-3 play a key role in maintaining the consistency and continuity from the BDS-2 to BDS-3 ...
Pengfei Zhang +5 more
doaj +1 more source
Insights into PI3K/AKT signaling in B cell development and chronic lymphocytic leukemia
FEBS Letters, EarlyView.This Review explores how the phosphoinositide 3‐kinase and protein kinase B pathway shapes B cell development and drives chronic lymphocytic leukemia, a common blood cancer. It examines how signaling levels affect disease progression, addresses treatment challenges, and introduces novel experimental strategies to improve therapies and patient outcomes.
Maike Buchner
wiley +1 more source
Constraint-Based Qualitative Simulation
, 2005 We consider qualitative simulation involving a finite set of qualitative relations in presence of complete knowledge about their interrelationship.
Apt, Krzysztof R., Brand, Sebastian
core +2 more sources
An integrated first-order theory of points and intervals : expressive power in the class of all linear orders [PDF]
, 2012 There are two natural and well-studied approaches to temporal ontology and reasoning, that is, pointbased and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals.
Conradie, Willem +2 more
core +1 more source