Results 11 to 20 of about 1,240,536 (266)
, 2012 TLA+ is a specification language based on standard set theory and temporal logic that has constructs for hierarchical proofs. We describe how to write TLA+ proofs and check them with TLAPS, the TLA+ Proof System. We use Peterson's mutual exclusion algorithm as a simple example to describe the features of TLAPS and show how it and the Toolbox (an IDE ...
Cousineau, Denis +5 more
openaire +4 more sources
Coalition-proof equilibrium [PDF]
, 1996 We characterize the agreements that the players of a noncooperative game may reach when they can communicate prior to play, but they cannot reach binding agreements: A coalition-proo[ equilibrium is a correlated strategy from which no coalition has an ...
Moreno, Diego, Wooders, John
core +1 more source
Foundations and Trends® in Theoretical Computer Science, 2016 Quantum information and computation provide a fascinating twist on the notion of proofs in computational complexity theory. For instance, one may consider a quantum computational analogue of the complexity class NP, known as QMA, in which a quantum state plays the role of a proof (also called a certificate or witness), and is checked by a polynomial ...
Vidick, Thomas, Watrous, John
openaire +3 more sources
Proof-theoretic Semantics and Tactical Proof
CoRR, 2023 submitted
Alexander V. Gheorghiu, David J. Pym
openaire +2 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
, 1995 We describe proof planning, a technique for the global control of search in automatic theorem proving. A proof plan captures the common patterns of reasoning in a family of similar proofs and is used to guide the search for new proofs in this family ...
Bundy, Alan
core
Science of Computer Programming, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Curtis, S, Lowe, G
openaire +2 more sources
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Proof in dynamic geometry contexts [PDF]
, 1998 Proof lies at the heart of mathematics yet we know from research in mathematics education that proof is an elusive concept for many mathematics students.
Hoyles, Celia, Jones, Keith
core
Proof Outlines as Proof Certificates: A System Description [PDF]
, 2015 International audienceWe apply the foundational proof certificate (FPC) framework to the problem of designing high-level outlines of proofs. The FPC framework provides a means to formally define and check a wide range of proof evidence.
Roberto Blanco +3 more
core +1 more source