Scheda docente


Veronica BIAZZO

Ruolo: Ricercatore
Settore Scientifico Disciplinare: MAT/06 - PROBABILITA E STATISTICA MATEMATICA
Sede: SEDI DI CATANIA V.le A. Doria, 6
Ufficio: Dipartimento di Matematica e Informatica, III blocco, studio n. 53, V.le A. Doria 6, I-95125 ,Catania, Italia
Telefono: 0957383020
E-mail: vbiazzo@dmi.unict.it
Orario di ricevimento: su appuntamento (contattare per email)


  • Note biografiche:

    -Ricercatore (settore Mat06) presso l'Universita' degli studi di Catania.
    Titoli, carriera:
    ² 1997 :
    Laurea in Matematica presso l'Universitµa degli Studi di Catania.
    ² 1998 :
    Contratto di collaborazione tecnica ¯nanziata dall'universita' di Catania per il periodo dal
    3/7/1998 al 2/12/1998.
    ² 1999 - 2003:
    Dottorato di ricerca in Matematica Applicata ed Informatica sede amministrativa Napoli,
    sedi universitarie consorziate di Catania, Napoli "Federico II" (Scienze e Ingegneria),
    Napoli II, Salerno e Palermo .
    ² 2001 :
    Nomina di ricercatore (settore Mat06) presso l'Universita' degli studi di Catania.

  • Attività:

    -Scuole estive:
    ² 2000 Corso estivo di Matematica organizzato dalla SMI - Cortona, 13-26 Agosto 2000;
    Teoria dei Giochi, Prof. S. Zamir (Crest, Parigi);
    Teoria delle Decisioni, Prof. J. Ja®ray (Jussieu, Parigi);
    ² 2001 First international summer school reasoning under partial knowledge, August 26 -
    September 6, 2001, Foligno (PG), Italy.
    ² 2002 Second international summer school reasoning under partial knowledge, August 26-
    September 14, 2002 , Foligno (PG), Italy.
    ² Corso estivo di Matematica organizzato dalla SMI - Cortona, 13-26 Agosto 2000;
    Teoria dei Giochi, Prof. S. Zamir (Crest, Parigi);
    Teoria delle Decisioni, Prof. J. Ja®ray (Jussieu, Parigi);
    Periodi di studio all'estero:
    ² 2000 :
    Periodo di studio presso l'Universita' del Maryland, College Park, USA, in collaborazione
    con il Prof. V.S. Subrahmanian, su applicazioni della probabilit¶a ai database.

  • Pubblicazioni:

    -Pubblicazioni:
    1. "The fundamental theorem of de Finetti for conditional events : a linear algorithm to
    determine the interval [p0; p00]" (1999). Preprint. (coll. A. Gilio).
    2. "A linear algorithm for the optimal propagation of conditional probability assessments: an
    implementation with Maple V" (1999). Contributi 6, Dip. di Scienze, Storia dell'Architettura
    e Restauro, Univ. di Pescara, 8-21. (coll. A. Gilio)
    3. "A generalization of the fundamental theorem of de Finetti for imprecise conditional
    probability assessments" (1999). Proceedings of The First International Symposium on
    Imprecise Probabilities and their Applications (ISIPTA '99), Ghent, Belgium, 29 June -
    2 July 1999 34-43. (coll. A. Gilio)
    4. "A general probabilistic database model" (1999). Convegno "Modeli per il trattamento
    della conoscenza parziale nel processo decisionale", 7-9 aprile 1999, Perugia.. (coll. A.
    Ferro, A. Gilio, R. Giugno)
    5. "Algorithms for the extension of precise and imprecise conditional probability assess-
    ments: an implentation with Maple V" (2000). Le Matematiche, Volume LV 2000.
    6. "E±cient Checking of Coherence and Propagation of Imprecise Probability Assessments"
    (2000). Proc. of IPMU2000, Madrid, SPAIN, July 3-7, 2000. (coll. A. Gilio, G. San¯l-
    ippo).
    7. "An overview on temporal probabilistic object bases" (2000). Extended abstract, Con-
    vegno "Modelli per il trattamento della conoscenza parziale nel processo decisionale",
    Lipari (ME), 22-26 Luglio 2000, (coll. R. Giugno, V.S. Subrahmanian).
    8. "A general probabilistic database model" (2000). Proc. of IPMU2000, Madrid, SPAIN,
    July 3-7, 2000, (coll. A. Ferro, A. Gilio, R. Giugno).
    3
    9. "Computational Aspects in Checking of Coherence and Propagation of Conditional Prob-
    ability Bounds" (2000). Proc. of WUPES2000, June 20-24, 2000, Jindrichuv Hradec,
    Czech Republic, pp.1-13, (coll. A. Gilio, G. San¯lippo).
    10. "Coherence Checking and Propagation of Lower Probability Bounds". Submitted, (coll.
    A. Gilio, G. San¯lippo).
    11. "Algorithms for Coherence Checking and Propagation of Conditional Probability Bounds"
    (2000). Extended abstracts, Convegno "Modelli per il trattamento della conoscenza
    parziale nel processo decisionale", Lipari (ME), 22-26 Luglio 2000, (coll. A. Gilio, G.
    San¯lippo).
    12. "Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default
    Reasoning". In proceedings of the "ECSQARU" 2001 pages 290-302, Toulouse, France,
    19-21 September 2001. Volume 2143 of Lecture Notes in Arti¯cial Intelligence, Springer,
    2001. (coll. A. Gilio, T. Lukasiewicz, G. San¯lippo).
    13. "Probabilistic Logic under Coherence: Complexity and Algorithms" (2001). In Proceed-
    ings of the 2nd International Symposium on Imprecise Probabilities and their Applica-
    tions (ISIPTA '01), pages 51-61, Ithaca, New York, USA, June 2001. (coll. A. Gilio, T.
    Lukasiewicz, G. San¯lippo).
    14. "Coherence Checking and Propagation of Lower Probability Bounds" (2001). Accepted
    in Soft Computing . (coll. A. Gilio, G. San¯lippo).
    15. "Algorithms for Coherence Checking and Propagation of Conditional Probability Bounds"
    (2001). KI-2001, Workshop "Uncertainty in Arti¯cial Intelligence", Vienna, Austria,
    Settembre 17, 2001. (coll. A. Gilio, G. San¯lippo).
    16. "On the linear structure of betting criterion and the checking of coherence" (2002). Annals
    of Mathematics and Arti¯cial Intelligence", 35 (1-4), pp. 83-106, May 2002. (coll. A.
    Gilio).
    17. "Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default
    Reasoning in System P". Journal of Applied Non-Classical Logics, 12(2), 189-213, 2002.
    (coll. A. Gilio, T. Lukasiewicz, G. San¯lippo).
    18. Temporal Probabilistic Object Bases. IEEE Transactions on Knowledge and Data Engi-
    neering (TKDE), 15(4), 921-939, July/August 2003. (coll. R. Giugno, Thomas Lukasiewicz,
    V.S. Subrahmanian).
    19. Some results on generalized coherence of conditional probability bounds. In Proceedings
    of the 3rd International Symposium on Imprecise Probabilities and Their Applications
    (ISIPTA '03), pages 62 - 76, University of Lugano , Switzerland 14-17 July, 2003. (coll.
    A. Gilio, G. San¯lippo).
    20. Logical Conditions for Coherent Qualitative and Numerical Probability Assessments. In
    Proc. Of WUPES2003, Hejnice, Czech Republic, 24 - 27 September, 2003. (coll. A. Gilio,
    G. San¯lippo).
    4
    21. Coherence conditions for generalized probability assessments. In Proc. of IPMU2004,
    Perugia, Italy, 4-9 July 2004. (coll. A. Gilio).
    22. Probabilistic Logic under Coherence: Complexity and Algorithms. Annals of Math-
    ematics and Arti¯cial Intelligence, 45(1-2), 35-81, October 2005. (coll. A. Gilio, T.
    Lukasiewicz, G. San¯lippo).
    23. Some theoretical properties of interval-valued conditional probability assessments. In
    Proc. of ISIPTA 2005, Carnegie Mellon University, Pittsburgh, PA, USA July 20-23 2005
    (coll. A. Gilio).
    24. Some results on imprecise conditional prevision assessments. In Proc. of ISIPTA 2007,
    Prague, Czech Republic, 16-19 July 2007 (coll. A. Gilio).
    25. Generalized coherence and connection property of imprecise conditional previsions. In
    Proc. of IPMU2008, Malaga, Spain, 22-27 June 2008. (coll. A. Gilio, G. San¯lippo).
     

  • Note:

    -

  • Collaboratori:
     
     



    Clicca qui per accedere all'area riservata