Reasoning about goal-directed real-time teleo-reactive programs

The teleo-reactive programming model is a high-level approach to developing real-time systems that supports hierarchical composition and durative actions. The model is different from frameworks such as action systems, timed automata and TLA+, and allows programs to be more compact and descriptive of their intended behaviour. Teleo-reactive programs are particularly useful for implementing controllers for autonomous agents that must react robustly to their dynamically changing environments. In this paper, we develop a real-time logic that is based on Duration Calculus and use this logic to formalise the semantics of teleo-reactive programs. We develop rely/guarantee rules that facilitate reasoning about a program and its environment in a compositional manner. We present several theorems for simplifying proofs of teleo-reactive programs and present a partially mechanised method for proving progress properties of goal-directed agents. © 2013 British Computer Society

The Industrial Internet and the Potentially Economically Disruptive Technologies

This first chapter is based on Industry 4.0 in its entirety; origin, definition of the Fourth Industrial Revolution, its main characteristics, current transformation segments, challenges and opportunities, the presence of companies in worldwide network Industry 4.0, the disruptive technologies with a significant potential to drive economic impact and disruption, implications and challenges for business leaders in this new technological and business landscape.2019-2

Fluid Biomarkers for Synaptic Dysfunction and Loss

Synapses are the site for brain communication where information is transmitted between neurons and stored for memory formation. Synaptic degeneration is a global and early pathogenic event in neurodegenerative disorders with reduced levels of pre- and postsynaptic proteins being recognized as a core feature of Alzheimer’s disease (AD) pathophysiology. Together with AD, other neurodegenerative and neurodevelopmental disorders show altered synaptic homeostasis as an important pathogenic event, and due to that, they are commonly referred to as synaptopathies. The exact mechanisms of synapse dysfunction in the different diseases are not well understood and their study would help understanding the pathogenic role of synaptic degeneration, as well as differences and commonalities among them and highlight candidate synaptic biomarkers for specific disorders. The assessment of synaptic proteins in cerebrospinal fluid (CSF), which can reflect synaptic dysfunction in patients with cognitive disorders, is a keen area of interest. Substantial research efforts are now directed toward the investigation of CSF synaptic pathology to improve the diagnosis of neurodegenerative disorders at an early stage as well as to monitor clinical progression. In this review, we will first summarize the pathological events that lead to synapse loss and then discuss the available data on established (eg, neurogranin, SNAP-25, synaptotagmin-1, GAP-43, and α-syn) and emerging (eg, synaptic vesicle glycoprotein 2A and neuronal pentraxins) CSF biomarkers for synapse dysfunction, while highlighting possible utilities, disease specificity, and technical challenges for their detection

A timeband framework for modelling real-time systems

Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures. New scientific foundations are required for specifying, designing and implementing these systems. One key challenge is to cope with the wide range of time scales and dynamics inherent in such systems. To exploit the unique properties of time, with the aim of producing more dependable computer-based systems, it is desirable to explicitly identify distinct time bands in which the system is situated. Such a framework enables the temporal properties and associated dynamic behaviour of existing systems to be described and the requirements for new or modified systems to be specified. A system model based on a finite set of distinct time bands is motivated and developed in this paper

Perceptual Context in Cognitive Hierarchies

Cognition does not only depend on bottom-up sensor feature abstraction, but also relies on contextual information being passed top-down. Context is higher level information that helps to predict belief states at lower levels. The main contribution of this paper is to provide a formalisation of perceptual context and its integration into a new process model for cognitive hierarchies. Several simple instantiations of a cognitive hierarchy are used to illustrate the role of context. Notably, we demonstrate the use context in a novel approach to visually track the pose of rigid objects with just a 2D camera

A dynamic logic for every season

This paper introduces a method to build dynamic logics with a graded semantics. The construction is parametrized by a structure to support both the spaces of truth and of the domain of computations. Possible instantiations of the method range from classical assertional) dynamic logic to less common graded logics suitable to deal with programs whose transitional semantics exhibits fuzzy or weighted behaviour.This leads to the systematic derivation of program logics tailored to specific program classes

Neurochemical signs of astrocytic and neuronal injury in acute COVID-19 normalizes during long-term follow-up

Background: Neurologic manifestations are well-recognized features of coronavirus disease 2019 (COVID-19). However, the longitudinal association of biomarkers reflecting CNS impact and neurological symptoms is not known. We sought to determine whether plasma biomarkers of CNS injury were associated with neurologic sequelae after COVID-19. / Methods: Patients with confirmed acute COVID-19 were studied prospectively. Neurological symptoms were recorded during the acute phase of the disease and at six months follow-up, and blood samples were collected longitudinally. Healthy age-matched individuals were included as controls. We analysed plasma concentrations of neurofilament light-chain (NfL), glial fibrillary acidic protein (GFAp), and growth differentiation factor 15 (GDF-15). / Findings: One hundred patients with mild (n = 24), moderate (n = 28), and severe (n = 48) COVID-19 were followed for a median (IQR) of 225 (187–262) days. In the acute phase, patients with severe COVID-19 had higher concentrations of NfL than all other groups (all p < 0·001), and higher GFAp than controls (p < 0·001). GFAp was also significantly increased in moderate disease (p < 0·05) compared with controls. NfL (r = 0·53, p < 0·001) and GFAp (r = 0·39, p < 0·001) correlated with GDF-15 during the acute phase. After six months, NfL and GFAp concentrations had normalized, with no persisting group differences. Despite this, 50 patients reported persistent neurological symptoms, most commonly fatigue (n = 40), “brain-fog” (n = 29), and changes in cognition (n = 25). We found no correlation between persistent neurological symptoms and CNS injury biomarkers in the acute phase. / Interpretation: The normalization of CNS injury biomarkers in all individuals, regardless of previous disease severity or persisting neurological symptoms, indicates that post COVID-19 neurological sequelae are not accompanied by ongoing CNS injury. / Funding: The Swedish State Support for Clinical Research, SciLifeLab Sweden, and the Knut and Alice Wallenberg Foundation have provided funding for this project

