A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF
2020-01-01 Cantone, Domenico; De Domenico, Andrea; Maugeri, Pietro; Omodeo, Eugenio
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
2020-01-01 Backenkohler, M.; Bortolussi, L.; Wolf, V.
Influence of the gender on the relationship between heart rate and blood pressure
2020-01-01 Silveri, Giulia; Pascazio, Lorenzo; Ajcevic, Miloš; Miladinović, Aleksandar; Accardo, Agostino
Numerical prediction of the far field noise generated by a ship propeller
2019-01-01 Cianferra, M.; Armenio, V.; Petronio, A.
Learning a formula of interpretability to learn interpretable formulas
2020-01-01 Virgolin, M.; De Lorenzo, A.; Medvet, E.; Randone, F.
Teaching and learning in the COVID-19 Era: The experience of an Italian primary school class
2020-01-01 Addimando, L.; Leder, Daniela; Zudini, Verena
Equivalent Inductance Evaluation for Cable Bundles in Shipboard Integrated Power and Energy Systems
2020-01-01 Colavitto, A.; Vicenzutti, A.; Sulligoi, G.
Correlation between hyper-acute EEG alterations and 7-Day NIHSS score in thrombolysis treated ischemic stroke patients
2020-01-01 Ajcevic, Miloš; Furlanis, Giovanni; Miladinović, Aleksandar; Stragapede, Lara; Silveri, Giulia; Caruso, Paola; Naccarato, Marcello; Manganotti, Paolo; Accardo, Agostino
Environmental and operative impact of the electrification of a double-ended ferry
2020-01-01 Vicenzutti, Andrea; Mauro, Francesco; Bucci, Vittorio; Bosich, Daniele; Sulligoi, Giorgio; Furlan, Stefano; Brigati, Lorenzo
Environment-friendliness in Maritime Transport: Designing Smart Recharging Stations in North Adriatic Sea
2020-01-01 Bosich, D.; Vicenzutti, A.; Sulligoi, G.
Study on zoning procedures for Secondary Voltage Regulation
2020-01-01 Marzolla, F.; Vicenzutti, A.; Chiandone, M.; Sulligoi, G.; Carlini, E. M.; Giannuzzi, G. M.; Zaottini, R.; Renieri, M.
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
2020-01-01 Bartocci, E.; Bortolussi, L.; Loreti, M.; Nenzi, L.; Silvetti, S.
Multi-boson electroweak physics at CMS
2020-01-01 DA ROLD, Alessandro
Impegno religioso e acquisti di prodotti verdi: primi risultati di una ricerca quantitativa
2020-01-01 Pegan, G.; Del, Missier; de Luca, P.; Mandolese, F.
On the Automation of Ports and Logistics Chains in the Adriatic Region
2020-01-01 Braidotti, Luca; Mazzarino, Marco; Cociancich, Maurizio; Bucci, Vittorio
Secondary school mathematics teacher training in Austria
2020-01-01 Kadunz, G.; Zudini, V.
Tourism and imaginary: a renewed perspective of Vietnam from Italian travelers' stories?
2019-01-01 Mauro, Giovanni
Correspondence Analysis with Doubling for Two-mode Valued Networks
2015-01-01 Ragozini, Giancarlo; DE STEFANO, Domenico; D'Ambrosio, Daniela
Professional Profile as Life Reflection Story
2019-01-01 Chianese, G.
Getting a-breast of immobilisation needs for the implementation of phase contrast tomography
2020-01-01 Lewis, S. J.; Tam, N.; Arana Pena, L. M.; Juria, I.; Tavakoli Taba, S.; Hausermann, D.; Brennan, P. C.; Hall, C.; Arhatari, B.; Tromba, G.; Longo, R.; Gureyev, T. E.
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 Convegno10327
Data di pubblicazione
- In corso di stampa13
- 2020 - 20261219
- 2010 - 20193450
- 2000 - 20093788
- 1990 - 19991434
- 1980 - 1989401
- 1970 - 197928
- 1965 - 19695
Editore
- IEEE750
- Institute of Electrical and Elect...253
- Springer215
- -200
- Springer Verlag146
- ACM118
- IFAC77
- IEEE Society67
- Elsevier57
- IOS Press53
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 PROCEEDINGS25
- ELECTRONIC PROCEEDINGS IN THEORET...17
- PERCEPTION16
- AIP CONFERENCE PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS14
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...67
- LECTURE NOTES IN COMPUTER SCIENCE64
- IFMBE PROCEEDINGS37
- CEUR WORKSHOP PROCEEDINGS26
- PROGRESS IN MARINE SCIENCE AND TE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...15
- LEIBNIZ INTERNATIONAL PROCEEDINGS...13
- PROGRESS IN MARINE SCIENCE AND TE...13
- LECTURE NOTES IN COMPUTER SCIENCE12
- COMMUNICATIONS IN COMPUTER AND IN...10
Keyword
- -143
- Partial Discharges70
- Insulation Systems63
- Diagnostics58
- Image processing46
- Software46
- CFD45
- Computer Networks and Communications45
- Computer Science (all)44
- Electrical and Electronic Enginee...43
Lingua
- eng7383
- ita2238
- fre60
- spa45
- ger39
- slv37
- rus11
- dut9
- und7
- mul5
Accesso al fulltext
- no fulltext8077
- reserved1378
- open553
- partially open319