Decoding phonation with artificial intelligence (DeP AI): Proof of concept
Sign Up to like & getrecommendations! Published in 2019 at "Laryngoscope Investigative Otolaryngology"
DOI: 10.1002/lio2.259
Abstract: Acoustic analysis of voice has the potential to expedite detection and diagnosis of voice disorders. Applying an image‐based, neural‐network approach to analyzing the acoustic signal may be an effective means for detecting and differentially diagnosing… read more here.
Keywords: decoding phonation; proof concept; proof; phonation artificial ... See more keywords
Elephants, Parkinson's Disease, and Proof‐of‐Concept Clinical Trials
Sign Up to like & getrecommendations! Published in 2018 at "Movement Disorders"
DOI: 10.1002/mds.27398
Abstract: We all know the proverbial story of the committee attempting to agree on the description of an elephant. Now, more than 200 years on from James Parkinson’s codification of his now-eponymous syndrome, with his hopeful… read more here.
Keywords: elephants parkinson; disease; proof concept; proof ... See more keywords
Permeability of artificial barriers (fences) for wild boar (Sus scrofa) in Mediterranean mixed landscapes
Sign Up to like & getrecommendations! Published in 2022 at "Pest Management Science"
DOI: 10.1002/ps.6853
Abstract: Abstract BACKGROUND Fences are one of the most widespread manmade features in nature, constituting an artificial limitation to the movement of wildlife. To date, their effects on wildlife behavior have been understudied but this knowledge… read more here.
Keywords: proof; permeability; well maintained; maintained big ... See more keywords
A short direct proof of the discrete Hardy inequality
Sign Up to like & getrecommendations! Published in 2019 at "Archiv der Mathematik"
DOI: 10.1007/s00013-019-01395-6
Abstract: The purpose of this note is to expose a short proof of Hardy’s inequality in the sequence case. The proof is straightforward and provides the optimal constant $$p'$$ p ′ . read more here.
Keywords: short direct; direct proof; proof; proof discrete ... See more keywords
Szemerédi’s proof of Szemerédi’s theorem
Sign Up to like & getrecommendations! Published in 2020 at "Acta Mathematica Hungarica"
DOI: 10.1007/s10474-020-01081-y
Abstract: In 1975, Szemeredi famously established that any set of integers of positive upper density contained arbitrarily long arithmetic progressions. The proof was extremely intricate but elementary, with the main tools needed being the van der… read more here.
Keywords: theorem; proof; szemer proof; regularity lemma ... See more keywords
Comparative analysis on the nature of proof to be taught in geometry: the cases of French and Japanese lower secondary schools
Sign Up to like & getrecommendations! Published in 2017 at "Educational Studies in Mathematics"
DOI: 10.1007/s10649-016-9711-x
Abstract: This paper reports the results of an international comparative study on the nature of proof to be taught in geometry. Proofs in French and Japanese lower secondary schools were explored by analyzing curricular documents: mathematics… read more here.
Keywords: nature proof; proof; proof taught; geometry ... See more keywords
Fostering empirical examination after proof construction in secondary school geometry
Sign Up to like & getrecommendations! Published in 2017 at "Educational Studies in Mathematics"
DOI: 10.1007/s10649-016-9731-6
Abstract: In contrast to existing research that has typically addressed the process from example generation to proof construction, this study aims at enhancing empirical examination after proof construction leading to revision of statements and proofs in… read more here.
Keywords: proof; geometry; empirical examination; proof construction ... See more keywords
Affecting the flow of a proof by creating presence—a case study in Number Theory
Sign Up to like & getrecommendations! Published in 2017 at "Educational Studies in Mathematics"
DOI: 10.1007/s10649-016-9746-z
Abstract: The notion of flow of a proof encapsulates mathematical, didactical, and contextual aspects of proof presentation. A proof may have different flows, depending on the lecturer’s choices regarding its presentation. Adopting Perelman’s New Rhetoric (PNR)… read more here.
Keywords: case study; flow proof; proof; number theory ... See more keywords
Analysis of Wallace’s Proof of the Born Rule in Everettian Quantum Mechanics: Formal Aspects
Sign Up to like & getrecommendations! Published in 2018 at "Foundations of Physics"
DOI: 10.1007/s10701-018-0179-7
Abstract: To solve the probability problem of the Many Worlds Interpretation of Quantum Mechanics, D. Wallace has presented a formal proof of the Born rule via decision theory, as proposed by D. Deutsch. The idea is to get… read more here.
Keywords: born rule; proof; proof born; quantum mechanics ... See more keywords
Proof Pearl: Bounding Least Common Multiples with Triangles
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-017-9438-0
Abstract: We present a proof of the fact that for $$n \ge 0$$n≥0. This result has a standard proof via an integral, but our proof is purely number-theoretic, requiring little more than inductions based on lists.… read more here.
Keywords: pearl bounding; bounding least; common multiples; proof ... See more keywords
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-017-9440-6
Abstract: The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that… read more here.
Keywords: interactive proof; mizar mathematical; proof; proof development ... See more keywords