Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 821 a 840 di 36.920
successivo >
< precedente
Automated Formal Verification for Flexible Manufacturing Systems
2012-01-01 Emanuele, Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mauro, Mazzolini; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
A Metric Temporal Logic for Dealing with Zero-Time Transitions
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
A timed semantics of workflows
2015-01-01 Bersani, M. M.; Distefano, S.; Ferrucci, L.; Mazzara, M.
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Social protection in mitigating economic insecurity
2018-01-01 Coli, Alessandra
The employment situation of people with disabilites in Tuscany
2021-01-01 Addis, Paolo; Coli, Alessandra; Francese, Gianfranco
Jet calibration in the ATLAS experiment at LHC
2009-01-01 Francavilla, P
Poly-generation capability of a biogas plant with upgrading system
2019-01-01 Baccioli, A.; Caposciutti, G.; Marchionni, A.; Ferrari, L.; Desideri, U.
An experimental analysis of Lithium battery use for high power application
2021-01-01 Bandini, G.; Caposciutti, G.; Marracci, M.; Buffi, A.; Tellini, B.
Overcharged Li-Polymer Batteries: A Post-Mortem Analysis
2019-01-01 Ciorba, S.; Antonetti, C.; Martinelli, M.; Galletti, A. M. R.; Caposciutti, G.; Marracci, M.; Tellini, B.
Measurement of GT exhaust gas temperature by acoustic pyrometry: Preliminary error investigation
2021-01-01 Caposciutti, Gianluca; Ferrari, Lorenzo
Acoustic Pyrometry Robustness to Time of Flight Estimation Errors
2021-01-01 Caposciutti, Gianluca; Ferrari, Lorenzo
Hazard and safety management in industrial bio-based processes
2018-01-01 Casson Moreno, Valeria; Cozzani, Valerio
Над Землей. Влияние космистов на ВХУТЕМАС = Above the Earth. Cosmist influence on VKHUTEMAS
2020-01-01 Lanini, Luca
The Infinite City. Vision and Reality in Ivan Leonidov’s Urban Designs
2020-01-01 Lanini, Luca
Italian in the Trenches: Linguistic Annotation and Analysis of Texts of the Great War
2018-01-01 DE FELICE, Irene; Dell’Orletta, Felice; Giulia, Venturi; Lenci, Alessandro; Montemagni, Simonetta
PISA: A measure of Preference In Selection of Arguments to model verb argument recoverability
2020-01-01 Cappelli, Giulia; Lenci, Alessandro
SemEval-2018 Task 10: Capturing Discriminative Attributes
2018-01-01 Krebs, Alicia; Lenci, Alessandro; Paperno, Denis
Event Knowledge in Sentence Processing: A New Dataset for the Evaluation of Argument Typicality
2018-01-01 Vassallo, Paolo; Chersoni, Emmanuele; Santus, Enrico; Lenci, Alessandro; Blache, Philippe
Representing Verbs with Visual Argument Vectors
2020-01-01 Sucameli, Irene; Lenci, Alessandro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automated Formal Verification for Flexible Manufacturing Systems | 1-gen-2012 | Emanuele, Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mauro, Mazzolini; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI | |
| A Metric Temporal Logic for Dealing with Zero-Time Transitions | 1-gen-2012 | Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI | |
| A timed semantics of workflows | 1-gen-2015 | Bersani, M. M.; Distefano, S.; Ferrucci, L.; Mazzara, M. | |
| Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis | 1-gen-2012 | Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI | |
| Social protection in mitigating economic insecurity | 1-gen-2018 | Coli, Alessandra | |
| The employment situation of people with disabilites in Tuscany | 1-gen-2021 | Addis, Paolo; Coli, Alessandra; Francese, Gianfranco | |
| Jet calibration in the ATLAS experiment at LHC | 1-gen-2009 | Francavilla, P | |
| Poly-generation capability of a biogas plant with upgrading system | 1-gen-2019 | Baccioli, A.; Caposciutti, G.; Marchionni, A.; Ferrari, L.; Desideri, U. | |
| An experimental analysis of Lithium battery use for high power application | 1-gen-2021 | Bandini, G.; Caposciutti, G.; Marracci, M.; Buffi, A.; Tellini, B. | |
| Overcharged Li-Polymer Batteries: A Post-Mortem Analysis | 1-gen-2019 | Ciorba, S.; Antonetti, C.; Martinelli, M.; Galletti, A. M. R.; Caposciutti, G.; Marracci, M.; Tellini, B. | |
| Measurement of GT exhaust gas temperature by acoustic pyrometry: Preliminary error investigation | 1-gen-2021 | Caposciutti, Gianluca; Ferrari, Lorenzo | |
| Acoustic Pyrometry Robustness to Time of Flight Estimation Errors | 1-gen-2021 | Caposciutti, Gianluca; Ferrari, Lorenzo | |
| Hazard and safety management in industrial bio-based processes | 1-gen-2018 | Casson Moreno, Valeria; Cozzani, Valerio | |
| Над Землей. Влияние космистов на ВХУТЕМАС = Above the Earth. Cosmist influence on VKHUTEMAS | 1-gen-2020 | Lanini, Luca | |
| The Infinite City. Vision and Reality in Ivan Leonidov’s Urban Designs | 1-gen-2020 | Lanini, Luca | |
| Italian in the Trenches: Linguistic Annotation and Analysis of Texts of the Great War | 1-gen-2018 | DE FELICE, Irene; Dell’Orletta, Felice; Giulia, Venturi; Lenci, Alessandro; Montemagni, Simonetta | |
| PISA: A measure of Preference In Selection of Arguments to model verb argument recoverability | 1-gen-2020 | Cappelli, Giulia; Lenci, Alessandro | |
| SemEval-2018 Task 10: Capturing Discriminative Attributes | 1-gen-2018 | Krebs, Alicia; Lenci, Alessandro; Paperno, Denis | |
| Event Knowledge in Sentence Processing: A New Dataset for the Evaluation of Argument Typicality | 1-gen-2018 | Vassallo, Paolo; Chersoni, Emmanuele; Santus, Enrico; Lenci, Alessandro; Blache, Philippe | |
| Representing Verbs with Visual Argument Vectors | 1-gen-2020 | Sucameli, Irene; Lenci, Alessandro |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 821 a 840 di 36.920
successivo >
< precedente
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 ...36919
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa147
- 2020 - 20265059
- 2010 - 201911024
- 2000 - 200913956
- 1990 - 19995134
- 1980 - 19891432
- 1970 - 1979156
- 1961 - 19693
Editore
- Institute of Electrical and Elect...1772
- IEEE1227
- Springer609
- Springer Verlag328
- IEEE Computer Society265
- Springer Science and Business Med...215
- ETS179
- Elsevier156
- ACM130
- Pisa University Press128
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE430
- POS PROCEEDINGS OF SCIENCE136
- JOURNAL OF PHYSICS. CONFERENCE SE...123
- ELECTRONIC NOTES IN THEORETICAL C...71
- ACTA HORTICULTURAE69
- PROCEEDINGS OF SPIE, THE INTERNAT...58
- NUCLEAR PHYSICS B-PROCEEDINGS SUP...54
- ATTI DELLA SOCIETA' ITALIANA DELL...47
- IEEE ENGINEERING IN MEDICINE AND ...44
- PROCEDIA STRUCTURAL INTEGRITY44
Serie
- LECTURE NOTES IN COMPUTER SCIENCE341
- CEUR WORKSHOP PROCEEDINGS142
- LECTURE NOTES IN ARTIFICIAL INTEL...113
- LECTURE NOTES IN COMPUTER SCIENCE61
- COMMUNICATIONS IN COMPUTER AND IN...56
- DIGEST - IEEE ANTENNAS AND PROPAG...55
- IEEE ENGINEERING IN MEDICINE AND ...54
- LEIBNIZ INTERNATIONAL PROCEEDINGS...52
- LECTURE NOTES IN ELECTRICAL ENGIN...51
- PROCEEDINGS OF SPIE, THE INTERNAT...42
Keyword
- Computer Networks and Communications257
- Electrical and Electronic Enginee...244
- Computer Science (all)131
- Computer Science Applications1707...125
- Signal Processing124
- Artificial Intelligence117
- Instrumentation117
- Software117
- Theoretical Computer Science104
- Biomedical Engineering90
Lingua
- eng23697
- ita6907
- fre250
- spa126
- ger55
- rus45
- por28
- und23
- lat11
- grc7
Accesso al fulltext
- no fulltext34039
- open1598
- restricted893
- reserved233
- partially open154
- embargoed2
- mixed1