IRIS Institutional Research Information System

Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 9.260 a 9.279 di 19.476
Titolo Data di pubblicazione Autore(i) File
Interpolant Generation for UTVPI 1-gen-2009 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Interpolated N-Grams for Model Based Testing 1-gen-2014 Tonella, Paolo; Tiella, Roberto; Cu Duy, Nguyen
Interpolating Silicon Photo-Multiplier: a Novel Position Sensitive Device with Submillimeter Spatial Resolution and Depth of Interaction Capability 1-gen-2013 I., Sacco; P., Fischer; Gola, Alberto Giacomo; Piemonte, Claudio
Interpolating silicon photomultipliers 1-gen-2013 P., Fischer; Piemonte, Claudio
Interpolation with the polynomial kernels 1-gen-2022 Elefante, Giacomo; Erb, Wolfgang; Marchetti, Francesco; Perracchione, Emma; Poggiali, Davide; Santin, Gabriele
Interpolation with uncoupled separable matrix-valued kernels 1-gen-2018 Wittwar, D.; Santin, G.; Haasdonk, B.
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL 1-gen-2013 Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening
Interpretable CNN for Single-Channel Artifacts Detection in Raw EEG Signals 1-gen-2022 Paissan, Francesco; Kumaravel, Velu Prabhakar; Farella, Elisabetta
An interpretable evolving fuzzy neural network based on self-organized direction-aware data partitioning and fuzzy logic neurons 1-gen-2021 de Campos Souza, P. V.; Lughofer, E.; Guimaraes, A. J.
An Interpretable Machine Learning Model for Human Fall Detection Systems Using Hybrid Intelligent Models 1-gen-2020 de Campos Souza, Paulo Vitor.; Guimaraes, A. J.; Araujo, V. S.; Batista, L. O.; Rezende, T. S.
Interpretable visual transmission lines inspections using pseudo-prototypical part network 1-gen-2023 Singh, Gurmail; Stefenon, Stefano Frizzo; Yow, Kin-Choong
Interpretation of the LHCb Pc(4312)+ Signal 1-gen-2019 Fernández-Ramírez, C; Pilloni, A; Albaladejo, M; Jackura, A; Mathieu, V; Mikhasenko, M; Silva-Castro, J A; Szczepaniak, A P
Interpretazione di immagini e segnali multisensore per la sorveglianza di stazioni ferroviarie impresenziate 1-gen-1993 M., Ferrettino; M., Perotti; M., Peri; C., Regazzoni; Bozzoli, Alessandro; M., Omologo; Svaizer, Piergiorgio; D., Basili
Interrogating the standardisation of surveillance in 5G amid US–China competition 1-gen-2024 Becker, Christoph; ten Oever, Niels; Nanni, Riccardo
The Intersection of Bernard Lonergan’s Critical Realism, the Common Good, and Artificial Intelligence in Modern Religious Practices 1-gen-2023 Umbrello, Steven
Intersections among vacuum, nanostructures and biomedicine 1-gen-2009 Speranza, Giorgio; Minati, Luca; Torrengo, Simona; Bensaada Laidani, Nadhira; Anderle, Mariano
Interstitial oxygen concentration role in the DW-Locos CMOS technology 1-gen-1996 Bellutti, Pierluigi; Boscardin, Maurizio; Zen, Mario; Zorzi, Nicola; D., Vrtacnik; M., Calderara; Soncini, Giovanni
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling 1-gen-2016 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Mostrati risultati da 9.260 a 9.279 di 19.476
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