Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols
2013-01-01 Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Genome-wide analysis of gene expression in brains of HIV gp120 transgenic mice reveals differential regulation due to genotype and age
2011-01-01 Kaul, M; Maung, R; Russo, Rossella; Williams, R.
A Programming Environment As A Methodological Tool For The Learning Of Mathematics.
2013-01-01 Serpe, Annarosa; COSTABILE FRANCESCO, A.
STUDIO DEL REALE COMPORTAMENTO DINAMICO DELLE PARETI DEGLI EDIFICI MEDIANTE L’ANALISI ARMONICA
2013-01-01 Oliveti, G; Arcuri, Natale; DE SIMONE, Marilena; Mazzeo, D.
A Multi-Tiered Recommender System Architecture for Supporting E-Commerce
2012-01-01 Sarnè, G; Palopoli, Luigi; Rosaci, D.
Sistemi residenti per il controllo dei livelli di efficienza statica degli edifici in c.a. di nuova costruzione
2009-01-01 Porco, Giacinto; Romano, D.; Zaccaria, G.
Palladium iodide: a unique catalyst for carbonylation reactions
2013-01-01 Gabriele, Bartolo
La vita sullo schermo. Sul cinema di Astra Taylor
2013-01-01 Dottorini, Daniele
L’Italia terra d’origine tra sogno, mito e realtà: lo sguardo italoamericano in Umbertina di Helen Barolini.
2013-01-01 Ganeri, Margherita
Principal Directions-Based Pivot Placement
2013-01-01 Angiulli, F; Fassetti, Fabio
Phaseless imaging of dielectric scatterers – preliminary experimental results
2013-01-01 Costanzo, Sandra; Borgia, A; DI MASSA, Giuseppe; Pastorino, M; Randazzo, A.
Simulation of nanoscale double-gate MOSFETs
2014-01-01 Camiola, V. D.; Mascali, Giovanni; Romano, V.
Fabry-Perot antenna with improved bandwidth
2014-01-01 DI MASSA, Giuseppe; Moreno, O. H.; Costanzo, Sandra
17-beta estradiol minimizes intravitreal glutamate increase after transient ischemia/reperfusion in rat
2009-01-01 Cavaliere, F; Russo, Rossella; Varano, Gp; Rombolà, L; Corasaniti, Mt; Bagetta, Giacinto; Morrone, Luigi Antonio
New carbonylative approaches to functionalized imidazothiazine and thiazinobenzimidazolone derivatives
2013-01-01 Veltri, Lucia; Gabriele, Bartolo
Multi-relational PageRank for Tree Structure Sense Ranking
2013-01-01 R., Interdonato; Tagarelli, Andrea
“Who’s out there?” Identifying and Ranking Lurkers in Social Networks
2013-01-01 Tagarelli, Andrea; R., Interdonato
Monitoraggio in Area Sismica: Rilevatori di Deformazione a Fibra Ottica
2013-01-01 Porco, Giacinto; Romano, D; Valer Montero, G. F.
A tensor-based clustering approach for multiple document classifications
2013-01-01 Romeo, S; Tagarelli, Andrea; Francesco Gullo, F; Greco, Sergio
Parameter Extraction in Multi Step Exponential Signal
2013-01-01 Carni', Domenico; Grimaldi, Domenico; Michaeli, L; Saliga, J.
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 ...16721
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa41
- 2020 - 20272706
- 2010 - 20196029
- 2000 - 20096298
- 1990 - 19991328
- 1980 - 1989293
- 1973 - 197928
Editore
- Institute of Electrical and Elect...564
- IEEE378
- Springer326
- Springer Verlag161
- CEUR-WS159
- Springer Science and Business Med...151
- IEEE Computer Society138
- Elsevier B.V.129
- ACM89
- Editore Bios58
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE206
- CEUR WORKSHOP PROCEEDINGS73
- PROCEDIA COMPUTER SCIENCE72
- PROCEDIA STRUCTURAL INTEGRITY64
- POS PROCEEDINGS OF SCIENCE50
- AIP CONFERENCE PROCEEDINGS41
- IJCAI41
- PROCEEDINGS OF THE EUROPEAN CONFE...36
- ACM INTERNATIONAL CONFERENCE PROC...33
- AIP CONFERENCE PROCEEDINGS32
Serie
- CEUR WORKSHOP PROCEEDINGS173
- LECTURE NOTES IN COMPUTER SCIENCE132
- LECTURE NOTES IN ARTIFICIAL INTEL...77
- MECHANISMS AND MACHINE SCIENCE52
- AIP CONFERENCE PROCEEDINGS27
- COMMUNICATIONS IN COMPUTER AND IN...23
- LECTURE NOTES IN MECHANICAL ENGIN...22
- IFAC-PAPERSONLINE21
- PROCEDIA CIRP20
- LECTURE NOTES IN NETWORKS AND SYS...19
Keyword
- Computer Science (all)98
- Computer Networks and Communications94
- -87
- Answer Set Programming77
- Software77
- Artificial Intelligence75
- Theoretical Computer Science69
- Computer Science Applications1707...52
- Electrical and Electronic Enginee...47
- Instrumentation37
Lingua
- eng11337
- ita3495
- fre69
- spa30
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16694
- open22
- embargoed6
- reserved1