Results 41 to 50 of about 991,008 (302)

A Real Time Optimistic Strategy to achieve Concurrency Control in Mobile Environments Using On-demand Multicasting [PDF]

International Journal of Wireless & Mobile Networks 2.2 (2010) 172-185, 2010
In mobile database environments, multiple users may access similar data items irrespective of their physical location leading to concurrent access anomalies. As disconnections and mobility are the common characteristics in mobile environment, performing concurrent access to a particular data item leads to inconsistency.
arxiv   +1 more source

Serialisable Multi-Level Transaction Control: A Specification and Verification [PDF]

Sci. Comput. Program. 131: 42-58 (2016), 2017
We define a programming language independent controller TaCtl for multi-level transactions and an operator $TA$, which when applied to concurrent programs with multi-level shared locations containing hierarchically structured complex values, turns their behavior with respect to some abstract termination criterion into a transactional behavior. We prove
arxiv   +1 more source

Unlocking the potential of tumor‐derived DNA in urine for cancer detection: methodological challenges and opportunities

Molecular Oncology, EarlyView.
Urine is a rich source of biomarkers for cancer detection. Tumor‐derived material is released into the bloodstream and transported to the urine. Urine can easily be collected from individuals, allowing non‐invasive cancer detection. This review discusses the rationale behind urine‐based cancer detection and its potential for cancer diagnostics ...
Birgit M. M. Wever, Renske D. M. Steenbergen   +1 more
wiley   +1 more source

A comparative study of circulating tumor cell isolation and enumeration technologies in lung cancer

Molecular Oncology, EarlyView.
Lung cancer cells were spiked into donor blood to evaluate the recovery rates of the following circulating tumor cell (CTC) enrichment technologies: CellMag™, EasySep™, RosetteSep™, Parsortix® PR1, and Parsortix® Prototype systems. Each method's advantages and disadvantages are described.
Volga M Saini, Ezgi Oner, Mark P. Ward, Sinead Hurley, Brian David Henderson, Faye Lewis, Stephen P. Finn, Gerard J. Fitzmaurice, John J. O'Leary, Sharon O'Toole, Lorraine O'Driscoll, Kathy Gately   +11 more
wiley   +1 more source

Cell‐free and extracellular vesicle microRNAs with clinical utility for solid tumors

Molecular Oncology, EarlyView.
Cell‐free microRNAs (cfmiRs) are small‐RNA circulating molecules detectable in almost all body biofluids. Innovative technologies have improved the application of cfmiRs to oncology, with a focus on clinical needs for different solid tumors, but with emphasis on diagnosis, prognosis, cancer recurrence, as well as treatment monitoring.
Yoshinori Hayashi, Janelle‐Cheri Millen, Romela Irene Ramos, Jennifer A. Linehan, Timothy G. Wilson, Dave S. B. Hoon, Matias A. Bustos   +6 more
wiley   +1 more source

EEMARQ: Efficient Lock-Free Range Queries with Memory Reclamation [PDF]

arXiv, 2022
Multi-Version Concurrency Control (MVCC) is a common mechanism for achieving linearizable range queries in database systems and concurrent data-structures. The core idea is to keep previous versions of nodes to serve range queries, while still providing atomic reads and updates.
arxiv  

Combined spatially resolved metabolomics and spatial transcriptomics reveal the mechanism of RACK1‐mediated fatty acid synthesis

Molecular Oncology, EarlyView.
The authors analyzed the spatial distributions of gene and metabolite profiles in cervical cancer through spatial transcriptomic and spatially resolved metabolomic techniques. Pivotal genes and metabolites within these cases were then identified and validated.
Lixiu Xu, Jinqiu Li, Junqi Ma, Ayshamgul Hasim   +3 more
wiley   +1 more source

Efficient State Synchronization in Distributed Electrical Grid Systems Using Conflict-Free Replicated Data Types

IoT
Modern electrical grids are evolving towards distributed architectures, necessitating efficient and reliable state synchronization mechanisms to maintain structural and functional consistency.
Arsentii Prymushko, Ivan Puchko, Mykola Yaroshynskyi, Dmytro Sinko, Hryhoriy Kravtsov, Volodymyr Artemchuk   +5 more
doaj   +1 more source

Lazy State Determination: More concurrency for contending linearizable transactions [PDF]

arXiv, 2020
The concurrency control algorithms in transactional systems limits concurrency to provide strong semantics, which leads to poor performance under high contention. As a consequence, many transactional systems eschew strong semantics to achieve acceptable performance.
arxiv  

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