Results 101 to 110 of about 6,254,795 (351)

EMeth: An EM algorithm for cell type decomposition based on DNA methylation data

Scientific Reports, 2021
We introduce a new computational method named EMeth to estimate cell type proportions using DNA methylation data. EMeth is a reference-based method that requires cell type-specific DNA methylation data from relevant cell types.
Hanyu Zhang, Ruoyi Cai, James Dai, Wei Sun   +3 more
doaj   +1 more source

Effects of the Competency-based Integrated Training (CBIT) on the Secondary School English Teachers’ Self-efficacy Beliefs [PDF]

, 2008
This paper discusses findings of a survey about the effect of Competency-based Integrated training (CBIT) initiated by the Indonesian MoNE on the secondary school English teachers’ self efficacy beliefs for curriculum implementation in Yogyakarta ...
Basikin, Basikin
core  

Linearizability with Ownership Transfer [PDF]

, 2012
Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and its client, with interactions limited to passing values of a given data type.
A. Gotsman, D. Amit, D.G. Clarke, S. Burckhardt, T. Elmas, T. Harris, V. Vafeiadis   +6 more
core   +5 more sources

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

Evaluation of intrafraction couch shifts for proton treatment delivery in head‐and‐neck cancer patients: Toward optimal imaging frequency

Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022
Abstract Purpose Treatment planning for head‐and‐neck (H&N) cancer, in particular oropharynx, nasopharynx, and paranasal sinus cases, at our center requires noncoplanar proton beams due to the complexity of the anatomy and target location. Targeting accuracy for all beams is carefully evaluated by using image guidance before delivering proton beam ...
Nrusingh C. Biswal, Dario B. Rodrigues, Weiguang Yao, Jason K. Molitoris, Matthew E. Witek, Shifeng Chen   +5 more
wiley   +1 more source

Modular Type-Safety Proofs using Dependant Types [PDF]

arXiv, 2012
While methods of code abstraction and reuse are widespread and well researched, methods of proof abstraction and reuse are still emerging. We consider the use of dependent types for this purpose, introducing a completely mechanical approach to proof composition.
arxiv  

Parameterized Verification under TSO with Data Types [PDF]

arXiv, 2023
We consider parameterized verification of systems executing according to the total store ordering (TSO) semantics. The processes manipulate abstract data types over potentially infinite domains. We present a framework that translates the reachability problem for such systems to the reachability problem for register machines enriched with the given ...
arxiv  

Subpar reporting of pre‐analytical variables in RNA‐focused blood plasma studies

Molecular Oncology, EarlyView.
Pre‐analytical variables strongly influence the analysis of extracellular RNA (cell‐free RNA; exRNA) derived from blood plasma. Their reporting is essential to allow interpretation and replication of results. By evaluating 200 exRNA studies, we pinpoint a lack of reporting pre‐analytical variables associated with blood collection, plasma preparation ...
Céleste Van Der Schueren, Philippe Decruyenaere, Francisco Avila Cobos, Johanna Bult, Jill Deleu, Laudonia Lidia Dipalo, Hetty Hilde Helsmoortel, Eva Hulstaert, Annelien Morlion, Elena Ramos Varas, Kathleen Schoofs, Wim Trypsteen, Eveline Vanden Eynde, Hanne Van Droogenbroeck, Kimberly Verniers, Jo Vandesompele, Anneleen Decock   +16 more
wiley   +1 more source

Image quality improvement in low‐dose chest CT with deep learning image reconstruction

Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022
Abstract Objectives To investigate the clinical utility of deep learning image reconstruction (DLIR) for improving image quality in low‐dose chest CT in comparison with 40% adaptive statistical iterative reconstruction‐Veo (ASiR‐V40%) algorithm. Methods This retrospective study included 86 patients who underwent low‐dose CT for lung cancer screening ...
Qian Tian, Xinyu Li, Jianying Li, Yannan Cheng, Xinyi Niu, Shumeng Zhu, Wenting Xu, Jianxin Guo   +7 more
wiley   +1 more source

Type specimens of true bugs (Hemiptera: Heteroptera) housed in the Museu de Zoologia da Universidade de São Paulo, Brazil [PDF]

Papéis Avulsos de Zoologia
This paper provides a record of the type specimens of Heteroptera (Insecta: Hemiptera) housed in the Museu de Zoologia da Universidade de São Paulo, Brazil (MZUSP), with information on 65 primary types and 316 secondary types.
Renan Carrenho, Higor D.D. Rodrigues, Adriana Carneiro de Lima, Cristiano F. Schwertner   +3 more
doaj   +2 more sources