Misenum: the harbour and the city. Landscapes in context

The interest of archaeological research on the Phlegraean Fields, in the Gulf of Naples, has been often concentrated on different topics: monumental architecture, thermalism, coastal otium villas. However, we are still missing a reasonable reconstruction of the ancient landscapes of the area with special regard to the peninsula between Baiae and Misenum. The recent PhD project at the Vrije Universiteit Amsterdam has had the task of filling in the gap in local modern archaeology, and shifting the level of analysis from the ‘site’ to the ‘territory’: the study of individual monuments and surviving archaeological assemblages of the Roman town of Misenum, the main harbour for the Imperial navy, is now a part of the investigation of the urban organization of the municipium. The use of a dynamic and multidisciplinary research strategy has led to the creation of a new archaeological map for the area being investigated

Apud Baulos. L’utilizzo della viewshed analysis per la risoluzione di un quesito di topografia flegrea

The location of the ancient district of Bauli has always had a central role within the archaeological research in the so-called Campi Flegrei, in the Gulf of Naples. Ancient literary sources mentioned this place in relation to the well-known phenomenon of ‘villa society’ that characterized the Gulf of Naples, especially the Baiae-Misenum peninsula. Cicero, Pliny the Elder and Varro mentioned Bauli as the place of the orator Q. Hortensius Hortalus’ maritime villa, which was particularly famous for its many fishponds. Other literary sources have contributed to reinforce the thesis, strongly defended by Amedeo Maiuri, that ancient Bauli was located at the place of modern Bacoli, where many remains of fishponds and other ancient buildings are considered to have been part of Hortensius’ villa in Bauli. Few eminent scholars - such as Karl J. Beloch - contrasted this theory, proposing a different interpretation of the ancient texts that has led to locate Bauli near the Lucrino Lake, E of Baiae. The goal of this paper is to present new data from GIS spatial analysis that can contribute to evaluate both theories and to answer the question about the location of Bauli. The viewshed analysis tested Cicero’s passage stating that from Hortensius’ villa in Bauli it would have been possible to see his villa in Pompeii if the distance was shorter. The viewshed rasters calculated for three observation points corresponding to Maiuri’s and Beloch’s location of Bauli provide new important data for the solution of this topographical question. By relating spatial analysis to the information reported by the ancient sources, together with the archaeological traces, it is possible to confirm the hypothesis that Bauli was located between Baiae and Misenum, in the modern town of Bacoli

Comparative Evolution of Sand Fly Salivary Protein Families and Implications for Biomarkers of Vector Exposure and Salivary Vaccine Candidates

Sand fly salivary proteins that produce a specific antibody response in humans and animal reservoirs have been shown to be promising biomarkers of sand fly exposure. Furthermore, immunity to sand fly salivary proteins were shown to protect rodents and non-human primates against Leishmania infection. We are missing critical information regarding the divergence amongst sand fly salivary proteins from different sand fly vectors, a knowledge that will support the search of broad or specific salivary biomarkers of vector exposure and those for vaccines components against leishmaniasis. Here, we compare the molecular evolution of the salivary protein families in New World and Old World sand flies from 14 different sand fly vectors. We found that the protein families unique to OW sand flies are more conserved than those unique to NW sand flies regarding both sequence polymorphisms and copy number variation. In addition, the protein families unique to OW sand flies do not display as many conserved cysteine residues as the one unique to the NW group (28.5% in OW vs. 62.5% in NW). Moreover, the expression of specific protein families is restricted to the salivary glands of unique sand fly taxon. For instance, the ParSP15 family is unique to the Larroussius subgenus whereas phospholipase A2 is only expressed in member of Larroussius and Adlerius subgenera. The SP2.5-like family is only expressed in members of the Phlebotomus and Paraphlebotomus subgenera. The sequences shared between OW and NW sand flies have diverged at similar rates (38.7 and 45.3% amino acid divergence, respectively), yet differences in gene copy number were evident across protein families and sand fly species. Overall, this comparative analysis sheds light on the different modes of sand fly salivary protein family divergence. Also, it informs which protein families are unique and conserved within taxon for the choice of taxon-specific biomarkers of vector exposure, as well as those families more conserved across taxa to be used as pan-specific vaccines for leishmaniasis

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

