Modeling Infinite Behaviour by Corules

open3openDavide Ancona; Francesco Dagnino; Elena ZuccaAncona, Davide; Dagnino, Francesco; Zucca, Elen

Sound Regular Corecursion in coFJ

The aim of the paper is to provide solid foundations for a programming paradigm natively supporting the creation and manipulation of cyclic data structures. To this end, we describe coFJ, a Java-like calculus where objects can be infinite and methods are equipped with a codefinition (an alternative body). We provide an abstract semantics of the calculus based on the framework of inference systems with corules. In coFJ with this semantics, FJ recursive methods on finite objects can be extended to infinite objects as well, and behave as desired by the programmer, by specifying a codefinition. We also describe an operational semantics which can be directly implemented in a programming language, and prove the soundness of such semantics with respect to the abstract one

Preliminary survey of the nutritional and palynological traits of honey bee-foraged pollen from Liguria (Italy)

It is known that the palynological features, and consequently the nutritional quality, of bee-foraged pollen vary according to several factors such as sampling site and period of year. In our two year study, carried out as part of the COLOSS CSI Pollen study between April and September in the eastern province of Genova (Italy), we explored the relationships between the palynological spectra and the protein content of corbicular pollen. We found that the differences are mainly driven by the collection season rather than by the site. This observation allowed us to employ the sample\u2019s palynological traits for the identification of foraging seasons characterized by different protein content in pollen. The outcome of our study provides a useful tool for beekeepers, helping them to cautiously program certain apiary management practices. This work also provides suggestions for future monitoring programs, regarding the advantages of studying the seasonal pattern not only of the floral origin of pollen but also of its nutritional traits

Distribution of the Mediterranean ribbed limpet Patella ferruginea Gmelin, 1791 along the Ligurian coast and implications for conservation actions

Patella ferruginea is a limpet endemic to the Western Mediterranean Sea. It is presently considered the most threatened marine macroinvertebrate in the region and has been included in several international conservation directives. Its populations were widespread throughout the Western Mediterranean in the late Pleistocene period, and remained broadly distributed until the 19th century. Presently this species is confined into small populations in a few restricted areas due to human harvesting for food and baits, construction of coastal infrastructures and the effects of seawater pollution. In particular, the species is reported as presently disappeared from the whole of the Italian continental coast and measures are in progress to reintroduce the species through translocation and reproduction in controlled conditions along the Ligurian coasts of the Northwestern Mediterranean.Recent surveys implemented in the framework of the present work along the Ligurian coasts, to assess the most suitable sites for reintroduction, resulted in the discovery of 32 specimens of this endemic limpet, which previously was thought to have vanished from the area. These findings shed new light on the ability of species to naturally disperse, the relevance of the measures set in place to restore presently rarefied populations and may provide information to aid in the selection and management of sites within the Natura 2000 Ecological network

New national and regional Annex I Habitat records: from #26 to #36

New Italian data on the distribution of the Annex I Habitats 1510*, 2130*, 2250*, 3180*, 3260, 5230*, 6410, 7140, 7220*, 9320 are reported in this contribution. Specifically, 14 new occurrences in Natura 2000 sites are presented and 20 new cells are added in the EEA 10 km × 10 km reference grid. The new data refer to the Italian administrative regions of Abruzzo, Apulia, Friuli Venezia Giulia, Liguria, Marche, Molise, Sardinia, Sicily, Tuscany and Umbria

Notulae to the Italian flora of algae, bryophytes, fungi and lichens: 7

In this contribution, new data concerning algae, bryophytes, fungi, and lichens of the Italian flora are presented. It includes new records and confirmations for the algae genus Chara, the bryophyte genera Cephalozia, Conardia, Conocephalum, Didymodon, Sphagnum, Tetraplodon, and Tortula, the fungal genera Endophyllum, Gymnosporangium, Microbotryum, Phragmidium, and Pluteus, and the lichen genera Candelariella, Cladonia, Flavoplaca, Lichenothelia, Peltigera, Placolecis, Rinodina, Scytinium, and Solenopsora

Notulae to the Italian flora of algae, bryophytes, fungi and lichens: 12

In this contribution, new data concerning bryophytes, fungi and lichens of the Italian flora are presented. It includes new records, confirmations or exclusions for the bryophyte genera Acaulon, Campylopus, Entosthodon, Homomallium, Pseudohygrohypnum, and Thuidium, the fungal genera Entoloma, Cortinarius, Mycenella, Oxyporus, and Psathyrella and the lichen genera Anaptychia, Athallia, Baeomyces, Bagliettoa, Calicium, Nephroma, Pectenia, Phaeophyscia, Polyblastia, Protoparmeliopsis, Pyrenula, Ramalina, and Sanguineodiscus

Notulae to the Italian native vascular flora: 10

In this contribution, new data concerning the distribution of native vascular flora in Italy are presented. It includes new records, confirmations, exclusions, and status changes to the Italian administrative regions for taxa in the genera Artemisia, Chaetonychia, Cirsium, Cynanchum, Genista, Hieracium, Iberis, Melica, Misopates, Myosotis, Thalictrum, Trifolium, Utricularia, Veronica, and Vicia. Nomenclatural and distribution updates, published elsewhere, and corrigenda are provided as supplementary material

Notulae to the Italian flora of algae, bryophytes, fungi and lichens: 11

In this contribution, new data concerning bryophytes, fungi, and lichens of the Italian flora are presented. It includes new records and confirmations for the bryophyte genera Aneura, Aulacomnium, Dumortiera, Fossombronia, Hennediella, Hygrohypnella, Pohlia, Porella, Riccardia, Tortella, and Tortula, the fungal genera Cortinarius, Mycena, Naucoria, Trichoglossum, and Tubaria and the lichen genera Agonimia, Blastenia, Chaenotheca, Cladonia, Endocarpon, Gyalecta, Lecanographa, Parmeliella, Porpidia, Stenhammarella, and Thelidium