Results 81 to 90 of about 104,454 (340)

Abstraction for Concurrent Objects [PDF]

Theoretical Computer Science, 2009
AbstractConcurrent data structures are usually designed to satisfy correctness conditions such as sequential consistency or linearizability. In this paper, we consider the following fundamental question: What guarantees are provided by these conditions for client programs?
Filipovic, I, O’Hearn, P, Rinetzky, N, Yang, H   +3 more
openaire   +5 more sources

Robust acute myeloid leukemia engraftment in humanized scaffolds using injectable biomaterials and intravenous xenotransplantation

Molecular Oncology, EarlyView.
Patient‐derived xenografts (PDXs) can be improved by implantation of a humanized niche. We tested different biomaterials and approaches, and demonstrate that the combination of an injectable biomaterial for scaffold creation plus an intravenous route for acute myeloid leukemia (AML) xenotransplantation provide the most convenient and robust approach to
Daniel Busa, Zdenka Herudkova, Jan Hyl, Jakub Vlazny, Filip Sokol, Kvetoslava Matulova, Adam Folta, Jakub Hynst, Lucy Vojtova, Leos Kren, Martin Repko, Zdenek Racil, Jiri Mayer, Martin Culen   +13 more
wiley   +1 more source

Quantum Entanglement in Heisenberg Antiferromagnets [PDF]

Phys. Rev. A69, 022311 (2004), 2003
Entanglement sharing among pairs of spins in Heisenberg antiferromagnets is investigated using the concurrence measure. For a nondegenerate S=0 ground state, a simple formula relates the concurrence to the diagonal correlation function. The concurrence length is seen to be extremely short. A few finite clusters are studied numerically, to see the trend
arxiv   +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

Structure of concurrency

Theoretical Computer Science, 1993
AbstractNoninterleaving models of concurrency assume that behavioural properties of systems can be adequately modelled in terms of causal partial orders. We claim that the structure of concurrency is richer, with causality being only one of the invariants generated by a set of closely related executions or observations.
Maciej Koutny, Ryszard Janicki
openaire   +2 more sources

Peripheral blood leukocyte signatures as biomarkers in relapsed ovarian cancer patients receiving combined anti‐CD73/anti‐PD‐L1 immunotherapy in arm A of the NSGO‐OV‐UMB1/ENGOT‐OV30 trial

Molecular Oncology, EarlyView.
Using mass cytometry, we analyzed serial blood samples from patients with relapsed epithelial ovarian cancer (EOC) treated with oleclumab–durvalumab combination immunotherapy in the NSGO‐OV‐UMB1/ENGOT‐OV30 trial. Our analysis identified potential predictive, monitoring, and response biomarkers detectable through liquid biopsy. These findings facilitate
Luka Tandaric, Annika Auranen, Katrin Kleinmanns, René DePont Christensen, Liv Cecilie Vestrheim Thomsen, Cara Ellen Wogsland, Emmet McCormack, Johanna Mäenpää, Kristine Madsen, Karen Stampe Petersson, Mansoor Raza Mirza, Line Bjørge   +11 more
wiley   +1 more source

Concurrence classes for an arbitrary multi-qubit state based on positive operator valued measure [PDF]

J. Phys. A: Math. Gen. 38 (2005) 11007-11017, 2005
In this paper, we propose concurrence classes for an arbitrary multi-qubit state based on orthogonal complement of a positive operator valued measure, or POVM in short, on quantum phase. In particular, we construct concurrence for an arbitrary two-qubit state and concurrence classes for the three- and four-qubit states. And finally, we construct $W^{m}$
arxiv   +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

Thermal proteome profiling and proteome analysis using high‐definition mass spectrometry demonstrate modulation of cholesterol biosynthesis by next‐generation galeterone analog VNPP433‐3β in castration‐resistant prostate cancer

Molecular Oncology, EarlyView.
Elevated level of cholesterol is positively correlated to prostate cancer development and disease severity. Cholesterol‐lowering drugs, such as statins, are demonstrated to inhibit prostate cancer. VNPP433‐3β interrupts multiple signaling and metabolic pathways, including cholesterol biosynthesis, AR‐mediated transcription of several oncogenes, mRNA 5′
Retheesh S. Thankan, Elizabeth Thomas, Mehari M. Weldemariam, Puranik Purushottamachar, Weiliang Huang, Maureen A. Kane, Yuji Zhang, Nicholas Ambulos, Bi‐Dar Wang, David Weber, Vincent C. O. Njar   +10 more
wiley   +1 more source

Weakly True Concurrency and Its Logic [PDF]

arXiv, 2016
We firstly find the existence of silent event $\tau$ in true concurrency (named weakly true concurrency) by defining weakly true concurrent behaviors and weakly true concurrent logics. Based on Paolo Baldan and Silvia Crafa's comprehensive work on (strongly) true concurrency, we find the correspondence between weakly true concurrent equivalences and ...
arxiv