238 research outputs found
A Cartesian Closed Category for Random Variables
No full textWe present a novel, yet rather simple construction within the traditional framework of Scott domains to provide semantics to probabilistic programming, thus obtaining a solution to a long-standing open problem in this area. We work with the Scott domain of random variables from a standard and fixed probability space - -the unit interval or the Cantor space - -to any given Scott domain. The map taking any such random variable to its corresponding probability distribution provides a Scott continuous surjection onto the probabilistic power domain of the underlying Scott domain, which preserving canonical basis elements, establishing a new basic result in classical domain theory. If the underlying Scott domain is effectively given, then this map is also computable. We obtain a Cartesian closed category by enriching the category of Scott domains by a partial equivalence relation to capture the equivalence of random variables on these domains. The constructor of the domain of random variables on this category, with the two standard probability spaces, leads to four basic strong commutative monads, suitable for defining the semantics of probabilistic programming
Acqua: questa meravigliosa sconoscita
No full textPROMOTORIBiblioteca Civica Delfini e Biblioteca Scientifica Interdipartimentale (BSI) della Università di Modena e Reggio EmiliaDESTINATARIScuole superiori, quarte e quinte classiDESCRIZIONE E FINALITA’L'acqua è il composto chimico più conosciuto, quello con cui si ha a che fare ogni giorno, che non può mancare nella nostra vita. L'unico di cui quasi tutti conoscono la formula chimica. Ma pochi sanno che l’acqua ha proprietà chimiche e fisiche diverse da quelle degli altri liquidi. Proprietà che la rendono speciale per ospitare e favorire la vita, e ne fanno un meraviglioso solvente utilizzato per mille usi. L'acqua è un bene prezioso. Capace, da sempre, di scatenare sanguinosi conflitti. La Terra è l’unico oggetto cosmico conosciuto dove questa bizzarra molecola chimica non solo è presente in grande massa, ma anche in tutti e tre gli stati di aggregazione: solido, liquido e gassoso.Il progetto pluriennale La curiosità fa lo scienziato. Leggere e condividere la scienza di oggi in ciascuna edizione approfondisce un tema scientifico di rilievo, impegnando le classi aderenti (monitorate da un esperto) per l’intero anno scolastico. Lo scopo è avvicinare i ragazzi al mondo della ricerca, formare interessi e capacità critiche nei confronti della letteratura di divulgazione e, più in generale, dei codici di comunicazione della scienza contemporanea. Inoltre, promuovere un ruolo attivo dei giovani nella disseminazione delle conoscenze scientifiche: impegnati nella stesura di un breve articolo, gli studenti mettono alla prova la loro capacità di spiegare in modo chiaro e conciso concetti a volte complessi.Quest’anno le classi partecipanti lavoreranno su testi divulgativi sulle proprietà chimiche dell’acqua e sulle loro implicazioni (fisiche, biologiche, geologiche, sociali, antropologiche, ecologiche), con possibili incursioni su aspetti meno noti trattati nei libri suggeriti.REFERENTI•Rossella Brunetti (BSI e Dipartimento di Fisica, UniMoRe, tel 059 2055277)•Gianantonio Battistuzzi, Monica Saladini (Dipartimento di Chimica, UniMoRe, tel 059 2055117)•Cinzia Pollicelli, Angela Pacillo (Servizio Biblioteche, tel 059 2032798)PRENOTAZIONEIl progetto si rivolge alle classi quarte e quinte. E' a numero chiuso con prenotazione obbligatoria (massimo 5 classi). Si raccomanda un contatto telefonico preliminare con uno dei referenti.www.comune.modena.it/istruzione/itinerariCALENDARIO DI LAVOROGiovedì 20 ottobre 2005, ore 17Incontro tra organizzatori, insegnanti e alcuni rappresentanti degli studenti: informazioni preliminari e coordinamento sull'iter del progetto.Biblioteca Scientifica Interdipartimentale, Via Campi 213/C, ModenaLunedì 14 novembre 2005, ore 10,30Esplorazione scientifica del pianeta acqua, lezione introduttiva del Prof. GIANANTONIO BATTISTUZZI (UniMoRe, Dip. di Chimica); presentazione delle letture proposte agli studenti e distribuzione dei libri.Biblioteca Scientifica Interdipartimentale, Via Campi 213/C, ModenaNovembre 2005-Marzo 2006Laboratorio in classe, guidato dagli insegnanti di chimica, scienze e lettere, a partire dai volumi distribuiti e dagli spunti offerti dalla lezione introduttiva. Su modello del giornalismo scientifico, gli studenti avviano la redazione di un articolo sul tema dell’acqua, da completare con il successivo incontro-intervista con un esperto della materia. Preparazione di un elenco di domande da rivolgere all'esperto. Durante questa fase di lettura ed elaborazione, l'Università di Modena e Reggio Emilia offre consulenza scientifica a insegnanti e studenti su problemi specifici.Marzo 2006, data da definire, ore 10,30Incontro-intervista con un esperto che illustra la propria biografia scientifica e risponde alle domande dei ragazzi.Biblioteca civica Delfini, corso Canalgrande 103, ModenaMarzo 2006, data da definire, ore 21Conferenza serale sul tema dell’acqua aperta alla cittadinanza.Biblioteca Scientifica Interdipartimentale, Via Campi 213/C, ModenaAprile 2006Sotto la guida degli insegnanti, redazione finale dell'articolo e consegna degli elaborati alla COMMISSIONE GIUDICATRICE, composta da: R. Brunetti, M. Saladini, G. Battistuzzi (UniMoRe); C. Pollicelli, A. Pacillo (Servizio Biblioteche); L. Torricelli (Fondazione Vallisneri, Re). La scadenza di consegna sarà comunicata dagli organizzatori.Maggio 2006, data da definire, ore 10,30Cerimonia di premiazione della classe che ha presentato il migliore elaborato e delle altre classi partecipanti, con proposta di pubblicazione alla stampa locale.Biblioteca Scientifica Interdipartimentale, Via Campi 213/C, ModenaDOCUMENTAZIONETesti di riferimento: P. Ball, : una biografia dell’acqua, Rizzoli 2003; P. Greco, Pianeta acqua, Muzzio 2004. Tutti gli studenti e gli insegnanti riceveranno un volume in omaggio
Lazy algorithms for exact real arithmetic
No full textIn this article we propose a new representation for the real numbers. This representation can be conveniently used to implement exact real number computation with a lazy programming languages. In fact the new representation permits the exploitation of hardware implementation of arithmetic functions without generating the granularity problem. Moreover we present a variation of the Karatsuba algorithm for multiplication of integers. The new algorithm performs exact real number multiplication in a lazy way and has a lower complexity than the standard algorithm. © 2004 Elsevier B.V. All rights reserved
Composable Partial Multiparty Session Types
No full textWe introduce partial sessions and partial (multiparty) session types, in order to deal with open systems, i.e., systems with missing components. Partial sessions can be composed, and the type of the resulting system is derived from those of its components without knowing any suitable global type nor the types of missing parts. Incompatible types, due to e.g. miscommunications or deadlocks, are detected at the merging phase. We apply these types to a process calculus, for which we prove subject reduction and progress, so that well-typed systems never violate the prescribed constraints. Therefore, partial session types support the development of systems by incremental assembling of components
Games characterizing Levy-Longo trees.
No full textWe present a simple strongly universal innocent game model for Levy-Longo trees i.e. every point in the model is the denotation of a unique Levy-Longo tree. The observational quotient of the model then gives a universal, and hence fully abstract, model of the pure Lazy Lambda Calculus
Games characterizing Levy-Longo trees
No full textWe present a simple strongly universal innocent game model for Levy-Longo trees, i.e. every point in the model is the denotation of a unique Levy-Longo tree. The observational quotient of the model then gives a universal, and hence fully abstract, model of the pure Lazy Lambda Calculus
Inheritance of astigmatism. Evidence for a major autosomal locus.
No full textAlthough astigmatism is a frequent refractive error, its mode of inheritance remains uncertain. Complex segregation analysis was performed, by the POINTER and COMDS programs, with data from a geographically well-defined sample of 125 nuclear families of individuals affected by astigmatism. POINTER could not distinguish between alternative genetic models, and only the hypothesis of no familial transmission could be rejected. After inclusion of the severity parameter, COMDS results defined a genetic model for corneal astigmatism and provided evidence for single-major-locus inheritance. These results suggest that genetic linkage studies could be implemented and that they should be limited to multiplex families with severely affected individuals
La contropulsazione aortica nel by-pass aorto-coronarico: ricerca dei predittori clinici di mortalità
No full text
Chiloperitoneo insorto dopo intervento per rimozione di protesi valvolare cardiaca migrata in aorta addominale. Descrizione di un caso ed esame della letteratura
No full text- …
