Search results for "Proof"
showing 10 items of 187 documents
Use of DIAGNOdent and VistaProof in diagnostic of Pre-Cavitated Caries Lesions—A Systematic Review and Meta-Analysis
2019
Objective: To analyse the published evidence of the validity of DIAGNDOdent and VistaProof in diagnosing carious depths in pre-cavitated lesions. Material and methods: A systematic review was carried out after identifying a total of 184 articles, including 27 concerning the qualitative review and a subsequent meta-analysis. The quality of the studies was evaluated by using the QUADAS-2 tool. Results: For DIAGNOdent, the sensitivity value was 0.77, the specificity value was 0.75 and AUC was 0.81 for the global meta-analyses. In relation to subgroups, the values estimated 0.85, 0.76 and 0.86, respectively, for the in vivo group and 0.71, 0.75 and 0.83 for the in vitro group. For VistaProof, s…
An empirical study of the understanding of formal propositions about sequences, with a focus on infinite limits
2018
International audience; In this paper, we analyze the answers of one group of high-school students and two groups of first-year University students to a questionnaire designed to test their level of recognition and understanding of the formal definition of the concept of infinite limit. Although this empirical study is ancillary to a larger project centred on didactic engineering, its analysis sheds light on the key issue of the logical prerequisites for the learning of the fundamental concepts of analysis. It also provides a new tool to investigate students' concept-image of limits, and assess the impact of teaching contexts and teaching paths.
Quentin Tarantino's Death Proof (2007): Subverting Gender through Genre or Vice Versa?
2010
International audience; The article examines how Death Proof (Tarantino, 2007) subverts both gender and genre by mixing several genres (the slasher, the car movie, the buddy movie) generally considered to be male, either at the diegetic level (e.g. the main characters) or at the level of reception (i.e. the target audience). The film's play on gender and genre, which is clearly based on the idea that film genres are gendered, is, then, enabled by the very discursivity of these norms. The article also shows how Tarantino took into account feminist film theory, namely Carol Clover and Laura Mulvey, when making Death Proof, suggesting that film genre, for Tarantino, is not so much a matter of …
Descrizione di una battaglia. Attori e strategie della prova in un processo per femminicidio
2022
Spostando l’attenzione dalla dimensione della verità a quella della veridizione e analizzando la sentenza come una battaglia dialettica che ridefinisce i confini delle identità degli attori coinvolti, il libro propone l’esame di un caso di femminicidio andato in giudizio nel dicembre del 2015. È l’omicidio di una donna che viene insolitamente definito dai giudici come un femminicidio e il cui movente è rinvenuto nel desiderio di possesso dell’omicida nei confronti della vittima. Un caso del quale la cronaca si è poco occupata, anche per il basso livello socio-economico e culturale di vittima e assassino. A renderne ancor più ricca la narrazione, il fatto che di esso (e della giovane vittima…
Pensiero e autocoscienza. Lo strano anello della cognizione umana.
L’argomento centrale della tesi è la natura della mente umana in relazione alla questione dell’intricato rapporto fra pensiero e autocoscienza. La congettura fondamentale consiste, in primo luogo, nel sostenere che particolari proprietà del pensiero umano, la flessibilità e la fluidità, rappresentino le caratteristiche salienti e specifiche della cognizione umana e, in secondo luogo, nel rilevare che il costituirsi di queste ultime sia strettamente connesso al fenomeno di autocoscienza. Il fuoco dell’analisi ruota attorno a tre importanti nuclei tematici: cosa si intende per flessibilità e fluidità della mente? Cosa si intende per autocoscienza – o meglio – quale tipo di autocoscienza esatt…
A cost efficiency analysis of flood proofing measures for hydraulic risk mitigation in an Urbanized riverine area
2020
Non-structural measures for flood risk mitigation are often more economically accessible, easier to implement, and are highly effective, especially in view of the pursuit of risk resilience objectives. Among the non-structural measures, more importance is increasingly being attributed to flood proofing interventions. There are two main types of flood proofing: dry proofing and wet proofing. An example of dry proofing is shielding, which involves the use of flood barriers that can be installed in the entrances of buildings or outside the buildings in order to avoid contact with the houses and deviate the water flow. Their use must be supported by a detailed hydraulic analysis to ensure the c…
Long-Time Behaviour for the Brownian Heat Kernel on a Compact Riemannian Manifold and Bismut’s Integration-by-Parts Formula
2007
We give a probabilistic proof of the classical long-time behaviour of the heat kernel on a compact manifold by using Bismut’s integration-by-parts formula.
La garanzia nella vendita: durata e fatti costitutivi delle azioni edilizie
2020
Il saggio affronta il tema dell'onere della prova e del decorso del termine di prescrizione in materia di azioni edilizie nella vendita. L'analisi tenta di dimostrare che la soluzione di entrambe le questiono non può prescindere dall'esatta concettualizzazione della garanzia nella vendita come figura giuridica dell'attribuzione di utilità senza cooperazione. La garanzia risulta, quindi, caratterizzata da un'attribuzione rafforzata di utilità al compratore e ciò non può non ripercuotersi sia sull'onere della prova sia sull'inizio del decorso del termine di prescrizione. The essay addresses the issue of the burden of proof and the expiry of the limitation period for the claim in the field of …
On Apache Log4j2 Exploitation in Aeronautical, Maritime, and Aerospace Communication
2022
Apache Log4j2 is a prevalent logging library for Java-based applications. In December 2021, several critical and high-impact software vulnerabilities, including CVE-2021-44228, were publicly disclosed, enabling remote code execution (RCE) and denial of service (DoS) attacks. To date, these vulnerabilities are considered critical and the consequences of their disclosure far-reaching. The vulnerabilities potentially affect a wide range of internet of things (IoT) devices, embedded devices, critical infrastructure (CI), and cyber-physical systems (CPSs). In this paper, we study the effects and feasibility of exploiting these vulnerabilities in mission-critical aviation and maritime environment…
The Syllogistic with Unity
2011
We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.