Read my Feed – from RSS to SIP

Abstract: RRS web feeds are read by a synthetic voice, trough a SIP VoIP call, offering eye-free access to huge amount of classified textual content available on the Web. DTMF browsing allows to choose in between different RSS providers, and to cycle trough RRS titles, until the desired full article is selected, and read. The main content in the page is located by explicit parsing for known feeds, or by heuristic reasoning for new feeds and pages, which can be directly accessed by passing their URI as a SIP address parameter. Scalability is attained by caching of network and audio data instances, and expressivity improved by generation of SSML markup on the basis of the original HTML and CSS code. The whole system is made of a collection of Open Source components and public W3C standards, and the use of Festival for Speech Synthesis makes the service available for any supported language

Abstract Analysis of Universal Properties for tccp

[EN] The Timed Concurrent Constraint Language (tccp) is a time extension of the concurrent constraint paradigm of Saraswat. tccp was defined to model reactive systems, where infinite behaviors arise naturally. In previous works, a semantic framework and abstract diagnosis method for the language has been defined. On the basis of that semantic framework, this paper proposes an abstract semantics that, together with a widening operator, is suitable for the definition of different analyses for tccp programs. The abstract semantics is correct and can be represented as a finite graph where each node represents a hypothetical computational step of the program containing approximated information for the variables. The widening operator allows us to guarantee the convergence of the abstract fixpoint computation.This work has been supported by the Andalusian Excellence Project P11-TIC7659. This work has been partially supported by the EU (FEDER) and the Spanish MINECO under grant TIN 2013-45732-C4-1-P (DAMAS) and by Generalitat Valenciana PROMETEOII/2015/013Comini, M.; Gallardo Melgarejo, MDM.; Titolo, L.; Villanueva, A. (2015). Abstract Analysis of Universal Properties for tccp. Lecture Notes in Computer Science. 163-178. https://doi.org/10.1007/978-3-319-27436-2_10S163178Alpuente, M., Gallardo, M.M., Pimentel, E., Villanueva, A.: A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346(1), 58–95 (2005)Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: Precise widening operators for convex polyhedra. Sci Comput. Program. 58(1–2), 28–56 (2005)Comini, M., Titolo, L., Villanueva, A.: Abstract diagnosis for timed concurrent constraint programs. Theor. Pract. Log. Program. 11(4–5), 487–502 (2011)Comini, M., Titolo, L., Villanueva, A.: A condensed goal-independent bottom-up fixpoint modeling the behavior of tccp. Technical report, DSIC, Universitat Politècnica de València (2013). http://riunet.upv.es/handle/10251/34328Cousot, P., Cousot, R.: Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Los Angeles, California, January 17–19, pp. 238–252. ACM Press, New York (1977)de Boer, F.S., Gabbrielli, M., Meo, M.C.: A timed concurrent constraint language. Inf. Comput. 161(1), 45–83 (2000)Falaschi, M. Gabbrielli, M., Marriott, K., Palamidessi, C.: Compositional analysis for concurrent constraint programming. In: Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, pp. 210–221. IEEE Computer Society Press, Los Alamitos (1993)Falaschi, M., Olarte, C., Palamidessi, C.: Abstract interpretation of temporal concurrent constraint programs. Theor. Pract. Log. Program. (TPLP) 15(3), 312–357 (2015)Falaschi, M., Villanueva, A.: Automatic verification of timed concurrent constraint programs. Theor. Pract. Log. Program. 6(3), 265–300 (2006)Saraswat, V.A.: Concurrent Constraint Programming. The MIT Press, Cambridge (1993)Zaffanella, E., Giacobazzi, R., Levi, G.: Abstracting synchronization in concurrent constraint programming. J. Funct. Log. Program. 6, 1997 (1997

Thirty years of invasion: the distribution of the invasive crayfish Procambarus clarkii in Italy

