CDSAT for nondisjoint theories with shared predicates: arrays with abstract length
2022-01-01 Bonacina, Maria Paola; Graham-Lengrand, Stephane; Shankar, Natarajan
On SGGS and Horn clauses
2022-01-01 Bonacina, Maria Paola; Winkler, Sarah
Functional Level Abstraction and Simulation of Verilog-AMS Piecewise Linear Models
2022-01-01 Azam, Sadia; Dall'Ora, Nicola; Fraccaroli, Enrico; Fummi, Franco
Investigation on Realistic Stuck-on/off Defects to Complement IEEE P2427 Draft Standard
2022-01-01 Azam, Sadia; Dall'Ora, Nicola; Fraccaroli, Enrico; Alberts, André; Gillon, Renaud; Fummi, Franco
How Meaningful work and sources of meaning changed during the pandemic: an exploratory study
2022-01-01 Tommasi, Francesco; Ceschi, Andrea; Sartori, Riccardo; Giusto, Giorgia; Morandini, Sofia; Caputo, Beniamino; Gostimir, Marija
Deformable sensors for soft robot by electrical impedance tomography
2015-01-01 Visentin, F.; Suzuki, K.
Through a Sacred Space in the North of Italy: popular Catholicism between persistence and new meaning
2006-01-01 Rech, Giovanna
Camminare per credere? L’osservazione partecipante nello studio dei pellegrinaggi in Trentino
2011-01-01 Rech, Giovanna
Reaching the peak to stand by the Thinking Christ in Dolomites
2012-01-01 Rech, Giovanna
Religious tourism and local pilgrimages in a mountain region: Opportunity for local development or reinvention of local traditions?
2010-01-01 Rech, Giovanna
Le Trekking du Christ pensant dans les Dolomites: narrations de la création d’un lieu
2011-01-01 Rech, Giovanna
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
2022-01-01 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
Reliability of functional connectivity measures in resting-state test-retest FMRI data
2021-01-01 Galazzo, I. B.; Paolini, E.; Endrizzi, W.; Zumerle, F.; Menegaz, G.; Storti, S. F.
Multivariate data analysis suggests the link between brain microstructure and cognitive impairment in multiple sclerosis
2021-01-01 Brusini, L.; Cruciani, F.; Galazzo, I. B.; Pitteri, M.; Storti, S. F.; Calabrese, M.; Lorenzi, M.; Menegaz, G.
Perfusion-based brain connectivity: PASL vs PCASL
2019-01-01 De Blasi, B.; Barnes, A.; Storti, S. F.; Koepp, M.; Menegaz, G.; De Vita, E.; Galazzo, I. B.
Connectivity modeling meets machine learning: The next generation of eeg-based brain computer interfaces
2021-01-01 Stival, F.; Setti, F.; Menegaz, G.; Storti, S. F.
EXPERTISE-RELATED GLOBAL EFFICIENCY OF FUNCTIONAL BRAIN NETWORKS IN PROFESSIONAL AND NEW DIVERS UNDER SIMULATED DEEP-WATER
2019-01-01 Storti, Sf; Formaggio, E; Pastena, L; Melucci, M; Ricciardi, L; Faralli, F; Gagliardi, R; Menegaz, G
The Robotic Surgery Procedural Framebank
2022-01-01 Bombieri, Marco; Rospocher, Marco; Paolo Ponzetto, Simone; Fiorini, Paolo
The ambivalence of Stavrogin: Benjamin's reading of Dostoevsky's character as a precursor of Surrealism
2020-01-01 Bjelica, Petra
Seminario internazionale di diritto del lavoro comparato “Pontignano XXXVII”: «Labour relations in the digital era»
2022-01-01 Macchione, Carole; Valenti, Carlo
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
- 04 Contributo in atti di convegno12534
Data di pubblicazione
- In corso di stampa37
- 2020 - 2022355
- 2010 - 20193922
- 2000 - 20095732
- 1990 - 19991688
- 1980 - 1989652
- 1970 - 1979142
- 1967 - 19695
Editore
- Springer226
- IEEE158
- Springer-Verlag69
- ACM54
- Springer Verlag42
- IEEE Computer Society38
- Monduzzi Editore37
- ESGAR - European Society Gastoint...28
- Springer Berlin Heidelberg28
- Giuffrè23
Rivista
- HAEMATOLOGICA61
- JOURNAL OF HEPATOLOGY53
- BLOOD49
- EUROPEAN RESPIRATORY JOURNAL47
- PATHOLOGICA44
- LECTURE NOTES IN COMPUTER SCIENCE40
- JOURNAL OF CRANIO-MAXILLOFACIAL S...38
- MINERVA CARDIOANGIOLOGICA36
- ITALIAN JOURNAL OF GASTROENTEROLOGY35
- BOLLETTINO DI OCULISTICA33
Serie
- LECTURE NOTES IN COMPUTER SCIENCE148
- LECTURE NOTES IN ARTIFICIAL INTEL...43
- CEUR WORKSHOP PROCEEDINGS24
- LEIBNIZ INTERNATIONAL PROCEEDINGS...14
- LECTURE NOTES IN COMPUTER SCIENCE13
- PROCEEDINGS - INTERNATIONAL WORKS...13
- PROCEEDINGS OF SPIE, THE INTERNAT...12
- COLLANA DEL DIPARTIMENTO DI SCIEN...6
- ADVANCES IN INTELLIGENT SYSTEMS A...5
- LECTURE NOTES IN BUSINESS INFORMA...5
Keyword
- pattern recognition61
- Verona53
- abstract interpretation49
- Italia46
- asthma44
- treatment41
- children40
- diagnosi40
- trattamento39
- CdTe38
Lingua
- eng7468
- ita4181
- fra141
- spa78
- ger63
- deu39
- rus31
- fre14
- und7
- por4
Accesso al fulltext
- no fulltext11492
- reserved549
- open486
- embargoed7