• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 66 matches

• 2024
• 
  Davide Bacciu, Federico Errica, Alessio Gravina, Lorenzo Madeddu, Marco Podda, Giovanni Stilo:
  Deep Graph Networks for Drug Repurposing With Multi-Protein Targets. IEEE Trans. Emerg. Top. Comput. 12(1): 177-189 (2024)
• 
  Andrea Bacciu, Cesare Campagnano, Giovanni Trappolini, Fabrizio Silvestri:
  DanteLLM: Let's Push Italian LLM Research Forward! LREC/COLING 2024: 4343-4355
• 
  Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
  Dissimilarity for Linear Dynamical Systems. QEST+FORMATS 2024: 125-142
• 
  Cosimo Della Santina, Carlos Hernández Corbato, Burak Sisman, Luis A. Leiva, Ioannis Arapakis, Michalis Vakalellis, Jean Vanderdonckt, Luis Fernando D'Haro, Guido Manzi, Cristina Becchio, Aïda Elamrani, Mohsen Alirezaei, Ginevra Castellano, Dimos V. Dimarogonas, Arabinda Ghosh, Sofie Haesaert, Sadegh Soudjani, Sybert Stroeve, Paul F. M. J. Verschure, Davide Bacciu, Ophelia Deroy, Bahador Bahrami, Claudio Gallicchio, Sabine Hauert, Ricardo Sanz, Pablo Lanillos, Giovanni Iacca, Stephan Sigg, Manel Gasulla, Luc Steels, Carles Sierra:
  Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside". CoRR abs/2402.09030 (2024)
• 
  Giovanni Baccichet, Corrado Innamorati, Alessandro E. C. Redondi, Matteo Cesana:
  MAC Address De-Randomization Using Multi-Channel Sniffers and Two-Stage Clustering. CoRR abs/2408.01578 (2024)
• 
  Filippo Betello, Antonio Purificato, Federico Siciliano, Giovanni Trappolini, Andrea Bacciu, Nicola Tonellotto, Fabrizio Silvestri:
  A Reproducible Analysis of Sequential Recommender Systems. CoRR abs/2408.03873 (2024)
• 2023
• 
  Andrea Bacciu, Florin Cuconasu, Federico Siciliano, Fabrizio Silvestri, Nicola Tonellotto, Giovanni Trappolini:
  RRAML: Reinforced Retrieval Augmented Machine Learning. DP@AI*IA 2023: 29-37
• 
  Valerio Pampanoni, Giovanni Laneve, Domingos Xavier Viegas, Daniela Alves, Luís Mário Ribeiro, Grazia Pellizzaro, Valentina Bacciu, Andrea Ventura:
  Early Validation of A Live Fuel Moisture Content Product Based on Sentinel-2 and Sentinel-3 Images. IGARSS 2023: 3042-3045
• 
  Andrea Bacciu, Giovanni Trappolini, Andrea Santilli, Emanuele Rodolà, Fabrizio Silvestri:
  Fauno: The Italian Large Language Model that will leave you senza parole! IIR 2023: 9-17
• 
  Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
  An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. QEST 2023: 82-100
• 
  Raphaël Reynouard, Anna Ingólfsdóttir, Giovanni Bacci:
  Jajapy: A Learning Library for Stochastic Models. QEST 2023: 30-46
• 
  Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
  MM Algorithms to Estimate Parameters in Continuous-time Markov Chains. CoRR abs/2302.08588 (2023)
• 
  Fabiola Sapienza, Giacomo Bacci, Filippo Giannetti, Vincenzo Lottici, Attilio Vaccaro, Giovanni Serafino, Alberto Ortolani, Francesca Caparrini, Andrea Antonini, Samantha Melani, Antonio Mazza, Luca Baldini, Elisa Adirosi, Luca Facheris:
  A Feasibility Study on Opportunistic Rainfall Measurement From Satellite TV Broadcasts. CoRR abs/2303.04457 (2023)
• 
  Francesco Caso, Giovanni Trappolini, Andrea Bacciu, Pietro Liò, Fabrizio Silvestri:
  Renormalized Graph Neural Networks. CoRR abs/2306.00707 (2023)
• 
  Andrea Bacciu, Giovanni Trappolini, Andrea Santilli, Emanuele Rodolà, Fabrizio Silvestri:
  Fauno: The Italian Large Language Model that will leave you senza parole! CoRR abs/2306.14457 (2023)
• 
  Andrea Bacciu, Florin Cuconasu, Federico Siciliano, Fabrizio Silvestri, Nicola Tonellotto, Giovanni Trappolini:
  RRAML: Reinforced Retrieval Augmented Machine Learning. CoRR abs/2307.12798 (2023)
• 2022
• 
  Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen:
  Convex Lattice Equation Systems. Principles of Systems Design 2022: 438-455
• 2021
• 
  Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier:
  Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. 33(1): 3-25 (2021)
• 
  Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
  L^*-based learning of Markov decision processes (extended version). Formal Aspects Comput. 33(4-5): 575-615 (2021)
• 
  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel:
  Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Log. Methods Comput. Sci. 17(1) (2021)
• 
  Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard:
  Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning 2021: 57-77
• 
  Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
  Active Learning of Markov Decision Processes using Baum-Welch algorithm. ICMLA 2021: 1203-1208
• 
  Ana Reis-Costa, Francesco Vitali, Agnese Gori, Giovanni Bacci, Carlotta De Filippo, Duccio Cavalieri:
  ONS Modeling of Diet Concepts: Further Development Required by the Objective Definition of "Western Diet". JOWO 2021
• 
  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
  Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS 2021: 1-14
• 
  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
  Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR abs/2104.13160 (2021)
• 
  Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
  Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). CoRR abs/2110.03014 (2021)
• 2020
• 
  Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen:
  Approximating Euclidean by Imprecise Markov Decision Processes. ISoLA (1) 2020: 275-289
• 
  Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen:
  Approximating Euclidean by Imprecise Markov Decision Processes. CoRR abs/2006.14923 (2020)
• 2019
• 
  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
  Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. 29(1): 3-37 (2019)
• 
  Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel:
  Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR 2019: 9:1-9:17

skipping 36 more matches