• 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 170 matches

• 2024
• 
  Esmeralda Mainar, Juan Manuel Peña, Beatriz Rubio:
  On the total positivity of q-Bernstein mass matrices and their accurate computations. J. Comput. Appl. Math. 451: 116034 (2024)
• 
  Ludovico Luchetti, Ferran Prados, Rosa Cortese, Giordano Gentile, Massimilano Calabrese, Marzia Mortilla, Nicola De Stefano, Marco Battaglini:
  Evaluation of cervical spinal cord atrophy using a modified SIENA approach. NeuroImage 298: 120775 (2024)
• 
  Angelo Ferrando, Andrea Gatti, Viviana Mascardi:
  Geometric and Spatial Reasoning in BDI Agents: A Survey. CILC 2024
• 
  Diana Ivan, Angelo Ferrando, Andrea Gatti, Giovanna Guerrini, Viviana Mascardi:
  Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design. WOA 2024: 177-180
• 
  Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone:
  Solvent: liquidity verification of smart contracts. CoRR abs/2404.17864 (2024)
• 
  María Miró Maestre, Iván Martínez-Murillo, Tania Josephine Martin, Borja Navarro-Colorado, Antonio Ferrández, Armando Suárez Cueto, Elena Lloret:
  Beyond Generative Artificial Intelligence: Roadmap for Natural Language Generation. CoRR abs/2407.10554 (2024)
• 2023
• 
  Axel Mascaro:
  Matchmaking multicritère basé sur une différence sémantique pour la logique de description EL. Application à la recommandation de documents en ligne dans le domaine de la métrologie. (Multi-criteria matchmaking based on a semantic difference with EL description logic. Application on document recommandation online in a metrology domain). University of Clermont Auvergne, Clermont-Ferrand, France, 2023
• 
  Pilar Rosado-Rodrigo, Ferran Reverter:
  The Art of the Masses: Overviews on the Collective Visual Heritage through Convolutional Neural Networks. Big Data Cogn. Comput. 7(1): 33 (2023)
• 
  Angelo Ferrando, Viviana Mascardi:
  Special issue for the 23rd workshop "from objects to agents" (WOA 2022). Intelligenza Artificiale 17(1): 3-5 (2023)
• 
  Special issue: Selected papers from the 23rd Workshop "From Objects to Agents" (WOA 2022), Guest editors: Angelo Ferrando and Viviana Mascardi. Intelligenza Artificiale 17(1): 1 (2023)
• 
  Xingyang Liu, Gexiang Zhang, Muhammad Shahid Mastoi, Ferrante Neri, Yang Pu:
  A human-simulated fuzzy membrane approach for the joint controller of walking biped robots. Integr. Comput. Aided Eng. 30(2): 105-120 (2023)
• 
  Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
  RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics 12(2): 49 (2023)
• 
  Alex Meléndez, Cayetana López, David Bonet, Gerard Sant, Daniel Mas Montserrat, Jordi Abante, Manuel Rivas, Ferran Marqués, Alexander G. Ioannidis:
  Assessing Tree-Based Phenotype Prediction on the UK Biobank. BIBM 2023: 3804-3810
• 
  Nadia Ibellaatti, Edouard Lepape, Alp Kiliç, Kaya Akyel, Kassem Chouayakh, Fabrizio Ferrandi, Claudio Barone, Serena Curzel, Michele Fiorito, Giovanni Gozzi, Miguel Masmano, Ana Risquez Navarro, Manuel Muñoz, Vicente Nicolau Gallego, Patricia López Cueva, Jean-noel Letrillard, Franck Wartel:
  HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem. DATE 2023: 1-5
• 
  Daniela Briola, Angelo Ferrando, Viviana Mascardi:
  Fantastic MASs and Where to Find Them: First Results and Lesson Learned. EMAS 2023: 233-252
• 
  Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi:
  Integrating Ontologies and Cognitive Conversational Agents in On2Conv. EUMAS 2023: 66-82
• 
  Davide Ancona, Angelo Ferrando, Viviana Mascardi:
  Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP 2023: 25-31
