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

• 2024
• 
  Veronica Camplone, Angelo Zinzi, M. Massironi, A. P. Rossi, Francesco Zucca:
  Enhancement of the MATISSE tool for the geological analysis of planetary surfaces: A study on central pit craters on Mercury. Astron. Comput. 48: 100852 (2024)
• 
  Miao Chu, Giovanni Luigi De Maria, Ruobing Dai, Stefano Benenati, Wei Yu, Jiaxin Zhong, Rafail Kotronias, Jason Walsh, Stefano Andreaggi, Vittorio Zuccarelli, Jason Chai, Keith Channon, Adrian P. Banning, Shengxian Tu:
  DCCAT: Dual-Coordinate Cross-Attention Transformer for thrombus segmentation on coronary OCT. Medical Image Anal. 97: 103265 (2024)
• 
  Anna Zuccante, Alessandro Fiordelmondo, Pierluigi Bontempi, Sergio Canazza:
  A Signal-Processing-Based Simulation System for High-End Stereo Headsets. Sensors 24(7): 2190 (2024)
• 
  Srebrenka Letina, Emily Long, Paul McCrorie, Kirstin Mitchell, Claudia Zucca, Julie Riddell, Sharon Anne Simpson, Laurence Moore, Mark McCann:
  Cross-sectional social network study of adolescent peer group variation in substance use and mental wellbeing: The importance of the meso level. Soc. Networks 78: 119-137 (2024)
• 
  Davide Ancona, Pietro Barbieri, Elena Zucca:
  Checking equivalence of corecursive streams: An inductive procedure. Theor. Comput. Sci. 1009: 114680 (2024)
• 
  Michele Ammendola, Giuseppe Massimiliano De Luca, Francesca Vescio, Nicola de'Angelis, Valeria Zuccalà, Andrea Balla, Umberto Bracale, Ludovica Guerriero, Giovanni Laracca, Vinicio Mosca, Domenico Spoletini, Monica Ortenzi, Diego Cuccurullo, Mario Testini, Giuseppe Navarra, Gabriele Anania, Pietro Mascagni, Silvia Curcio, Giuseppe Currò, Mohanad Al Ansari:
  Avatar Surgeon, Digital Pathology and Telementoring: SICE New Technology and Training Research Group Experience. XR (2) 2024: 360-368
• 
  Damiano Zuccalà, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory:
  Formal Resilience Metric Characterization in Complex Digital Systems. ETS 2024: 1-4
• 
  Fabrizio Troilo, Niccolò Dematteis, Luca Mondardini, Paolo Perret, Pietro Di Sopra, William Boffelli, Daniele Giordan, Paolo Pogliotti, Francesco Zucca:
  Seasonal Velocity Variations of Pra Sec Glacier (Mont Blanc Massif). Detection and Analysis by Optical Satellite Sensors and UAV. IGARSS 2024: 18-21
• 
  Gianluigi Forte, Marco Pometti, Domenico Massimo Porto, Corrado Santoro, Federico Fausto Santoro, Rosa Zuccarà:
  A Multi-Agent System for a Robotic Table Soccer Game. WOA 2024: 190-201
• 
  Javier Naranjo-Alcazar, Jordi Grau-Haro, Ruben Ribes-Serrano, Pedro Zuccarello:
  Practical aspects for the creation of an audio dataset from field recordings with optimized labeling budget with AI-assisted strategy. CoRR abs/2405.18153 (2024)
• 
  Javier Naranjo-Alcazar, Jordi Grau-Haro, Pedro Zuccarello, David Almenar, Jesús López Ballester:
  Automatic Counting and Classification of Mosquito Eggs in Field Traps. CoRR abs/2405.20656 (2024)
• 2023
• 
  Mauro Zucca, Melika Hassanzadeh, Ornella Conti, Umberto Pogliano:
  Accurate Parameters Identification of a Supercapacitor Three-Branch Model. IEEE Access 11: 122387-122398 (2023)
• 
  Lorena Guachi-Guachi, Jacopo Ruspi, Paola Scarlino, Aliria Poliziani, Sabrina Ciancia, Dario Lunni, Gabriele Baldi, Andrea Cavazzana, Alessandra Zucca, Marco Bellini, Gian Andrea Pedrazzini, Gastone Ciuti, Marco Controzzi, Lorenzo Vannozzi, Leonardo Ricotti:
  Convolutional neural networks applied to microtomy: Identifying the trimming-end cutting routine on paraffin-embedded tissue blocks. Eng. Appl. Artif. Intell. 126: 106963 (2023)
• 
  Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
  Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. 7(OOPSLA2): 1281-1309 (2023)
