„proof theory“

Suchergebnisse

1.000+ Treffer

• Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
  Foster, Simon ; Nemouchi, Yakoub ; Gleirscher, Mario ; Wei, Ran ; Kelly, Timothy
• Not quite the best response: truth-telling, strategy-proof matching, and the manipulation of others
  Guillén, Pablo ; Hakimov, Rustamdjan
• Application of a nonrandomized stepped wedge design to evaluate an evidence-based quality improvement intervention: a proof of concept using simulated data on patient-centered medical homes
  Huynh, Alexis K. ; Lee, Martin L. ; Farmer, Melissa M. ; Rubenstein, Lisa V.
• Participating in a Community of Learners enhances resident perceptions of learning in an e-mentoring program: proof of concept
  Obura, Timona ; Brant, William E. ; Miller, Fiona ; Parboosingh, I John
• A Proof of the Fusion Rules Theorem
  Liu, Jianqi
• Special section of Tests and Proofs 2016
  Aichernig, Bernhard K. ; Furia, Carlo A. ; Gaudel, Marie-Claude ; Hierons, Rob
• Mechanized proofs of opacity: a comparison of two techniques
  Derrick, John ; Doherty, Simon ; Dongol, Brijesh ; Schellhorn, Gerhard ; Travkin, Oleg ; Wehrheim, Heike
• Real analysis - an introduction – mathematical arguments and elementary proof techniques
  Cullinane, Michael 2025 De Gruyter
• GraphTrials: Visual Proofs of Graph Properties
  Förster, Henry ; Klesen, Felix ; Dwyer, Tim ; Eades, Peter ; Hong, Seok-Hee ; Kobourov, Stephen ; Liotta, Giuseppe ; Misue, Kazuo ; Montecchiani, Fabrizio ; Pastukhov, Alexander ; Schreiber, Falk 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• GraphTrials – Visual Proofs of Graph Properties
  Förster, Henry ; Klesen, Felix ; Dwyer, Tim ; Eades, Peter ; Hong, Seok-Hee ; Kobourov, Stephen ; Liotta, Giuseppe ; Misue, Kazuo ; Montecchiani, Fabrizio ; Pastukhov, Alexander ; Schreiber, Falk 2024 KOPS Universität Konstanz
• Empirical risk analysis of mining a Proof-of-Work blockchain
  Albrecher, Hansjörg ; Finger, Dina ; Goffard, Pierre-Olivier
• Shortening the Current Opioid Misuse Measure via computer-based testing: a retrospective proof-of-concept study
  Finkelman, Matthew D. ; Kulich, Ronald J. ; Zoukhri, Driss ; Smits, Niels ; Butler, Stephen F.
• A proof of principle for using adaptive testing in routine Outcome Monitoring: the efficiency of the Mood and Anxiety Symptoms Questionnaire -Anhedonic Depression CAT
  Smits, Niels ; Zitman, Frans G. ; Cuijpers, Pim ; den Hollander-Gijsman, Margien E. ; Carlier, Ingrid VE
• A new statistical method for curve group analysis of longitudinal gene expression data illustrated for breast cancer in the NOWAC postgenome cohort as a proof of principle
  Lund, Eiliv ; Holden, Lars ; Bøvelstad, Hege ; Plancade, Sandra ; Mode, Nicolle ; Günther, Clara-Cecilie ; Nuel, Gregory ; Thalabard, Jean-Christophe ; Holden, Marit
• Logic – Foundations, the P-vs-NP-Problem and Information-Theoretic Perspectives
  Sina, Lucien 2025 epubli
• Spin-Glass Stochastic Stability: a Rigorous Proof
  Contucci, Pierluigi ; Giardinà, Cristian
• Alternative proofs of the GNKD and KKMS lemmas: a game-theoretic underpinning
  Khan, M. Ali ; MacLean, Richard P. ; Uyanik, Metin
• Is Monopolization Inevitable in Proof-of-Work Blockchains? Insights from Miner Scale Analysis
  Li, Aixing ; Gong, Ke ; Li, Jiashun ; Zhang, Li ; Luo, Xueting
• A calculus for modular loop acceleration and non-termination proofs
  Frohn, Florian ; Fuhs, Carsten
• Compact Proofs of Retrievability
  Shacham, Hovav ; Waters, Brent