Predicting and controlling bubble clogging in bioreactor for bone tissue engineering
2011-01-01 Campolo, Marina; Molin, Dafne; Soldati, Alfredo
First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics
2014-01-01 Della Monica, D; Montanari, Angelo; Sciavicco, G; Tishkovsky, D.
Interval-based Synthesis
2014-01-01 Montanari, Angelo; Sala, P.
DL-Lite and Interval Temporal Logics: a Marriage Proposal
2014-01-01 Artale, A; Bresolin, D; Montanari, Angelo; Sciavicco, G; Ryzhikov, V.
Checking Interval Properties of Computations
2014-01-01 Montanari, Angelo; Murano, A; Perelli, G; Peron, A.
Metric Propositional Neighborhood Logic with an Equivalence Relation
2014-01-01 Montanari, Angelo; Pazzaglia, Marco; Sala, P.
Adding two equivalence relations to the interval temporal logic AB
2014-01-01 Montanari, Angelo; Pazzaglia, Marco; Sala, P.
Firenze maggio 1925: l'incontro di Thomas Mann con Wilamowitz, Pasquali e Snell
2014-01-01 Guida, Augusto
On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders
2014-01-01 Aceto, L; Della Monica, D; Ingolfsdottir, A; Montanari, Angelo; Sciavicco, G.
Decidability of the interval temporal logic AA*BB* over the rationals
2014-01-01 Montanari, Angelo; Puppis, G; Sala, P.
I SIT PER LA GOVERNANCE DEI TERRITORI MONTANI: MONTUOSITÀ O MONTANITÀ?
2014-01-01 Amaduzzi, Salvatore; Pascolini, Mauro
Learning pairwise feature dissimilarities for person re-identification
2013-01-01 Martinel, Niki; Micheloni, Christian; Piciarelli, Claudio
Estimation of the digestibility, protein and energy content of the diets of the Black Grouse (Tetrao Tetrix) in relation of different areas and seasons, and habitat management and livestock activities.
2014-01-01 Filacorda, Stefano; C., Comuzzo; Fabro, Carla
Appunti sulla ricezione classica in Poliziano ed Ermolao Barbaro
2014-01-01 Griggio, Claudio
Phospholipase activities in green coffee beans (Coffea arabica L.) harvested in different countries
2010-01-01 Patui, Sonia; Peresson, Carlo; Clincon, L.; Braidot, Enrico; Zancani, Marco; Navarini, L.; Colussi, A.; Del Terra, L.; Vianello, Angelo
LaxF: Side Conditions and External Evidence as Monads
2014-01-01 Honsell, Furio; L., Liquori; Scagnetto, Ivan
Internal Adequacy of Bookkeeping in Coq
2014-01-01 Ciaffaglione, Alberto; Scagnetto, Ivan
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge
2014-01-01 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan; M., Valenti
A context-aware retrieval system for mobile applications
2014-01-01 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan; I., Zanello
Team structure and scientific impact of “big science” research
2014-01-01 Finn, Valentin; Lauto, Giancarlo; Jacob, Jeppesen
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...12343
Data di pubblicazione
- In corso di stampa23
- 2020 - 20272073
- 2010 - 20193793
- 2000 - 20094359
- 1990 - 19991637
- 1980 - 1989430
- 1970 - 197927
Editore
- Institute of Electrical and Elect...389
- IEEE181
- Springer178
- Springer Science and Business Med...156
- CEUR-WS121
- Springer Verlag108
- Sissa Medialab Srl107
- Forum Editrice Universitaria Udinese76
- IEEE Computer Society62
- Springer-Verlag61
Rivista
- POS PROCEEDINGS OF SCIENCE125
- LECTURE NOTES IN COMPUTER SCIENCE123
- JOURNAL OF PHYSICS. CONFERENCE SE...68
- MINERVA ANESTESIOLOGICA61
- ACTA HORTICULTURAE39
- CEUR WORKSHOP PROCEEDINGS33
- ELECTRONIC NOTES IN THEORETICAL C...22
- INTERNATIONAL ARCHIVES OF THE PHO...22
- ELECTRONIC PROCEEDINGS IN THEORET...20
- SABIEDRIBA, INTEGRACIJA, IZGLITIBA20
Serie
- LECTURE NOTES IN COMPUTER SCIENCE179
- CEUR WORKSHOP PROCEEDINGS141
- LECTURE NOTES IN ARTIFICIAL INTEL...52
- MECHANISMS AND MACHINE SCIENCE34
- LEIBNIZ INTERNATIONAL PROCEEDINGS...25
- CONFERENCE PROCEEDINGS - IEEE APP...23
- PROCEEDINGS OF SPIE, THE INTERNAT...23
- SCIENCE ET TECHNIQUE DU FROID19
- LECTURE NOTES IN CIVIL ENGINEERING18
- PROCEEDINGS OF THE IEEE CONFERENC...18
Keyword
- Electrical and Electronic Enginee...63
- Computer Science (all)54
- Computer Science Applications1707...44
- Physics and Astronomy (all)44
- Mechanical Engineering38
- Software35
- Musica per film34
- Theoretical Computer Science34
- Computer Networks and Communications30
- Electronic30
Lingua
- eng7395
- ita3025
- und74
- fre71
- spa44
- ger34
- slv12
- lat10
- rus7
- mul5
Accesso al fulltext
- no fulltext10225
- reserved1262
- open796
- partially open55
- restricted4
- embargoed1