• 
  Monica Laurenza, Dario Del Moro, Tommaso Alberti, Roberto Battiston, Simone Benella, F. Benvenuto, Francesco Berrilli, Igor Bertello, Bruna Bertucci, Lorenzo Biasiotti, Cristina Campi, Vincenzo Carbone, M. Casolino, C. Cecchi Pestellini, Federica Chiappetta, Igino Coco, S. Colombo, Giuseppe Consolini, Raffaella D'Amicis, Giancarlo De Gasperis, Rossana De Marco, Alfredo Del Corpo, Piero Diego, Valeria Di Felice, Luca Di Fino, C. Di Geronimo, F. Faldi, Fabiana Ferrente, Chiara Feruglio, E. Fiandrini, Fabrizio Fiore, Raffaello Foldes, Valerio Formato, G. Francisco, Fabio Giannattasio, Marco Giardino, P. Giobbi, Luca Giovannelli, M. Giusti, A. Gorgi, Balázs Heilig, Giulia Iafrate, Stavro Ivanovski, Giovanna Jerse, M. B. Korsos, Fabio Lepreti, D. Locci, Carmelo Magnafico, V. Mangano, Maria Federica Marcucci, M. Martucci, Stefano Massetti, G. Micela, Anna Milillo, Rositsa Miteva, Marco Molinaro, R. Mugatwala, A. Mura, Gianluca Napoletano, Livio Narici, Coralie Neubüser, G. Nisticò, M. Pauluzzi, Alessandro Perfetti, S. Perri, Antonino Petralia, Michael Pezzopane, Mirko Piersanti, Ermanno Pietropaolo, Alessio Pignalberi, Christina Plainaki, Gianluca Polenta, Leonardo Primavera, Giulia Romoli, M. Rossi, Lucia Santarelli, G. Santi Amantini, Federico Siciliano, Giuseppe Sindoni, S. Spadoni, Roberta Sparvoli, Mirko Stumpo, Nicola Tomassetti, Roberta Tozzi, Valerio Vagelli, N. Vasantharaju, Antonio Vecchio, Massimo Vellante, S. Vernetto, Carlo Francesco Vigorito, Matthew J. West, Gaetano Zimbardo, Pietro Zucca, Francesca Zuccarello, Paolo Zuccon:
  The CAESAR Project for the ASI Space Weather Infrastructure. Remote. Sens. 15(2): 346 (2023)
• 
  Simona Morabito, Paola Cusano, Danilo Galluzzo, Guido Gaudiosi, Lucia Nardone, Pierdomenico Del Gaudio, Anna Gervasi, Mario La Rocca, Girolamo Milano, Simona Petrosino, Luciano Zuccarello, Roberto Manzo, Ciro Buonocunto, Francesca Di Luccio:
  One-Year Seismic Survey of the Tectonic CO2-Rich Site of Mefite d'Ansanto (Southern Italy): Preliminary Insights in the Seismic Noise Wavefield. Sensors 23(3): 1630 (2023)
• 
  Agnese Staffa, Massimiliano Palmieri, Giulia Morettini, Guido Zucca, Francesco Crocetti, Filippo Cianetti:
  Development and Validation of a Low-Cost Device for Real-Time Detection of Fatigue Damage of Structures Subjected to Vibrations. Sensors 23(11): 5143 (2023)
• 
  Davide Ancona, Pietro Barbieri, Elena Zucca:
  Checked corecursive streams: Expressivity and completeness. Theor. Comput. Sci. 974: 114081 (2023)
• 
  Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
  A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. 971: 114063 (2023)
• 
  Narendra Patwardhan, Shreya Shetye, Lidia Marassi, Monica Zuccarini, Tannistha Maiti, Tarry Singh:
  Designing Human-Centric Foundation Models. HCAI4U@CHItaly 2023
• 
  Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
  Multi-Graded Featherweight Java. ECOOP 2023: 3:1-3:27
• 
  Flavio Stochino, Alireza Alibeigibeni, Alessandro Milia, Marco Zucca, Luisa Pani, Marco Simoncelli:
  Environmental and Economic Analysis of Using Recycled Concrete Aggregates in Composite Steel-Concrete Slabs. ICCSA (Workshops 7) 2023: 277-288
• 
  Matteo Zuccatti, Gaia Zinni, Stefano Maludrottu, Valentina Pericu, Matteo Laffranchi, Andrea Del Prete, Lorenzo De Michieli, Christian Vassallo:
  Modeling the Human Gait Phases by Using Bèzier Curves to Generate Walking Trajectories for Lower-Limb Exoskeletons. ICORR 2023: 1-6
• 
  Damiano Zuccalà, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory:
  Formal Temporal Characterization of Register Vulnerability in Digital Circuits. ISVLSI 2023: 1-6
• 
  Narendra Patwardhan, Lidia Marassi, Michela Gravina, Antonio Galli, Monica Zuccarini, Tannistha Maiti, Tarry Singh, Stefano Marrone, Carlo Sansone:
  Responsible and Reliable AI at PICUS Lab. Ital-IA 2023: 377-381
• 
  Heinrich Wagner, Lukas Portenlänger, Claudio Zuccaro:
  Using SysML Models as Digital Twins for Early Validation of Modular Systems and Systems of Systems. SoSE 2023: 1-7
• 
  Paola Manzari, Veronica Camplone, Angelo Zinzi, Eleonora Ammannito, Giuseppe Sindoni, Francesco Zucca, Gianluca Polenta:
  Exploiting Prisma Hypespectral Data to Support CRISM Measurements on Paleo-Hydrological Environments on Mars. WHISPERS 2023: 1-4
• 
  Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
  Multi-graded Featherweight Java. CoRR abs/2302.07782 (2023)
• 
  Javier Naranjo-Alcazar, Jordi Grau-Haro, David Almenar, Pedro Zuccarello:
  Female mosquito detection by means of AI techniques inside release containers in the context of a Sterile Insect Technique program. CoRR abs/2306.10843 (2023)
• 2022
• 
  Emanuel Kulczycki, Ying Huang, Alesia A. Zuccala, Tim C. E. Engels, Antonio Ferrara, Raf Guns, Janne Pölönen, Gunnar Sivertsen, Zehra Taskin, Lin Zhang:
  Uses of the Journal Impact Factor in national journal rankings in China and Europe. J. Assoc. Inf. Sci. Technol. 73(12): 1741-1754 (2022)

skipping 176 more matches