Results 41 to 50 of about 2,046,692 (239)

Formal polytypic programs and proofs [PDF]

Journal of Functional Programming, 2010
Abstract The aim of our work is to be able to do fully formal, machine-verified proofs over Generic Haskell-style polytypic programs. In order to achieve this goal, we embed polytypic programming in the proof assistant Coq and provide an infrastructure for polytypic proofs ...
Wendy Verbruggen, Edsko de Vries, Arthur Hughes   +2 more
openaire   +4 more sources

Attitudes of cancer patients toward ctDNA‐based liquid biopsy for follow‐up

Molecular Oncology, EarlyView.
This mixed‐methods study explored cancer patients' experiences, knowledge, and preferences regarding ctDNA‐based liquid biopsy for follow‐up. Awareness of ctDNA was low and recall of previous liquid biopsy was imperfect, yet acceptance was high.
Siddharth Chhajlani, Laura Mariën, Caro De Weerdt, Sanne Wouters, Laure‐Anne Teuwen, Hans Prenen, Katleen Janssens, Timon Vandamme   +7 more
wiley   +1 more source

Developments in Formal Proofs

CoRR, 2014
This report describes three particular technological advances in formal proofs. The HOL Light proof assistant will be used to illustrate the design of a highly reliable system. Today, proof assistants can verify large bodies of advanced mathematics; and as an example, we turn to the formal proof in Coq of the Feit-Thompson Odd Order theorem in group ...
openaire   +3 more sources

Towards Formal Proof Script Refactoring [PDF]

, 2011
We propose proof script refactorings as a robust tool for constructing, restructuring, and maintaining formal proof developments. We argue that a formal approach is vital, and illustrate by defining and proving correct a number of valuable refactorings ...
Gudmund Grov, Aspinall, David, David Aspinall, Whiteside, Iain, Aspinall, David; id_orcid, Iain Whiteside, Lucas Dixon, Grov, Gudmund, Dixon, Lucas   +8 more
core   +1 more source

Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells

FEBS Open Bio, EarlyView.
Loss of AMBRA1 in melanoma cells activates multiple oncogenic pathways associated with tumor progression. Transcriptomic and protein network analyses revealed that AMBRA1 depletion enhances MAPK/ERK signaling, angiogenesis, TGF‐β/EMT signaling, and Wnt/axon guidance pathways.
Milad Ibrahim, Marco Corazzari, Iman Osman, Jane Armstrong, Noel Carter   +4 more
wiley   +1 more source

FABI: A Formal Analyzer of Binary Image Objects Identification Tools

IEEE Access
In computer vision, the goal of object identification in images is to track or count objects such as persons, cars, animals and so on. Object detection techniques have found their place in several applications such as video analytic, contact-less ...
Saima Iqbal, Ahmed B. Altamimi, Wilayat Khan, Mohammad Alsaffar, Aakash Ahmad, Fahad F. Alfaisal   +5 more
doaj   +1 more source

Comparison of geometric proof development tasks as set up in the textbook and as implemented by teachers in the classroom

Pythagoras, 2019
This qualitative case study examined similarities and differences between circle geometric proof development tasks set up in the Malawian Grade 11 mathematics textbook, and those that are set up and implemented by teachers in the classroom.
Lisnet Mwadzaangati
doaj   +1 more source

Isabelle’s Metalogic: Formalization and Proof Checker [PDF]

, 2021
AbstractIsabelle is a generic theorem prover with a fragment of higher-order logic as a metalogic for defining object logics. Isabelle also provides proof terms. We formalize this metalogic and the language of proof terms in Isabelle/HOL, define an executable (but inefficient) proof term checker and prove its correctness w.r.t. the metalogic.
Tobias Nipkow, Simon Roßkopf
openaire   +3 more sources

From patient advocacy to patient‐driven research: Building active partnerships beginning at the bench to reach the bedside

FEBS Open Bio, EarlyView.
Research is strongest when conducted alongside patients, not just about them. Patient research organizations help integrate patient perspectives into research priorities, study design, and scientific meetings, leading to meaningful patient outcomes and development of relevant therapies.
Jenica H. Kakadia, Rachel Heilmann, Maximiliano Barrientos, Laura MacNeill, Ingrid Vallee, Sarah K. Schultz, Patrick O'Donoghue, Angelica A. Moresco, Victoria M. Siu, Ilka U. Heinemann   +9 more
wiley   +1 more source

NORMAL FORMS OF THE FORMAL DIFFERENTIAL EQUATIONS

Pesquimat, 2014
In this paper, we resolve the problem of finding a formal change of coordinates between formal vector field and another more simple (its «canonical form»}.
Renato Mario Benazic Tomé, Soledad Ramírez Carrasco   +1 more
doaj   +1 more source