Degree in Physics at Padua University
with grades 110/110.
Associate Professor - Professore Associato - ING-INF/05 at
the Department of Information Engineering, University of
Padova. She is teacher of a Course on Foundations of Artificial Intelligence and a Course of Intelligent Systems.
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 its applications.
Since 2004 she takes part, as an elected component, to the Equal
Opportunities Committee of Padua University. In this framework she
addressed gender studies in the field of Science and Engineering. She is
Vice-President of the Italian Association Women &
Science and she belongs to the EPWS (European Platform of Women Scientists) EPWS. She organized the 3rd Italian Conference of Women and Science in
September 2006, the European Workshop on: “Women, Science
&
Technology: a glance at Europe” in
April 2008, the Workshop on: "The Excellence of Women in Science" at
the Galilean School of Higher Education of Padua University in October
2011 and many Seminars on the issue of Gender and Science. She collaborated with
EU
Community in the framework of different European Projects on Gender and Science and she is author of many papers on this issue.
Since January 2013, she is the coordinator of the Unit - University of
Padova - that is a partner of the GenderTime Project
(www.gendertime.org), funded by the EU in the Seventh Framework
Programme (FP7). The aim of the Project is to identify and implement
the best systemic approach to increase the participation and career
advancement of women researchers.
S. Badaloni, B.
Di Camillo, F. Sambo. Qualitative Reasoning for Biological Network
Inference from Systematic Perturbation Experiments. IEEE/ACM
TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS 9(5),
1482-1491, ISSN 1545-5963, 2012.
S. Badaloni, M. Falda, P. Massignan, F. Sambo. Redefinition of Mutual Information in the Fuzzy Sets Framework for Computational Genomics.
In Madani et al. (Eds.) Computational Intelligence, pp 73-83, DOI
10.1007/978-3-642-20206-3, ISBN 9783642202056, Springer-Verlag, Berlin
Heidelberg, 2011.
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. AICOMMUNICATIONS. 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 Madani K. et al (Eds.) Computational Intelligence. Revised and
Selected Papers of the International Conference on Fuzzy Calculus
(ICFC), Madeira
(Portogallo), 2009, pp. 73-83, SCI 343, ISBN 9783642202056, DOI
10.1007/978-3-642-20206-3, Springer Verlag, Berlin Heidelberg, 2011.
S. Badaloni,
M.
Falda. Coping with Uncertainty in Temporal Gene Expressions Using
Symbolic Representations. In Hullermeier E. et al (Eds.), IPMU 2010 -
CCIS 81, Part II, pp. 11-20, ISBN 9783642140570, SPRINGER, Heidelberg,
2010.
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 inArtificial
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 inArtificial
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.
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.
Badaloni S., Brondi S., Contarello A. (2011). The appeal of innovation.
New trends in STEM from a gender point of view. In: Proceeding of GIEE
2011. Paris, France, June 2011.
Badaloni S., Brondi S., Contarello A., Manganelli A.M. (2009). The
threatened excellence. Reasoning about young women’s scientific and
technological careers in Padua University, Italy. In Proceedings of
the PROMETEA International Conference, Paris, ROTTERDAM: Sense
Publisher B.V.
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.
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., 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., 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.
PRESENTAZIONI 2007-2012 del Gruppo Donne & Scienza di
Padova
Badaloni S. (2010). HELENA notes. Relazione invitata in qualitą di Advisor del Project HELENA. Graz. Febbraio 2010.
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.
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. (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.
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
