Results 231 to 240 of about 34,526 (257)

Visualization of the interaction between sphingomyelin and cholesterol in lipid bilayer membranes. [PDF]

Proc Natl Acad Sci U S A
Smothers JC, Nguyen CHB, Han Y, Li Y, Chen Z, Radhakrishnan A.   +5 more
europepmc   +1 more source

Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References [PDF]

Lecture Notes in Computer Science, 2008
We present a type-based deadlock-freedom verification for concurrent programs with non-block-structured lock primitives and mutable references. Though those two features are frequently used, they are not dealt with in a sufficient manner by previous verification methods.
Suenaga, Kohei
exaly   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

Blocking and locking during rotational magnetization reversal in ferromagnetic thin films

IEEE Transactions on Magnetics, 1973
A model describing quasi-static partial rotation and dynamic noncoherent rotation is presented and shown to agree with experiment. It is shown that, with applied field rise times longer than 1 ns, the ripple can be expected to relax in equilibrium with the rotating means magnetization. Magnetostatic stray fields prevent blocking from strongly affecting
H. Hoffmann, M. Kryder
openaire   +1 more source

“Block and Lock” HIV Persistence in Human Brain Myeloid Cells

2023
This study explores the potential of a BRD4-selective small molecule modulator (ZL0580) to “block and lock” HIV transcription in brain myeloid cells (BrMCs), a potential HIV reservoir, within the central nervous system (CNS). Primary microglia isolated from fresh autopsy brain tissue was used to test the effects of ZL0580 to block and lock HIV ...
openaire   +1 more source

A Review of Block and Lock Strategies to Cure HIV

Human Immunodeficiency Virus (HIV) is a virus that targets the human immune system. In the HIV life cycle, the virus fuses with the host cell, reverse transcribes the viral RNA into DNA, integrates the viral and host DNA together, transcribes the integrated DNA, and then produces viral particles and proteins that exit the host cell to create a new ...
Balci, Asya, Bandreddi, Meera, Chen, Nathan   +2 more
openaire   +1 more source

Locking without blocking

Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '92, 1992
Nonblocking algorithms for concurrent data structures guarantee that a data structure is always accessible. This is in contrast to blocking algorithms in which a slow or halted process can render part or all of the data structure inaccessible to other processes.This paper proposes a technique that can convert most existing lock-based blocking data ...
John Turek, Dennis E. Shasha, Sundeep Prakash   +2 more
openaire   +2 more sources

“Block and lock” viral integration sites in persons with drug-free control of HIV-1 infection

Current Opinion in HIV and AIDS
Purpose of review Elite controllers (ECs) and Posttreatment controllers (PTCs) represent a small subset of individuals who are capable of maintaining drug-free control of HIV plasma viral loads despite the persistence of a replication-competent viral reservoir.
Benjamin, Bone, Mathias, Lichterfeld
openaire   +2 more sources

DNA-PK, a target for the block and lock of HIV transcription

HIV infection and cocaine use are comorbid conditions that can amplify each other's detrimental effects on people with HIV (PWH) despite efficient antiretroviral therapy (ART), as ART is not effective in restricting transcription and latency-reactivation of HIV.
openaire   +1 more source

CBF-1-mediated block and lock to eradicate CNS reservoirs

Project Summary: Although the resting memory CD4+ T cells are the best-recognized long-lived reservoirs of latent HIV provirus, it is now well accepted that the myeloid cells, especially microglia are the major contributor to viral reservoirs in the central nervous system (CNS).
openaire   +1 more source