Results 31 to 40 of about 1,174,960 (285)
Reasoned modelling critics: turning failed proofs into modelling guidance
, 2011 The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major barrier to the wider acceptance of formalism within design. Here we propose
Abrial +19 more
core +1 more source
Practical Theory Extension in Event-B [PDF]
, 2013 . The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas ...
Butler, Michael, Maamria, Issam
core +1 more source
Exact computation for existence of a knot counterexample
Applied General Topology, 2019 Previously, numerical evidence was presented of a self-intersecting Bezier curve having the unknot for its control polygon. This numerical demonstration resolved open questions in scientic visualization, but did not provide a formal proof of self ...
K. Marinelli, T. J. Peters
doaj +1 more source
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The sequent calculus is a formalism for proving validity of statements formulated in First-Order Logic. It is routinely used in computer science modules on mathematical logic.
Arno Ehle +2 more
doaj +1 more source
Improvement and formal proof on protocol Otway-Rees
Tongxin xuebao, 2012 Choosing the authentication key distribution protocol Otway-Rees as the research object,using protocol composition logic (PCL) as proof tool,the security protocol analysis and formal proof was studied.Firstly,this paper gave the forms of security attack ...
Lai-feng LU, Xin-dong DUAN, Jian-feng MA
doaj +2 more sources
Formal Proofs About Rewriting Using ACL2 [PDF]
Annals of Mathematics and Artificial Intelligence, 2002 Ministerio de Educación y Ciencia TIC2000-1368-CO3 ...
Ruiz Reina, José Luis +3 more
openaire +4 more sources
Molecular Oncology, EarlyView.Single circulating tumor cells (sCTCs) from high‐grade serous ovarian cancer patients were enriched, imaged, and genomically profiled using WGA and NGS at different time points during treatment. sCTCs revealed enrichment of alterations in Chromosomes 2, 7, and 12 as well as persistent or emerging oncogenic CNAs, supporting sCTC identity.
Carolin Salmon +9 more
wiley +1 more source
Putting the burden of proof in its place: When are differential allocations legitimate? [PDF]
, 2008 It is widely assumed that legitimate differential allocations of the burden of proof are ubiquitous: that in all cases in which opposing views are being debated, one side has the responsibility of proving their claim and if they fail, the opposing view ...
Dare, Tim, Kingsbury, Justine
core +2 more sources
Molecular Oncology, EarlyView.We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source
Formal Proof of a Machine Closed Theorem in Coq
Journal of Applied Mathematics, 2014 The paper presents a formal proof of a machine closed theorem of TLA+ in the theorem proving system Coq. A shallow embedding scheme is employed for the proof which is independent of concrete syntax.
Hai Wan +3 more
doaj +1 more source