The presence of the red swamp crayfish Procambarus clarkii in Italy is documented since 1989, but no comprehensive data are available on its spread through time at the national scale. New confirmed records for Procambarus clarkii are continuously arising in recent years across the country. By reviewing the scientific and grey literature, we obtained an up-to-date map of the species invasion in Italy. This information can help to monitor and understand the spread of this highly invasive crayfish and to implement more effective management measures

Do Salamanders Limit the Abundance of Groundwater Invertebrates in Subterranean Habitats?

Several species of surface salamanders exploit underground environments; in Europe, one of the most common is the fire salamander (Salamandra salamandra). In this study, we investigated if fire salamander larvae occurring in groundwater habitats can affect the abundance of some cave-adapted species. We analyzed the data of abundance of three target taxa (genera Niphargus (Amphipoda; Niphargidae), Monolistra (Isopoda; Sphaeromatidae) and Dendrocoelum (Tricladida; Dedrocoelidae)) collected in 386 surveys performed on 117 sites (pools and distinct subterranean stream sectors), within 17 natural and 24 artificial subterranean habitats, between 2012 and 2019. Generalized linear mixed models were used to assess the relationship between target taxa abundance, fire salamander larvae occurrence, and environmental features. The presence of salamander larvae negatively affected the abundance of all the target taxa. Monolistra abundance was positively related with the distance from the cave entrance of the sites and by their surface. Our study revealed that surface salamanders may have a negative effect on the abundance of cave-adapted animals, and highlited the importance of further investigations on the diet and on the top-down effects of salamanders on the subterranean communities

ReptIslands: Mediterranean islands and the distribution of their reptile fauna

Aim: Analyses of biogeographical patterns and macroecology of islands require large datasets reporting the occurrence of species. The Mediterranean region is a biodiversity hotspot, which hosts a large number of reptile species and has been the focus of many studies. Nevertheless, comprehensive inventories describing the features and biodiversity of these environments are lacking. We gathered a dataset summarizing data on reptile distribution on islands of the Mediterranean basin and Macaronesia, also including detailed information on the geographical features. Location: Islands from the Mediterranean Basin, the Atlantic Ocean within the Mediterranean biogeographical region, and Macaronesia (Canary and Savage Islands, Azores, Madeira and Cape Verde). Time period: Present. Taxon: Reptiles (squamates and turtles). Methods: Initially, we developed a geographical database describing islands of the study region, then gathered information on reptile occurrences from 757 bibliographical sources, including atlases, published papers and the grey literature. Through a critical review of these sources, we also obtained information on the status of populations (native, island endemic or non-native) and on the reliability of occurrence data. Results: We obtained basic geographical information from 1875 islands covering the whole study region and with a very broad range of geographical features. We gathered >4150 records of reptile occurrence on islands, referring to 198 taxonomic units (species or species complexes); information on population status was available for 84.9% of records. Data are provided as comma-delimited text files. Main conclusions: The database provides a key resource for biogeographical analyses and can also serve as a backbone for conservation studies. The availability of a large database on island features can also be useful for biogeographers working on other taxonomic groups. Nevertheless, more data are required for some geographical areas, in order to ascertain the status (e.g., native vs. non-native) of many populations and to understand the interplay between natural and human-driven processes

Concurrent and Reactive Constraint Programming

The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification, and timed extensions. In this paper we review the main lines of research and contributions of the community in this fiel

Spotlight on Geminin

In the previous issue of Breast Cancer Research, Gardner and co-workers describe a novel interaction between Geminin, a protein that prevents reinitiation of DNA replication, and Topoisomerase IIα (TopoIIα), an enzyme essential for removing catenated intertwines between sister chromatids. Geminin facilitates the action of TopoIIα, thereby promoting termination of DNA replication at the same time it inhibits initiation. In this manner, Geminin ensures that cells duplicate their genome once, but only once, each time they divide. Remarkably, either depletion of Geminin or over-expression of Geminin inhibits the action of TopoIIα, thereby making Geminin an excellent target for cancer chemotherapy