Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 17.721 a 17.740 di 20.315
Use of the forward-backward search for large vocabulary recognition with continuous observation density HMM's
1993-01-01 Bocchieri, E; Riccardi, Giuseppe
OPTIMISATION OF THE HOT FORGING PROCESS OF TI6AL4V TURBINE BLADES
2001-01-01 Bariani, P. F.; Bruschi, Stefania; Masiero, S.
NEW IRON BASED EXPERIMENTAL POWDERS FOR THE DIRECT METAL SELECTIVE LASER SINTERING
2000-01-01 Miani, F.; Bruschi, Stefania; DAL NEGRO, T.; Meneghello, R.; Zambon, A.
THE USE OF NEURAL NETWORKS TO REPRESENT RHEOLOGICAL DATA IN MULTI-STEP HOT FORGING
2000-01-01 Bariani, P. F.; Bruschi, Stefania; DAL NEGRO, T.
APPLICATION OF NEURAL NETWORKS TO REPRESENT THE RHEOLOGICAL BEHAVIOUR OF NICKEL-BASE SUPERALLOYS UNDER VARYING DEFORMATION CONDITIONS
2001-01-01 Bariani, P. F.; Berti, G.; Bruschi, Stefania; DAL NEGRO, T.
A NEW CONSTITUTIVE EQUATION FOR STEELS IN HOT FORGING OPERATIONS
1999-01-01 Bariani, P. F.; Bruschi, Stefania; DAL NEGRO, T.
TESTING THE MATERIAL RESPONSE IN MULTI-STEP HOT FORGING CONDITIONS
2000-01-01 Bariani, P. F.; Bruschi, Stefania; DAL NEGRO, T.
La governance orizzontale ed il libro bianco
2003-01-01 Ruzza, Carlo
Reduction Rules and Universal Variables for First Order Tableaux and DPLL
2000-01-01 Massacci, Fabio
Reasoning about security: a logic and a decision methods for role-based access control
1997-01-01 Massacci, Fabio
The taming of the (X)OR
2000-01-01 Baumgartner, P.; Massacci, Fabio
Breaking security protocols as an AI planning problem
1997-01-01 Massacci, Fabio
Strongly Analytic Tableaux for Normal Modal Logics
1994-01-01 Massacci, Fabio
Grammar fragment acquisition using syntactic and semantic clustering
1998-01-01 Arai, K; Wright, J. H.; Riccardi, Giuseppe; Gorin, A. L.
Using Walk-SAT and Rel-SAT for Cryptographic Key Search
1999-01-01 Massacci, Fabio
Anytime Approximate Modal Reasoning
1998-01-01 Massacci, Fabio
A uniform tableaux method for nonmonotonic modal logics
1996-01-01 Donini, F. M.; Massacci, Fabio; Nardi, D.; Rosati, R.
An Executable Specification Language for Planning Attacks to Security Protocols
2000-01-01 CARLUCCI AIELLO, L.; Massacci, Fabio
"Stop the Bot!" Trespass to Chattles in Cyberspace
2002-01-01 Rossato, Andrea
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
1996-01-01 DE GIACOMO, G.; Massacci, Fabio
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 17.721 a 17.740 di 20.315
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 Convegni (Proceedings)20313
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263378
- 2010 - 20197201
- 2000 - 20096479
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2263
- Institute of Electrical and Elect...966
- Springer900
- ACM386
- IEEE Computer Society317
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- Association for Computing Machinery169
- CEUR-WS169
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE684
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...178
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- PROCEEDINGS - IEEE COMPUTER SOCIE...53
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore L-ANT/08 - Archeologia Cr...5
- Settore SECS-P/08 - Economia e Ge...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15241
- ita3568
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14987
- reserved3265
- open1550
- partially open503
- mixed8
- embargoed2