Search Results - Simone Martini

  • Showing 1 - 12 results of 12
Refine Results
  1. 1

    On Constructor Rewrite Systems and the Lambda Calculus by Ugo Dal Lago, Simone Martini

    Published in Logical Methods in Computer Science (2012-08-01)
    Get full text
    Article


  2. 2

    Quantum Turing Machines: Computations and Measurements by Stefano Guerrini, Simone Martini, Andrea Masini

    Published in Applied Sciences (2020-08-01)
    Get full text
    Article


  3. 3

    Cut Elimination for Extended Sequent Calculi by Simone Martini, Andrea Masini, Margherita Zorzi

    Published in Bulletin of the Section of Logic (2023-09-01)
    Get full text
    Article


  4. 4

    Light Logics and Higher-Order Processes by Ugo Dal Lago, Simone Martini, Davide Sangiorgi

    Get full text
    Article


  5. 5

    An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics by Evmorfia-Iro Bartzia, Michael Lodi, Marco Sbaraglia, Simon Modeste, Viviane Durand-Guerrier, Simone Martini

    Published in Informatics in Education (2024-03-01)
    Get full text
    Article


  6. 6

    Reinforcement Learning-Based PD Controller Gains Prediction for Quadrotor UAVs by Serhat Sönmez, Luca Montecchio, Simone Martini, Matthew J. Rutherford, Alessandro Rizzo, Margareta Stefanovic, Kimon P. Valavanis

    Published in Drones (2025-08-01)
    Get full text
    Article


  7. 7

    Removal of nutrients due to biomass harvest of Eucalyptus urograndis in different soils: macronutrients by Simone Martini Salvador, Aline Aparecida Ludvichak, Dione Richer Momolli, Kristiana Fiorentin dos Santos, Catarine Barcellos Consensa, Mauro Valdir Schumacher, James Stahl

    Published in Revista Ambiente & Água (2021-06-01)
    Get full text
    Article


  8. 8

    Current distribution of the invasive mosquito species, Aedes koreicus [Hulecoeteomyia koreica] in northern Italy by Fabrizio Montarsi, Andrea Drago, Simone Martini, Mattia Calzolari, Francesco De Filippo, Alessandro Bianchi, Matteo Mazzucato, Silvia Ciocchetta, Daniele Arnoldi, Frédéric Baldacchino, Annapaola Rizzoli, Gioia Capelli

    Published in Parasites & Vectors (2015-12-01)
    Get full text
    Article


  9. 9

    Widespread Distribution of <i>chs-1</i> Mutations Associated with Resistance to Diflubenzuron Larvicide in <i>Culex pipiens</i> Across Italy, Reaching Virtual Fixation in the Venet... by Martina Micocci, Verena Pichler, Paola Serini, Carola Giammarioli, Chiara Malandruccolo, Chiara Virgillito, Marco Ballardini, Riccardo Paolo Lia, Daniele Arnoldi, Stefano Vettore, Davide Bonetto, Simone Martini, Andrea Drago, Alessandra della Torre, Beniamino Caputo

    Published in Insects (2025-02-01)
    Get full text
    Article


  10. 10

    Surveillance for West Nile, Dengue, and Chikungunya Virus Infections, Veneto Region, Italy, 2010 by Federico Gobbi, Luisa Barzon, Gioia Capelli, Andrea Angheben, Monia Pacenti, Giuseppina Napoletano, Cinzia Piovesan, Fabrizio Montarsi, Simone Martini, Roberto Rigoli, Anna M. Cattelan, Roberto Rinaldi, Mario Conforto, Francesca Russo, Giorgio Palù, Zeno Bisoffi

    Published in Emerging Infectious Diseases (2012-04-01)
    Get full text
    Article


  11. 11

    A Novel Allele Specific Polymerase Chain Reaction (AS-PCR) Assay to Detect the V1016G Knockdown Resistance Mutation Confirms Its Widespread Presence in <i>Aedes albopictus</i> Popu... by Verena Pichler, Emiliano Mancini, Martina Micocci, Maria Calzetta, Daniele Arnoldi, Annapaola Rizzoli, Valeria Lencioni, Francesca Paoli, Romeo Bellini, Rodolfo Veronesi, Simone Martini, Andrea Drago, Claudio De Liberato, Arianna Ermenegildi, Joao Pinto, Alessandra della Torre, Beniamino Caputo

    Published in Insects (2021-01-01)
    Get full text
    Article


  12. 12

    West Nile Virus Surveillance in 2013 via Mosquito Screening in Northern Italy and the Influence of Weather on Virus Circulation. by Mattia Calzolari, Alessandra Pautasso, Fabrizio Montarsi, Alessandro Albieri, Romeo Bellini, Paolo Bonilauri, Francesco Defilippo, Davide Lelli, Ana Moreno, Mario Chiari, Marco Tamba, Mariagrazia Zanoni, Giorgio Varisco, Silvia Bertolini, Paola Modesto, Maria Cristina Radaelli, Barbara Iulini, Marino Prearo, Silvia Ravagnan, Stefania Cazzin, Paolo Mulatti, Isabella Monne, Lebana Bonfanti, Stefano Marangon, Maria Goffredo, Giovanni Savini, Simone Martini, Andrea Mosca, Marco Farioli, Laura Gemma Brenzoni, Manlio Palei, Francesca Russo, Silvano Natalini, Paola Angelini, Cristina Casalone, Michele Dottori, Gioia Capelli

    Published in PLoS ONE (2015-01-01)
    Get full text
    Article


Search Tools: