Results 1 to 10 of about 4,888,482 (210)
Informal proof, formal proof, formalism [PDF]
The Review of Symbolic Logic, 2015 Increases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations.
Weir, Alan
core +2 more sources
Baldur: Whole-Proof Generation and Repair with Large Language Models [PDF]
ESEC/SIGSOFT FSE, 2023 Formally verifying software is a highly desirable but labor-intensive task. Recent work has developed methods to automate formal verification using proof assistants, such as Coq and Isabelle/HOL, e.g., by training a model to predict one proof step at a ...
Emily First +3 more
semanticscholar +1 more source
On the estimation of maximum surface temperature for cells [PDF]
MATEC Web of Conferences, 2022 In paperwork is presented the estimation of the maximum surface temperature of cells exposed to specific tests for the intrinsic safety type of protection. Particularly, it presents the thermal resistance of the short-circuit test-stand results.
Darie Marius +3 more
doaj +1 more source
Proof-of-Learning: Definitions and Practice [PDF]
IEEE Symposium on Security and Privacy, 2021 Training machine learning (ML) models typically involves expensive iterative optimization. Once the model’s final parameters are released, there is currently no mechanism for the entity which trained the model to prove that these parameters were indeed ...
Hengrui Jia +6 more
semanticscholar +1 more source
BMC Public Health, 2022 Background Tuberculosis (TB) care cascade analyses show large gaps at early stages, including care-seeking and diagnostic evaluation, where promising interventions to decrease attrition are urgently needed.
Isabel Foster +7 more
doaj +1 more source
Importance of training the personnel performing specific activities related to equipment / installations operating in areas classified as with potentially explosive atmospheres [PDF]
MATEC Web of Conferences, 2020 Equipment operating in installations endangered by the occurrence of potentially explosive atmospheres have special features designed in order to make them suitable for operations in such areas.
Moldovan Lucian +4 more
doaj +1 more source
Adaptive parameter estimation for the expanded sandwich model
Scientific Reports, 2023 An expanded-sandwich system is a nonlinear extended block-oriented system in which memoryless elements in conventional block-oriented systems are displaced by memory submodels.
Guanglu Yang +4 more
doaj +1 more source
Digital protection as a mechanism to activate the principle of equality between written and electronic evidence [PDF]
مجلة الاجتهاد للدراسات القانونية والاقتصادية, 2021 Electronic writing has become competitive with paper or traditional writing because of the legislator’s recognition of the electronic document as proof that includes a set of digital data and information processed electronically, 04-15 and adopting the ...
زروقي خديجة
doaj +1 more source
Simple proof of security of the BB84 quantum key distribution protocol [PDF]
Physical Review Letters, 2000 We prove that the 1984 protocol of Bennett and Brassard (BB84) for quantum key distribution is secure. We first give a key distribution protocol based on entanglement purification, which can be proven secure using methods from Lo and Chau's proof of ...
P. Shor, J. Preskill
semanticscholar +1 more source
'Evolution-Proofing' Antibacterials [PDF]
Evolution, Medicine, and Public Health, 2014 When antibiotics first came into use, they were so effective at curbing bacterial infections that it seemed the age-old battle of man vs. microbe would soon be at an end [1]. Eighty years and dozens of drugs later, we now know better. Following each new antibiotic’s launch, reports soon accumulated that once-treatable infections were becoming ...
Ross-Gillespie Adin, Kümmerli Rolf
openaire +3 more sources