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

• 2024
• 
  Claudia Ferraris, Valerio Votta, Roberto Nerino, Antonio Chimienti, Lorenzo Priano, Alessandro Mauro:
  At-home assessment of postural stability in parkinson's disease: a vision-based approach. J. Ambient Intell. Humaniz. Comput. 15(5): 2765-2778 (2024)
• 
  Camillo Fiorentini, Mauro Ferrari:
  General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic. J. Autom. Reason. 68(3): 13 (2024)
• 
  Camillo Fiorentini, Mauro Ferrari:
  A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property. IJCAR (2) 2024: 24-42
• 2023
• 
  Cinzia Federico, Ornella Cocina, Salvatore Gambino, Antonio Paonita, Stefano Branca, Mauro Coltelli, Francesco Italiano, Valentina Bruno, Tommaso Caltabiano, Marco Camarda, Giorgio Capasso, Sofia De Gregorio, Iole Serena Diliberto, Roberto Maria Rosario Di Martino, Susanna Falsaperla, Filippo Greco, Giovannella Pecoraino, Giuseppe Salerno, Mariangela Sciotto, Sergio Bellomo, Giuseppe Di Grazia, Ferruccio Ferrari, Alessandro Gattuso, Leonardo La Pica, Mario Mattia, Antonino Fabio Pisciotta, Lucia Pruiti, Francesco Sortino:
  Inferences on the 2021 Ongoing Volcanic Unrest at Vulcano Island (Italy) through a Comprehensive Multidisciplinary Surveillance Network. Remote. Sens. 15(5): 1405 (2023)
• 
  Claudia Ferraris, Gianluca Amprimo, Luca Vismara, Alessandro Mauro, Giuseppe Pettiti:
  Enhancing upper limb mobility through gamified tasks and azure kinect: a preliminary study in post-stroke subjects. AIxAS@AI*IA 2023: 53-66
• 
  Liliana Ardissono, Francesca Bona, Carmelina Concilio, Ester Cravero, Stefano Ferraris, Fabio Ferrero, Angelo Geninatti Cossatin, Marco Giardino, Guido Magnano, Claudio Mattutino, Noemi Mauro:
  Demo: the Triangolazioni Mobile Guide for Exploring the Interconnections between Science, Art and Territory. CHItaly 2023: 51:1-51:4
• 
  Camillo Fiorentini, Mauro Ferrari:
  A New Approach to Clausification for Intuitionistic Propositional Logic. CILC 2023
• 
  Alberto Signoroni, Mattia Savardi, Davide Farina, Sergio Benini, Edoardo Coppola, Damiano Ferrari, Mauro Massussi, Salvatore Curello, Michele Svanera, Giuseppe D'Ancona:
  Medical image interpretation challenges and research activities of the tAImedIA group at UniBS. Ital-IA 2023: 118-123
• 2022
• 
  Gianluca Amprimo, Giulia Masi, Lorenzo Priano, Corrado Azzaro, Federica Galli, Giuseppe Pettiti, Alessandro Mauro, Claudia Ferraris:
  Assessment Tasks and Virtual Exergames for Remote Monitoring of Parkinson's Disease: An Integrated Approach Based on Azure Kinect. Sensors 22(21): 8173 (2022)
• 
  Serena Cerfoglio, Claudia Ferraris, Luca Vismara, Gianluca Amprimo, Lorenzo Priano, Giuseppe Pettiti, Manuela Galli, Alessandro Mauro, Veronica Cimolin:
  Kinect-Based Assessment of Lower Limbs during Gait in Post-Stroke Hemiplegic Patients: A Narrative Review. Sensors 22(13): 4910 (2022)
• 
  Veronica Cimolin, Luca Vismara, Claudia Ferraris, Gianluca Amprimo, Giuseppe Pettiti, Roberto Lopez, Manuela Galli, Riccardo Cremascoli, Serena Sinagra, Alessandro Mauro, Lorenzo Priano:
  Computation of Gait Parameters in Post Stroke and Parkinson's Disease: A Comparative Study Using RGB-D Sensors and Optoelectronic Systems. Sensors 22(3): 824 (2022)
• 
  Matteo Dotoli, Riccardo Rocca, Mattia Giuliano, Giovanna Nicol, Flavio Parussa, Marcello Baricco, Anna Maria Ferrari, Carlo Nervi, Mauro Francesco Sgroi:
  A Review of Mechanical and Chemical Sensors for Automotive Li-Ion Battery Systems. Sensors 22(5): 1763 (2022)
• 
  Claudia Ferraris, Gianluca Amprimo, Giulia Masi, Luca Vismara, Riccardo Cremascoli, Serena Sinagra, Giuseppe Pettiti, Alessandro Mauro, Lorenzo Priano:
  Evaluation of Arm Swing Features and Asymmetry during Gait in Parkinson's Disease Using the Azure Kinect Sensor. Sensors 22(16): 6282 (2022)
