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

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 56
Titolo Data di pubblicazione Autore(i) File
Bayesian networks learning for gene expression datasets 2005 Gamberoni, Giacomo; Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio; Volinia, Stefano file con accesso da definire
Protocol specification and verification by using computational logic 2005 Chesani, F; Ciampolini, A; Mello, P; Montali, M; Torroni, P; Alberti, Marco; Storari, Sergio file con accesso da definire
Using social integrity constraints for on-the-fly compliance verification of medical protocols 2005 A., Ciampolini; P., Mello; M., Montali; Storari, Sergio file con accesso da definire
Finding biological process modifications in cancer tissues by mining gene expression correlations 2006 G., Gamberoni; Storari, Sergio; Volinia, Stefano 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
Testing guidelines conformance by translating a graphical language to computational logic 2006 Chesani, F.; Ciampolini, A.; Mello, P.; Montali, M.; Storari, Sergio 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
Marker Analysis with APRIORI-Based Algorithms 2006 Gamberoni, Giacomo; Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio; Scapoli, Chiara 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
Computational logic for run-time verification of web service choreographies: exploiting the SOCS-SI tool 2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Storari, Serg...io; Torroni, P. file con accesso da definire
Improving the k2 algorithm using association rule parameters 2006 Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio file con accesso da definire
Fun&Co: identification of key functional differences in transcriptomes 2007 Gamberoni, Giacomo; Lamma, Evelina; Lodo, Gianluca; Marchesini, Jlenia; Mascellani, Nicoletta; Ro...ssi, Simona; Storari, Sergio; Tagliavini, Luca; Volinia, Stefano file con accesso da definire
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
Learning DecSerFlow Models from Labeled Traces 2007 Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio; P., Mello; M., Montali file con accesso da definire
Combining apriori and bootstrap techniques for marker analysis 2007 Gamberoni, Giacomo; Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio; Scapoli, Chiara file con accesso da definire
Inducing Declarative Logic-Based Models from Labeled Traces 2007 Lamma, Evelina; P., Mello; M., Montali; Riguzzi, Fabrizio; Storari, Sergio file con accesso da definire
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic 2007 F., Chesani; P., Mello; M., Montali; Storari, Sergio file con accesso da definire
Compliance Checking of Execution Traces to Business Rules: an Approach based on Logic Programming 2008 F., Chesani; Mello, Paola; M., Montali; Riguzzi, Fabrizio; Storari, Sergio file con accesso da definire
Compliance checking of careflows: an approach based on computational logic 2008 Chesani, F; Lamma, Evelina; Mello, P.; Montali, M; Storari, Sergio; Baldazzi, P.; Manfredi, M. file con accesso da definire
Greedy and exact algorithms for invitation planning in cancer screening 2008 Gavanelli, Marco; M., Milano; Storari, Sergio; Tagliavini, Luca; P., Baldazzi; M., Manfredi; G., ...Valastro file con accesso da definire
Mostrati risultati da 21 a 40 di 56
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile