Pubblicazioni di Schaerf Marco
2014
Toppi Jlenia, Risetti M., Quitadamo L. R., Petti Manuela, Bianchi L., Salinari Serenella, Babiloni Fabio, Cincotti Febo, Mattia D., Astolfi Laura
Investigating the effects of a sensorimotor rhythm-based BCI training on the cortical activity elicited by mental imagery. JOURNAL OF NEURAL ENGINEERING 2014: -
DI IORIO Angela, Schaerf Marco
Providing Proof of Trustworthiness Reconstructing Digital Objects’ Custody Chain. Lecture Notes in Computer ScienceOn the Move to Meaningful Internet Systems: OTM 2014 Workshops 2014: 43-51
DI IORIO Angela, Schaerf Marco
The Organization information integration in the management of a Digital Library System. IEEE/ACM Joint Conference on Digital Libraries 2014: 461-462
Catarci Tiziana, DI IORIO Angela, Schaerf Marco
The Sapienza Digital Library from the Holistic Vision to the Actual Implementation. PROCEDIA COMPUTER SCIENCEProcedia Computer Science 2014: 4-11
Toppi Jlenia, Mattia D., Anzolin Alessandra, Risetti M., Petti Manuela, Cincotti Febo, Babiloni Fabio, Astolfi Laura
Time varying effective connectivity for describing brain network changes induced by a memory rehabilitation treatment. 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society 2014: 6786-6789
2013
Toppi Jlenia, DE VICO FALLANI Fabrizio, Petti Manuela, Vecchiato Giovanni, Maglione ANTON GIULIO, Cincotti Febo, Salinari Serenella, D. Mattia, Babiloni Fabio, Astolfi Laura
A new statistical approach for the extraction of adjacency matrix from effective connectivity networks. Engineering in Medicine and Biology Society (EMBC), 2013 35th Annual International Conference of the IEEE 2013: 2932-2935
Petti Manuela, Toppi Jlenia, Pichiorri Floriana, Cincotti Febo, Salinari Serenella, Babiloni Fabio, Astolfi Laura, D. Mattia
Aged-related changes in brain activity classification with respect to age by means of graph indexes.. Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Conference 2013: 4350-4353
DI IORIO Angela, Schaerf Marco
Applicability of digital library descriptive metadata to the contemporary artworks: The Sapienza digital library case study. Lecture Notes in Computer ScienceInformation Technologies for Performing Arts, Media Access, and Entertainment 2013: 78-89
Morone G, Pisotta Iolanda, Molinari M, Mattia D.
BCI for stroke rehabilitation: a randomized controlled trial of efficacy. 5th International BCI Meeting. ASILOMAR 2013: -
DI IORIO Angela, Schaerf Marco, Matteo Bertazzo
Establishing a digital library in wide-ranging university's context: The Sapienza Digital Library experience. Communications in Computer and Information ScienceDigital Libraries and Archives 2013: 172-183
Liberatore Paolo, Schaerf Marco
The compilability framework. INTELLIGENZA ARTIFICIALE 2013: 31-35
Toppi Jlenia, Petti Manuela, Vecchiato Giovanni, Cincotti Febo, Salinari Serenella, D. Mattia, Fabio Babiloni, Astolfi Laura
The effect of normalization of Partial Directed Coherence on the statistical assessment of connectivity patterns: A simulation study. Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Conference 2013: 4346-4349
Lenzerini Maurizio, Schaerf Marco
The scientific legacy of Marco Cadoli in Artificial Intelligence. INTELLIGENZA ARTIFICIALE 2013: -
2012
Toppi Jlenia, Petti Manuela, DE VICO FALLANI Fabrizio, Vecchiato Giovanni, Maglione ANTON GIULIO, Cincotti Febo, Salinari Serenella, D. Mattia, Babiloni Fabio, Astolfi Laura
Liberatore Paolo, Schaerf Marco
DE GIACOMO Giuseppe, Schaerf Marco
2011
Alessandro Previti, Raghuram Ramanujan, Schaerf Marco, Bart Selman
Applying UCT to Boolean Satisfiability. Theory and Applications of Satisfiability Testing - SAT 2011 2011: 373-374
Alessandro Previti, Raghuram Ramanujan, SCHAERF Marco, Bart Selman
Monte-Carlo style UCT search for boolean satisfiability. AI*IA 2011: Artificial Intelligence Around Man and Beyond 2011: 177-188
Marco Cadoli, Francesco M. Donini, Liberatore Paolo, Schaerf Marco
2010
Schaerf Marco
visita Cornell 2010. 2010: -
2007
Liberatore Paolo, Schaerf Marco
Compilability of Propositional Abduction. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2007: 65-83
Chirichiello Antonella, G. Salan
Encoding Process Algebraic Description of Web Services into BPEL. WEB INTELLIGENCE AND AGENT SYSTEMS 2007: 419-434
Fratarcangeli Marco, Schaerf Marco, Robert Forchheimer
Facial motion cloning with radial basis functions in MPEG-4 FBA. GRAPHICAL MODELS 2007: 106-118
Schaerf Marco
Marco Cadoli (1965-2006) - Obituary. AI COMMUNICATIONS 2007: 69-70
ANDREA FERRARA, LIBERATORE Paolo, SCHAERF Marco
Model Checking and Preprocessing. Lecture Notes in Computer Science: Artificial Intelligence and Human-Oriented Computing 2007: 48-59
2006
Gwen Salaun, Lucas Bordeaux, Schaerf Marco
Describing and reasoning on Web Services using process algebra. INTERNATIONAL JOURNAL OF BUSINESS PROCESS INTEGRATION AND MANAGEMENT 2006: 116-128
Chirichiello Antonella, G. Salan
Formal Development of Web Services. Proceedigs of the 4th International Workshop on AI for Service Composition 2006: -
Cadoli Marco, Francesco Donini, Liberatore Paolo, Schaerf Marco
k-approximating circuits. IEEE TRANSACTIONS ON COMPUTERS 2006: 913-917
Cadoli Marco, Schaerf Marco
Partial Solutions with Unique Completion. Reasoning, Action and Interaction in AI Theories and Systems 2006: 101-115
Oliviero Stock, Schaerf Marco
Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello. Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello 2006: -
2005
Cadoli Marco, Andrea Schaerf
Compiling problem specifications into SAT. ARTIFICIAL INTELLIGENCE 2005: 89-120
Cadoli Marco, Eiter T., Gottlob G.
Complexity of Propositional Nested Circumscription and Abnormality Theories. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2005: 232-272
CHIRICHIELLO ANTONELLA, G. Salan
Encoding abstract descriptions into executable web services: Towards a formal development. WI'05, IEEE Computer Society Press, IEEE Computer Society Press 2005: 457-463
Fratarcangeli Marco, Schaerf Marco
Facial Motion Cloning Using Global Shape Deformation. 26th annual conference of the European Association for Computer Graphics (Eurographics 2005) 2005: 89-92
FRATARCANGELI Marco, SCHAERF Marco
Fast Facial Motion Cloning in MPEG-4. ISPA4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005) 2005: 310-315
Andrea Ferrara, Liberatore Paolo, Schaerf Marco
The complexity of action redundancy. AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artific 2005: 1-12
Liberatore Paolo, Schaerf Marco
The complexity of model checking for propositional default logics. DATA & KNOWLEDGE ENGINEERING 2005: 189-202
2004
Gwen Salaun, Lucas Bordeaux, Schaerf Marco
Describing and Reasoning on Web Services using Process Algebra. IEEE International Conference on Web Services (ICWS 2004) 2004: 43-50
G. Salan, A. Ferrara, Chirichiello Antonella
Negotiation among Web Services using LOTOS/CADP. Proceedings of the European Conference on Web Services (ECOWS'04) 2004: 198-212
Schaerf Marco
Fratarcangeli Marco, Schaerf Marco
Realistic Modeling of Animatable Faces in MPEG-4. 17th annual conference on Computer Animation and Social Agents (CASA2004) 2004: -
Liberatore Paolo, Schaerf Marco
The compactness of belief revision and update operators. FUNDAMENTA INFORMATICAE 2004: 377-393
Guidi A
Les conclusions ‘galliardes’ du Secrétaire florentin : esprit de finesse, initiative et efficacité politique dans l'activité pratique de Machiavel. Être homme de 'lettres': secrétaires et politique culturelle au Cinquecento : -
Giresini L, Andreini M, De Falco A, Puppio Ml, Sassu M
Structural protection after landslide phenomena: a case study in Northern Italy. Proceeding of the 4th CEUP2015 (Int. Conf. on Civil Engineering and Urban Planning) : -