Results 91 to 100 of about 104,454 (340)

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

Coherence Concurrence for X States [PDF]

Quantum Inf Process 19, 104 (2020), 2020
We study the properties of coherence concurrence and present a physical explanation analogous to the coherence of assistance. We give an optimal pure state decomposition which attains the coherence concurrence for qubit states. We prove the additivity of coherence concurrence under direct sum operations in another way. Using these results, we calculate
arxiv  

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

ISOSCELES TRIANGLES ON THE SIDES OF A TRIANGLE

Human Research in Rehabilitation, 2019
Famous construction of Fermat-Toricelly point of a triangle leads to the question is there a similar way to construct other isogonic centers of a triangle in a similar way.
Sead Rešić, Alma Šehanović, Amila Osmić   +2 more
doaj   +1 more source

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

Escape from TGF‐β‐induced senescence promotes aggressive hallmarks in epithelial hepatocellular carcinoma cells

Molecular Oncology, EarlyView.
Chronic TGF‐β exposure drives epithelial HCC cells from a senescent state to a TGF‐β resistant mesenchymal phenotype. This transition is characterized by the loss of Smad3‐mediated signaling, escape from senescence, enhanced invasiveness and metastatic potential, and upregulation of key resistance modulators such as MARK1 and GRM8, ultimately promoting
Minenur Kalyoncu, Dilara Demirci, Sude Eris, Bengisu Dayanc, Ece Cakiroglu, Merve Basol, Merve Uysal, Gulcin Cakan‐Akdogan, Fang Liu, Mehmet Ozturk, Gökhan Karakülah, Serif Senturk   +11 more
wiley   +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  

ShcD adaptor protein drives invasion of triple negative breast cancer cells by aberrant activation of EGFR signaling

Molecular Oncology, EarlyView.
We identified adaptor protein ShcD as upregulated in triple‐negative breast cancer and found its expression to be correlated with reduced patient survival and increased invasion in cell models. Using a proteomic screen, we identified novel ShcD binding partners involved in EGFR signaling pathways.
Hayley R. Lau, Hayley S. Smith, Begüm Alural, Claire E. Martin, Laura A. New, Manali Tilak, Sara L. Banerjee, Hannah N. Robeson, Nicolas Bisson, Anne‐Claude Gingras, Jasmin Lalonde, Nina Jones   +11 more
wiley   +1 more source