Results 101 to 110 of about 104,454 (340)
Strategies as Concurrent Processes
Electronic Notes in Theoretical Computer Science, 2014 AbstractConcurrent strategies are shown to support operations yielding an economic yet rich higher-order concurrent process language, which shares features both with process calculi and nondeterministic dataflow. Its operational semantics and ‘may and must’ equivalence require that we take internal (neutral) moves seriously, leading to the introduction
Castellan, Simon +3 more
openaire +5 more sources
Molecular Oncology, EarlyView.This article advocates integrating temporal dynamics into cancer research. Rather than relying on static snapshots, researchers should increasingly consider adopting dynamic methods—such as live imaging, temporal omics, and liquid biopsies—to track how tumors evolve over time.
Gautier Follain +3 more
wiley +1 more source
Application of social game context to teaching mutual exclusion
Automatika, 2018 Mutual exclusion mechanisms, like semaphore and monitor, are fundamental tools used by software engineers to solve the race condition problem, ensure barrier, and achieve other workflow patterns.
Miroslav Popović +2 more
doaj +1 more source
Inhibitor of DNA binding‐1 is a key regulator of cancer cell vasculogenic mimicry
Molecular Oncology, EarlyView.Elevated expression of transcriptional regulator inhibitor of DNA binding 1 (ID1) promoted cancer cell‐mediated vasculogenic mimicry (VM) through regulation of pro‐angiogenic and pro‐cancerous genes (e.g. VE‐cadherin (CDH5), TIE2, MMP9, DKK1). Higher ID1 expression also increased metastases to the lung and the liver.
Emma J. Thompson +11 more
wiley +1 more source
Truly Concurrent Bisimilarities are Game Equivalent [PDF]
arXiv, 2019 We design games for truly concurrent bisimilarities, including strongly truly concurrent bisimilarities and branching truly concurrent bisimilarities, such as pomset bisimilarities, step bisimilarities, history-preserving bisimilarities and hereditary history-preserving bisimilarities.
arxiv
Molecular Oncology, EarlyView.Alectinib resistance in ALK+ NSCLC depends on treatment sequence and EML4‐ALK variants. Variant 1 exhibited off‐target resistance after first‐line treatment, while variant 3 and later lines favored on‐target mutations. Early resistance involved off‐target alterations, like MET and NF2, while on‐target mutations emerged with prolonged therapy.
Jie Hu +11 more
wiley +1 more source
Theoretical Computer Science, 1983 AbstractThe purpose of this paper is twofold: to give a precise notion of a realization for simulation of one concurrent system by another, and to study the relations of modular concurrent systems and non-persistent (i.e. with conflicts) concurrent systems in an automatatheoretical style.We will introduce a conception of realization that obeys three ...
openaire +2 more sources
Ubiquitination of transcription factors in cancer: unveiling therapeutic potential
Molecular Oncology, EarlyView.In cancer, dysregulated ubiquitination of transcription factors contributes to the uncontrolled growth and survival characteristics of tumors. Tumor suppressors are degraded by aberrant ubiquitination, or oncogenic transcription factors gain stability through ubiquitination, thereby promoting tumorigenesis.
Dongha Kim, Hye Jin Nam, Sung Hee Baek
wiley +1 more source
Concurrent Models for Function Execution [PDF]
arXiv, 2011 We derive an abstract computational model from a sequential computational model that is generally used for function execution. This abstract computational model allows for the concurrent execution of functions. We discuss concurrent models for function execution as implementations from the abstract computational model.
arxiv
Concurrency specification using Event-based Specification Chart [PDF]
Computer Science Journal of Moldova, 2012 Architecting framework proposed in [1] can be used efficiently for developing concurrency-intensive systems only if there exist languages and tools corresponding to the described concepts.
Dumitru Ciorba, Victor Besliu
doaj