Results 31 to 40 of about 1,573,175 (303)
, 2022 We provide all the details of proof about the submission titled " An AC-Feasible Linear Model in Distribution Networks with Energy Storage ".
Wei Lin (5479430)
core +1 more source
INFORMAL PROOF, FORMAL PROOF, FORMALISM [PDF]
The Review of Symbolic Logic, 2015 AbstractIncreases 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. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur.
openaire +1 more source
Misconceptions About the Long Division Algorithm in School Mathematics
Journal of Mathematics Education at Teachers College, 2021 The non-learning of school mathematics is now almost universally taken for granted, but this does not have to happen. This article takes a critical look at the root of this non-learning by pointing to the flagrant defects in the kind of mathematics—to be
Hung-Hsi Wu
doaj +1 more source
Tools and techniques for formalising structural proof theory [PDF]
, 2010 Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core +2 more sources
Revista Eletrônica de Direito Processual, 2020 The Judiciary, especially Labor, has been working to find a solution for the continuity of judicial activities remotely and telepresentially. The purpose of this article is to debate the importance of testimonial evidence in the telepresential work ...
Mauro Augusto Ponce de Leão Braga +1 more
doaj +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 +4 more sources
Temperature tests of cells - uncertainty considerations [PDF]
MATEC Web of ConferencesThe paper presents the estimation of the uncertainty in the measurement of the maximum surface temperature of voltaic cells exposed to specific tests for the type of intrinsic safety protection.
Darie Marius +4 more
doaj +1 more source
BMC Global and Public HealthBackground 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 +8 more
doaj +1 more source
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