Results 111 to 120 of about 96,976 (366)

Admissibility in Concurrent Games [PDF]

, 2017
In this paper, we study the notion of admissibility for randomised strategies in concurrent games. Intuitively, an admissible strategy is one where the player plays 'as well as possible', because there is no other strategy that dominates it, i.e., that wins (almost surely) against a superset of adversarial strategies.
Basset, Nicolas, Geeraerts, Gilles, Raskin, Jean-François, Sankur, Ocan   +3 more
openaire   +6 more sources

Concurrency in Synchronous Systems [PDF]

Formal Methods in System Design, 2004
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of correct-by-construction communication protocols for globally asynchronous, locally synchronous (GALS) systems.
Potop-Butucaru, Dumitru, Caillaud, Benoit, Benveniste, Albert   +2 more
openaire   +8 more sources

Highly multiplexed digital PCR assay for simultaneous quantification of variant allele frequencies and copy number alterations of KRAS and GNAS in pancreatic cancer precursors

Molecular Oncology, EarlyView.
Combining melting curve analysis enhances the multiplexing capability of digital PCR. Here, we developed a 14‐plex assay to simultaneously measure single nucleotide mutations and amplifications of KRAS and GNAS, which are common driver genes in pancreatic cancer precursors. This assay accurately quantified variant allele frequencies in clinical samples
Junko Tanaka, Tatsuo Nakagawa, Yusuke Ono, Yoshio Kamura, Takeshi Ishida, Hidemasa Kawabata, Kenji Takahashi, Hiroki Sato, Andrew S. Liss, Yusuke Mizukami, Takahide Yokoi   +10 more
wiley   +1 more source

Quantum discord and entanglement in grover search algorithm

Open Physics, 2016
Imperfections and noise in realistic quantum computers may seriously affect the accuracy of quantum algorithms. In this article we explore the impact of static imperfections on quantum entanglement as well as non-entangled quantum correlations in Grover ...
Ye Bin, Zhang Tingzhong, Qiu Liang, Wang Xuesong   +3 more
doaj   +1 more source

Concurrence of extracellular vesicle enrichment and metabolic switch visualized label-free in the tumor microenvironment

Science Advances, 2017
Label-free molecular imaging of the tumor microenvironment interrelates well-known events in carcinogenesis across spatial scales. Understanding the role of the tumor microenvironment in carcinogenesis has reshaped cancer research.
H. Tu, Y. Liu, M. Marjanovic, E. Chaney, Sixian You, Youbo Zhao, S. Boppart   +6 more
semanticscholar   +1 more source

Monogamy relations of concurrence for any dimensional quantum systems [PDF]

Quantum Information Processing, 2017
We study monogamy relations for arbitrary dimensional multipartite systems. Monogamy relations based on concurrence and concurrence of assistance for any dimensional $$m_1\otimes m_2\otimes \cdots \otimes m_{N}$$m1⊗m2⊗⋯⊗mN quantum states are derived ...
Xue-Na Zhu, X. Li-Jost, S. Fei
semanticscholar   +1 more source

Multidimensional OMICs reveal ARID1A orchestrated control of DNA damage, splicing, and cell cycle in normal‐like and malignant urothelial cells

Molecular Oncology, EarlyView.
Loss of the frequently mutated chromatin remodeler ARID1A, a subunit of the SWI/SNF cBAF complex, results in less open chromatin, alternative splicing, and the failure to stop cells from progressing through the cell cycle after DNA damage in bladder (cancer) cells. Created in BioRender. Epigenetic regulators, such as the SWI/SNF complex, with important
Rebecca M. Schlösser, Florian Krumbach, Eyleen Corrales, Geoffroy Andrieux, Christian Preisinger, Franziska Liss, Alexandra Golzmann, Melanie Boerries, Kerstin Becker, Ruth Knüchel, Stefan Garczyk, Bernhard Lüscher   +11 more
wiley   +1 more source

Tuberculosis and liver fluke infection: An expressional analysis for common antioxidative pathway

Biomedical and Biotechnology Research Journal, 2020
Background: Tuberculosis is a common medical problem seen in several areas of the world including Indochina. The concurrence of tuberculosis with other tropical infections is possible.
Rujittika Mungmunpuntipantip, Viroj Wiwanitkit   +1 more
doaj   +1 more source

Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software [PDF]

arXiv, 2019
Rust is a popular programming language in building various low-level software in recent years. It aims to provide safe concurrency when implementing multi-threaded software through a suite of compiler checking rules. Unfortunately, there is limited understanding of how the checking rules influence the safety of concurrent programming in Rust ...
arxiv  

A Concurrent Pattern Calculus [PDF]

Logical Methods in Computer Science, 2014
Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pattern matching to pattern unification, interaction becomes symmetrical, with information flowing in both directions.
Given-Wilson, Thomas, Gorla, Daniele, Jay, Barry   +2 more
openaire   +10 more sources