Behavioural modelling of memristive devices targeted to sensor interfaces
2015-01-01 Olumodeji, Olufemi Akindele; Gottardi, Massimo
Thermal cycling reliability of RF-MEMS switches
2015-01-01 Mulloni, Viviana; Sordo, Guido; Margesin, Benno
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness
2014-01-01 De Giacomo, G.; De Masellis, Riccardo; Montali, M.
Monitoring Business Metaconstraints Based on LTL and LDL for Finite TracesBusiness Process Management
2014-01-01 Giuseppe De, Giacomo; De Masellis, Riccardo; Marco, Grasso; Fabrizio Maria, Maggi; Marco, Montali
Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process - ICSSP 2014
2014-01-01 De Masellis, Riccardo; Fabrizio M., Maggi; Marco, Montali
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing
2013-01-01 De Masellis, Riccardo; Jianwen, Su
Foundations of Relational Artifacts VerificationBusiness Process Management
2011-01-01 Babak Bagheri, Hariri; Diego, Calvanese; Giuseppe De, Giacomo; De Masellis, Riccardo; Paolo, Felli
Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing
2013-01-01 Dmitry, Solomakhin; Marco, Montali; Sergio, Tessaris; De Masellis, Riccardo
Verification of Description Logic Knowledge and Action Bases
2012-01-01 Bagheri Hariri, B.; Calvanese, D.; De Giacomo, G.; De Masellis, Riccardo; Felli, P.; Montali, M.
Business artifacts with guard-stage-milestone lifecyclesProceedings of the 5th ACM international conference on Distributed event-based system - DEBS '11
2011-01-01 Richard, Hull; Anil, Nigam; Piwadee Noi, Sukaviriya; Roman, Vaculin; Elio, Damaggio; De Masellis, Riccardo; Fabiana, Fournier; Manmohan, Gupta; Fenno Terry, Heath; Stacy, Hobson; Mark, Linehan; Sridhar, Maradugu
A 160x120-pixel analog-counting single-photon imager with Sub-ns time-gating and self-referenced column-parallel A/D conversion for fluorescence lifetime imaging2015 IEEE International Solid-State Circuits Conference - (ISSCC) Digest of Technical Papers
2015-01-01 Perenzoni, Matteo; Massari, Nicola; Perenzoni, Daniele; Gasparini, Leonardo; Stoppa, David
Tailoring design and fabrication of capacitive RF MEMS switches for K-band applications
2015-01-01 F., Quaranta; A., Persano; G., Capoccia; A., Taurino; A., Cola; P., Siciliano; A., Lucibello; R., Marcelli; E., Proietti; Bagolini, Alvise; Margesin, Benno; Bellutti, Pierluigi; Iannacci, Jacopo
Optimization Method for Designing Multimodal Piezoelectric MEMS Energy Harvesters
2015-01-01 Sordo, Guido; Serra, Enrico; U., Schmid; Iannacci, Jacopo
From MEMS to Macro-World: A Micro-Milling Machined Wideband Vibration Piezoelectric Energy Harvester
2015-01-01 Iannacci, Jacopo; Sordo, Guido
Experimental Verification of a Novel MEMS Multi-Modal Vibration Energy Harvester for Ultra-Low Power Remote Sensing Nodes
2015-01-01 Iannacci, Jacopo; Sordo, Guido; Serra, Enrico; M., Kucera; U., Schmid
MEMS packaging by using dry film resist2015 XVIII AISEM Annual Conference
2015-01-01 Giacomozzi, Flavio; Mulloni, Viviana; Resta, Giuseppe; Margesin, Benno
Geo-referenced Proximity Detection of Wildlife with WildScope: Design and Characterization
2015-01-01 Picco, Gian Pietro; Davide, Molteni; Murphy, Amy Lynn; Federico, Ossi; Francesca, Cagnacci; Michele, Corra; Sandro, Nicoloso
Tuning of the Optical Properties of In-rich InxGa1-xN (x=0.82-0.49) Alloys by Light-ion Irradiation at Low Energy.
2013-01-01 M., De Luca; G., Pettinari; A., Polimeni; M., Capizzi; G., Ciatto; L., Amidani; E., Fonda; F., Boscherini; F., Filippone; Aa, Bonapasta; A., Knubel; V., Cimalla; O., Ambacher; Giubertoni, Damiano; Bersani, Massimo
Micromachined Silicon Radiation Sensors – Part 2: Fabrication Technologies
2015-01-01 Bagolini, Alvise; Boscardin, Maurizio; Conci, Paolo; Crivellari, Michele; Giacomini, Gabriele; Mattedi, Francesca; Piemonte, Claudio; Ronchin, Sabina; Zorzi, Nicola; Benkechkache, M. A.; Dalla Betta, Gian Franco; Mendicino, R.; Pancheri, Lucio; Povoli, Marco; Sultan, D. M. S.
Micromachined Silicon Radiation Sensors – Part 1: Design And Experimental Characterization
2015-01-01 Bagolini, Alvise; Boscardin, Maurizio; Conci, Paolo; Crivellari, Michele; Giacomini, Gabriele; Mattedi, Francesca; Piemonte, Claudio; Ronchin, Sabina; Zorzi, Nicola; Benkechkache, M. A.; Dalla Betta, Gian Franco; Mendicino, R.; Pancheri, Lucio; Povoli, Marco; Sultan, D. M. S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Behavioural modelling of memristive devices targeted to sensor interfaces | 1-gen-2015 | Olumodeji, Olufemi Akindele; Gottardi, Massimo | |
| Thermal cycling reliability of RF-MEMS switches | 1-gen-2015 | Mulloni, Viviana; Sordo, Guido; Margesin, Benno | |
| Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness | 1-gen-2014 | De Giacomo, G.; De Masellis, Riccardo; Montali, M. | |
| Monitoring Business Metaconstraints Based on LTL and LDL for Finite TracesBusiness Process Management | 1-gen-2014 | Giuseppe De, Giacomo; De Masellis, Riccardo; Marco, Grasso; Fabrizio Maria, Maggi; Marco, Montali | |
| Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process - ICSSP 2014 | 1-gen-2014 | De Masellis, Riccardo; Fabrizio M., Maggi; Marco, Montali | |
| Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing | 1-gen-2013 | De Masellis, Riccardo; Jianwen, Su | |
| Foundations of Relational Artifacts VerificationBusiness Process Management | 1-gen-2011 | Babak Bagheri, Hariri; Diego, Calvanese; Giuseppe De, Giacomo; De Masellis, Riccardo; Paolo, Felli | |
| Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing | 1-gen-2013 | Dmitry, Solomakhin; Marco, Montali; Sergio, Tessaris; De Masellis, Riccardo | |
| Verification of Description Logic Knowledge and Action Bases | 1-gen-2012 | Bagheri Hariri, B.; Calvanese, D.; De Giacomo, G.; De Masellis, Riccardo; Felli, P.; Montali, M. | |
| Business artifacts with guard-stage-milestone lifecyclesProceedings of the 5th ACM international conference on Distributed event-based system - DEBS '11 | 1-gen-2011 | Richard, Hull; Anil, Nigam; Piwadee Noi, Sukaviriya; Roman, Vaculin; Elio, Damaggio; De Masellis, Riccardo; Fabiana, Fournier; Manmohan, Gupta; Fenno Terry, Heath; Stacy, Hobson; Mark, Linehan; Sridhar, Maradugu | |
| A 160x120-pixel analog-counting single-photon imager with Sub-ns time-gating and self-referenced column-parallel A/D conversion for fluorescence lifetime imaging2015 IEEE International Solid-State Circuits Conference - (ISSCC) Digest of Technical Papers | 1-gen-2015 | Perenzoni, Matteo; Massari, Nicola; Perenzoni, Daniele; Gasparini, Leonardo; Stoppa, David | |
| Tailoring design and fabrication of capacitive RF MEMS switches for K-band applications | 1-gen-2015 | F., Quaranta; A., Persano; G., Capoccia; A., Taurino; A., Cola; P., Siciliano; A., Lucibello; R., Marcelli; E., Proietti; Bagolini, Alvise; Margesin, Benno; Bellutti, Pierluigi; Iannacci, Jacopo | |
| Optimization Method for Designing Multimodal Piezoelectric MEMS Energy Harvesters | 1-gen-2015 | Sordo, Guido; Serra, Enrico; U., Schmid; Iannacci, Jacopo | |
| From MEMS to Macro-World: A Micro-Milling Machined Wideband Vibration Piezoelectric Energy Harvester | 1-gen-2015 | Iannacci, Jacopo; Sordo, Guido | |
| Experimental Verification of a Novel MEMS Multi-Modal Vibration Energy Harvester for Ultra-Low Power Remote Sensing Nodes | 1-gen-2015 | Iannacci, Jacopo; Sordo, Guido; Serra, Enrico; M., Kucera; U., Schmid | |
| MEMS packaging by using dry film resist2015 XVIII AISEM Annual Conference | 1-gen-2015 | Giacomozzi, Flavio; Mulloni, Viviana; Resta, Giuseppe; Margesin, Benno | |
| Geo-referenced Proximity Detection of Wildlife with WildScope: Design and Characterization | 1-gen-2015 | Picco, Gian Pietro; Davide, Molteni; Murphy, Amy Lynn; Federico, Ossi; Francesca, Cagnacci; Michele, Corra; Sandro, Nicoloso | |
| Tuning of the Optical Properties of In-rich InxGa1-xN (x=0.82-0.49) Alloys by Light-ion Irradiation at Low Energy. | 1-gen-2013 | M., De Luca; G., Pettinari; A., Polimeni; M., Capizzi; G., Ciatto; L., Amidani; E., Fonda; F., Boscherini; F., Filippone; Aa, Bonapasta; A., Knubel; V., Cimalla; O., Ambacher; Giubertoni, Damiano; Bersani, Massimo | |
| Micromachined Silicon Radiation Sensors – Part 2: Fabrication Technologies | 1-gen-2015 | Bagolini, Alvise; Boscardin, Maurizio; Conci, Paolo; Crivellari, Michele; Giacomini, Gabriele; Mattedi, Francesca; Piemonte, Claudio; Ronchin, Sabina; Zorzi, Nicola; Benkechkache, M. A.; Dalla Betta, Gian Franco; Mendicino, R.; Pancheri, Lucio; Povoli, Marco; Sultan, D. M. S. | |
| Micromachined Silicon Radiation Sensors – Part 1: Design And Experimental Characterization | 1-gen-2015 | Bagolini, Alvise; Boscardin, Maurizio; Conci, Paolo; Crivellari, Michele; Giacomini, Gabriele; Mattedi, Francesca; Piemonte, Claudio; Ronchin, Sabina; Zorzi, Nicola; Benkechkache, M. A.; Dalla Betta, Gian Franco; Mendicino, R.; Pancheri, Lucio; Povoli, Marco; Sultan, D. M. S. |
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 ...7925
Data di pubblicazione
- In corso di stampa5
- 2020 - 20261546
- 2010 - 20193439
- 2000 - 20092320
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE620
- Springer357
- ACM148
- Association for Computational Lin...91
- CEUR-WS.org72
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press37
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...92
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE22
- JOURNAL OF PHYSICS. CONFERENCE SE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- THE INTERNATIONAL ARCHIVES OF THE...12
- EPJ WEB OF CONFERENCES10
- LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE230
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS38
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE22
- LECTURE NOTES IN ELECTRICAL ENGIN...20
- LECTURE NOTES IN ELECTRICAL ENGIN...17
- LECTURE NOTES IN BUSINESS INFORMA...16
- IEEE ENGINEERING IN MEDICINE AND ...11
- PROCEEDINGS OF SPIE10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS31
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6418
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6831
- open476
- restricted450
- reserved165
- partially open2
- mixed1