Search results for "proof"
showing 10 items of 187 documents
Inadempimento e causalità nelle obbligazioni di fare professionale
2020
Il saggio analizza e tenta di confutare i recenti tentativi, giurisprudenziali e dottrinari, di ritagliare alle obbligazioni di facere professionale un regime apposito di responsabilità contrattuale, specie sul versante della rilevanza autonoma del nesso di causalità materiale e dell’imposizione al creditore del relativo onere probatorio. Muovendo dall’esame dell’oggetto delle obbligazioni di facere professionale, il saggio si prefigge di offrire una conferma dell’unitarietà delle regole di responsabilità contrattuale e della ripartizione dei temi di prova tra creditore e debitore. The essay analyzes and tries to refute recent attempts, both in jurisprudence and in doctrine, to cut out to t…
Multiplicity results for Sturm-Liouville boundary value problems
2009
Multiplicity results for Sturm-Liouville boundary value problems are obtained. Proofs are based on variational methods.
The forgotten mathematical legacy of Peano
2019
International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.
Ultrasonic cavity solitons
2007
We report on a new type of localized structure, an ultrasonic cavity soliton, supported by large aspect-ratio acoustic resonators containing viscous media. These states of the acoustic and thermal fields are robust structures, existing whenever a spatially uniform solution and a periodic pattern coexist. Direct proof of their existence is given both through the numerical integration of the model and through the analysis and numerical integration of a generalized Swift-Hohenberg equation, derived from the microscopic equations under conditions close to nascent bistability. An analytical solution for the ultrasonic cavity soliton is given.
Unitarity, analyticity and duality constraints in η and π photoproduction
2019
We report an update of the isobar model EtaMAID. A new approach is proposed to avoid double counting in the overlap region of Regge and resonances. Dispersion relation is applied on top of the isobar model, and both models describe the data equally well. Application of these ideas to pion photoproduction is discussed.
Waveguides. Radiation Principle. Scattering Matrices
2021
Chapter 2 exposes a mathematical model of a waveguide with several cylindrical ends going to infinity, basic notions and mathematical results (with complete proofs) needed in successive chapters: waves, continuous spectrum eigenfunctions, intrinsic radiation principle, and scattering matrices.
Thermal deformations of inhomogeneous elastic plates
1995
We consider thermal deformations of transversally inhomogenous elastic plates. Thin plate equations are derived as limits of full three-dimensional models both in the linear was well as in the non-linear case with appropriate convergence proofs. In the non-linear case also the corresponding von Karman equations are formulated. Its is obtained that the inhomogeneity leads to the loss of some symmetry properties at the von Karman equations
cARTegory Theory: Framing Aesthetics of Mathematics
2019
Mathematics can help investigate hidden patterns and structures in music and visual arts. Also, math in and of itself possesses an intrinsic beauty. We can explore such a specific beauty through the comparison of objects and processes in math with objects and processes in the arts. Recent experimental studies investigate the aesthetics of mathematical proofs compared to those of music. We can contextualize these studies within the framework of category theory applied to the arts (cARTegory theory), thanks to the helpfulness of categories for the analysis of transformations and transformations of transformations. This approach can be effective for the pedagogy of mathematics, mathematical mu…
Scientific data
2016
Scientific data is produced by experiment, and consists in a raw description of reality, upon which basis scientific theories are developped or confirmed. Upon assesment, interactions between this basic element of knowledge and the legal order can be observed in three stages. First, at the stage of data production. Although the control of this phase falls largely under the control of the scientific community, some legal rules are added to this control, in order to influence on the direction or on the conduct of the research. Second, at the stage of the use of scientific data, because once discovered, data is sometimes directly apprehended by the judge, the legislator or by some professional…
On Using the Theory of Regular Functions to Prove the ε-Optimality of the Continuous Pursuit Learning Automaton
2013
Published version of a chapter in the book: Recent Trends in Applied Artificial Intelligence. Also available from the publisher at: http://dx.doi.org/10.1007/978-3-642-38577-3_27 There are various families of Learning Automata (LA) such as Fixed Structure, Variable Structure, Discretized etc. Informally, if the environment is stationary, their ε-optimality is defined as their ability to converge to the optimal action with an arbitrarily large probability, if the learning parameter is sufficiently small/large. Of these LA families, Estimator Algorithms (EAs) are certainly the fastest, and within this family, the set of Pursuit algorithms have been considered to be the pioneering schemes. The…