Effect of Trap Color on Captures of Bark- and Wood-Boring Beetles (Coleoptera; Buprestidae and Scolytinae) and Associated Predators

Autor: Giacomo Cavaletto, Massimo Faccoli, Lorenzo Marini, Johannes Spaethe, Gianluca Magnani, Davide Rassati

Publikováno v: Insects, Vol 11, Iss 11, p 749 (2020)

Traps baited with attractive lures are increasingly used at entry-points and surrounding natural areas to intercept exotic wood-boring beetles accidentally introduced via international trade. Several trapping variables can affect the efficacy of this

Externí odkaz: https://doaj.org/article/7dd64d2abe2f4cbd9910b82b3239ed16

NOMENCLATORIAL AND SYNONYMIC NOTE ON THE GENUS ANTHAXIA (COLEOPTERA, BUPRESTIDAE)

Autor: Daniele Baiocchi, Gianluca Magnani

Publikováno v: Fragmenta entomologica, Vol 40, Iss 1, Pp 99-104 (2008)

The synonymy between Anthaxia (Haplanthaxia) armeniaca Obenberger, 1929 and Anthaxia (Haplanthaxia) winkleri Obenberger, 1914 is herein established, and types, with their genitalia and original labelling, are illustrated.

Externí odkaz: https://doaj.org/article/ec694ff1082948e58dfa49c981e713c8

Developing trapping protocols for wood-boring beetles associated with broadleaf trees

Autor: Pierpaolo Rapuzzi, Davide Rassati, Filippo Di Giovanni, Matteo Marchioro, Jon D. Sweeney, Lorenzo Marini, Riccardo Poloni, Gianluca Magnani, Peter Mayo

Longhorn and jewel beetles are often moved intercontinentally within woody materials. The common use of hardwoods in solid wood-packaging requires efficient trapping protocols for broadleaf-associated species. We tested the effect of lure (ethanol vs

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22f28b69f48e95b70055d9d603b82540
https://hdl.handle.net/11365/1221055

The Metrô Rio case study

Autor: Daniele Grasso, Alessio Ferrari, Gianluca Magnani, Matteo Tempestini, Alessandro Fantechi

Publikováno v: Science of computer programming
78 (2013): 828. doi:10.1016/j.scico.2012.04.003
info:cnr-pdr/source/autori:Ferrari A.; Fantechi A.; Magnani G.; Grasso D.; Tempestini M./titolo:The Metro Rio case study/doi:10.1016%2Fj.scico.2012.04.003/rivista:Science of computer programming (Print)/anno:2013/pagina_da:/pagina_a:828/intervallo_pagine:828/volume:78

This paper reports on the Simulink/Stateflow based development of the on-board equipment of the Metrô Rio Automatic Train Protection system. Particular focus is given to the strategies followed to address formal weaknesses and certification issues o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::452dec330a980fc443e012c3c1a6bcef
https://doi.org/10.1016/j.scico.2012.04.003

Model-Based Development and Formal Methods in the Railway Industry

Autor: Gianluca Magnani, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi

Publikováno v: IEEE software 30 (2013): 28–34. doi:10.1109/MS.2013.44
Scopus-Elsevier
info:cnr-pdr/source/autori:Ferrari A., Fantechi A., Gnesi S., Magnani G./titolo:Model-based development and formal methods in the railway industry/doi:10.1109%2FMS.2013.44/rivista:IEEE software/anno:2013/pagina_da:28/pagina_a:34/intervallo_pagine:28–34/volume:30

The transition from a code-based process to a model-based process isn't easy. This is particularly true for a company that operates in a safety-critical sector, where the products must be developed according to international standards, with certified

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::007c9d165ade0afa57b91570321925b4