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

04.2 Contributi in atti di convegno (in Volume): [10419] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.961 a 1.980 di 10.419
Titolo Data di pubblicazione Autore(i) File
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 2008 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
On Decidability and Expressiveness of Propositional Neighborhood Logics 2007 Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D and T 2008 Hodkinson, Ian; Montanari, Angelo; Sciavicco, Guido
Quality Checking of Medical Guidelines using Interval Temporal Logics: A Case Study 2009 Sciavicco, Guido; Juarez, Jose Manuel; Campos, Manuel file con accesso da definire
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 2009 Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 2010 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 2010 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, Guido file con accesso da definire
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 2012 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
A Tableau-Based System for Spatial Reasoning about Directional Relations 2009 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders 2008 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Undecidability of interval temporal logics with the overlap modality 2009 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
On The Expressive Power of First Order Logic Extended with Allen’s Relations in the Strict Case 2011 Conradie, Willem; Sciavicco, Guido
On the diagnostics of planet gear bearings 2015 D'Elia, Gianluca; Marco, Cocconcelli; Mucchi, Emiliano; Dalpiaz, Giorgio
Un anno di attività diagnostica del laboratorio di Genetica molecolare di Ferrara 2010 Ravani, A.; Venturoli, A.; Trabanelli, C.; Dolcini, B.; Taddei Masieri, M.; Carturan, S.; Rimessi..., P.; Gualandi, Francesca; Brioschi, Simona; Selvatici, Rita; Ferlini, Alessandra file con accesso da definire
Primal-dual first order methods for total variation image restoration in presence of Poisson noise 2014 Bonettini, Silvia; Benfenati, Alessandro; Ruggiero, Valeria file con accesso da definire
BIM based collaborative design technology for Collective Self-organised Housing 2014 T., Damen; M., Macdonald; T., Hartmann; DI GIULIO, Roberto; P., Bonsma; K., Luig; R., Sebastian; ...D., Soetanto
Creating vendor independent parametric knowledge using cad systems 2014 P., Bonsma; T., Damen; DI GIULIO, Roberto; K., Luig
Novel design principles and process models for emerging CSO housing market 2014 J., Brouwer; E., Bektas; DI GIULIO, Roberto; M., Bennicelli Pasqualis; C., Quentin; P., Savanović
NMD CHIP: Un Progetto Europeo per la diagnosi delle patologie neuromuscolari 2010 Neri, Marcella; Scotton, Chiara; Brioschi, Simona; G., Vattemi; Selvatici, Rita; Gualandi, France...sca; N., Levy; Ferlini, Alessandra file con accesso da definire
TEmplate Massively PaRAllel Library for Efficient N-Dimensional Signal Processing 2014 Zanella, Riccardo; Francesco, Ceccon file con accesso da definire
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.961 a 1.980 di 10.419
Legenda icone

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

Scopri
Tipologia
  • 04 Atto di Convegno (Proceedings)10419
Autore
  • MAZZINI, Gianluca253
  • PINELLI, Michele199
  • VANNINI, Giorgio189
  • SIMANI, Silvio188
  • SETTI, Gianluca151
  • SPINA, Pier Ruggero148
  • VENTURINI, Mauro141
  • CONTI, Andrea140
  • POMPOLI, Francesco134
  • BERTOZZI, Davide130
Data di pubblicazione
  • In corso di stampa27
  • 2020 - 20261565
  • 2010 - 20193412
  • 2000 - 20093915
  • 1990 - 19991215
  • 1980 - 1989268
  • 1970 - 197916
  • 1966 - 19691
Editore
  • IEEE714
  • Institute of Electrical and Elect...352
  • Springer193
  • Associazione Italiana di Acustica117
  • American Society of Mechanical En...100
  • ASME93
  • ---81
  • Giappichelli61
  • IEEE Computer Society56
  • Springer Verlag51
Rivista
  • PROCEEDINGS OF SPIE, THE INTERNAT...11
  • IFAC PROCEEDINGS VOLUMES8
  • LECTURE NOTES IN COMPUTER SCIENCE8
  • RENDICONTI ONLINE DELLA SOCIETÀ G...8
  • PROCEEDINGS EURONOISE6
  • IEEE NUCLEAR SCIENCE SYMPOSIUM CO...5
  • PLINIUS5
  • AIP CONFERENCE PROCEEDINGS4
  • IAHS PUBLICATION4
  • JOURNAL OF PHYSICS. CONFERENCE SE...4
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE87
  • CEUR WORKSHOP PROCEEDINGS69
  • PROCEEDINGS OF SPIE, THE INTERNAT...41
  • DISÉGNO - OPEN ACCESS29
  • ADVANCES IN INTELLIGENT SYSTEMS A...26
  • LECTURE NOTES IN NETWORKS AND SYS...22
  • AIP CONFERENCE PROCEEDINGS21
  • IFAC-PAPERSONLINE18
  • IEEE NUCLEAR SCIENCE SYMPOSIUM CO...16
  • IEEE INTERNATIONAL CONFERENCE ON ...13
Keyword
  • Ferrara57
  • Electrical and Electronic Enginee...43
  • Rinascimento37
  • acne36
  • Cultural Heritage35
  • Probabilistic Logic Programming26
  • Computer Networks and Communications25
  • Fault diagnosis25
  • fault diagnosis23
  • iconografia23
Lingua
  • eng6724
  • ita3614
  • fre122
  • spa48
  • ger32
  • por17
  • enm3
  • rus3
  • tur3
  • chi2
Accesso al fulltext
  • no fulltext8509
  • reserved1106
  • open703
  • partially open100
  • mixed1