Results 11 to 20 of about 1,573,175 (303)
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
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
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
Herbrand Proofs and Expansion Proofs as Decomposed Proofs [PDF]
Journal of Logic and Computation, 2020 Abstract The reduction of undecidable first-order logic to decidable propositional logic via Herbrand’s theorem has long been of interest to theoretical computer science, with the notion of a Herbrand proof motivating the definition of expansion proofs.
openaire +1 more source
Proofs of Proof-of-Stake with Sublinear Complexity
CoRR, 2022 Popular Ethereum wallets (like MetaMask) entrust centralized infrastructure providers (e.g., Infura) to run the consensus client logic on their behalf. As a result, these wallets are light-weight and high-performant, but come with security risks. A malicious provider can mislead the wallet by faking payments and balances, or censoring transactions.
Agrawal, Shresth +3 more
openaire +5 more sources
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
The Review of Symbolic Logic, 2020 Abstract This paper puts forward a new account of rigorous mathematical proof and its epistemology. One novel feature is a focus on how the skill of reading and writing valid proofs is learnt, as a way of understanding what validity itself amounts to.
openaire +3 more sources
Why healthcare workers are sick of TB
International Journal of Infectious Diseases, 2015 Dr Thato Mosidi never expected to be diagnosed with tuberculosis (TB), despite widely prevalent exposure and very limited infection control measures. The life-threatening diagnosis of primary extensively drug-resistant TB (XDR-TB) came as an even greater
Arne von Delft +19 more
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2015 The Common HOL project aims to facilitate porting source code and proofs between members of the HOL family of theorem provers. At the heart of the project is the Common HOL Platform, which defines a standard HOL theory and API that aims to be compatible
Mark Adams
doaj +1 more source