Results 81 to 90 of about 17,423 (281)
Molecular Oncology, EarlyView.Beyond its role in immune evasion, this study identified that CD47 drives tumor‐intrinsic signaling in non‐small cell lung cancer (NSCLC). Transcriptomic profiling and functional studies revealed that CD47 regulates cell adhesion, migration, and metastasis through an ERK–EMT signaling axis.
Asa P.Y. Lau +8 more
wiley +1 more source
Interrupt Timed Automata: verification and expressiveness [PDF]
, 2012 We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single processor environment.
A Cimatti +40 more
core +5 more sources
Revisiting reachability in timed automata [PDF]
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017 We revisit a fundamental result in real-time verification, namely that the binary reachability relation between configurations of a given timed automaton is definable in linear arithmetic over the integers and reals. In this paper we give a new and simpler proof of this result, building on the well-known reachability analysis of timed automata ...
Karin Quaas +2 more
openaire +4 more sources
Molecular Oncology, EarlyView.Radiotherapy (RT) response depends on the DNA repair capacity of tumor and host cells. We show that circulating tumor cell (CTC) counts and apoptosis rates before and after RT predict treatment response and outcome, which can be accessed via easily accessible liquid biopsy approaches. Created in BioRender. Wikman, H.
Yvonne Goy +10 more
wiley +1 more source
Abstraction of Dynamical Systems by Timed Automata [PDF]
Modeling, Identification and Control, 2011 To enable formal verification of a dynamical system, given by a set of differential equations, it is abstracted by a finite state model. This allows for application of methods for model checking. Consequently, it opens the possibility of carrying out the
Rafael Wisniewski, Christoffer Sloth
doaj +1 more source
Fluid Model Checking of Timed Properties [PDF]
, 2015 We address the problem of verifying timed properties of Markovian models of large populations of interacting agents, modelled as finite state automata.
Bortolussi, Luca, Lanciani, Roberta
core +2 more sources
Theoretical Computer Science, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rajeev Alur, David L. Dill
openaire +1 more source
Molecular Oncology, EarlyView.We identify USP29 as the only DUB mirroring CA9 expression, a marker of hypoxia and HIF pathway activation associated with PCA aggressiveness. USP29 stabilizes HIF‐1α and HIF‐2α via a noncanonical mechanism that is independent of PHD/pVHL activity yet relies on proteasomal regulation, establishing USP29 as a previously unrecognized regulator of hypoxic
Amelie S Schober +16 more
wiley +1 more source
On Interleaving in Timed Automata [PDF]
, 2006 We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the union of all zones reached by different interleavings of the same set of transitions is convex.
Ramzi Ben Salah +2 more
openaire +1 more source