Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.701 a 2.720 di 3.013
Session Types at the Mirror
2009-01-01 Padovani, Luca
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
2022-01-01 Ciccone, Luca; Padovani, Luca
Mailbox Types for Unordered Interactions
2018-01-01 De'Liguoro, Ugo; Padovani, Luca
A novel rapid survey form for the vulnerability assessment of existing building stock based on the "Index Building" approach
2019-01-01 Uva, Giuseppina; Sangiorgio, Valentino; Luigi Ciampoli, Pier; Leggieri, Valeria; Ruggieri, Sergio
Nutri-epigenetics and nutri-epigenomics
2019-01-01 Gabbianelli, Rosita
Smart Contract Testing: Challenges and Opportunities
2022-01-01 Barboni, M.; Morichetta, A.; Polini, A.
Context-Free Session Type Inference
2017-01-01 Padovani, Luca
Dispersive XAS on a High Brilliance Source: Highlights and Future Opportunities
2007-01-01 Pascarelli, S; Aquilanti, G; Dubrovinsky, L; Guilera, G; Mathon, O; Muñoz, M; Newton, M. A.; Pasquale, M; Trapananti, A
Opportunities for Time Resolved Studies at the ID24 Energy Dispersive XAS Beamline of the ESRF
2007-01-01 Mathon, O; Aquilanti, G; Guilera, G; LABICHE J., -C; VAN DER LINDEN, P; Newton, M. A.; Ponchut, C; Trapananti, A; Pascarelli, S
Injection of CO2/N2 gaseous mixtures into gas hydrates to contemporary perform CH4 recovery and CO2 storage
2021-01-01 Filipponi, Mirko; Gambelli, Alberto Maria; Li, Yan; Presciutti, Andrea; Castellani, Beatrice; Nicolini, Andrea; Rossi, Federico; Cotana, Franco
PERFORMANCE EVALUATION OF A MASONRY ARCH BRIDGE UNDER COMBINED SCOUR AND TRAFFIC LOADING
2023-01-01 Dhir, P. K.; Losanno, D.; Scozzese, F.; Tubaldi, E.; Parisi, F.
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions
2024-01-01 Dagnino, Francesco; Padovani, Luca
MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper)
2010-01-01 Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea
Atomic oxygen effects evaluation on high thickness carbon-carbon nano-coated structures for re-entry applications
2018-01-01 Delfini, A.; Vricella, A.; Pastore, R.; Santoni, F.; Marchetti, M.; Gugliermetti, F.; Albano, M.; Familiari, G.; Battaglione, E.; Matassa, R.
An Introduction to Differential EXAFS
2007-01-01 Ruffoni, M. P.; Pettifer, R. F.; Pascarelli, S; Trapananti, A; Mathon, O
Exception Handling for Copyless Messaging
2012-01-01 Svetlana, Jakšić; Padovani, Luca
Monitoring mobile and spatially distributed cyber-physical systems
2017-01-01 Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele; Nenzi, Laura
Mechanical fault detection for induction motors based on vibration analysis: A case study
2021-01-01 Del Rosso, V.; Andreucci, A.; Boria, S.; Corradini, M. L.; Ranalli, A.
The Use of Synchrotron-Based X-ray Microtomography for the Pore Network Quantitative and Computational Fluid Dynamics Experiments on Porous Carbonate Rocks
2021-01-01 Miller, Zambrano; Mancini, L.; Tondi, E.
Rotating Energy Efficient Clustering for Heterogeneous Devices (REECHD)
2018-01-01 Micheletti, Matteo; Mostarda, Leonardo; Piermarteri, Andrea
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| Session Types at the Mirror | 1-gen-2009 | Padovani, Luca | Contributo in atto di convegno su volume | |
| An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus | 1-gen-2022 | Ciccone, Luca; Padovani, Luca | Contributo in atto di convegno su volume | |
| Mailbox Types for Unordered Interactions | 1-gen-2018 | De'Liguoro, Ugo; Padovani, Luca | Contributo in atto di convegno su volume | |
| A novel rapid survey form for the vulnerability assessment of existing building stock based on the "Index Building" approach | 1-gen-2019 | Uva, Giuseppina; Sangiorgio, Valentino; Luigi Ciampoli, Pier; Leggieri, Valeria; Ruggieri, Sergio | Contributo in atto di convegno su volume | |
| Nutri-epigenetics and nutri-epigenomics | 1-gen-2019 | Gabbianelli, Rosita | Contributo in atto di convegno su volume | |
| Smart Contract Testing: Challenges and Opportunities | 1-gen-2022 | Barboni, M.; Morichetta, A.; Polini, A. | Contributo in atto di convegno su volume | |
| Context-Free Session Type Inference | 1-gen-2017 | Padovani, Luca | Contributo in atto di convegno su volume | |
| Dispersive XAS on a High Brilliance Source: Highlights and Future Opportunities | 1-gen-2007 | Pascarelli, S; Aquilanti, G; Dubrovinsky, L; Guilera, G; Mathon, O; Muñoz, M; Newton, M. A.; Pasquale, M; Trapananti, A | Contributo in atto di convegno su volume | |
| Opportunities for Time Resolved Studies at the ID24 Energy Dispersive XAS Beamline of the ESRF | 1-gen-2007 | Mathon, O; Aquilanti, G; Guilera, G; LABICHE J., -C; VAN DER LINDEN, P; Newton, M. A.; Ponchut, C; Trapananti, A; Pascarelli, S | Contributo in atto di convegno su volume | |
| Injection of CO2/N2 gaseous mixtures into gas hydrates to contemporary perform CH4 recovery and CO2 storage | 1-gen-2021 | Filipponi, Mirko; Gambelli, Alberto Maria; Li, Yan; Presciutti, Andrea; Castellani, Beatrice; Nicolini, Andrea; Rossi, Federico; Cotana, Franco | Contributo in atto di convegno su volume | |
| PERFORMANCE EVALUATION OF A MASONRY ARCH BRIDGE UNDER COMBINED SCOUR AND TRAFFIC LOADING | 1-gen-2023 | Dhir, P. K.; Losanno, D.; Scozzese, F.; Tubaldi, E.; Parisi, F. | Contributo in atto di convegno su volume | |
| sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions | 1-gen-2024 | Dagnino, Francesco; Padovani, Luca | Contributo in atto di convegno su volume | |
| MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper) | 1-gen-2010 | Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea | Contributo in atto di convegno su volume | |
| Atomic oxygen effects evaluation on high thickness carbon-carbon nano-coated structures for re-entry applications | 1-gen-2018 | Delfini, A.; Vricella, A.; Pastore, R.; Santoni, F.; Marchetti, M.; Gugliermetti, F.; Albano, M.; Familiari, G.; Battaglione, E.; Matassa, R. | Contributo in atto di convegno su volume | |
| An Introduction to Differential EXAFS | 1-gen-2007 | Ruffoni, M. P.; Pettifer, R. F.; Pascarelli, S; Trapananti, A; Mathon, O | Contributo in atto di convegno su volume | |
| Exception Handling for Copyless Messaging | 1-gen-2012 | Svetlana, Jakšić; Padovani, Luca | Contributo in atto di convegno su volume | |
| Monitoring mobile and spatially distributed cyber-physical systems | 1-gen-2017 | Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele; Nenzi, Laura | Contributo in atto di convegno su volume | |
| Mechanical fault detection for induction motors based on vibration analysis: A case study | 1-gen-2021 | Del Rosso, V.; Andreucci, A.; Boria, S.; Corradini, M. L.; Ranalli, A. | Contributo in atto di convegno su volume | |
| The Use of Synchrotron-Based X-ray Microtomography for the Pore Network Quantitative and Computational Fluid Dynamics Experiments on Porous Carbonate Rocks | 1-gen-2021 | Miller, Zambrano; Mancini, L.; Tondi, E. | Contributo in atto di convegno su volume | |
| Rotating Energy Efficient Clustering for Heterogeneous Devices (REECHD) | 1-gen-2018 | Micheletti, Matteo; Mostarda, Leonardo; Piermarteri, Andrea | Contributo in atto di convegno su volume |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.701 a 2.720 di 3.013
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
- 5 ATTO DI CONVEGNO SU VOLUME3013
Data di pubblicazione
- In corso di stampa3
- 2020 - 2026516
- 2010 - 20191317
- 2000 - 2009883
- 1990 - 1999242
- 1980 - 198949
- 1972 - 19793
Editore
- Springer132
- IEEE103
- Springer Science and Business Med...42
- SISVET35
- ACM32
- Institute of Electrical and Elect...29
- IEEE Computer Society26
- Società Chimica Italiana25
- IEEE / Institute of Electrical an...23
- Università di Camerino23
Rivista
- AIP CONFERENCE PROCEEDINGS3
- CEUR WORKSHOP PROCEEDINGS2
- BioPhotonics, 2011 International ...1
- ELECTRONIC PROCEEDINGS IN THEORET...1
- JOURNAL OF THE PERIPHERAL NERVOUS...1
- LECTURE NOTES IN BUSINESS INFORMA...1
- PLANUM1
- PROCEEDINGS OF SPIE, THE INTERNAT...1
- PROCEEDINGS WORLD RABBIT CONGRESS1
- STUDIES IN CLASSIFICATION, DATA A...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE25
- LECTURE NOTES IN BUSINESS INFORMA...23
- CEUR WORKSHOP PROCEEDINGS22
- LECTURE NOTES IN CIVIL ENGINEERING20
- LECTURE NOTES IN NETWORKS AND SYS...10
- LECTURE NOTES IN ARTIFICIAL INTEL...8
- ADVANCES IN INTELLIGENT SYSTEMS A...6
- COMMUNICATIONS IN COMPUTER AND IN...6
- UID PER IL DISEGNO6
- AIP CONFERENCE PROCEEDINGS5
Keyword
- HBIM6
- survey6
- Process Mining5
- Structural Health Monitoring5
- database4
- modelli4
- rappresentazione4
- rilievo4
- Activity Recognition3
- color3
Lingua
- eng2239
- ita899
- spa28
- fre21
- und6
- ger4
- hrv2
- por2
- enm1
- hun1
Accesso al fulltext
- no fulltext2560
- reserved283
- open155
- partially open15