Search results for "Proof"
showing 10 items of 187 documents
Objects, Structures, and Logics
2022
This book offers Novel In-Depth Discussions of the Relationship Between Logic and Metaphysics Attempts to Develop a New Framework for the Concept of Mathematical Structure Emphasizes the Importance of Mathematical Practice to the Philosophy of Mathematics
Aiuti di Stato all’interno di uno stesso gruppo societario: profili sostanziali e processuali
2022
The essay deals with a State aid case between companies belonging to the same corporate group. To clarify the concepts of ‘State resources’ and the misure imputable to the State, the essay suggests framing the concrete case within the framework of the so-called “in-house” company. This does not rule out the application of the private investor test in normal market conditions, which – if disregarded – can overcome the indistinction typical of “in-house” companies.
Single snapshot RGB multispectral imaging at fixed wavelengths: proof of concept
2014
A concept of single snapshot multispectral imaging by standard RGB image sensors under spectrally-specific illumination comprising a fixed number of narrow spectral lines is discussed and experimentally validated. The limiting conditions, RGB band spectral crosstalk corrections and potential applications for parametric mapping of skin are regarded, along with the preliminary results of the proof-of-concept measurements.
Il nesso di causalita` materiale nella responsabilita` contrattuale e la ripartizione dell’onere della prova
2019
Il saggio prende le mosse da un orientamento della Suprema Corte, in corso di consolidamento, che ritiene il nesso di causalita` nella responsabilita` professionale del medico oggetto di prova distinta rispetto all’inadempimento o alla colpa, addossandone l’onere al creditore. In tal modo, le due specie della responsabilita` civile, contrattuale e aquiliana, non divergerebbero sul versante del requisito della causalita` ed e` questo un esito sistematico di cui si puo` fondatamente dubitare. A un esame approfondito, l’intero impianto dell’orientamento si rivela piuttosto fragile per una pluralita` di ragioni che pero` sono tutte riconducibili all’errore di fondo di trascurare le specificita`…
Semantic Complexity in Natural Language
2015
This chapter presents the technical framework that the authors used to define fragments of natural languages and formulate questions as to their semantic complexity. It examines the study of the classical syllogistic and its extensions. It analyzes the semantic complexity of various salient fragments of English. It highlights that the language of argument, featuring transitive verbs, is in an objective sense inferentially no more complex than the language of classical syllogisms exemplified by argument, indeed, the analogous extension featuring ditransitive verbs involves only a modest increase in complexity. On the other hand, the language of argument, which adds relative clauses to the cl…
La violazione della vendita di beni al consumatore per difetto di conformità: i presupposti della c.d. responsabilità del venditore e la distribuzion…
2022
Il capitolo affronta la nuova disciplina della vendita di beni materiali di consumo, introdotta in recepimento della dir. 2019/771. Lo studio approfondisce il tema della violazione del contratto a causa del difetto di conformità del bene, inquadrando la disciplina riformata nel quadro del dibattito sulla natura giuridica del vincolo del venditore di beni di consumo. Dallo studio emerge confermata la qualificazione di tale vincolo come garanzia. Sulla base di tale inquadramento è possibile meglio cogliere i miglioramenti apportati dalla nuova disciplina, ma soprattutto le inadeguatezze, imputabili in larga misura a scelte errate in sede di attuazione della direttiva. The chapter deals with t…
Whitney forms and their extensions
2021
Whitney forms are widely known as finite elements for differential forms. Whitney’s original definition yields first order functions on simplicial complexes, and a lot of research has been devoted to extending the definition to nonsimplicial cells and higher order functions. As a result, the term Whitney forms has become somewhat ambiguous in the literature. Our aim here is to clarify the concept of Whitney forms and explicitly explain their key properties. We discuss Whitney’s initial definition with more depth than usually, giving three equivalent ways to define Whitney forms. We give a comprehensive exposition of their main properties, including the proofs. Understanding of these propert…
Theoretical and Empirical Description of Phases in the Proving Processes of Undergraduates
2018
International audience; In the presented study we adopt a process-oriented perspective on proving in order to gain further insights into relevant actions and typical obstacles in undergraduates' approaches to proving. The primary aim is to theoretically and empirically describe different phases, understood as bunches of intentionally closely related actions of proving. Therefore, we suggest a theoretical model of the proving process and confirm empirically that it can be used as an analytical tool for proving approaches. Based on this model, several proving processes have been analysed. In this paper we present first findings regarding the contribution of each phase to proof construction as…
An Automatic Ontology-Based Approach to Support Logical Representation of Observable and Measurable Data for Healthy Lifestyle Management: Proof-of-C…
2020
Background Lifestyle diseases, because of adverse health behavior, are the foremost cause of death worldwide. An eCoach system may encourage individuals to lead a healthy lifestyle with early health risk prediction, personalized recommendation generation, and goal evaluation. Such an eCoach system needs to collect and transform distributed heterogenous health and wellness data into meaningful information to train an artificially intelligent health risk prediction model. However, it may produce a data compatibility dilemma. Our proposed eHealth ontology can increase interoperability between different heterogeneous networks, provide situation awareness, help in data integration, and discover…
Scientific writing for impact factor journals
2013
EASARCICAPLivre dispo. dans :hal-00832739, version 1; Publish or Perish. This old adage illustrates the importance of scientific communication; essential to research, it also represents a strategic sector for each country’s competitiveness. An often-neglected topic, scientific communication is of vital importance, with new information technologies accelerating and profoundly changing how knowledge is disseminated. The necessity of optimally disseminating experts’ findings has also become crucial to researchers, institutes and universities alike, which has prompted the recent advent of Impact Factors for the evaluation and financing of research, the goal being for scientific knowledge to be …