• 
  Claudia Ferraris, Irene Ronga, Roberto Pratola, Guido Coppo, Tea Bosso, Sara Falco, Gianluca Amprimo, Giuseppe Pettiti, Simone Lo Priore, Lorenzo Priano, Alessandro Mauro, Debora Desideri:
  Usability of the REHOME Solution for the Telerehabilitation in Neurological Diseases: Preliminary Results on Motor and Cognitive Platforms. Sensors 22(23): 9467 (2022)
• 
  Camillo Fiorentini, Mauro Ferrari:
  SAT-Based Proof Search in Intermediate Propositional Logics. IJCAR 2022: 57-74
• 
  Camillo Fiorentini, Mauro Ferrari:
  Forward refutation for Gödel-Dummett Logics. CILC 2022: 171-185
• 
  Mauro Migliardi, Meriem Guerar, S. Marzio, Carlo Ferrari:
  Continuous Authentication on a Smartwatch. UCAmI 2022: 1007-1018
• 2021
• 
  Nadia Cattari, Sara Condino, Fabrizio Cutolo, Matteo Ghilli, Mauro Ferrari, Vincenzo Ferrari:
  Wearable AR and 3D Ultrasound: Towards a Novel Way to Guide Surgical Dissections. IEEE Access 9: 156746-156757 (2021)
• 
  Marina Carbone, Davide Domeneghetti, Fabrizio Cutolo, Renzo D'Amato, Emanuele Cigna, Paolo Domenico Parchi, Marco Gesi, Luca Morelli, Mauro Ferrari, Vincenzo Ferrari:
  Can Liquid Lenses Increase Depth of Field in Head Mounted Video See-Through Devices? J. Imaging 7(8): 138 (2021)
• 
  Camillo Fiorentini, Mauro Ferrari:
  A forward internal calculus for model generation in S4. J. Log. Comput. 31(3): 771-796 (2021)
• 
  Claudia Ferraris, Veronica Cimolin, Luca Vismara, Valerio Votta, Gianluca Amprimo, Riccardo Cremascoli, Manuela Galli, Roberto Nerino, Alessandro Mauro, Lorenzo Priano:
  Monitoring of Gait Parameters in Post-Stroke Individuals: A Feasibility Study Using RGB-D Sensors. Sensors 21(17): 5945 (2021)
• 
  Izadyar Tamadon, Virginia Mamone, Yu Huan, Sara Condino, Claudio Quaglia, Vincenzo Ferrari, Mauro Ferrari, Arianna Menciassi:
  ValveTech: A Novel Robotic Approach for Minimally Invasive Aortic Valve Replacement. IEEE Trans. Biomed. Eng. 68(4): 1238-1249 (2021)
• 
  Gianluca Amprimo, Giuseppe Pettiti, Lorenzo Priano, Alessandro Mauro, Claudia Ferraris:
  Kinect-based Solution for the Home Monitoring of Gait and Balance in Elderly People with and without Neurological Diseases. AIxAS@AI*IA 2021: 70-80
• 2020
• 
  Marco Lippi, Stefania Gianotti, Angelo Fama, Massimiliano Casali, Elisa Barbolini, Angela Ferrari, Federica Fioroni, Mauro Iori, Stefano Luminari, Massimo Menga, Francesco Merli, Valeria Trojani, Annibale Versari, Magda Zanelli, Marco Bertolini:
  Texture analysis and multiple-instance learning for the classification of malignant lymphomas. Comput. Methods Programs Biomed. 185: 105153 (2020)
• 
  Sara Condino, Marina Carbone, Roberta Piazza, Mauro Ferrari, Vincenzo Ferrari:
  Perceptual Limits of Optical See-Through Visors for Augmented Reality Guidance of Manual Tasks. IEEE Trans. Biomed. Eng. 67(2): 411-419 (2020)
• 
  Camillo Fiorentini, Mauro Ferrari:
  Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic. ACM Trans. Comput. Log. 21(3): 22:1-22:47 (2020)
• 
  Camillo Fiorentini, Mauro Ferrari:
  A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms. CILC 2020: 91-104
• 
  Luca Vismara, Claudia Ferraris, Valerio Votta, Roberto Nerino, Daniela Clerici, Alessandro Mauro:
  Tele-Monitoring and Tele-Rehabilitation of the Hand in Hemiplegic Patients: A Preliminary Study. ForItAAL 2020: 272-288
• 
  Camillo Fiorentini, Mauro Ferrari:
  Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic. ICTCS 2020: 230-235
• 
  Roberta Piazza, Hareem Nisar, John Moore, Sara Condino, Mauro Ferrari, Vincenzo Ferrari, Terry M. Peters, Elvis C. S. Chen:
  Towards electromagnetic tracking of J-tip guidewire: precision assessment of sensors during bending tests. Medical Imaging: Image-Guided Procedures 2020: 1131506

skipping 120 more matches