Silvana Badaloni homepage

Short CV

Degree in Physics at Padua University with grades 110/110.
Associate Professor - Professore Associato - ING-INF/05 at the Faculty of Engineering, Department of Information Engineering, University of Padova.

Until 1984, her field of research was plasma physics, in particular physical models of electrical discharges in gas and plasma spectroscopy.
In 1985 she got a M.Sc. in Artificial Intelligence at the 'Ecole Nationale des Ponts et Chaussees' in Paris (France). Her current field of investigation concerns Artificial Intelligence, in particular Fuzzy Temporal Reasoning, and Computational Genomics.

Since 2003 she is member of the Committee for Equal Opportunities of Padua University. In this framework, she addressed studies about gender issues in Science and Engineering and she organized the 3rd Italian Conference of Women & Science in September 2006 and the European Workshop on: “Women, Science & Technology: a glance at Europe” in April 2008. She collaborated with EU Community in the framework of diffrent European Projects on Gender and Science such as PROMETEA and HELENA. In 2009 she has been elected as component of the Board of Administration of the European Platform of Women Scientists EPWS

Teaching

Intelligenza Artificiale (Laurea Magistrale in Ingegneria Informatica)

Fondamenti di Informatica (until AA 07/08)

Research

Temporal Reasoning
Fuzzy Constraints
Applications in Biomedical Domains
Computational Genomics
Robotics and Artificial Intelligence

Research Associate at ISIB-CNR, Padova -Italy (until 2007)
Uncertainty in Autonomous Systems Group

meridiana

With the courtesy of Carlo Combi

Recent Publications

Journals

S. Badaloni, M. Falda. Temporal-based medical diagnoses using a Fuzzy Temporal Constraint System. JOURNAL OF INTELLIGENT MANUFACTURING. 21:145-153, ISSN: 0956-5515, doi:10.1007/s10845-008-0171-8, 2010.

S. Badaloni, M. Falda, M. Giacomin. Tractable Fragments of Fuzzy Qualitative Algebra. SPATIAL COGNITION AND COMPUTATION, 8(1-2): 150-166, ISSN: 1387-5868, 2008.

S. Badaloni, M. Falda, M. Giacomin. Solving temporal over-constrained problems using fuzzy techniques. JOURNAL of INTELLIGENT and FUZZY SYSTEMS, 18(3): 255-265, IOS Press, 2007.

S. Badaloni, M. Giacomin. The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning. ARTIFICIAL INTELLIGENCE, 170, pp. 872-908, Elsevier, 2006.

S. Badaloni, M. Falda, M. Giacomin. Integrating quantitative and qualitative fuzzy temporal constraints. AI COMMUNICATIONS. Special Issue on Spatial and Temporal Reasoning. Vol.17 n.4, pp. 187-200, ISSN: 0921-7126. IOS Press, 2004.

Chapters in Book and International Conference Proceedings

S. Badaloni, M. Falda, P. Massignan, F. Sambo. Fuzzy Mutual Information for Reverse Engineering of Gene Regulatory Networks. In Proceedings of the International Conference on Fuzzy Calculus (ICFC), pp. 47, Madeira (Portogallo), 2009.
S. Badaloni, M. Falda. Temporal Features in Biological Warfare. In S. K. Pal V. Di Gesù, A. Petrosino (Editors). Fuzzy Logic and Applications: 8th International Workshop, WILF 2009 - Revised Selected Papers, LNCS 5571, pp. 368-375; Springer Verlag, Berlin Heidelberg, 2009.

S. Badaloni, M. Falda. Classical and Fuzzy Neighborhood Relations of the Temporal Qualitative Algebra. Proc. of the 16th International Symposium on Temporal Representation and Reasoning (TIME); Bressanone, pp. 147-154, IEEE Computer Society Press, (CSP), 2009.

F. Sambo, B. Di Camillo, M. Falda, G. Toffolo, S. Badaloni. CNET: an algorithm for the inference of gene regulatory interactions from gene expression time series. accepted at Intelligent Data Analysis in Medicine and Pharmacology (IDAMAP) workshop; Verona, 2009.

S. Badaloni, M. Falda, F. Sambo, L. Zanini. Addressing temporally constrained Delivery Problems with the Swarm Intelligence approach. Intelligent Autonomous Systems 10 (ISBN: 978-1-58603-887-8), pp. 264-271; IOS Press, 2008.

F. Sambo, B. Di Camillo, M. Falda, G. Toffolo, S. Badaloni. Evaluation of local reliability of gene networks inferred from time series expression data. RECOMB Regulatory Genomics /Systems Biology / DREAM3; Boston (USA), 2008.

