Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories
2020-01-01 Mekuria, D. N.; Sernani, P.; Falcionelli, N.; Dragoni, A. F.
Investigating the sustainability of production lines: a method for impacts evaluation
2014-01-01 Germani, M.; Mandolini, M.; Marconi, M.; Marilungo, E.; Rossi, Marta
Improving the minimum distance of QC-LDPC codes by removing cycles
2020-01-01 Battaglioni, Massimo; Baldi, Marco; Cancellieri, Giovanni
Buildings energy retrofit: components service life impact on the costs-benefits analysis
2018-01-01 D'Orazio, Marco; Di Giuseppe, Elisa
Smartwatch based emotion recognition in Parkinson's disease
2019-01-01 Pepa, L.; Capecci, M.; Ceravolo, M. G.
Smartphone based freezing of gait detection for Parkinsonian patients
2015-01-01 Pepa, L.; Verdini, F.; Capecci, M.; Ceravolo, M. G.
Development of a methodology based on industrial environment simulation to optimise the heating energy consumption
2014-01-01 Luzi, A.; Marilungo, E.; Papetti, A.; Germani, M.
An energy assessment method for SMEs: Case study of an Italian mechanical workshop
2020-01-01 Menghi, R.; Domizio, G. D.; Papetti, A.; Germani, M.; Marconi, M.
Human-centered design for improving the workplace in the footwear sector
2020-01-01 Papetti, A.; Rossi, M.; Menghi, R.; Germani, M.
A methodology for energy efficiency redesign of smart production systems
2020-01-01 Menghi, R.; Rossi, M.; Papetti, A.; Germani, M.
Multi sensors platform for stress monitoring of workers in smart manufacturing context
2020-01-01 Leone, A.; Rescio, G.; Siciliano, P.; Papetti, A.; Brunzini, A.; Germani, M.
Cognitive Load and Stress Assessment of Medical High-Fidelity Simulations for Emergency Management
2020-01-01 Brunzini, A.; Papetti, A.; Formenti, L.; Luciani, A.; Messi, D.; Adrario, E.; Barbadoro, P.
HBIM IMPLEMENTATION for AN OTTOMAN MOSQUE. CASE of STUDY: SULTAN MEHMET FATIH II MOSQUE in KOSOVO
2019-01-01 Di Stefano, F.; Malinverni, E. S.; Pierdicca, R.; Fangi, G.; Ejupi, S.
Microwave applications of zirconium-doped hafnium oxide ferroelectrics: From nanoscale calculations up to experimental results
2020-01-01 Aldrigo, M.; Dragoman, M.; Laudadio, E.; Iordanescu, S.; Modreanu, M.; Povey, I. M.; Nastase, F.; Vulpe, S.; Stipa, P.; Di Donato, A.; Pierantoni, L.; Mencarelli, D.
Adeguamento di banchine portuali: analisi di possibili soluzioni
2016-01-01 Castaldo, Claudia; Fruzzetti, Viviene M. E.; Scarpelli, Giuseppe
A Machine Vision System for Manual Assembly Line Monitoring
2020-01-01 Pierleoni, P.; Belli, A.; Palma, L.; Palmucci, M.; Sabbatini, L.
Using Plastic Injection Moulding Machine Process Parameters for Predictive Maintenance Purposes
2020-01-01 Pierleoni, P.; Palma, L.; Belli, A.; Sabbatini, L.
Generative adversarial networks for audio equalization: An evaluation study
2020-01-01 Pepe, G.; Gabrielli, L.; Squartini, S.; Cattani, L.; Tripodi, C.
Visual attention toward online marketing stimuli in e-retailing: the role of personality variables
2019-01-01 Bartoloni, S.; Fattobene, L.; Pascucci, F.; Ceravolo, M. G.; Gregori, G. L.; Raggetti, G.; Temperini, V.
Air pollution in ancona harbour, italy
2019-01-01 Fileni, L.; Mancinelli, E.; Morichetti, M.; Passerini, G.; Rizza, U.; Virgili, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories | 1-gen-2020 | Mekuria, D. N.; Sernani, P.; Falcionelli, N.; Dragoni, A. F. | |
| Investigating the sustainability of production lines: a method for impacts evaluation | 1-gen-2014 | Germani, M.; Mandolini, M.; Marconi, M.; Marilungo, E.; Rossi, Marta | |
| Improving the minimum distance of QC-LDPC codes by removing cycles | 1-gen-2020 | Battaglioni, Massimo; Baldi, Marco; Cancellieri, Giovanni | |
| Buildings energy retrofit: components service life impact on the costs-benefits analysis | 1-gen-2018 | D'Orazio, Marco; Di Giuseppe, Elisa | |
| Smartwatch based emotion recognition in Parkinson's disease | 1-gen-2019 | Pepa, L.; Capecci, M.; Ceravolo, M. G. | |
| Smartphone based freezing of gait detection for Parkinsonian patients | 1-gen-2015 | Pepa, L.; Verdini, F.; Capecci, M.; Ceravolo, M. G. | |
| Development of a methodology based on industrial environment simulation to optimise the heating energy consumption | 1-gen-2014 | Luzi, A.; Marilungo, E.; Papetti, A.; Germani, M. | |
| An energy assessment method for SMEs: Case study of an Italian mechanical workshop | 1-gen-2020 | Menghi, R.; Domizio, G. D.; Papetti, A.; Germani, M.; Marconi, M. | |
| Human-centered design for improving the workplace in the footwear sector | 1-gen-2020 | Papetti, A.; Rossi, M.; Menghi, R.; Germani, M. | |
| A methodology for energy efficiency redesign of smart production systems | 1-gen-2020 | Menghi, R.; Rossi, M.; Papetti, A.; Germani, M. | |
| Multi sensors platform for stress monitoring of workers in smart manufacturing context | 1-gen-2020 | Leone, A.; Rescio, G.; Siciliano, P.; Papetti, A.; Brunzini, A.; Germani, M. | |
| Cognitive Load and Stress Assessment of Medical High-Fidelity Simulations for Emergency Management | 1-gen-2020 | Brunzini, A.; Papetti, A.; Formenti, L.; Luciani, A.; Messi, D.; Adrario, E.; Barbadoro, P. | |
| HBIM IMPLEMENTATION for AN OTTOMAN MOSQUE. CASE of STUDY: SULTAN MEHMET FATIH II MOSQUE in KOSOVO | 1-gen-2019 | Di Stefano, F.; Malinverni, E. S.; Pierdicca, R.; Fangi, G.; Ejupi, S. | |
| Microwave applications of zirconium-doped hafnium oxide ferroelectrics: From nanoscale calculations up to experimental results | 1-gen-2020 | Aldrigo, M.; Dragoman, M.; Laudadio, E.; Iordanescu, S.; Modreanu, M.; Povey, I. M.; Nastase, F.; Vulpe, S.; Stipa, P.; Di Donato, A.; Pierantoni, L.; Mencarelli, D. | |
| Adeguamento di banchine portuali: analisi di possibili soluzioni | 1-gen-2016 | Castaldo, Claudia; Fruzzetti, Viviene M. E.; Scarpelli, Giuseppe | |
| A Machine Vision System for Manual Assembly Line Monitoring | 1-gen-2020 | Pierleoni, P.; Belli, A.; Palma, L.; Palmucci, M.; Sabbatini, L. | |
| Using Plastic Injection Moulding Machine Process Parameters for Predictive Maintenance Purposes | 1-gen-2020 | Pierleoni, P.; Palma, L.; Belli, A.; Sabbatini, L. | |
| Generative adversarial networks for audio equalization: An evaluation study | 1-gen-2020 | Pepe, G.; Gabrielli, L.; Squartini, S.; Cattani, L.; Tripodi, C. | |
| Visual attention toward online marketing stimuli in e-retailing: the role of personality variables | 1-gen-2019 | Bartoloni, S.; Fattobene, L.; Pascucci, F.; Ceravolo, M. G.; Gregori, G. L.; Raggetti, G.; Temperini, V. | |
| Air pollution in ancona harbour, italy | 1-gen-2019 | Fileni, L.; Mancinelli, E.; Morichetti, M.; Passerini, G.; Rizza, U.; Virgili, 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 ...12064
Data di pubblicazione
- In corso di stampa8
- 2020 - 20261874
- 2010 - 20193881
- 2000 - 20094052
- 1990 - 19991827
- 1980 - 1989387
- 1972 - 197935
Editore
- Institute of Electrical and Elect...654
- IEEE444
- Springer129
- Springer Science and Business Med...121
- Elsevier B.V.111
- IEEE Computer Society81
- American Society of Mechanical En...57
- Springer Verlag57
- Elsevier51
- CEUR-WS33
Rivista
- ACTA HORTICULTURAE45
- COMPUTING IN CARDIOLOGY37
- JOURNAL OF PHYSICS. CONFERENCE SE...33
- PROCEDIA COMPUTER SCIENCE27
- IEEE ENGINEERING IN MEDICINE AND ...22
- PROCEDIA CIRP22
- PROCEDIA STRUCTURAL INTEGRITY22
- INTERNATIONAL ARCHIVES OF THE PHO...21
- AIP CONFERENCE PROCEEDINGS20
- CONFERENCE PROCEEDINGS OF THE SOC...19
Serie
- LECTURE NOTES IN CIVIL ENGINEERING82
- LECTURE NOTES IN MECHANICAL ENGIN...38
- PROCEDIA CIRP35
- CEUR WORKSHOP PROCEEDINGS33
- LECTURE NOTES IN COMPUTER SCIENCE31
- IFAC-PAPERSONLINE30
- IEEE ENGINEERING IN MEDICINE AND ...24
- SMART INNOVATION, SYSTEMS AND TEC...23
- PROCEEDINGS OF SPIE, THE INTERNAT...21
- LECTURE NOTES IN ARTIFICIAL INTEL...19
Keyword
- Mechanical Engineering90
- Electrical and Electronic Enginee...86
- Computer Science Applications1707...69
- Industrial and Manufacturing Engi...69
- Artificial Intelligence68
- Control and Systems Engineering68
- Computer Networks and Communications60
- Biomedical Engineering59
- Modeling and Simulation58
- Deep Learning44
Lingua
- eng7240
- ita1591
- und19
- fre18
- spa14
- ger8
- jpn3
- enm2
- por2
- rus2
Accesso al fulltext
- no fulltext11133
- reserved436
- open337
- partially open123
- embargoed18
- mixed17