Simone Martini
YOU?
Author Swipe
View article: Alfonso Caracciolo di Forino and Generalized Markov Algorithms
Alfonso Caracciolo di Forino and Generalized Markov Algorithms Open
We explore the contributions of Alfonso Caracciolo di Forino, 1925-1996, to the creation of a school of formal methods in Italy, focusing on the problem of the formal definition of programming languages, including the semantic and pragmati…
View article: Lessons learned exploiting a multi‐year large‐scale data set derived from operational quality assessment of mosquito larval treatments in rain catch basins
Lessons learned exploiting a multi‐year large‐scale data set derived from operational quality assessment of mosquito larval treatments in rain catch basins Open
BACKGROUND Larval control is crucial for managing mosquito arbovirus vectors. Quality control (QC) data from insecticide‐based interventions are rarely exploited to assess the effectiveness of biocides in the field. This study aims to: (i)…
View article: Widespread Distribution of chs-1 Mutations Associated with Resistance to Diflubenzuron Larvicide in Culex pipiens Across Italy, Reaching Virtual Fixation in the Venetian Lagoon
Widespread Distribution of chs-1 Mutations Associated with Resistance to Diflubenzuron Larvicide in Culex pipiens Across Italy, Reaching Virtual Fixation in the Venetian Lagoon Open
Control interventions against mosquito larvae are the primary measure to reduce the adult abundance and risk of arbovirus outbreaks in Europe. One of the most commonly used larvicides in Italy is diflubenzuron (DFB), which targets chitin s…
View article: Teaching Programming in the Age of Generative AI
Teaching Programming in the Age of Generative AI Open
Programming has been considered the "essence of informatics" since the beginning of computing as a discipline.
\nToday, however, the availability of machine learning artefacts that produce high-level code from natural language specificati…
View article: Big Ideas of Cryptography in Primary School
Big Ideas of Cryptography in Primary School Open
We present a learning path on cryptography for primary school students (Grade 5), which we designed and tested. The project aims to raise initial awareness of the core ideas of modern cryptography, which are fundamental concepts for becomi…
View article: The use of biocidal products to control urban pests and vector arthropods
The use of biocidal products to control urban pests and vector arthropods Open
Pest management and vector control are important for their impact on health, quality of life, and the economy of touristic areas. The many different methods with which insecticides are applied, the specific equipment required, and the lack…
View article: A Natural Deduction Calculus for S4.2
A Natural Deduction Calculus for S4.2 Open
We propose a natural deduction calculus for the modal logic S4.2. The system is designed to match as much as possible the structure and the properties of the standard system of natural deduction for first-order classical logic, exploiting …
View article: Cut Elimination for Extended Sequent Calculi
Cut Elimination for Extended Sequent Calculi Open
We present a syntactical cut-elimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) spectrum. We de…
View article: An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics
An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics Open
In this paper, we present an activity to introduce the idea of public-key cryptography and to make pre-service STEM teachers explore fundamental informatics and mathematical concepts and methods. We follow the Theory of Didactical Situatio…
View article: Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation
Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation Open
We present the conception and analysis of a situation dealing with the principles of public-key cryptography and aiming at exploring informatics and mathematical concepts and methods. We rely on the Theory of Didactical Situations to desig…
View article: Cryptography in Grade 10
Cryptography in Grade 10 Open
International audience
View article: Evaluation of Bacillus thuringiensis Subsp. Israelensis and Bacillus sphaericus Combination Against Culex pipiens in Highly Vegetated Ditches
Evaluation of Bacillus thuringiensis Subsp. Israelensis and Bacillus sphaericus Combination Against Culex pipiens in Highly Vegetated Ditches Open
Among the few mosquito larvicides available in the market, Bacillus thuringiensis subsp. israelensis ( Bti ) and B. sphaericus ( Bs ) represent the most environmentally safe alternatives. The combination of the 2 products is known to overc…
View article: The ARPA FVG support to oil spill emergency response in the gulf of Trieste
The ARPA FVG support to oil spill emergency response in the gulf of Trieste Open
Along shipping lanes the density of the ships is very high resulting, in a non-negligible probability of pollutant release in the sea. So, it is extremely important to react promptly to an oil spill emergency, to avoid that the pollutant s…
View article: Online Unplugged and Block-Based Cryptography in Grade 10
Online Unplugged and Block-Based Cryptography in Grade 10 Open
We report our experience of an extracurricular online intervention on cryptography principles in 10th grade. This paper's first goal is to present the learning path we designed, influenced by cryptography core ideas rather than technical k…
View article: A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming
A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming Open
Introductory programming courses (CS1) are difficult for novices. Inspired by Problem solving followed by instruction and Productive Failure approaches, we define an original “necessity-driven” learning design. Students are put in an appar…
View article: Xth International EMCA Conference
Xth International EMCA Conference Open
s of the 10th EMCA Conference: “New insights into mosquito and blackfly control”. October 3-7, 2021.
View article: The Online Course Was Great
The Online Course Was Great Open
International audience
View article: Efficacy of used coffee grounds as larvicide against Aedes albopictus (Skuse, 1894) and Ae. aegypti Linné, 1762 (Diptera: Culicidae)
Efficacy of used coffee grounds as larvicide against Aedes albopictus (Skuse, 1894) and Ae. aegypti Linné, 1762 (Diptera: Culicidae) Open
Aedes albopictus and Aedes aegypti are two synanthropic, anthropophilic container-breeding mosquitoes. These species are very annoying, but are also vectors of dengue, chikungunya, yellow fever, Zika, and Usutu viruses, and other pathogens…
View article: Autochthonous dengue outbreak in Italy 2020: clinical, virological and entomological findings
Autochthonous dengue outbreak in Italy 2020: clinical, virological and entomological findings Open
Background In August 2020, in the context of COVID-19 pandemics, an autochthonous dengue outbreak was identified for the first time in Italy. Methods Following the reporting of the index case of autochthonous dengue, epidemiological invest…
View article: The Good, The Bad, and The Ugly of a Synchronous Online CS1
The Good, The Bad, and The Ugly of a Synchronous Online CS1 Open
This poster illustrates how we redesigned the CS1 course for Math undergraduates to be held online but reflecting the face-to-face (F2F) experience as much as possible. We describe the course structure and the strategies we implemented to …
View article: A Novel Allele Specific Polymerase Chain Reaction (AS-PCR) Assay to Detect the V1016G Knockdown Resistance Mutation Confirms Its Widespread Presence in Aedes albopictus Populations from Italy
A Novel Allele Specific Polymerase Chain Reaction (AS-PCR) Assay to Detect the V1016G Knockdown Resistance Mutation Confirms Its Widespread Presence in Aedes albopictus Populations from Italy Open
Polymerase chain reaction (PCR)-based genotyping of mutations in the voltage-sensitive sodium channel (vssc) associated with resistance to pyrethroid insecticides is widely used and represents a potential early warning and monitoring syste…
View article: First autochthonous dengue outbreak in Italy, August 2020
First autochthonous dengue outbreak in Italy, August 2020 Open
In August 2020, during the coronavirus disease (COVID-19) pandemic, five locally acquired cases of dengue virus type 1 were detected in a family cluster in Vicenza Province, North-East Italy where Aedes albopictus mosquitoes are endemic. T…
View article: Biosignature Analysis of Mars Soil Analogs from the Atacama Desert: Challenges and Implications for Future Missions to Mars
Biosignature Analysis of Mars Soil Analogs from the Atacama Desert: Challenges and Implications for Future Missions to Mars Open
The detection of biosignatures on Mars is of outstanding interest in the current field of astrobiology and drives various fields of research, ranging from new sample collection strategies to the development of more sensitive detection tech…
View article: Efficacy of Aquatain® Against Culex pipiens Complex and Aedes albopictus in Catch Basins in Italy
Efficacy of Aquatain® Against Culex pipiens Complex and Aedes albopictus in Catch Basins in Italy Open
Aquatain ® is an alternative larvicide formulation to the currently used larvicides. Its efficacy can be assessed monitoring emerging adults with a floating device that was recently developed for use in catch basins. In this study, the eff…
View article: A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic Open
Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are presented in a uniform way-different logics are obtained by tuning…
View article: The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation Open
Despite the insight of some of the pioneers (Turing, von Neumann, Curry, Böhm), programming the early computers was a matter of fiddling with small architecture-dependent details. Only in the sixties some form of "mathematical program deve…