Linear logics have been shown to be able to embed both rewriting-based approaches and process calculi in a single, declarative framework. In this paper we are exploring the embedding of double-pushout graph transformations into quantified linear logic, leading to a Curry-Howard style isomorphism between graphs and transformations on one hand, formulas and proof terms on the other. With linear implication representing rules and reachability of graphs, and the tensor modelling parallel composition of graphs and transformations, we obtain a language able to encode graph transformation systems and their computations as well as reason about their properties

A Lambda Term Representation Inspired by Linear Ordered Logic

We introduce a new nameless representation of lambda terms inspired by ordered logic. At a lambda abstraction, number and relative position of all occurrences of the bound variable are stored, and application carries the additional information where to cut the variable context into function and argument part. This way, complete information about free variable occurrence is available at each subterm without requiring a traversal, and environments can be kept exact such that they only assign values to variables that actually occur in the associated term. Our approach avoids space leaks in interpreters that build function closures. In this article, we prove correctness of the new representation and present an experimental evaluation of its performance in a proof checker for the Edinburgh Logical Framework. Keywords: representation of binders, explicit substitutions, ordered contexts, space leaks, Logical Framework.Comment: In Proceedings LFMTP 2011, arXiv:1110.668

Training by augmented reality in industrial environments: a case study

Training activities play an important role in any industrial environment. Classical training methods, like on-the-job training, show many limits, considering also the wasting of productive time of skilled operators. Focusing on manual assembly lines, Augmented Reality looks very promising in representing a tool to assist operators: virtual instructions are provided real time via a display (e.g.: Head Mounted Display) and overlaid on the real environment. From a software point of view, however, AR implementation is quite difficult, time-consuming, and does not give any feedback concerning the action performed by the operator. Therefore, the aims of the paper are: i) to create a software routine able to guide programmers during AR implementation; ii) to combine AR and feedback sensors. The first aim has been accomplished by a “variant” approach, creating an interface for entering data characterizing each operation and connecting them in order to obtain a logical sequence. As a case study, the assembly of a simple electrical switch is used to show an application of the previous concepts

Distinct gene expression patterns in vector-residing Leishmania infantum identify parasite stage-enriched markers.

BACKGROUND:Leishmaniasis is a vector-borne neglected disease. Inside the natural sand fly vector, the promastigote forms of Leishmania undergo a series of extracellular developmental stages to reach the infectious stage, the metacyclic promastigote. There is limited information regarding the expression profile of L. infantum developmental stages inside the sand fly vector, and molecular markers that can distinguish the different parasite stages are lacking. METHODOLOGY/PRINCIPAL FINDINGS:We performed RNAseq on unaltered midguts of the sand fly Lutzomyia longipalpis after infection with L. infantum parasites. RNAseq was carried out at various time points throughout parasite development. Principal component analysis separated the transcripts corresponding to the different Leishmania promastigote stages, the procyclic, nectomonad, leptomonad and metacyclics. Importantly, there were a significant number of differentially expressed genes when comparing the sequential development of the various Leishmania stages in the sand fly. There were 836 differentially expressed (DE) genes between procyclic and long nectomonad promastigotes; 113 DE genes between nectomonad and leptomonad promastigotes; and 302 DE genes between leptomonad and metacyclic promastigotes. Most of the DE genes do not overlap across stages, highlighting the uniqueness of each Leishmania stage. Furthermore, the different stages of Leishmania parasites exhibited specific transcriptional enrichment across chromosomes. Using the transcriptional signatures exhibited by distinct Leishmania stages during their development in the sand fly midgut, we determined the genes predominantly enriched in each stage, identifying multiple potential stage-specific markers for L. infantum. CONCLUSIONS:Overall, these findings demonstrate the transcriptional plasticity of the Leishmania parasite inside the sand fly vector and provide a repertoire of potential stage-specific markers for further development as molecular tools for epidemiological studies