Search results for "Proof"
showing 10 items of 187 documents
Science and logic
2009
Infrared based saliva screening test for COVID‐19
2021
Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) has resulted in an unprecedented need for diagnostic testing that is critical in controlling the spread of COVID-19. We propose a portable infrared spectrometer with purpose-built transflection accessory for rapid point-of-care detection of COVID-19 markers in saliva. Initially, purified virion particles were characterized with Raman spectroscopy, synchrotron infrared (IR) and AFM-IR. A data set comprising 171 transflection infrared spectra from 29 subjects testing positive for SARS-CoV-2 by RT-qPCR and 28 testing negative, was modeled using Monte Carlo Double Cross Validation with 50 randomized test and model sets. The testing se…
The expansion $\star$ mod $\bar{o}(\hbar^4)$ and computer-assisted proof schemes in the Kontsevich deformation quantization
2019
The Kontsevich deformation quantization combines Poisson dynamics, noncommutative geometry, number theory, and calculus of oriented graphs. To manage the algebra and differential calculus of series of weighted graphs, we present software modules: these allow generating the Kontsevich graphs, expanding the noncommutative & x22c6;-product by using a priori undetermined coefficients, and deriving linear relations between the weights of graphs. Throughout this text we illustrate the assembly of the Kontsevich & x22c6;-product up to order 4 in the deformation parameter Already at this stage, the & x22c6;-product involves hundreds of graphs; expressing all their coefficients via 149 w…
A Tool-Based Approach for Essentializing Software Engineering Practices
2019
Software Engineers work using highly diverse methods and practices, and general theories in software engineering are lacking. A recent attempt at creating a common ground in the area of software engineering methodologies has been the Essence Theory of Software Engineering. Essence is a method-agnostic progress management framework and a meta-method for Software Engineering (SE). However, tooling for Essence is still lacking. Without dedicated tools and other instruments, a meta-method such as Essence is cumbersome to utilize by practitioners and students. Indeed, Essence currently suffers from a lack of widespread practitioner adoption. In this paper, we thus present an Open Source tool for…
Travisamenti pretori in tema di esonero dalla responsabilità contrattuale tra causalità e vicinanza della prova
2020
La nota censura la pronuncia in commento a causa della scelta di addossare la prova della causalità materiale al creditore anche nell'ambito delle obbligazioni di facere non professionale, con ciò facendo segnare la piena equiparazione sul piano della causalità della responsabilità contrattuale alla responsabilità aquiliana. The note censures the judgment in question due to the choice of placing proof of material causation on the creditor also in the context of the obligations of non-professional facere, thereby marking the full equation in terms of causality of contractual liability with aquilian liability.
Durata e prescrizione nella garanzia per i i vizi della vendita
2020
Il saggio analizza due recenti sentenze della Corte di cassazione in tema di onere della prova e di decorso del termine di prescrizione in materia di azioni edilizie nella vendita. L'analisi tenta di dimostrare che la soluzione di entrambe le questioni dipende dall'esatta qualificazione giuridica del vincolo del venditore come garanzia, intesa come attribuzione di utilità senza cooperazione. Su queste basi è possibile pervenire a conclusioni diverse e più solide rispetto a quelle cui perviene la Corte di cassazione. The essay analyzes two recent judgments of the Court of Cassation regarding the burden of proof and the expiry of the limitation period for the claim in the field of actions aga…
BREVI NOTE SULL'ONERE DELLA PROVA NEL PROCESSO TRIBUTARIO
2019
La regola dell’onere della prova costituisce un pilastro fondamentale in ogni disciplina processuale. Essa si sviluppa in una molteplicita' di principi attraverso i quali il processo persegue la sua funzione, la ricerca della verita'. Nel processo tributario l’applicazione della regola dell’onere della prova non sempre appare ispirata al principio del giusto processo ed al contribuente a volte è richiesto di offrire una prova che va oltre le sue possibilita'.
La rilettura hegeliana della prova ontologica. Dall'ente allo spirito.
2017
La rilettura della prova ontologica nel solco della filosofia dello spirito decide in modo radicale il rapporto che Hegel intrattiene con i detrattori della prova ontologica, Kant in primis. Se secondo quest’ultimo l’errore della prova, e così dell’intera tradizione metafisica, consisteva nella pretesa illegittima di esibire le credenziali ontologiche per la conoscenza del soprasensibile, secondo Hegel, esibire tali credenziali sarebbe persino troppo poco. La piena realizzazione del concetto, la sua vera oggettivazione, richiede il passaggio ontologico dal concetto all’essere, ma in una prospettiva che ricomprende l’essere non come l’approdo glorioso del concetto, bensì come un processo in …
Multiple Canard Cycles in Generalized Liénard Equations
2001
AbstractThe paper treats multiple limit cycle bifurcations in singular perturbation problems of planar vector fields. The results deal with any number of parameters. Proofs are based on the techniques introduced in “Canard Cycles and Center Manifolds” (F. Dumortier and R. Roussarie, 1996, Mem. Amer. Math. Soc., 121). The presentation is limited to generalized Liénard equations εx+α(x, c)x+β(x, c)=0.
The defendant’s guilt beyond a reasonable doubt in the Italian criminal justice system
2021
The criminal law standard of Beyond A Reasonable Doubt (BARD) constitutes an evidentiary and judicial rule, formulated and applied for centuries in common law jurisdictions, which was expressly stated in the Italian Code of Criminal Procedure only about fifteen years ago. Unfortunately, the concept of reasonable doubt is inherently complex and does not easily lend itself to definition or refinement. In this regard, the Author examines especially the various positions and elaborations developed by legal literature and case-law in Italy, proposing a specific interpretation of the BARD rule that enhances and completes the particular procedural connotations of the adversarial system adopted i…