Results 41 to 50 of about 4,888,581 (309)

A Proof Strategy Language and Proof Script Generation for Isabelle/HOL

, 2017
We introduce a language, PSL, designed to capture high level proof strategies in Isabelle/HOL. Given a strategy and a proof obligation, PSL's runtime system generates and combines various tactics to explore a large search space with low memory usage ...
A Bundy, AP Martin, D Delahaye, D Matichuk, JC Blanchette, L Dixon, M Kaufmann, P Wadler, S Böhme, S Owre, T Nipkow   +10 more
core   +1 more source

IDENTIFICATION OF CIRCUMSTANCES CONTRIBUTING TO DOMESTIC VIOLENCE: UNDERSTANDING, IMPLEMENTATION [PDF]

Legal Bulletin
The relevance of the study of the procedural order of identifying the circumstances that contributed to the commission of domestic violence is associated with the accentuation of this issue in the social sphere, the presence of problems in regulating the
BELYAEVA S.O., ZASHLYAPIN L.A.
doaj   +1 more source

A Proof of Onsager's Conjecture [PDF]

, 2016
For any $\alpha 1/3$ due to [Eyink] and [Constantin, E, Titi], solves Onsager's conjecture that the exponent $\alpha = 1/3$ marks the threshold for conservation of energy for weak solutions in the class $L_t^\infty C_x^\alpha$.
Philip Isett
semanticscholar   +1 more source

Natural Proofs

Journal of Computer and System Sciences, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Razborov, Alexander A, Rudich, Steven
openaire   +2 more sources

Strengthening accountability for tuberculosis policy implementation in South Africa: perspectives from policymakers, civil society, and communities

BMC Global and Public Health
Background Translating health policy into effective implementation is a core priority for responding effectively to the tuberculosis (TB) crisis. The national TB Recovery Plan was developed in response to the negative impact that the COVID-19 pandemic ...
Helene-Mari van der Westhuizen, Janet Giddy, Renier Coetzee, Goodman Makanda, Phumeza Tisile, Michelle Galloway, Siyavuya Bunyula, Ingrid Schoeman, Ruvandhi R. Nathavitharana   +8 more
doaj   +1 more source

A comparative histochemical developmental study of the kidney and ureter in golden hamster (Mesocricetus auratus)

Open Veterinary Journal
Background: The urinary system ensures that body fluid, electrolytes, and waste are managed to help keep the body in balance. The kidney, ureters, urinary bladder, and urethra are the components of this system in mammals.
Khaldoun Mohammed Ghazal, Ekhlas Abid Hamza Al-Alwany   +1 more
doaj   +1 more source

Quand les acteurs se mêlent d’ontologie

Revue d'anthropologie des connaissances, 2011
The French geographic indications - the “Appellations d’Origine Contrôlée” - go again through a crisis. Since a long time, the “terroir” which they protect are polemical; it is suspected to be nothing but an imaginary construction.
Geneviève Teil
doaj   +1 more source

Proof of Kolmogorovian Censorship [PDF]

, 1997
Many argued (Accardi and Fedullo, Pitowsky) that Kolmogorov's axioms of classical probability theory are incompatible with quantum probabilities, and this is the reason for the violation of Bell's inequalities.
A. Aspect, Gergely Bana, I. Pitowsky, J. F. Clauser, J. S. Bell, L. Accardi, L. E. Szabo, L. E. Szabó, S. Kochen, T. Durt, T. Durt, Thomas Durt   +11 more
core   +3 more sources

Real‐time assay of ribonucleotide reductase activity with a fluorescent RNA aptamer

FEBS Letters, EarlyView.
Ribonucleotide reductases (RNR) synthesize DNA building blocks de novo, making them crucial in DNA replication and drug targeting. FLARE introduces the first single‐tube real‐time coupled RNR assay, which enables isothermal tracking of RNR activity at nanomolar enzyme levels and allows the reconstruction of allosteric regulatory patterns and rapid ...
Jacopo De Capitani, Noemi E. Nwosu, Viktoria Gocke, Müge Kasanmascheff, Hannes Mutschler   +4 more
wiley   +1 more source

Proof-of-Stake Sidechains

IEEE Symposium on Security and Privacy, 2019
Sidechains have long been heralded as the key enabler of blockchain scalability and interoperability. However, no modeling of the concept or a provably secure construction has so far been attempted.
Peter Gazi, A. Kiayias, Dionysis Zindros
semanticscholar   +1 more source