1,839 research outputs found
L'asset allocation in presenza di tassi di interesse negativi
No full textDopo aver definito il contesto di riferimento, lo studio esamina le scelte di investimento di famiglie e intermediari finanziari. Esso inoltre propone un'applicazione empirica delle consolidate metodologie di definizione dell'asset allocation, opportunamente modificate per tener conto dei tassi risk-free negativi, e sviluppa alcune riflessioni, basate sui paradigmi della finanza comportamentale, per orientare le scelte di investimento in presenza di tassi negativi
Architetture in terra a Macerata: il quartiere di Villa Ficana. Analisi conoscitiva per il recupero.
No full textArchitetture in terra a Macerata: il quartiere di Villa Ficana. Analisi conoscitiva per il recupero. Stato dell'Arte.
No full textWorking with Mathematical Structures in Type Theory
No full textWe address the problem of representing mathematical structures in a proof assistant which: 1) is based on a type theory with dependent types, telescopes and a computational version of Leibniz equality; 2) implements coercive subtyping, accepting multiple coherent paths between type families; 3) implements a restricted form of higher order unification and type reconstruction. We show how to exploit the previous quite common features to reduce the ``syntactic'' gap between pen&paper and formalised algebra. However, to reach our goal we need to propose unification and type reconstruction heuristics that are slightly different from the ones usually implemented. We have implemented them in Matit
Nonuniform Coercions via Unification Hints
No full textWe introduce the notion of nonuniform coercion, which is the promotion of a value of one type to an enriched value of a different type via a nonuniform procedure. Nonuniform coercions are a generalization of the (uniform) coercions known in the literature and they arise naturally when formalizing mathematics in an higher order interactive theorem prover using convenient devices like canonical structures, type classes or unification hints. We also show how nonuniform coercions can be naturally implemented at the user level in an interactive theorem prover that allows unification hints
Natural Deduction Environment for Matita
No full textMatita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic handling of overloading by means of a flexible disambiguation mechanism. We show how to use these features to obtain a simple learning environment for natural deduction, without modifying the source code or Matita
David Audretsch: A Source of Inspiration, a Co-author, and a Friend
No full textIn this chapter, Enrico Santarelli discusses the profound impact that David had on his career. Beginning with a conference in Budapest, Santarelli and David bocame close friends and colleagues. They went on to collaborate on many papers and projects, several of which Santarelli highlights below
Supplemental material for Small vessel disease and biomarkers of endothelial dysfunction after ischaemic stroke
No full textSupplemental material for Small vessel disease and biomarkers of endothelial dysfunction after ischaemic stroke by Francesco Arba, Alessio Giannini, Benedetta Piccardi, Silvia Biagini, Vanessa Palumbo, Betti Giusti, Patrizia Nencini, Anna Maria Gori, Mascia Nesi, Giovanni Pracucci, Giorgio Bono, Paolo Bovi, Enrico Fainardi, Domenico Consoli, Antonia Nucera, Francesca Massaro, Giovanni Orlandi, Francesco Perini, Rossana Tassi, Maria Sessa, Danilo Toni, Rosanna Abbate and Domenico Inzitari in European Stroke Journal</p
- …
