Search results for " proof"
showing 8 items of 118 documents
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.
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…
Stability of stochastic nonlinear systems with state-dependent switching
2013
In this paper, the problem of stability on stochastic systems with state-dependent switching is investigated. To analyze properties of the switched system by means of Itô’s formula and Dynkin’s formula, it is critical to show switching instants being stopping times. When the given active-region set can be replaced by its interior, the local solution of the switched system is constructed by defining a series of stopping times as switching instants, and the criteria on global existence and stability of solution are presented by Lyapunov approach. For the case where the active-region set can not be replaced by its interior, the switched systems do not necessarily have solutions, thereby quasi-…
Teaching and Learning of Geometry as a process of Objectification: conditions and obstacles to argumentation and proof. The role of natural language,…
2021
This paper examines some examples (taken from research conducted over the years) that show students’ linguistic attitudes in geometry tasks. The examples are framed within the Theory of Objectification with reference to the notion of sensuous cognition, semiotic means of objectification and levels of generality. We show the struggle students live, at higher levels of generality, in intertwining natural language, specific language and the spontaneous use of geometrical figures, bound to perception and kinaesthetic activity. Within the networking paradigm, we coordinate the Theory of Objectification and Duval’s semio-cognitive approach to frame the interplay between the ideal and the material…
On the Amount of Nonconstructivity in Learning Recursive Functions
2011
Nonconstructive proofs are a powerful mechanism in mathematics. Furthermore, nonconstructive computations by various types of machines and automata have been considered by e.g., Karp and Lipton [17] and Freivalds [11]. They allow to regard more complicated algorithms from the viewpoint of much more primitive computational devices. The amount of nonconstructivity is a quantitative characterization of the distance between types of computational devices with respect to solving a specific problem. In the present paper, the amount of nonconstructivity in learning of recursive functions is studied. Different learning types are compared with respect to the amount of nonconstructivity needed to lea…