Sfoglia per Titolo
Model-checking memory requirements of resource-bounded reasoners
2006-01-01 Albore, Alexandre; N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; B., Logan; Serafini, Luciano
A Model-Driven Approach Towards Automatic Migration to Microservices
2020-01-01 Bucchiarone, Antonio; Soysal, Kemal; Guidi, Claudio
A Model-Driven Solution to Support Smart Mobility Planning
2018-01-01 Bucchiarone, Antonio; Cicchetti, Antonio
Modeling a population of retinal ganglion cells with restricted Boltzmann machines
2020-01-01 Volpi, Riccardo; Zanotto, Matteo; Maccione, Alessandro; Di Marco, Stefano; Berdondini, Luca; Sona, Diego; Murino, Vittorio
Modeling a Thick Hydrogenated Amorphous Silicon Substrate for Ionizing Radiation Detectors
2020-01-01 Davis, Jeremy Alexander; Boscardin, Maurizio; Crivellari, Michele; Fanò, Livio; Large, Matthew; Menichelli, Mauro; Morozzi, Arianna; Moscatelli, Francesco; Movileanu-Ionica, Maria; Passeri, Daniele; Petasecca, Marco; Piccini, Mauro; Rossi, Alessandro; Scorzoni, Andrea; Thompson, Bailey; Verzellesi, Giovanni; Wyrsch, Nicolas
Modeling and Analysis of Laws using BPR and Goal-oriented framework
2010-01-01 Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Susi, Angelo; Siena, Alberto
Modeling and Analysis of Procedural Security
2008-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences
2008-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Modeling and characterization of a circular-shaped energy scavenger in MEMS surface micromachining technology
2011-01-01 Solazzi, Francesco; Iannacci, Jacopo; Faes, Alessandro; Giacomozzi, Flavio; Margesin, Benno; A., Tazzoli; G., Meneghesso
Modeling and Characterization of Antireflection Coatings with Embedded Silver Nanoparticles for Silicon Solar Cells
2015-01-01 Antonino Calà, Lesina; Paternoster, Giovanni; Mattedi, Francesca; Ferrario, Lorenza; Pierre, Berini; Lora, Ramunno; Paris, Alessio; Vaccari, Alessandro; Calliari, Lucia
Modeling and Characterization of the Dynamic Behavior of RF MEM Switches
2009-01-01 P. T., Savadkoohi; Margesin, Benno
Modeling and Control of IRST MEMS microphone
2006-01-01 Cattin, Davide; Faes, Alessandro; Margesin, Benno; Oboe, Roberto
Modeling and fast simulation of RF-MEMS switches within standard IC design framework
2010-01-01 M., Niessner; G., Schrag; G., Wachtuka; Iannacci, Jacopo
Modeling and Monitoring Business Process Execution
2013-01-01 Bertoli, Piergiorgio; Dragoni, Mauro; Ghidini, Chiara; Martufi, E.; Nori, Michele; Pistore, Marco; Di Francescomarino, Chiara
Modeling and Monitoring Processes Exploiting Semantic Reasoning
2014-01-01 Dragoni, Mauro; Bertoli, Piergiorgio; Di Francescomarino, Chiara; Ghidini, Chiara; Nori, Michele; Pistore, Marco; Tiella, Roberto; Corcoglioniti, Francesco
Modeling and optimization od piezoelectric micropumps for biomedical applications
2004-01-01 Morganti, Elisa; G. U., Pignatel; M., Petasecca; I., Fuduli
Modeling and Optimization of the Timing Resolution of Digital SiPM PET Detectors
2014-01-01 L. H. C., Braga; Gasparini, Leonardo; Stoppa, David
Modeling and Simulation of a TFET-Based Label-Free Biosensor with Enhanced Sensitivity
2023-01-01 Choudhury, S.; Baishnab, K. L.; Guha, K.; Jakšić, Z.; Jakšić, O.; Iannacci, J.
Modeling and simulation of an active restoring mechanism for high reliability switches in RF-MEMS technology
2012-01-01 T., Kuenzig; G., Schrag; Iannacci, Jacopo
Modeling and Simulation of the IEEE 802.11e Wireless Protocol with Hidden Nodes using Colored Petri Nets
2020-01-01 Coronado Calero, Estefania; Valentin, Valero; Luis Orozco Barbosa, ; Maria Emilia Cambronero, ; Fernando Lopez Pelayo,
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Model-checking memory requirements of resource-bounded reasoners | 1-gen-2006 | Albore, Alexandre; N., Alechina; Bertoli, Piergiorgio; Ghidini, Chiara; B., Logan; Serafini, Luciano | |
| A Model-Driven Approach Towards Automatic Migration to Microservices | 1-gen-2020 | Bucchiarone, Antonio; Soysal, Kemal; Guidi, Claudio | |
| A Model-Driven Solution to Support Smart Mobility Planning | 1-gen-2018 | Bucchiarone, Antonio; Cicchetti, Antonio | |
| Modeling a population of retinal ganglion cells with restricted Boltzmann machines | 1-gen-2020 | Volpi, Riccardo; Zanotto, Matteo; Maccione, Alessandro; Di Marco, Stefano; Berdondini, Luca; Sona, Diego; Murino, Vittorio | |
| Modeling a Thick Hydrogenated Amorphous Silicon Substrate for Ionizing Radiation Detectors | 1-gen-2020 | Davis, Jeremy Alexander; Boscardin, Maurizio; Crivellari, Michele; Fanò, Livio; Large, Matthew; Menichelli, Mauro; Morozzi, Arianna; Moscatelli, Francesco; Movileanu-Ionica, Maria; Passeri, Daniele; Petasecca, Marco; Piccini, Mauro; Rossi, Alessandro; Scorzoni, Andrea; Thompson, Bailey; Verzellesi, Giovanni; Wyrsch, Nicolas | |
| Modeling and Analysis of Laws using BPR and Goal-oriented framework | 1-gen-2010 | Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai; Susi, Angelo; Siena, Alberto | |
| Modeling and Analysis of Procedural Security | 1-gen-2008 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences | 1-gen-2008 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| Modeling and characterization of a circular-shaped energy scavenger in MEMS surface micromachining technology | 1-gen-2011 | Solazzi, Francesco; Iannacci, Jacopo; Faes, Alessandro; Giacomozzi, Flavio; Margesin, Benno; A., Tazzoli; G., Meneghesso | |
| Modeling and Characterization of Antireflection Coatings with Embedded Silver Nanoparticles for Silicon Solar Cells | 1-gen-2015 | Antonino Calà, Lesina; Paternoster, Giovanni; Mattedi, Francesca; Ferrario, Lorenza; Pierre, Berini; Lora, Ramunno; Paris, Alessio; Vaccari, Alessandro; Calliari, Lucia | |
| Modeling and Characterization of the Dynamic Behavior of RF MEM Switches | 1-gen-2009 | P. T., Savadkoohi; Margesin, Benno | |
| Modeling and Control of IRST MEMS microphone | 1-gen-2006 | Cattin, Davide; Faes, Alessandro; Margesin, Benno; Oboe, Roberto | |
| Modeling and fast simulation of RF-MEMS switches within standard IC design framework | 1-gen-2010 | M., Niessner; G., Schrag; G., Wachtuka; Iannacci, Jacopo | |
| Modeling and Monitoring Business Process Execution | 1-gen-2013 | Bertoli, Piergiorgio; Dragoni, Mauro; Ghidini, Chiara; Martufi, E.; Nori, Michele; Pistore, Marco; Di Francescomarino, Chiara | |
| Modeling and Monitoring Processes Exploiting Semantic Reasoning | 1-gen-2014 | Dragoni, Mauro; Bertoli, Piergiorgio; Di Francescomarino, Chiara; Ghidini, Chiara; Nori, Michele; Pistore, Marco; Tiella, Roberto; Corcoglioniti, Francesco | |
| Modeling and optimization od piezoelectric micropumps for biomedical applications | 1-gen-2004 | Morganti, Elisa; G. U., Pignatel; M., Petasecca; I., Fuduli | |
| Modeling and Optimization of the Timing Resolution of Digital SiPM PET Detectors | 1-gen-2014 | L. H. C., Braga; Gasparini, Leonardo; Stoppa, David | |
| Modeling and Simulation of a TFET-Based Label-Free Biosensor with Enhanced Sensitivity | 1-gen-2023 | Choudhury, S.; Baishnab, K. L.; Guha, K.; Jakšić, Z.; Jakšić, O.; Iannacci, J. | |
| Modeling and simulation of an active restoring mechanism for high reliability switches in RF-MEMS technology | 1-gen-2012 | T., Kuenzig; G., Schrag; Iannacci, Jacopo | |
| Modeling and Simulation of the IEEE 802.11e Wireless Protocol with Hidden Nodes using Colored Petri Nets | 1-gen-2020 | Coronado Calero, Estefania; Valentin, Valero; Luis Orozco Barbosa, ; Maria Emilia Cambronero, ; Fernando Lopez Pelayo, |
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