Reasoning about embedded dependencies using inclusion dependencies

The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions

Statistical investigation on the relation between car accidents and warm katabatic winds

The possible relationship between warm katabatic winds and human health and behaviour is analyzed; notwithstanding popular belief which is very positive about it, the connection has not been previously analyzed with the proper methods. We use a statistical model to address this question and our data suggest that the effects of warm katabatic winds in the Po Valley (Italy) can indeed be detected in the increase of car accidents

Echinococcus granulosus "sensu stricto" in a captive ring-tailed lemur (Lemur catta) in Northern Italy

Cystic echinococcosis (CE) by Echinococcosis granulosus (Eg) infection was seen in a 13 years old male lemur, found dead in a zoo in Northern Italy. Necropsy revealed several transparent cysts in the lungs and in the abdominal cavity. Freefloating cysts of varying sizes were found in the peritoneal cavity, and no protoscolex was seen microscopically. Histologically, a multifocal severe parasitic granulomatous pneumonia was observed. Confirmation of E. granulosus "sensu stricto" was reached by PCR and sequencing. In view of the absence of definitive host in the zoo, located in non-endemic region for CE, it is speculated that infection introduced through translocation of lemur from endemic region (Southern Italy zoo)

Probabilistic Team Semantics

Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies. In this article we study a variant of probabilistic team semantics and relate this framework to a Tarskian two-sorted logic. We also show that very simple quantifier-free formulae of our logic give rise to backslashmathrm NP NP -hard model checking problems.Peer reviewe

Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

In this paper, we initiate a systematic study of the parametrised complexity in the field of Dependence Logics which finds its origin in the Dependence Logic of V\"a\"an\"anen from 2007. We study a propositional variant of this logic (PDL) and investigate a variety of parametrisations with respect to the central decision problems. The model checking problem (MC) of PDL is NP-complete. The subject of this research is to identify a list of parametrisations (formula-size, treewidth, treedepth, team-size, number of variables) under which MC becomes fixed-parameter tractable. Furthermore, we show that the number of disjunctions or the arity of dependence atoms (dep-arity) as a parameter both yield a paraNP-completeness result. Then, we consider the satisfiability problem (SAT) showing a different picture: under team-size, or dep-arity SAT is paraNP-complete whereas under all other mentioned parameters the problem is in FPT. Finally, we introduce a variant of the satisfiability problem, asking for teams of a given size, and show for this problem an almost complete picture.Comment: Update includes refined result

Facets of Distribution Identities in Probabilistic Team Semantics

We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different probabilistic atoms such as conditional independence and different variants of marginal distribution equivalences. We also relate the framework to the first-order theory of the reals and apply our methods to the open question on the complexity of the implication problem of conditional independence.Peer reviewe

'To school of prevention: the vaccinations', project in the ASL Roma 4

n/

ERAMOSA controls lateral branching in snapdragon

Plant forms display a wide variety of architectures, depending on the number of lateral branches, internode elongation and phyllotaxy. These are in turn determined by the number, the position and the fate of the Axillary Meristems (AMs). Mutants that affect AM determination during the vegetative phase have been isolated in several model plants. Among these genes, the GRAS transcription factor LATERAL SUPPRESSOR (Ls) plays a pivotal role in AM determination during the vegetative phase. Hereby we characterize the phylogenetic orthologue of Ls in Antirrhinum, ERAMOSA (ERA). Our data supported ERA control of AM formation during both the vegetative and the reproductive phase in snapdragon. A phylogenetic analysis combined with an analysis of the synteny of Ls in several species strongly supported the hypothesis that ERA is a phylogenetic orthologue of Ls, although it plays a broader role. During the reproductive phase ERA promotes the establishment of the stem niche at the bract axis but, after the reproductive transition, it is antagonized by the MADS box transcription factor SQUAMOSA (SQUA). Surprisingly double mutant era squa plants display a squa phenotype developing axillary meristems, which can eventually turn into inflorescences or flowers

PIANO DI PROGRAMMAZIONE 2022 Attività annuale di Comunicazione istituzionale e Public engagement della Struttura per la comunicazione

Questo documento sintetizza la programmazione 2022 della Struttura per la Comunicazione di Presidenza. l'Istituto Nazionale di Astrofisica (INAF) vuole proseguire anche nel 2022 con decisione sulla strada di un forte engagement del pubblico, intrapresa negli ultimi anni e realizzata attraverso una variegata offerta di prodotti di comunicazione. Focalizzare la programmazione su alcuni argomenti di punta, ricorrenze ed eventi astronomici permetterà di sfruttare con maggiore efficienza la sinergia dei vari canali di comunicazione diretta dell'Ente, che si arricchiranno quest'anno della rivista 'Universi', un vero e proprio house organ di cui sarà cruciale anche definire una puntuale lista di indirizzi istituzionali cui farlo avere, da concertare con la segreteria di presidenza. L’Ufficio Stampa, Media Inaf e il Coordinamento nazionale della comunità di Didattica e Divulgazione – le tre anime della Struttura di Comunicazione di Presidenza – lavoreranno di concerto con Edu Inaf e Play Inaf, ulteriori risorse che ampliano l’impatto della grande ‘potenza di fuoco’ della comunicazione dell’Istituto. Tutto nell'ottica di dare un'immagine quanto mai univoca e identificabile di un Ente che negli anni ha guadagnato una notevole visibilità, grazie alla vasta rete di contatti intrattenuta a tutti i livelli. Un Ente che oggi può, e deve, fare un salto di qualità e rendere la sua azione di comunicazione quanto mai incisiva. L’argomento della nostra ricerca rende il compito più lieve e più oneroso al tempo stesso: mostrare la bellezza dell'Universo in tutta la sua meraviglia e complessità, rendendola intellegibile e vicina a tutti. La strategia in atto vuole essere di breve periodo, tenuto anche conto che la realizzazione di una grande mostra in uno spazio espositivo di prestigio della Capitale non potrà ragionevolmente avvenire prima della fine dell'anno, stante il benestare sul titolo e sul progetto proposto: Macchine del Tempo. L'Inaf ha in programma anche per quest'anno la partecipazione a una fitta serie di eventi e festival. La partecipazione dell'Ente dovrà tener conto dei temi proposti dai vari organizzatori, cercando di declinare i temi di nostro interesse su quelli dei festival, non il contrario. Le attività proposte nella presente programmazione potranno essere modificate su richiesta del Presidente