Results 31 to 40 of about 117,066,488 (245)

Mutation testing from probabilistic finite state machines [PDF]

, 2007
Mutation testing traditionally involves mutating a program in order to produce a set of mutants and using these mutants in order to either estimate the effectiveness of a test suite or to drive test generation.
Robert M. Hierons, Mercedes G. Merayo, Hierons, RM, Merayo, MG   +3 more
core   +1 more source

Incentives in Diabetic Eye Assessment by Screening (IDEAS) trial: a three-armed randomised controlled trial of financial incentives

Health Services and Delivery Research, 2017
Background: The UK national diabetic eye screening (DES) programme invites diabetic patients aged > 12 years annually. Simple and cost-effective methods are needed to increase screening uptake.
Gaby Judah, Ara Darzi, Ivo Vlaev, Laura Gunn, Derek King, Dominic King, Jonathan Valabhji, Lisa Bishop, Adrian Brown, Grant Duncan, Anna Fogg, Gemma Harris, Peter Tyacke, Colin Bicknell   +13 more
doaj   +1 more source

Differential expression of cancer‐related genes supports prediction of poor response to first‐line treatments in T‐ALL pediatric patients with high minimal residual disease

Molecular Oncology, EarlyView.
In the present work, we have identified a transcriptional signature based on the differential expression of six genes (BCL2&MAST4, HSH2D&LAT2, METRN&PITPNM2) that would facilitate the early detection of T‐cell acute lymphoblastic leukemia (T‐ALL) patients prone to a poor treatment response and could be implemented at diagnosis, along with other risk ...
Antonio Lahera, Laura Vela‐Martín, Pablo Fernández‐Navarro, José Luis López‐Lorenzo, Javier Cornago, Pilar Llamas, Eduardo Pérez‐Gómez, José Luis Marín‐Rubio, Manuel Fresno, Javier Santos, José Fernández‐Piqueras, María Villa‐Morales   +11 more
wiley   +1 more source

Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023

, 2023
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies,
Formal Methods in Computer Aided Design
core   +1 more source

Transcriptional profiling of circulating extracellular vesicles from prebiopsy prostate cancer patients

Molecular Oncology, EarlyView.
RNA profiling of circulating extracellular vesicles (EVs) from blood samples of men undergoing prostate biopsy identifies transcripts associated with clinically significant prostate cancer. Integrative analysis with public tumor datasets links EV‐derived gene signatures to tumor stage and progression‐free survival, highlighting CASP3, XRCC2, and RIT1 ...
Stefan Werner, Pierre Tennstedt, Randi C. Pose, Christian Müller, Katharina Besler, Svenja Schneegans, Malik Alawi, Marie C. Roesch, Sven Peine, Desiree Bonci, Joanna Budna‐Tukan, Evi Lianidou, Catherine Alix‐Panabières, Derya Tilki, Klaus Pantel   +14 more
wiley   +1 more source

Verification tools for probabilistic forecasts of continuous hydrological variables [PDF]

, 2006
In the present paper we describe some methods for verifying and evaluating probabilistic forecasts of hydrological variables. We propose an extension to continuous-valued variables of a verification method originated in the meteorological literature for ...
Tamea, Stefania, Laio, F., F. Laio, Tamea, S., Laio, Francesco, S. Tamea   +5 more
core   +2 more sources

Developmental programmes drive cellular plasticity, disease progression and therapy resistance in lung adenocarcinoma

Molecular Oncology, EarlyView.
This study shows that lung adenocarcinomas exploit developmental branching morphogenesis to acquire a therapy resistant basal‐like tumour cell state. This process was found to be regulated by combined TP53 loss‐of‐function and type‐I interferon signalling, identifying a novel axis for biomarker and therapeutic target discovery.
Kamila J Bienkowska, Stephany Gallardo, Nur S. Zainal, Leena Arora, Matthew Ellis, Maria‐Antoinette Lopez, Judith Austine, Sai Pittla, Serena J Chee, Aiman Alzetani, Emily C Shaw, Christian H Ottensmeier, Gareth J Thomas, Christopher J Hanley   +13 more
wiley   +1 more source

Spatial and single‐nuclei transcriptomics reveals idiosyncratic and generic patterns in papillary and anaplastic thyroid cancers

Molecular Oncology, EarlyView.
Matched spatial transcriptomics and single‐nuclei RNA‐seq were generated for anaplastic and BRAFV600E papillary thyroid cancers revealing generic and tumor‐specific states occurring in cancer cells and in the tumor microenvironment. In this context, cancer dedifferentiation mirrored organoid maturation through ordered thyroid marker gain/loss ...
Adrien Tourneur, Joel Rodrigues Vitória, Manuel Saiselet, Ligia Craciun, Denis Larsimont, Anne Lefort, Frédérick Libert, Carine Maenhaut, Sabine Costagliola, Maxime Tarabichi, Mirian Romitti, Vincent Detours   +11 more
wiley   +1 more source

Proceedings of Formal Methods in Computer Aided Design, FMCAD 2009 [PDF]

, 2009
Table of Contents: Preface (p. v) -- Organizing Committee (p. vii) -- Program Committee (p. vii) -- Referees (p. ix) -- Keynote Presentations (p. x) -- Tutorials (p. xii) -- Industrial Experience Reports (p. xiv) -- Panels (p. xvii) -- Session 1.
Formal Methods in Computer Aided Design
core   +1 more source

Antea Group Archeologie 2020/137

, 2022
In juli en september 2020 heeft Antea Group in opdracht van BNVB Projects B.V. een archeologisch onderzoek uitgevoerd voor het plangebied ‘Grutterij 7-9’ te Amstelveen, gemeente Amstelveen.
Looveren, V. van (Antea Group)
core   +1 more source