S. Badaloni, M. Falda, F. Sambo. Scale-free structure and topological properties in reverse engineering of gene regulatory networks. Atti del convegno Workshop Italiano su Vita Artificiale e Computazione Evolutiva (Wivace'08); Venezia (Italy), 2008.

S. Badaloni, M. Falda, M. Giacomin. Fuzzy Extensions of Qualitative Algebra Tractable Fragments. Proceedings of IJCAI-07 Workshop on Spatial and Temporal Reasoning. Hyderabad, India, 2007.

S. Badaloni, Marco Falda. Applying a Fuzzy Temporal Constraint System to medical diagnoses.Proc. of CAEPIA’07 workshop on Planning, Scheduling and Constraint Satisfaction (ISBN-13: 978-84-611-8860-4), pp. 151-161; (Spain), 2007.

S. Badaloni, M. Falda, M. Giacomin. Computational Complexity Study of Fuzzy Qualitative Temporal Algebra. In Proc. of at FUZZ-IEEE’07 pages 1662-1666, London, 2007.

S. Badaloni, M. Falda. Temporal characterization of ill-known diseases. Proceedings of the International Workshop on Intelligent Data Analysis in Biomedicine and Pharmacology - IDAMAP 2006, pp. 17–22, Verona, Italy, August 2006.

S. Badaloni, M. Falda. About Tractability of Fuzzy Temporal Qualitative Algebra QAfuz. Proceedings of International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, IPMU 2006, pp. 45-48, Paris, France, July 2006.

S. Badaloni and M. Falda. Discriminating exanthematic diseases from temporal patterns of patient symptoms. In Proc. of the 10th Conference of Artificial Intelligence in Medicine (AIME 2005), Lecture Notes in Artificial Intelligence LNAI n. 358 pages 33–42, Springer Verlag, Berlin Heidelberg, 2005.

S. Badaloni and M. Falda. Mobile Robot Scheduling using a Genetic Algorithm enhanced with a credit gain mechanism. In F.Groen et al (Eds) Intelligent Autonomous Systems IAS-8, pp. 485-503, IOS Press, 2004.

S. Badaloni, M. Falda, and M. Giacomin. An hybrid fuzzy temporal constraint approach: a case study. Proceedings of International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, IPMU 2004, pp. 1585–1592, Perugia, Italy, 2004.

S. Badaloni, M. Falda, and M. Giacomin. Towards a scheduling application using fuzzy qualitative and quantitative constraints. Proceedings of the International Conference on Advanced Planning and Scheduling (ICAPS 2003), pp. 40–42, Trento, Italy, 2003.

S. Badaloni, M. Falda, and M. Giacomin. Integrating qualitative and quantitative constraints in fuzzy temporal networks. In F.D.Anger et al (Eds.), Proc. of the International Workshop on Spatial and Temporal Reasoning, IJCAI03, pp. 105–112, Acapulco, Mexico, 2003.

S. Badaloni, M. Giacomin. Fuzzy extensions of Interval-based Temporal Sub-Algebras. Proceedings of International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, IPMU 2002, pp.1119-1126, Annecy, France, 2002.
S. Badaloni, P.Bison. Evolutionary techniques for mobile-robot office delivery scheduling. Proceedings of International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, IPMU 2002, pp.705-710, Annecy, France, 2002.

S. Badaloni, M. Giacomin, C. Masolo. Qualitative temporal representation and reasoning about points, intervals and durations. Proceedings of the 8th International Symposium on Temporal Representation and Reasoning TIME-01, IEEE Computer Society Press, pp. 51-56, 2001.

National Conferences

S. Badaloni, M. Falda, and M. Giacomin. Some considerations about the constraint based satellite-scheduling problem. In Atti del 9ˆ Convegno AI*IA 2004, pages 61, Perugia, Italy, 2004.

S. Badaloni, M. Falda, and M. Giacomin. Qualitative and quantitative fuzzy temporal constraints. In Atti dell’8ˆ Convegno AI*IA 2002, pages 39–48, Siena, Italy, 2002.

Publications (before 2001)

S.Badaloni, M.Giacomin. A fuzzy extension of Allen's Interval Algebra. In E.Lamma, P.Mello (Eds.). AI*IA99: Advances in Artificial Intelligence, Selected Papers, Lecture Notes in Artificial Intelligence LNAI n 1792, pp. 155-165, ISBN 3-540-67350-4, Springer, Berlin Heidelberg New York, 2000.
S.Badaloni, M.Giacomin. Flexible Temporal Constraints. Proceedings of International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, IPMU 2000, pp.1262-1269, Madrid, Spein, 2000.
S.Badaloni, P.Bison, G.Costa. A flexible and efficient office-delivery scheduler for mobile-robot. In E.Pagello et al (Eds.) Intelligent Autonomous Systems IAS-6, pp. 825-832, IOS Press Ohmska, Germany Japan, 2000.
S.Badaloni. Combining heterogeneous temporal information: a case study, Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIeDAM), vol. 13, pp. 79-89, ISSN: 0890-0604, Cambridge University Press, 1999.
S. Badaloni, M. Giacomin. A fuzzy extension of interval-based constraints networks. Proc. of the Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR'99, pp. 5-15, 1999.
S.Badaloni, C.Minnaja, (Eds.). Atti del Sesto Convegno della Associazione Italiana per l'Intelligenza Artificiale, AI*IA98, Padova, 23-25 settembre 1998, Edizioni Progetto Padova. 1998.
S.Badaloni, A.Zanardo. Plausible reasoning: a first-order approach, Journal of Applied Non-Classical Logics, vol. 6, no. 3, pp. 215-261, ISSN: 1166-3081, Editions Hermes-Lavoisier, Paris, 1996.
S. Badaloni, M. Berati. Hybrid temporal reasoning for planning and scheduling. Proc. of the 3rd Int. Workshop on Temporal Representation and Reasoning TIME-96, Key-West, Florida. May 19-20, pp. 39-44, IEEE Computer Society Press, Los Alamitos, CA, 1996.
S.Badaloni, M.Berati. Properties, processes and events at different time granularities, In P.Amsili, M.Borillo, L.Vieu (Eds.) Workshop Notes of the 5th International Workshop on "Time, Space and Movement", TSM95, Toulouse, France, pp. 25-28. 1995.
S.Badaloni, M.Berati, P.Bison, E.Pagello. TEMPLAR: a temporal planner for monitoring the actions of an autonomous robot used in plant experiments, Proceedings of the International Conference on Intelligent Autonomous Systems IAS-4, Karlsruhe, Germany, pp. 95-101, ISBN: 90 5199 213 0, IOS Press, Amsterdam, The Netherlands, 1995.
S.Badaloni, M.Berati. Dealing with time granularity in a Temporal Planning System, In D.M.Gabbay, H.J.Ohlbach (Eds), Temporal Logic, Lecture Notes in Artificial Intelligence LNAI n. 827, pp.101-116, ISBN: 3-540-58241-X, Springer Verlag, Berlin Heidelberg, 1994.
S.Badaloni, E.Pagello, L.Stocchiero, A.Zanardi. Making an autonomous robot plan temporally constrained maintenance operations. In P.Torasso (Ed.) Advances in Artificial Intelligence, Selected Papers, Lecture Notes in Artificial Intelligence LNAI n. 728, pp. 290-301, Springer Verlag, Berlin Heidelberg, 1993.
S.Badaloni, E.Pagello, L.Stocchiero, A.Zanardi. Planning temporally qualified robot actions. Proc. of the Int. Conf. on Advanced Robotics ICAR’93, Tokyo, Japan, Japan Industrial Robot Association JIRA, pp. 695-700. 1993.
S.Badaloni, A.Zanardi. Qualitative and metric constraints on temporal intervals: one application, International Workshop on Reasoning about Temporal Information, Bolzano, Extended Abstract. 1992.
S.Badaloni, A.Zanardo. Typicality for Palusible Reasoning. In E.Ardizzone, S.Gaglio, F.Sorbello (Eds.), Lecture Notes in Artificial Intelligence LNAI n. 549, pp. 470-474, Springer Verlag, Berlin Heidelberg, 1991.
S.Badaloni. Driving a Simulation Model by an Expert System. Proc. of the 8th Int. Symp. on Artificial Intelligence Based Measurements and Control (AIMaC'91), Kyoto, Giappone, pg. 91-96. 1991.
S.Badaloni, E.Pagello, C.Sossai. An autonomous mobile robot in a temporally rich domain: some considerations from the standpoint of A.I.. Proc. of the International Conference on Intelligent Autonomous Systems - 2, IAS-2, Amsterdam,
Stitching Int. Congr. of IAS 1989, pp. 672-682. 1989.
C.Sossai, S.Badaloni. Tempo, futuro e incertezza: una soluzione per un problema di predizione. Atti del Primo Congresso della Associazione Italiana per l'Intelligenza Artificiale, Trento, Cenfor Int. Books Genova 1989, pp 32-39, 1989.
S.Badaloni, C.Sayettat, K.Zreik. L'aspect temporel en Intelligence Artificielle. In Intelligence Artificielle et CAO en BTP, CIMA Editor, pp. 141-156, Hermes, Paris, 1988.
S.Badaloni. Artificial Intelligence Techniques in Spectroscopic Analysis. Proceedings of the IX International Conference on Gas Discharges and their Applications, Venezia, pp. 535-538, Benetton Editore, Padova. 1988.
S.Badaloni. SPECTRO: un Systeme pour l'Analyse Spectroscopique.Proceedings of the 8th International Workshop on Expert Systems and their Applications, Vol.3, Avignon, Editions Gerfau, Paris, ISBN 2-906899-07-0, pp. 475-482. 1988.
S.Badaloni, I.Gallimberti, G.Hartmann. Spectroscopic analysis of the leader reillumination. In "Special Issue on UHV air insulation: physical and enginnering research - Part I", IEE Proceedings A vol. 133, Part A, No. 7, pp. 452-455, UK ISSN 0143-702X, The Institution of Electrical Engineers, London , 1986.

PUBLICATIONS relative to the RESEARCH on AIR DISCHARGES
S. Badaloni, I. Gallimberti, G. Hartmann. Spectroscopic analysis of the leader reillumination. In "Special issue on UHV air insulation: physical and engineering research - Part I", IEE Proceedings~A, Vol. 133, Part A, Number 7, pp. 452-455, London. 1986.
S. Badaloni. In 'Les Renardieres Group'. "Double impulse tests of long airgaps. Part 3: Voltage front perturbation" in "Special issue on UHV air insulation: physical and engineering research - Part I", IEE Proceedings~A, Vol. 133, Part A, Number 7, pp. 438-452, London. 1986.
S. Badaloni. In 'Les Renardieres Group'. " Positive discharges in long air gaps at Les Renardieres - 1975 Results and conclusions ", ELECTRA n. 53, Cigre', Parigi, 1977.
I.Gallimberti, S.Badaloni, G.Hartmann, R.C. Klewe. " Time resolved spectroscopic measurements of discharge phenomena ", ELECTRA n. 35, pp. 137-147, Cigre', Parigi, 1974.
S.Badaloni, I.Gallimberti. " Statistical analysis of corona inception ", ELECTRA n. 35, pp. 77-83, Cigre', Parigi, 1974.
S. Badaloni. In 'Les Renardieres Group'." Les grand arcs dans l'air, dans la nature et en laboratoire", CIGRE' Report 33-20, Parigi, 1974.
S. Badaloni. In 'Les Renardieres Group'. " Research on long air gap discharges at Les Renardieres - 1973 Results ", ELECTRA n. 35, Cigre', Parigi, 1974.
S.Badaloni, I.Gallimberti. " Montecarlo simulation of streamer branching", Proceedings of the XIth International Conference on Phen. in Ionized Gases, Praga, 1973.
S. Badaloni. In 'Les Renardieres Group'. " Research on long air gap discharges at Les Renardieres ", ELECTRA n. 23, pp. 56-95, Cigre', Parigi, 1972.
S.Badaloni, I.Gallimberti. " Distribution of corona inception times", ELECTRA n.23, pp.111-115, Cigre', Parigi, 1972.

Women and Science

Comitato Pari Opportunità Università di Padova dal 2003

S.Badaloni, L.Perini (Eds.). "Donne e Scienza. Il genere in Scienza e Ingegneria: testimonianze, ricerche, idee e proposte". Quaderno n. 1 del Comitato Pari Opportunità dell'Università di Padova. Casa Editrice CLEUP, Padova, 2005.
S. Badaloni, C. A. Drace, O. Gia, M. C. Levorato, F. Vidotto (Eds). "Under-representation of women in Science and Technology". Quaderno del Comitato Pari Opportunità n. 7, CLEUP, Padova, 2008.

Associazione Italiana Donne e Scienza
European Platform of Women Scientists

Pubblicazioni e presentazioni 2007-2009

del Gruppo Donne & Scienza di Padova nell'ambito del Progetto di Ateneo “Questioni di genere nell’universo scientifico e tecnologico: l’emergenza leaky pipe” (coordinato da A.Contarello, 2007-2008) e del Comitato Pari Opportunità

Badaloni S. (2007). Donne e Scienza tra ricerche in corso e azioni positive: l’esperienza di Padova. Presentazione al Convegno su: I Centri Studi di genere: esperienze a confronto. Università di Pisa 15-16 giugno.

Badaloni S. (2007). Donne e Scienza: un rapporto difficile. Presentazione invitata al Convegno Donne all’Università di Firenze, Firenze, 7 novembre.

Contarello A. e Sarrica M. (2007) La questione Leaky Pipe. Paper presentato all’VIII Congresso Nazionale AIP Sezione di Psicologia Sociale. Cesena, 26 Settembre.

Badaloni S., Drace C.A., Gia O., Levorato M.C., Vidotto F. (Eds) (2008). Under-representation of Women in Science and Technology. Proceeding of the 3rd Conference Women & Science WS’06. Quaderno del Comitato Pari Opportunità n 7, Cleup, Padova, Italy.

Badaloni S. (2008). Introduction. Women, Science & Technology. Presentazione al Workshop Europeo su “Donne, Scienza & Tecnologia: uno sguardo all’Europa” , Padova, 16 aprile.

Contarello A. (2008) The Leaky Pipe Effect: Research Notes. Presentazione al Workshop Europeo Donne, Scienza & Tecnologia: uno sguardo all’Europa. Padova, 16 Aprile.

Contarello A., Levorato M.C., Pristinger F. (2008) “Donne, scienza e tecnologia. il fenomeno Leaky Pipe: la scarsa presenza di donne ai livelli apicali delle professioni scientifiche e tecnologiche”. Presentazione nell’ambito del Ciclo di Conversazioni serali con professionisti e giovani talenti della Psicologia in Terrazza Metelli. Padova, 22 Maggio.

Badaloni S. (2008) Donne e scienza: uno sguardo all’Europa. Presentato al II incontro nazionale dei Comitati Pari Opportunità delle Università Italiane ‘ Le pari opportunità dalla teoria alla prassi: Esperienze e prospettive a confronto’. Catania, 22 Maggio.

Badaloni S., Contarello A., Allegrini A. e Brondi S. (2008) Science, Technology, Scientists: What Do University Students Say? Results From An Interdisciplinary Enquiry At Padua University. Paper presented at ICWES (14th International Conference of Women Engineers and Scientists)
‘A changing world: new opportunities for women engineers and scientists’. Lille, July 17th

Badaloni S. (2008). Women and Science in Italy: is something changing? Poster presentato a: First EPWS Annual Conference 2008 “Women Shaping Science”, organised in collaboration with BASNET, the Baltic States Network: Women in Sciences and High Technology, Vilnius, Lithuania, 5-7 June 2008.

Brondi S., Contarello A., Badaloni S., Manganelli A.M. (2008) Studentesse e studenti di fronte al “mito” della scienza. Un’indagine presso l’Università di Padova. Paper presentato al 4° Convegno Annuale Donne e Scienza ‘Scienza senza confini?’. Trieste, 19 Settembre.

Contarello A., Brondi S., Badaloni S., Manganelli A.M. (2009) Il genere della scienza. Una lettura psicosociale della sottorappresentazione delle donne nell’universo scientifico e tecnologico. Paper presentato alle Giornate di Studio ‘Differenze e Disparità: le questioni sui generi in psicologia sociale’. Parma, 19 Febbraio.

Contarello A., Badaloni S., Brondi S. (2009) Genere, scienza e tecnologia. Presentazione al IV Workshop Nazionale STS Italia ‘Le costruzioni sociali della tecnoscienza’. Padova, 11 Giugno.

Contarello A., Brondi S., Badaloni S., Manganelli A.M. (2009) Genere, scienza, tecnologia. La riproduzione delle disparità tra rappresentazioni e pratiche. Poster presentato al IX Congresso Nazionale AIP Sezione di Psicologia Sociale. Cagliari, 21-23 Settembre.

Badaloni S., Gia O.M. (2009). Asimmetrie di genere nella scienza. Presentazione invitata e Paper al 700 Congresso UZI Unione Zoologica Italiana. Bollettino dei Musei e degli Istituti Biologici, Vol. 71-2009, pp. 13-14, Rapallo, 21-24 Settembre.
Badaloni S. (2010). HELENA notes. Relazione invitata in qualità di Advisor del Project HELENA. Graz. Febbraio 2010.

Other Activities

Commissioni Piani di Studi della Laurea Magistrale in Ingegneria Informatica (AA 2008/2009 e 2009/2010)
Referente CCS Ingegneria Informatica della Commissione T.I.M.E. (2009-2013)
Commissione Risorse della Facoltà di Ingegneria (2000-2005)
Commissione Biblioteca del Dipartimento di Ingegneria dell'Informazione (fino al 2003)
Chair of the Italian Conference on Artificial Intelligence AI*IA 98, september 1998, Padova