Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening
2017-01-01 Gotlieb, Arnaud; Louarn, Marine; Nygard, Mari; Ruiz Lopez, Tomas; Sen, Sagar; Gori, Roberta
Hidden states in reaction systems
2018-01-01 Gori, Roberta; Gruska, Damas; Milazzo, Paolo
Simulating gene regulatory networks using reaction systems
2018-01-01 Barbuti, Roberto; Bove, Pasquale; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks
2019-01-01 Gori, Roberta; Milazzo, Paolo; Nasti, Lucia
Geo4P: a quantitative assessment of very low, low and medium temperature shallow geothermal resources
2016-01-01 Sbrana, Alessandro; Pasquini, G; Marianelli, Paola; Bonciani, D; Torsello, L.
La rete idrica del suburbio sud-orientale di Roma: l’acqua come chiave interpretativa dell’uso del suolo e dei modelli insediativi (I-V secolo d.C.)
2022-01-01 Vagnuzzi, Sofia
Campello nei Monti Aurunci (Itri, LT) : osservazioni preliminari sui sistemi di gestione delle acque nella Piana del Campo
2022-01-01 Saccoccio, Federico
THE SHELL IN THE STONE: WHAT CHILDREN SEE AND EXPLAIN
2018-01-01 Pieraccioni, F.; Gioncada, A.; Bonaccorsi, E.
On the Use of Linear-Modelling-based Algorithms for Physiological Noise Correction in fMRI Studies of the Central Breathing Control
2019-01-01 Cauzzo, S.; Callara, A. L.; Sole Morelli, M.; Hartwig, V.; Montanaro, D.; Passino, C.; Emdin, M.; Giannoni, A.; Vanello, N.
To which extent pheocromocytoma cell lines represent a reliable model of physiological catecholamine-containinjg cells?
2003-01-01 Fulceri, F; A., Falleni; Giorgi, F. S.; C., Pizzanelli; Alessandri, M. G.; A., Paparelli
Il finto commento della Secchia rapita: Le Dichiarazioni di Gasparo Salviani
2021-01-01 Cabani, Maria Cristina
Simulation of Deployable Cable Nets for Active Debris Removal in Space
2022-01-01 Fisicaro, Paolo; Pasini, Angelo; Valvo, Paolo S.
Battery energy storage systems for ancillary services in Renewable energy communities
2023-01-01 Ferrucci, Tommaso; Fioriti, Davide; Poli, Davide; Barberis, Stefano; Vannoni, Alberto; Roncallo, Francesco; Tacconelli, Carlo; Gambino, Valeria
Geo Satellites’ Manufacturing Markers From Photometric Colors
2023-01-01 Di Cecco, Alessandra; Buzzoni, Alberto; Mochi, Maddalena; Altavilla, Giuseppe; Brambilla, Sara; Castronuovo, Marco; De Luise, Fiore; Galleti, Silvia; Guichard, José; Marzo, Cosimo; Valentini, Gaetano
Deepening asteroid dynamics in the new era of observations: the project MONASTER (MONitoring ASTERoids)
2023-01-01 Tommei, Giacomo; Mochi, Maddalena
Towards Trustworthy AI for QoE prediction in B5G/6G Networks
2022-01-01 CORCUERA BÁRCENA, JOSÉ LUIS; Ducange, Pietro; Marcelloni, Francesco; Nardini, Giovanni; Noferi, Alessandro; Renda, Alessandro; Stea, Giovanni; Virdis, Antonio
Rethinking Egyptian animal worship (c. 3000 BC – c. 300 AD). Towards a historical-religious perspective
2017-01-01 Colonna, Angelo
Θεοί and ‘Iεροί: some remarks on animal cult in Ancient Egypt according to Classical and Egyptian texts
2014-01-01 Colonna, A
Il toro Apis nel periodo protodinastico e nell'Antico Regno. Appunti per una ricerca
2020-01-01 Colonna, Angelo
"The Sound of Silence": sul significato del silenzio e di alcune interdizioni musicali in relazione alla figura e al culto di Osiride
2015-01-01 Colonna, A
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 ...36916
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa147
- 2020 - 20265056
- 2010 - 201911024
- 2000 - 200913956
- 1990 - 19995134
- 1980 - 19891432
- 1970 - 1979156
- 1961 - 19693
Editore
- Institute of Electrical and Elect...1772
- IEEE1227
- Springer609
- Springer Verlag328
- IEEE Computer Society265
- Springer Science and Business Med...215
- ETS179
- Elsevier155
- ACM130
- Pisa University Press128
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE430
- POS PROCEEDINGS OF SCIENCE136
- JOURNAL OF PHYSICS. CONFERENCE SE...123
- ELECTRONIC NOTES IN THEORETICAL C...71
- ACTA HORTICULTURAE69
- PROCEEDINGS OF SPIE, THE INTERNAT...58
- NUCLEAR PHYSICS B-PROCEEDINGS SUP...54
- ATTI DELLA SOCIETA' ITALIANA DELL...47
- IEEE ENGINEERING IN MEDICINE AND ...44
- PROCEDIA STRUCTURAL INTEGRITY44
Serie
- LECTURE NOTES IN COMPUTER SCIENCE341
- CEUR WORKSHOP PROCEEDINGS142
- LECTURE NOTES IN ARTIFICIAL INTEL...113
- LECTURE NOTES IN COMPUTER SCIENCE61
- COMMUNICATIONS IN COMPUTER AND IN...56
- DIGEST - IEEE ANTENNAS AND PROPAG...55
- IEEE ENGINEERING IN MEDICINE AND ...54
- LECTURE NOTES IN ELECTRICAL ENGIN...51
- LEIBNIZ INTERNATIONAL PROCEEDINGS...51
- PROCEEDINGS OF SPIE, THE INTERNAT...42
Keyword
- Computer Networks and Communications257
- Electrical and Electronic Enginee...244
- Computer Science (all)131
- Computer Science Applications1707...125
- Signal Processing124
- Artificial Intelligence117
- Instrumentation117
- Software117
- Theoretical Computer Science104
- Biomedical Engineering90
Lingua
- eng23696
- ita6906
- fre250
- spa126
- ger55
- rus45
- por28
- und23
- lat11
- grc7
Accesso al fulltext
- no fulltext34041
- open1593
- restricted893
- reserved233
- partially open154
- embargoed2
- mixed1