Leveraging probabilistic reasoning in deterministic planning for large-scale autonomous Search-and-Tracking

Search-And-Tracking (SaT) is the problem of searching for a mobile target and tracking it once it is found. Since SaT platforms face many sources of uncertainty and operational constraints, progress in the field has been restricted to simple and unrealistic scenarios. In this paper, we propose a new hybrid approach to SaT that allows us to successfully address large-scale and complex SaT missions. The probabilistic structure of SaT is compiled into a deterministic planning model and Bayesian inference is directly incorporated in the planning mechanism. Thanks to this tight integration between automated planning and probabilistic reasoning, we are able to exploit the power of both approaches. Planning provides the tools to efficiently explore big search spaces, while Bayesian inference, by readily combining prior knowledge with observable data, allows the planner to make more informed and effective decisions. We offer experimental evidence of the potential of our approach

Deterministic versus Probabilistic Methods for Searching for an Evasive Target

Several advanced applications of autonomous aerial vehicles in civilian and military contexts involve a searching agent with imperfect sensors that seeks to locate a mobile target in a given region. Effectively managing uncertainty is key to solving the related search problem, which is why all methods devised so far hinge on a probabilistic formulation of the problem and solve it through branch-and-bound algorithms, Bayesian filtering or POMDP solvers. In this paper, we consider a class of hard search tasks involving a target that exhibits an intentional evasive behaviour and moves over a large geographical area, i.e., a target that is particularly difficult to track down and uncertain to locate. We show that, even for such a complex problem, it is advantageous to compile its probabilistic structure into a deterministic model and use standard deterministic solvers to find solutions. In particular, we formulate the search problem for our uncooperative target both as a deterministic automated planning task and as a constraint programming task and show that in both cases our solution outperforms POMDPs methods

Chapter 1 (Why) do Eurosceptics believe in a common European heritage?

This chapter reflects on the paradox of Eurosceptic populists critical of the European Union mobilizing ideas of European values, heritage, and civilization. We examine the role of the past and especially of a certain understanding of ‘European heritage’ in far-right-wing populist, nationalist discourse in Europe today

Herpes Simplex Virus type-1 infection induces synaptic dysfunction in cultured cortical neurons via GSK-3 activation and intraneuronal amyloid-β protein accumulation

Increasing evidence suggests that recurrent Herpes Simplex Virus type 1 (HSV-1) infection spreading to the CNS is a risk factor for Alzheimer's Disease (AD) but the underlying mechanisms have not been fully elucidated yet. Here we demonstrate that in cultured mouse cortical neurons HSV-1 induced Ca 2+ -dependent activation of glycogen synthase kinase (GSK)-3. This event was critical for the HSV-1-dependent phosphorylation of amyloid precursor protein (APP) at Thr668 and the following intraneuronal accumulation of amyloid-β protein (Aβ). HSV-1-infected neurons also exhibited: i) significantly reduced expression of the presynaptic proteins synapsin-1 and synaptophysin; ii) depressed synaptic transmission. These effects depended on GSK-3 activation and intraneuronal accumulation of Aβ. In fact, either the selective GSK-3 inhibitor, SB216763, or a specific antibody recognizing Aβ (4G8) significantly counteracted the effects induced by HSV-1 at the synaptic level. Moreover, in neurons derived from APP KO mice and infected with HSV-1 Aβ accumulation was not found and synaptic protein expression was only slightly reduced when compared to wild-type infected neurons. These data further support our contention that HSV-1 infections spreading to the CNS may contribute to AD phenotype

Airways flat angioma misdiagnosed as difficult asthma in an adolescent

A 15 years-old boy came to our attention with a diagnosis of poorly controlled asthma. This case required thorough investigations: CT scan imaging revealed a flat angioma extending from the carina to the left main bronchus. Rigid bronchoscopy confirmed the presence of an angioma showing widespread mucosal diffusion involving most of the posterior tracheal wall and main bronchi, on the left side. We present this case report and these images to readers seeking for other experiences in the diagnosis of wide superficial bronchial angioma in pediatric age

Gene expression profiling reveals novel protective effects of Aminaphtone on ECV304 endothelial cells

n/

Boosting search guidance in problems with semantic attachments

Most applications of planning to real problems involve complex and often non-linear equations, including matrix operations. PDDL is ill-suited to express such calculations since it only allows basic operations between numeric fluents. To remedy this restriction, a generic PDDL planner can be connected to a specialised advisor, which equips the planner with the ability to carry out sophisticated mathematical operations. Unlike related techniques based on semantic attachment, our planner is able to exploit an approximation of the numeric information calculated by the advisor to compute informative heuristic estimators. Guided by both causal and numeric information, our planning framework outperforms traditional approaches, especially against problems with numeric goals. We provide evidence of the power of our solution by successfully solving four completely different problems

Temporal teleportation with pseudo-density operators: How dynamics emerges from temporal entanglement

open8We show that, by using temporal quantum correlations as expressed by pseudo-density operators (PDOs), it is possible to recover formally the standard quantum dynamical evolution as a sequence of teleportations in time. We demonstrate that any completely positive evolution can be formally reconstructed by teleportation with different temporally correlated states. This provides a different interpretation of maximally correlated PDOs, as resources to induce quantum time evolution. Furthermore, we note that the possibility of this protocol stems from the strict formal correspondence between spatial and temporal entanglement in quantum theory. We proceed to demonstrate experimentally this correspondence, by showing a multipartite violation of generalized temporal and spatial Bell inequalities and verifying agreement with theoretical predictions to a high degree of accuracy, in high-quality photon qubits.openMarletto, C; Vedral, V; Virzi', S; Avella, A; Piacentini, F; Gramegna, M; Degiovanni, IP; Genovese, MMarletto, C; Vedral, V; Virzi', S; Avella, A; Piacentini, F; Gramegna, M; Degiovanni, Ip; Genovese,