Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.781 a 2.800 di 3.013
Fair Subtyping for Open Session Types
2013-01-01 Padovani, Luca
Adequate Monitoring of Service Compositions
2013-01-01 Bertolino, Antonia; Marchetti, Eda; Morichetta, Andrea
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004-01-01 Padovani, Luca; C., SACERDOTI COEN; S., Zacchiroli
Searching RNA Substructures with Arbitrary Pseudoknots
2021-01-01 Quadrini, M.
ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments
2022-01-01 Corradini, F; Mostarda, L; Scala, E
Label-independent feature engineering-based clustering in Public Administration Event Logs
2022-01-01 Corradini, F.; Luciani, C.; Morichetta, A.; Piangerelli, M.; Polini, A.
Reasoning About Inter-procedural Security Requirements in IoT Applications
2022-01-01 Paccamiccio, M.; Mostarda, L.
A mechanical approach for estimating regional fragility curves of existing RC buildings stock in Puglia
2019-01-01 Uva, Giuseppina; Luigi Ciampoli, Pier; Leggieri, Valeria; Nettis, Andrea; Ruggieri, Sergio
Typing Copyless Message Passing
2011-01-01 Bono, Viviana; Chiara, Messa; Padovani, Luca
Energy Dispersive X-Ray Absorption Spectroscopy: Beamline Results and Opportunities
2007-01-01 Mathon, O; Aquilanti, G; Guilera, G; Munoz, M; Newton, M. A.; Trapananti, A; Pascarelli, S
Interference-based multimode opto-electro-mechanical transducers
2018-01-01 Moaddel Haghighi, I.; Malossi, N.; Natali, R.; Di Giuseppe, G.; Vitali, D.
Control of a Wind Energy Conversion Systems by a Novel Data-Driven Model-Free Adaptive Algorithm
2022-01-01 Corradini, M. L.; Ippoliti, G.; Orlando, G.
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
2013-01-01 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007-01-01 M., Bernardo; Padovani, Luca
Use of phase change materials during compressed air expansion for isothermal CAES plants
2017-01-01 Castellani, Beatrice; Presciutti, Andrea; Morini, Elena; Filipponi, Mirko; Nicolini, Andrea; Rossi, Federico
Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation
2014-01-01 Giuseppe, Castagna; Kim, Nguyễn; Zhiwu, Xu; Hyeonseung, Im; Sergueï, Lenglet; Padovani, Luca
Control of PMSMs with Double Loop Data-Driven Techniques
2022-01-01 Capretti, M.; Corradini, M. L.
Foundations of Session Types: 10 Years Later
2019-01-01 Castagna, Giuseppe; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca
Reshaping the identity of university museums: The museo della rappresentazione in catania as digital innovation hub for the engagement of new generations and the development of the territory
2019-01-01 Basso, A; Santagati, C; Galizia, M; La Russa, F M
Optimally controlled steady-states for multi-input underactuated linear systems
2019-01-01 Corona, Dario; Cristofaro, Andrea
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| Fair Subtyping for Open Session Types | 1-gen-2013 | Padovani, Luca | Contributo in atto di convegno su volume | |
| Adequate Monitoring of Service Compositions | 1-gen-2013 | Bertolino, Antonia; Marchetti, Eda; Morichetta, Andrea | Contributo in atto di convegno su volume | |
| A Generative Approach to the Implementation of Language Bindings for the Document Object Model | 1-gen-2004 | Padovani, Luca; C., SACERDOTI COEN; S., Zacchiroli | Contributo in atto di convegno su volume | |
| Searching RNA Substructures with Arbitrary Pseudoknots | 1-gen-2021 | Quadrini, M. | Contributo in atto di convegno su volume | |
| ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments | 1-gen-2022 | Corradini, F; Mostarda, L; Scala, E | Contributo in atto di convegno su volume | |
| Label-independent feature engineering-based clustering in Public Administration Event Logs | 1-gen-2022 | Corradini, F.; Luciani, C.; Morichetta, A.; Piangerelli, M.; Polini, A. | Contributo in atto di convegno su volume | |
| Reasoning About Inter-procedural Security Requirements in IoT Applications | 1-gen-2022 | Paccamiccio, M.; Mostarda, L. | Contributo in atto di convegno su volume | |
| A mechanical approach for estimating regional fragility curves of existing RC buildings stock in Puglia | 1-gen-2019 | Uva, Giuseppina; Luigi Ciampoli, Pier; Leggieri, Valeria; Nettis, Andrea; Ruggieri, Sergio | Contributo in atto di convegno su volume | |
| Typing Copyless Message Passing | 1-gen-2011 | Bono, Viviana; Chiara, Messa; Padovani, Luca | Contributo in atto di convegno su volume | |
| Energy Dispersive X-Ray Absorption Spectroscopy: Beamline Results and Opportunities | 1-gen-2007 | Mathon, O; Aquilanti, G; Guilera, G; Munoz, M; Newton, M. A.; Trapananti, A; Pascarelli, S | Contributo in atto di convegno su volume | |
| Interference-based multimode opto-electro-mechanical transducers | 1-gen-2018 | Moaddel Haghighi, I.; Malossi, N.; Natali, R.; Di Giuseppe, G.; Vitali, D. | Contributo in atto di convegno su volume | |
| Control of a Wind Energy Conversion Systems by a Novel Data-Driven Model-Free Adaptive Algorithm | 1-gen-2022 | Corradini, M. L.; Ippoliti, G.; Orlando, G. | Contributo in atto di convegno su volume | |
| Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions | 1-gen-2013 | Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida | Contributo in atto di convegno su volume | |
| Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders | 1-gen-2007 | M., Bernardo; Padovani, Luca | Contributo in atto di convegno su volume | |
| Use of phase change materials during compressed air expansion for isothermal CAES plants | 1-gen-2017 | Castellani, Beatrice; Presciutti, Andrea; Morini, Elena; Filipponi, Mirko; Nicolini, Andrea; Rossi, Federico | Contributo in atto di convegno su volume | |
| Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation | 1-gen-2014 | Giuseppe, Castagna; Kim, Nguyễn; Zhiwu, Xu; Hyeonseung, Im; Sergueï, Lenglet; Padovani, Luca | Contributo in atto di convegno su volume | |
| Control of PMSMs with Double Loop Data-Driven Techniques | 1-gen-2022 | Capretti, M.; Corradini, M. L. | Contributo in atto di convegno su volume | |
| Foundations of Session Types: 10 Years Later | 1-gen-2019 | Castagna, Giuseppe; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca | Contributo in atto di convegno su volume | |
| Reshaping the identity of university museums: The museo della rappresentazione in catania as digital innovation hub for the engagement of new generations and the development of the territory | 1-gen-2019 | Basso, A; Santagati, C; Galizia, M; La Russa, F M | Contributo in atto di convegno su volume | |
| Optimally controlled steady-states for multi-input underactuated linear systems | 1-gen-2019 | Corona, Dario; Cristofaro, Andrea | Contributo in atto di convegno su volume |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.781 a 2.800 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