Sfoglia per Serie  

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 15 a 34 di 38
Titolo Data di pubblicazione Autore(i) File
MV-tropical polynomials and neural networks 1-gen-2021 Aguzzoli, S.; Di Nola, A.; Gerla, B.; Russo, C.
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms? 1-gen-2020 Fiorentini, C.; Ferrari, M.
A New Approach to Clausification for Intuitionistic Propositional Logic 1-gen-2023 Fiorentini, C.; Ferrari, M.
On Counting k-Convex Polyominoes 1-gen-2022 Massazza, Paolo
On Counting L-Convex Polyominoes 1-gen-2021 Dorigatti, V.; Massazza, P.
On fuzzy truth-values and quasi-standard completeness 1-gen-2021 Aguzzoli, S.; Gerla, B.
On the generating functions of languages accepted by deterministic one-reversal counter machines 1-gen-2018 Massazza, P.
OntologyBeanGenerator 5.0: Extending ontology concepts with methods and exceptions 1-gen-2018 Briola, Daniela; Mascardi, Viviana; Gioseffi, Massimiliano
Perceptron operators that count 1-gen-2021 Galliani, P; Kutz, O; Troquard, N
Preface to the Second Workshop on Artificial Intelligence for Human-Machine Interaction (AIxHMI) 1-gen-2023 Saibene, A.; Corchs, S.; Fontana, S.; Sole-Casals, J.
Privacy-preserving Decentralized Learning of Knowledge Graph Embeddings 1-gen-2023 Hoang, A. -T.; Lekssays, A.; Carminati, B.; Ferrari, E.
A process calculus approach to correctness enforcement of PLCs 1-gen-2020 Lanotte, R.; Merro, M.; Munteanu, A.
REFSQ 2018: Joint proceedings of workshops, doctoral symposium, live studies, and posters and tools track 1-gen-2018 Schmid, K.; Spoletini, P.
REFSQ 2019: Joint proceedings of workshops, industrial track, doctoral symposium, live studies, and posters and tools track 1-gen-2019 Spoletini, P.; Mader, P.
Representable AI: Towards a Unified View of Core Dimensions for a Visual Framework 1-gen-2022 Locoro, Angela; Buono, Paolo; Winckler, Marco; Corchs, SILVIA ELENA
Representation and management of ontologies in cultural heritage domain 1-gen-2005 Ghiselli, C.; Bozzato, L.; Trombetta, A.
Software development effort estimation using function points and simpler functional measures: a comparison 1-gen-2023 Lavazza, L.; Locoro, A.; Meli, R.
Step-by-step Robustness for Biochemical Networks 1-gen-2023 Lanotte, R.; Manicardi, D.; Tini, S.
A study of the correlation between functional size measures and object-oriented measures from UML requirements models 1-gen-2018 Lavazza, Luigi; Liu, Geng
Team semantics for spatial reasoning: Locality and separability 1-gen-2019 Galliani, P.
Mostrati risultati da 15 a 34 di 38
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