Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata
2019-01-01 Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca; Margara, Luciano; Porreca Antonio, E.
Does constraining the search space of GA always help?
2019-01-01 Manzoni, Luca; Mariot, Luca; Tuba, Eva
Prospects for detecting Gamma-Ray Bursts with the Cherenkov Telescope Array
2017-01-01 Di Girolamo, T.; Bissaldi, E.; Di Pierro, F.; Gasparetto, T.; Longo, F.; Vallania, P.; Vigorito, C. F.
POSyTIVE -- a GRB population study for the Cherenkov Telescope Array
2019-01-01 Grazia Bernardini, Maria; Bissaldi, Elisabetta; Bosnjak, Zeljka; Carosi, Alessandro; D'Avanzo, Paolo; Di Girolamo, Tristano; Inoue, Susumu; Gasparetto, Thomas; Ghirlanda, Giancarlo; Longo, Francesco; Melandri, Andrea; Nava, Lara; O'Brien, Paul; Sadeh, Iftach; Schüssler, Fabian; Stolarczyk, Thierry; Vergani, Susanna; Francesco Vigorito, Carlo
The Cherenkov Telescope Array Performance in Divergent Mode
2019-01-01 Donini, A.; Gasparetto, T.; Bregeon, J.; Di Pierro, F.; Longo, F.; Maier, G.; Moralejo, A.; Vuillaume, T.
Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications
2019-01-01 Cairoli, Francesca; Fenu, Gianfranco; Pellegrino, Felice Andrea; Salvato, Erica
The gravitational-wave follow-up program of the Cherenkov Telescope Array
2019-01-01 Seglar-Arroyo, Monica; Bissaldi, Elisabetta; Bulgarelli, Andrea; Carosi, Alessandro; Cella, Giancarlo; Di Girolamo, Tristano; Gasparetto, Thomas; Ghirlanda, Giancarlo; Humensky, Brian; Inoue, Susumu; Longo, Francesco; Nava, Lara; Patricelli, Barbara; Razzano, Massimiliano; Ribeiro, Deivid; Schüssler, Fabian; Stamerra, Antonio; Stratta, Giulia; Vergani, Susanna
Seagrass - waterbirds interactions in a lagoon ecosystem of the northern Adriatic Sea
2019-01-01 Vitti, Stefano; Boscutti, Francesco; Casolo, Valentino; Sponza, Stefano
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy
2019-01-01 Cairoli, Francesca; Fenu, Gianfranco; Pellegrino, Felice Andrea
Collaborative Design Optimization with Simulation Process and Data Management
2019-01-01 Gazzin, Matteo; Cassio, Giulio; Nicolich, Matteo; Picinich, Stefano; Poloni, Carlo
Early-Stage design methodology for a multirole electric propelled surface combatant ship
2019-01-01 Vicenzutti, A.; Trincas, G.; Bucci, V.; Sulligoi, G.; Lipardi, G.
Shallow non-confluent P systems
2017-01-01 Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca Antonio, E.; Zandron, Claudio
An Analysis of Geometric Semantic Crossover: A Computational Geometry Approach
2016-01-01 Silva, Sara; Trujillo, Leonardo; Vanneschi, Leonardo; Gonçalves, Ivo; Manzoni, Luca; Castelli, Mauro
The Firing Squad Synchronization Problem on Higher-dimensional CA with Multiple Updating Cycles
2016-01-01 Manzoni, Luca; Porreca, Antonio E.; Umeo, Hiroshi
Reachability in resource-bounded reaction systems
2016-01-01 Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca; Porreca Antonio, E.
Tissue P systems can be simulated efficiently with counting oracles
2015-01-01 Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca Antonio, E.; Zandron, Claudio
Pivotal seeding for K-means based on clustering ensembles
2019-01-01 Egidi, Leonardo; Pappadà, Roberta; Pauli, Francesco; Torelli, Nicola
Electricity demand modelling with genetic programming
2015-01-01 Castelli, Mauro; De Felice, Matteo; Manzoni, Luca; Vanneschi, Leonardo
Complexity classes for membrane systems: A survey
2015-01-01 Mauri, Giancarlo; Leporati, Alberto; Manzoni, Luca; Porreca Antonio, E.; Zandron, Claudio
Geometric semantic genetic programming for biomedical applications: A state of the art upgrade
2017-01-01 Vanneschi, Leonardo; Castelli, Mauro; Goncalves, Ivo; Manzoni, Luca; Silva, Sara
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 Convegno10149
Data di pubblicazione
- In corso di stampa13
- 2020 - 20261058
- 2010 - 20193432
- 2000 - 20093789
- 1990 - 19991434
- 1980 - 1989401
- 1970 - 197928
- 1965 - 19695
Editore
- IEEE731
- Institute of Electrical and Elect...234
- -200
- Springer196
- Springer Verlag145
- ACM111
- IFAC76
- IEEE Society67
- Elsevier56
- World Scientific52
Rivista
- GIORNALE ITALIANO DI PSICOPATOLOGIA72
- LECTURE NOTES IN COMPUTER SCIENCE57
- JOURNAL OF PHYSICS. CONFERENCE SE...41
- POS PROCEEDINGS OF SCIENCE29
- JOURNAL OF VISION27
- AIP CONFERENCE PROCEEDINGS24
- ELECTRONIC PROCEEDINGS IN THEORET...17
- PERCEPTION16
- AIP CONFERENCE PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS14
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...67
- LECTURE NOTES IN COMPUTER SCIENCE57
- IFMBE PROCEEDINGS35
- CEUR WORKSHOP PROCEEDINGS22
- PROCEEDINGS OF SPIE, THE INTERNAT...15
- LEIBNIZ INTERNATIONAL PROCEEDINGS...12
- LECTURE NOTES IN COMPUTER SCIENCE11
- PROGRESS IN MARINE SCIENCE AND TE...9
- PROGRESS IN MARINE SCIENCE AND TE...9
- IEEE CONFERENCE RECORD - NUCLEAR ...8
Keyword
- -145
- Partial Discharges70
- Insulation Systems63
- Diagnostics58
- Image processing46
- Computer Networks and Communications45
- Software45
- CFD44
- Computer Science (all)44
- Electrical and Electronic Enginee...43
Lingua
- eng7211
- ita2237
- fre60
- spa45
- ger39
- slv37
- rus11
- dut9
- und7
- mul5
Accesso al fulltext
- no fulltext7912
- reserved1378
- open543
- partially open316