• 
  Leonidas Kosmidis, Alejandro J. Calderón, Aridane Álvarez Suárez, Stefano Sinisi, Eckart Göhler, Paco Gómez Molinero, Alfred Hönle, Alvaro Jover-Alvarez, Lorenzo Lazzara, Miguel Masmano Tello, Peio Onaindia, Tomaso Poggi, Ivan Rodriguez-Ferrandez, Marc Solé Bonet, Giulia Stazi, Matina Maria Trompouki, Alessandro Ulisse, Valerio Di Valerio, Jannis Wolf, Irune Yarza:
  METASAT: Modular Model-Based Design and Testing for Applications in Satellites. SAMOS 2023: 347-362
• 
  Masud An Nur Islam Fahim, Ilona Söchting, Luca Ferranti, Juho Kannala, Jani Boutellier:
  TBPos: Dataset for Large-Scale Precision Visual Localization. SCIA (1) 2023: 84-94
• 
  Elena Lloret, Armando Suárez, Antonio Ferrández, Tania Josephine Martin, Iván Martínez-Murillo, María Miró Maestre, Paloma Moreda, Borja Navarro-Colorado, Manuel Palomar:
  Conscious Natural Text Generation. SEPLN (Projects and Demonstrations) 2023: 31-35
• 
  Angelo Ferrando, Andrea Gatti, Viviana Mascardi:
  RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. VORTEX@ISSTA 2023: 1-8
• 
  Davide Ancona, Angelo Ferrando, Viviana Mascardi:
  Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Prolog: The Next 50 Years 2023: 300-317
• 
  Nadia Ibellaatti, Edouard Lepape, Alp Kiliç, Kaya Akyel, Kassem Chouayakh, Fabrizio Ferrandi, Claudio Barone, Serena Curzel, Michele Fiorito, Giovanni Gozzi, Miguel Masmano, Ana Risquez Navarro, Manuel Muñoz, Vicente Nicolau Gallego, Patricia López Cueva, Jean-noel Letrillard, Franck Wartel:
  HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem. CoRR abs/2302.06427 (2023)
• 
  Masud An Nur Islam Fahim, Ilona Söchting, Luca Ferranti, Juho Kannala, Jani Boutellier:
  TBPos: Dataset for Large-Scale Precision Visual Localization. CoRR abs/2302.09825 (2023)
• 
  Nicolás Gaggion, Candelaria Mosquera, Lucas Mansilla, Martina Aineseder, Diego H. Milone, Enzo Ferrante:
  CheXmask: a large-scale dataset of anatomical segmentation masks for multi-center chest x-ray images. CoRR abs/2307.03293 (2023)
• 2022
• 
  Ferran Arqué, César A. Uribe, Carlos Ocampo-Martinez:
  Approximate Wasserstein attraction flows for dynamic mass transport over networks. Autom. 143: 110432 (2022)
• 
  Beatriz López, Ferran Torrent-Fontbona, Luis Masana Marín, Alberto Zamora:
  HTE 3.0: Knowledge-based systems in cascade for familial hypercholesterolemia detection and dyslipidemia treatment. Expert Syst. J. Knowl. Eng. 39(1) (2022)
• 
  Cesar Augusto Valades-Cruz, Ludovic Leconte, Gwendal Fouché, Thomas Blanc, Nathan Van Hille, Kevin Fournier, Tao Laurent, Benjamin Gallean, Francois Deslandes, Bassam Hajj, Emmanuel Faure, Ferran Argelaguet, Alain Trubuil, Tobias Isenberg, Jean-Baptiste Masson, Jean Salamero, Charles Kervrann:
  Challenges of intracellular visualization using virtual and augmented reality. Frontiers Bioinform. 2 (2022)
• 
  Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando:
  Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study. Intelligenza Artificiale 16(1): 49-67 (2022)
• 
  Carmelo Viscosi, Paolo Fidelbo, Andrea Benedetto, Massimo Varvarà, Margherita Ferrante:
  Selection of diagnosis with oncologic relevance information from histopathology free text reports: A machine learning approach. Int. J. Medical Informatics 160: 104714 (2022)

skipping 140 more matches