SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

STORARI, Sergio

STORARI, Sergio  

Dipartimento di Ingegneria (attivo dal 01/01/1997 al 30/09/2012)  

Mostra records
Risultati 1 - 20 di 56 (tempo di esecuzione: 0.043 secondi).
Titolo Data di pubblicazione Autore(i) File
A computational logic-based approach to verification of IT systems 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Storari, Serg...io; Torroni, P. file con accesso da definire
A framework for defining and verifying clinical guidelines: a case study on cancer screening 2006 F., Chesani; P., DE MATTEIS; P., Mello; M., Montali; Storari, Sergio file con accesso da definire
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance 2009 A., Bottrighi; F., Chesani; P., Mello; G., Molino; M., Montali; S., Montani; Storari, Sergio; P.,... Terenziani; M., Torchio file con accesso da definire
A Knowledge-Based System for Fashion Trend Forecasting 2008 P., Mello; Storari, Sergio; B., Valli file con accesso da definire
A multi-agent system for medical services synergy and coordination 2004 A., Ciampolini; P., Mello; Storari, Sergio file con accesso da definire
A system for monotoring nosocomial infections 2000 Lamma, Evelina; Manservigi, M; Mello, Paola; Riguzzi, Fabrizio; Serra, R; Storari, Sergio file con accesso da definire
A System for Monotoring Nosocomial Infections 2000 Lamma, Evelina; Manservigi, M; Mello, Paola; Serra, R; Storari, Sergio; Riguzzi, Fabrizio file con accesso da definire
Abduction for specifying and verifying web service choreographies 2006 Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Montali, M.; Storari, S...ergio file con accesso da definire
An Abductive Multi-Agent Framework for Distributed Service Coordination and Reasoning in Emergency Scenarios 2008 A., Ciampolini; P., Mello; Storari, Sergio file con accesso da definire
An Abductive Multi-Agent System for Medical Services Coordination 2008 A., Ciampolini; P., Mello; Storari, Sergio file con accesso da definire
An Expert System for Microbiological Data Validation and Surveillance 2001 Lamma, Evelina; Mello, Paola; Nanetti, A; Poli, G; Riguzzi, Fabrizio; Storari, Sergio file con accesso da definire
An expert system for the oral anticoagulation treatment 2005 Barbieri, B.; Gamberoni, Giacomo; Lamma, Evelina; Mello, P.; Pavesi, P.; Storari, Sergio file con accesso da definire
An intelligent medical system for microbiological data validation and nosocomial infection surveillance 2002 Lamma, Evelina; Modestino, G.; Riguzzi, Fabrizio; Storari, Sergio; Mello, Paola; Nanetti, A. file con accesso da definire
Analysis of the GLARE and GPROVE approaches to clinical guidelines 2010 A., Bottrighi; F., Chesani; P., Mello; M., Montali; S., Montani; Storari, Sergio; P., Terenziani
Application of machine learning techniques for the forecasting of fashion trends 2010 Mello, P.; Storari, Sergio; Valli, B. file con accesso da definire
APPLICAZIONE DI TECNICHE DI INTELLIGENZA ARTIFICIALE ALL’INTERPRETAZIONE DI IMMAGINI DI SOTTOSUOLO / USE OF ARTIFICIAL INTELLIGENCE TECHNIQUES TO THE INTERPRETATION OF SUBSURFACE LOG IMAGES 2010 Ferraretti, Denis; Tagliavini, Luca; R., Di Cuia; Puviani, Maria Chiara; Lamma, Evelina; Storari,... Sergio file con accesso da definire
Applying Inductive Logic Programming to Process Mining 2008 Lamma, Evelina; P., Mello; Riguzzi, Fabrizio; Storari, Sergio file con accesso da definire
Artificial intelligence techniques for monitoring dangerous infections 2006 Lamma, Evelina; Mello, P; Nanetti, A; Riguzzi, Fabrizio; Storari, Sergio; Valastro, G. file con accesso da definire
Bayesian networks learning for gene expression datasets 2005 Gamberoni, Giacomo; Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio; Volinia, Stefano file con accesso da definire
Checking Compliance of Execution Traces to Business Rules 2009 F., Chesani; P., Mello; M., Montali; Riguzzi, Fabrizio; M., Sebastianis; Storari, Sergio file con accesso da definire