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

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.961 a 1.980 di 10.385
Titolo Data di pubblicazione Autore(i) File
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders 2008 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D and T 2008 Hodkinson, Ian; Montanari, Angelo; Sciavicco, Guido
On Decidability and Expressiveness of Propositional Neighborhood Logics 2007 Bresolin, Davide; Goranko, Valentin; 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
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
Fast Cone-beam CT reconstruction using GPU 2014 DI DOMENICO, Giovanni
Valore e limiti dell'analisi per attivazione neutronica (AAN) nell'individuazione degli effetti dello sparo in rapporto ad intervalli di distanza 1982 Tavani, M.; Avato, Francesco Maria; Riva, A.; Lodola, L.
Spunti medico-legali in tema di rimedi tradizionali 1983 Avato, Francesco Maria
"Guanto di silicone" : prove sperimentali per l'ottimizzazione della metodica 1982 Avato, Francesco Maria; Lodola, L.; Riva, A.
Su alcuni problemi medico-legali concernenti i portatori di virus epatite 1984 Avato, F. M.; Fornari, A
Aspetti statistici e metodologici del trattamento del tossicodipendente, esperienza del Presidio per l'accertamento ed il trattamento degli stati di tossicodipendenza in Pavia: anni 1980-1982 1980 Avato, Francesco Maria
Pharmacology of delayed-onset cerebellar tremors 1997 Sechi, Gp; Deiana, Ga; Deserra, F; Pugliatti, Maura; Rosati, G. file con accesso da definire
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.961 a 1.980 di 10.385
Legenda icone

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

Scopri
Tipologia
  • 04 Atto di Convegno (Proceedings)10385
Autore
  • MAZZINI, Gianluca251
  • 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 stampa26
  • 2020 - 20261532
  • 2010 - 20193412
  • 2000 - 20093915
  • 1990 - 19991215
  • 1980 - 1989268
  • 1970 - 197916
  • 1966 - 19691
Editore
  • IEEE711
  • Institute of Electrical and Elect...352
  • Springer190
  • 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
  • eng6704
  • ita3601
  • fre121
  • spa48
  • ger32
  • por17
  • enm3
  • rus3
  • tur3
  • chi2
Accesso al fulltext
  • no fulltext8482
  • reserved1101
  • open701
  • partially open100
  • mixed1