Results 71 to 80 of about 613,046 (357)

Domain theory for concurrency [PDF]

Theoretical Computer Science, 2003
A simple domain theory for concurrency is presented. Based on a categorical model of linear logic and associated comonads, it highlights the role of linearity in concurrent computation. Two choices of comonad yield two expressive metalanguages for higher-order processes, both arising from canonical constructions in the model.
Nygaard, M., Winskel, G.
openaire   +5 more sources

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, Emma L. Dorward, Kristyn Jurrius, Nathalie Nataren, Markus Tondl, Kay K. Myo Min, Michaelia P. Cockshell, Anahita Fouladzadeh, John Toubia, Mark DeNichilo, Delphine Merino, Claudine S. Bonder   +11 more
wiley   +1 more source

User-Centric Internet of Things and Controlled Service Scheduling Scheme for a Software-Defined Network

Applied Sciences
Mobile users can access vital real-time services through wireless paradigms like software-defined network (SDN) topologies and the Internet of Things. Point-of-contact-based infrastructures and dynamic user densities increase resource access and service ...
Mohd Anjum, Hong Min, Zubair Ahmed
doaj   +1 more source

MET and NF2 alterations confer primary and early resistance to first‐line alectinib treatment in ALK‐positive non‐small‐cell lung cancer

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, Ning Ding, Xiaobo Xu, Yedan Chen, Yong Zhang, Jingwen Liu, Jiebai Zhou, Hairong Bao, Donghui Zhang, Yijun Song, Yang Shao, Yuanlin Song   +11 more
wiley   +1 more source

Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms

Computers
Mutual exclusion is a fundamental problem in concurrent/parallel/distributed systems. The first pure-software solution to this problem for two processes, which is not based on hardware instructions like test-and-set, was proposed in 1965 by Th.J.
Libero Nigro, Franco Cicirelli, Francesco Pupo   +2 more
doaj   +1 more source

CIVL: the concurrency intermediate verification language

International Conference for High Performance Computing, Networking, Storage and Analysis, 2015
There are many ways to express parallel programs: message-passing libraries (MPI) and multithreading/GPU language extensions such as OpenMP, Pthreads, and CUDA, are but a few.
Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers   +7 more
semanticscholar   +1 more source

Concurrent and maximally concurrent evolution of nonsequential systems

Theoretical Computer Science, 1986
Two types of concurrent executions and their semantics are introduced and compared, namely the standard one (in the sense of Petri nets or interleaving approaches - ''execute as possible'') and that of maximally concurrent evolution (''execute as much as possible in parallel'').
Devillers R, Janicki R, Koutny M, Lauer PE   +3 more
openaire   +3 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

Staring into the Abyss: An Evaluation of Concurrency Control with One Thousand Cores

Proceedings of the VLDB Endowment, 2014
Computer architectures are moving towards an era dominated by many-core machines with dozens or even hundreds of cores on a single chip. This unprecedented level of on-chip parallelism introduces a new dimension to scalability that current database ...
Xiangyao Yu, George B. P. Bezerra, Andrew Pavlo, S. Devadas, M. Stonebraker   +4 more
semanticscholar   +1 more source

Determination of ADP/ATP translocase isoform ratios in malignancy and cellular senescence

Molecular Oncology, EarlyView.
The individual functions of three isoforms exchanging ADP and ATP (ADP/ATP translocases; ANTs) on the mitochondrial membrane remain unclear. We developed a method for quantitatively differentiating highly similar human ANT1, ANT2, and ANT3 using parallel reaction monitoring. This method allowed us to assess changes in translocase levels during cellular
Zuzana Liblova, Dominika Maurencova, Barbora Salovska, Marek Kratky, Tomas Mracek, Zuzana Korandova, Alena Pecinova, Pavla Vasicova, David Rysanek, Ladislav Andera, Ivo Fabrik, Rudolf Kupcik, Pavel Kashmel, Pinky Sultana, Vojtech Tambor, Jiri Bartek, Josef Novak, Marie Vajrychova, Zdenek Hodny   +18 more
wiley   +1 more source