Apolipoprotein B is a novel marker for early tau pathology in Alzheimer's disease

INTRODUCTION: We examine the role of brain apolipoprotein B (apoB) as a putative marker of early tau pathology and cognitive decline. METHODS: Cerebrospinal fluid (CSF) samples from cognitively normal and Alzheimer's disease (AD) participants were collected to measure protein levels of apoB and AD biomarkers amyloid beta (Aβ), t-tau and p-tau, as well as synaptic markers GAP43, SYNAPTOTAGMIN-1, synaptosome associated protein 25 (SNAP-25), and NEUROGRANIN. CSF apoB levels were contrasted with positron emission tomography (PET) scan measures of Aβ (18F-NAV4694) and Tau (flortaucipir) along with cognitive assessment alterations over 6 to 8 years. RESULTS: CSF apoB levels were elevated in AD participants and correlated with t-tau, p-tau, and the four synaptic markers in pre-symptomatic individuals. In the latter, CSF apoB levels correlated with PET flortaucipir-binding in entorhinal, parahippocampal, and fusiform regions. Baseline CSF apoB levels were associated with longitudinal visuospatial cognitive decline. DISCUSSION: CSF apoB markedly associates with early tau dysregulation in asymptomatic subjects and identifies at-risk individuals predisposed to develop visuospatial cognitive decline over time

Associations between respiratory symptoms, lung function and gastro-oesophageal reflux symptoms in a population-based birth cohort

BACKGROUND: Several studies have reported an association between asthma and gastro-oesophageal reflux, but it is unclear which condition develops first. The role of obesity in mediating this association is also unclear. We explored the associations between respiratory symptoms, lung function, and gastro-oesophageal reflux symptoms in a birth cohort of approximately 1000 individuals. METHODS: Information on respiratory symptoms, asthma, atopy, lung function and airway responsiveness was obtained at multiple assessments from childhood to adulthood in an unselected birth cohort of 1037 individuals followed to age 26. Symptoms of gastro-oesophageal reflux and irritable bowel syndrome were recorded at age 26. RESULTS: Heartburn and acid regurgitation symptoms that were at least "moderately bothersome" at age 26 were significantly associated with asthma (odds ratio = 3.2; 95% confidence interval = 1.6–6.4), wheeze (OR = 3.5; 95% CI = 1.7–7.2), and nocturnal cough (OR = 4.3; 95% CI = 2.1–8.7) independently of body mass index. In women reflux symptoms were also associated with airflow obstruction and a bronchodilator response to salbutamol. Persistent wheezing since childhood, persistence of asthma since teenage years, and airway hyperresponsiveness since age 11 were associated with a significantly increased risk of heartburn and acid regurgitation at age 26. There was no association between irritable bowel syndrome and respiratory symptoms. CONCLUSION: Reflux symptoms are associated with respiratory symptoms in young adults independently of body mass index. The mechanism of these associations remains unclear

Neuronal Toll-like receptor 4 signaling induces brain endothelial activation and neutrophil transmigration in vitro.

BACKGROUND: The innate immune response in the brain is initiated by pathogen-associated molecular patterns (PAMPS) or danger-associated molecular patterns (DAMPS) produced in response to central nervous system (CNS) infection or injury. These molecules activate members of the Toll-like receptor (TLR) family, of which TLR4 is the receptor for bacterial lipopolysaccharide (LPS). Although neurons have been reported to express TLR4, the function of TLR4 activation in neurons remains unknown. METHODS: TLR4 mRNA expression in primary mouse glial and neuronal cultures was assessed by RT-PCR. Mouse mixed glial, neuronal or endothelial cell cultures were treated with LPS in the absence or the presence of a TLR4 specific antagonist (VIPER) or a specific JNK inhibitor (SP600125). Expression of inflammatory mediators was assayed by cytometric bead array (CBA) and ELISA. Activation of extracellular-signal regulated kinase 1/2 (ERK1/2), p38, c-Jun-N-terminal kinase (JNK) and c-Jun was assessed by Western blot. The effect of conditioned media of untreated- versus LPS-treated glial or neuronal cultures on endothelial activation was assessed by neutrophil transmigration assay, and immunocytochemistry and ELISA were used to measure expression of intercellular cell adhesion molecule (ICAM-1) and vascular cell adhesion molecule (VCAM-1). RESULTS: LPS induces strong release of the chemokines RANTES and CXCL1 (KC), tumor necrosis factor-α (TNFα) and IL-6 in primary mouse neuronal cultures. In contrast, LPS induced release of IL-1α, IL-1β and granulocyte-colony stimulating factor (G-CSF) in mixed glial, but not in neuronal cultures. LPS-induced neuronal KC expression and release were completely blocked by VIPER. In glial cultures, LPS induced activation of ERK1/2, p38 and JNK. In contrast, in neuronal cultures, LPS activated JNK but not ERK1/2 or p38, and the specific JNK inhibitor SP600125 significantly blocked LPS-induced KC expression and release. Finally, conditioned medium of LPS-treated neuronal cultures induced strong expression of ICAM-1 and VCAM-1 on endothelial cells, and induced infiltration of neutrophils across the endothelial monolayer, which was inhibited by VIPER. CONCLUSION: These data demonstrate for the first time that neurons can play a role as key sensors of infection to initiate CNS inflammation