Miracle-dz/UniFAR-FTUs huggingface dataset:
Cyber Security of Water SCADA Systems—Part II: Attack Detection Using Enhanced Hydrodynamic Models

This paper investigates the problem of detection and isolation of attacks on a water distribution network comprised of cascaded canal pools. The proposed approach employs a bank of delay-differential observer systems. The observers are based on an analytically approximate model of canal hydrodynamics. Each observer is insensitive to one fault/attack mode and sensitive to other modes. The design of the observers is achieved by using a delay-dependent linear matrix inequality method. The performance of our model-based diagnostic scheme is tested on a class of adversarial scenarios based on a generalized fault/attack model. This model represents both classical sensor-actuator faults and communication network-induced deception attacks. Our particular focus is on stealthy deception attacks in which the attacker's goal is to pilfer water through canal offtakes. Our analysis reveals the benefits of accurate hydrodynamic models in detecting physical faults and cyber attacks to automated canal systems. We also comment on the criticality of sensor measurements for the purpose of detection. Finally, we discuss the knowledge and effort required for a successful deception attack.
Simultaneous Measurement of Arterial Transit Time, Arterial Blood Volume, and Cerebral Blood Flow Using Arterial Spin-Labeling in Patients with Alzheimer Disease

BACKGROUND AND PURPOSE: Cerebral hemodynamics abnormality in Alzheimer disease (AD) is not fully understood. Our aim was to determine whether regional hypoperfusion due to AD is associated with abnormalities in regional arterial blood volume (rABV) and regional arterial transit time (rATT) as measured by quantitative arterial spin-labeling (ASL) with multiple-delay time sampling. MATERIALS AND METHODS: Nineteen patients with AD (9 men and 10 women; mean age, 74.5 ± 8.6 years) and 22 cognitively healthy control subjects (11 men and 11 women; mean age, 72.8 ± 6.8 years) were studied by using a quantitative ASL method with multiple-delay time sampling. From the ASL data, maps of regional cerebral blood flow (rCBF), rABV, and rATT were generated. A region of hypoperfusion due to AD was determined by statistical parametric mapping (SPM) analysis. Mean rCBF, rABV, and rATT values within the hypoperfused region were compared between the AD and control groups. RESULTS: Despite the significantly lower rCBF (P = .0004) in patients with AD (27.8 ± 7.1 mL/100 g/min) in comparison with control subjects (36.7 ± 6.3 mL/100 g/min), no significant difference in rATT was observed between the control (0.48 ± 0.09 seconds) and AD (0.47 ± 0.10 seconds) groups. Mean rABV was lower in the AD group (0.22 ± 0.10%) than in the control group (0.27 ± 0.12%), though the difference did not reach the level of statistical significance. CONCLUSIONS: Our results revealed that regional hypoperfusion in AD is not associated with rATT prolongation, suggesting that the mechanism of hypoperfusion is distinct from that in cerebrovascular diseases.
Emplacing Christ: An Indigenous Australian Ethics of Placemaking Across Borders

ABSTRACT Travelling from my old heimat, Germany, I joined in September 2015 a group of Anangu Pitjantjatjara Bible translators on a two-week long pilgrimage to the Holy Land. This journey offered further probing into Anangu attachments to place that, until then, I had only known through ethnographic research in their desert homelands in northern South Australia. In the present article, I explore how and why the Anangu Christians forged links with biblically inscribed places to which they had no ancestral ties. What they did bring is a deep-seated sense of emotional connection with Jesus abiding in heaven, and here the pilgrimage was a chance to anchor this relationship in his land – to emplace Christ. Notable in this process of shifting the presence of Jesus from heaven to earth was the pilgrims’ moral concern to keep separate the emplaced stories of their ancestral lands on one hand, and the grounded narratives of the Christian Scriptures on the other. In Jonathan Mair and Nicholas Evans’ terms, their approach was one of ‘incommensuration’, a strategy to avoid moral conflict by refusing to make comparisons between religious traditions. My article may thus be read as an ethnographic contribution towards the understanding of an Australian Indigenous ethics of placemaking across borders.
Atrial fibrillation after isolated coronary surgery. Incidence, long term effects and relation with operative technique

Introduction Postoperative atrial fibrillation after isolated coronary revascularization has been associated with increased morbidity and mortality. Aim of present investigation was to evaluate incidence of postoperative atrial fibrillation and its prognostic role in patients undergoing isolated coronary artery by-pass and disclose possible differences between off-pump and cardiopulmonary assisted revascularization. Methods Prospective cohort study of 229 patients undergoing isolated coronary artery by-pass at a tertiary heart surgery Centre. Off-pump treated patients were significantly older (70.5 vs 64.9 years, p<0.001). No other baseline differences were found. Patients who developed postoperative atrial fibrillation were followed up for an average period of 2 years. Results Post-operative occurred in 56/229 (24.1% after cardiopulmonary and 24.6% after off-pump coronary artery by-pass). Left atrium diameter was the only independent predictive factor (odds ratio =1.15, 95% confidence interval 1.02-1.30, p<0.001). All patients with postoperative atrial fibrillation were treated and discharged in sinus rhythm, in 6/56 recurred, only in one persisted. One patient died during follow up. No stroke was recorded. Conclusions After isolated surgical revascularization, atrial fibrillation occurred in 24% without differences related to operative technique. Recurrence of atrial fibrillation occurred in 6/56 patients (10.7%) however only in 1 persisted. Early and late mortality did not show relation with post-operative atrial fibrillation probably due to immediate treatment with recovery of sinus rhythm before discharge.
Cosmological reionization around the first stars: Monte Carlo radiative transfer

We study the evolution of ionization fronts around the first protogalaxies by using high-resolution numerical cosmological (Λ+ cold dark matter, CDM, model) simulations and Monte Carlo radiative transfer methods. We present the numerical scheme in detail and show the results of test runs from which we conclude that the scheme is both fast and accurate. As an example of interesting cosmological application, we study the reionization produced by a stellar source of total mass M=2×108 M⊙ turning on at z≈12, located at a node of the cosmic web. The study includes a spectral energy distribution of a zero-metallicity stellar population, and two initial mass functions (IMFs; Salpeter/Larson). The expansion of the ionization front (I-front) is followed as it breaks out from the galaxy and is channelled by the filaments into the voids, assuming (in a 2D representation) a characteristic butterfly shape. The ionization evolution is very well tracked by our scheme, as realized by the correct treatment of the channelling and shadowing effects resulting from overdensities. We confirm previous claims that both the shape of the IMF and the ionizing power metallicity dependence are important to correctly determine the reionization of the Universe.
Aging Effects and Working Memory in Garden-Path Recovery

Understanding syntactically ambiguous sentences has been a central research topic in the psycholinguistic literature. Sentences with syntactic ambiguities are often referred to as garden-path sentences [1], in that they lead comprehenders “down the garden path”. These garden-path sentences cause readers or listeners to commit to an initial, incorrect interpretation of an ambiguous word or phrase, one that they must later revise after encountering additional information. Reanalysis happens when comprehenders read or hear that subsequent additional information, decide their initial interpretation was incorrect, and reinterpret the sentence. This reanalysis typically involves a change in the syntactic structure of the sentence and the syntactic role that the ambiguous word or phrase plays. Frazier [2] proposed two syntactic parsing principles regarding garden-path senPurpose: The relationship between working memory (WM) and sentence comprehension (SC) has drawn many researchers’ attention. The current study examined whether healthy older adults have difficulty comprehending potentially WM-demanding garden-path sentences involving syntactic ambiguities, and whether their comprehension is predicted by their working memory capacity or inhibitory control.
Ergodic Control for Constrained Diffusions: Characterization Using HJB Equations

Recently in [A. Budhiraja, SIAM J. Control Optim. , 42 (2003), pp. 532--558] an ergodic control problem for a class of diffusion processes, constrained to take values in a polyhedral cone, was considered. The main result of that paper was that under appropriate conditions on the model, there is a Markov control for which the infimum of the cost function is attained. In the current work we characterize the value of the ergodic control problem via a suitable Hamilton--Jacobi--Bellman (HJB) equation. The theory of existence and uniqueness of classical solutions, for PDEs in domains with corners and reflection fields which are oblique, discontinuous, and multivalued on corners, is not available. We show that the natural HJB equation for the ergodic control problem admits a unique continuous viscosity solution which enables us to characterize the value function of the control problem. The existence of a solution to this HJB equation is established via the classical vanishing discount argument. The key step is proving the precompactness of the family of suitably renormalized discounted value functions. In this regard we use a recent technique, introduced in [V. S. Borkar, Stochastic Process Appl. , 103 (2003), pp. 293--310], of using the Athreya--Ney--Nummelin pseudoatom construction for obtaining a coupling of a pair of embedded, discrete time, controlled Markov chains.
Human Factors Evaluation of a Vision-Based Facial Gesture Interface

We adapted a vision-based face tracking system for cursor control by head movement. An additional vision-based algorithm allowed the user to enter a click by opening the mouth. The Fitts law information throughput rate of cursor movements was measured to be 2.0 bits/sec with the ISO 9241-9 international standard method for testing input devices. A usability assessment was also conducted and we report and discuss the results. A practical application of this facial gesture interface was studied: text input using the Dasher system, which allows a user to type by moving the cursor. The measured typing speed was 7-12 words/minute, depending on level of user expertise. Performance of the system is compared to a conventional mouse interface.
The role of serotonin receptors in Alzheimer’s disease

Alzheimer's disease (AD) is the most common cause of dementia with an increasing impact on the aging society. Although generations of researchers tried to unravel the pathomechanisms behind this disease, the molecular and cellular mechanisms leading to its onset and progression are still far from being completely understood. According- ly, only a symptomatic treatment is available until now, and a curative treatment seems to be far-off. On the other hand, several novel therapeutic strategies have been proposed and debated during the last decade. Because of the extensive serotonergic denervation that has been observed in the AD brain and the important role played by serotonin in both, cognition and behavioural control, this neurotransmitter system has become a focus of a concerted research effort to identify new treatments for AD. Therefore, modulation of defined serotonin receptors by specific ligands represents a promising tool for treatments for neurodegenerative diseases like AD. Here we provide an overview of the involvement of the serotonergic system in AD and discuss the underlying molecular mechanisms.
Logarithmic knot invariants arising from restricted quantum groups

We construct knot invariants from the radical part of projective modules of the restricted quantum group $\overline{\mathcal{U}}_{q}(sl_{2})$ at $q = {\rm exp}(\pi \sqrt{-1}/p)$, and we also show a relation between these invariants and the colored Alexander invariants. These projective modules are related to logarithmic conformal field theories.
Automatic Evaluation of the 30-s Chair Stand Test Using Inertial/Magnetic-Based Technology in an Older Prefrail Population

The aim of this study was to evaluate the inertial measures of the 30-s chair stand test using modern body-fixed motion sensors. Polynomial data fitting was used to correct the drift effect in the position estimation. Thereafter, the three most important test cycles phases (“impulse,” “stand up,” and “sit down”) were characterized and automatically analyzed. Automated test control is provided, making it possible for researchers without engineering knowledge to run the test. A collection of meaningful data based on kinematic variables is selected for further research. The proposed methodology for data analysis is a feasible tool for use in clinical settings. This method may not only improve rehabilitation therapies but also identify people at risk for falls more accurately than simply evaluating the number of cycles.
Psychoanalytic inpatient psychotherapy of depression – Two naturalistic samples throughout the course of a decade

Abstract Background: While the general effectiveness of psychodynamic inpatient psychotherapy has been established, very few studies have specifically investigated the effectiveness of psychodynamic inpatient treatment of depression, though depressed patients represent the largest group of inpatients. Method : This study investigated two naturalistic samples of depressed patients regarding treatment outcome as well as clinical and treatment characteristics. Patients were treated in a psychoanalytical psychosomatic hospital unit. Data was collected from 2000 to 2002 (N=234) and from 2008 to 2010 (N=514). Data was acquired at admission and discharge. Results: The findings reveal high pre-post effect sizes for symptom reduction (SCL-90-R), general functioning (GAF) and medium changes of interpersonal problems (IIP). The improvement on the IIP was significantly higher for patients with comorbid personality disorder. Based on therapist ratings, the sample treated from 2008-2010 showed higher levels of impairment on several levels: chronic, complex, functional (GAF) and structural (OPD). Conclusion: Findings indicate that patients show substantial short-term benefit following psychoanalytic inpatient psychotherapy, as practiced under naturalistic conditions. Open questions remain regarding the long-term nature of these benefits and the possible influence of placebo-effects.
Relations of Physical Properties for a Large Sample of X-Ray Galaxy Clusters

One hundred and six galaxy clusters have been studied in detail using X-ray data and important global physical properties have been determined. Correlations between these properties are studied with respect to the description of clusters as a self-similar class of objects. The results support the self-similar picture only partly and significant deviations are found for some correlations.
Sensory conduction in peroneal and posterior tibial nerves using averaging techniques

A method of obtaining pure sensory nerve conduction velocities in the lower extremities is described. This involves the use of electronic summation (signal averaging). Potentials were obtained and velocities calculated from all normal subjects examined. In patients with peripheral neuropathies it was often possible to obtain nerve velocities with signal amplitudes as low as 0·1 μV and these were often slower than those obtained from the normal subjects. The advantages and disadvantages of this method are discussed. It is of significant clinical value in that pure sensory nerve conduction velocities can be measured in the legs when this may be the only valuable parameter in the absence of motor involvement. In addition, investigation of neuropathies at an earlier stage of development and recovery may be facilitated. It is hoped that in the future this technique of obtaining low amplitude responses with an analogue averager can be incorporated with the more routine aspects of nerve conduction testing when clinically indicated.
Reduction of water diffusion coefficient with increased engineered cartilage matrix growth observed using MRI

Non-destructive monitoring of tissue-engineered cartilage growth is needed to optimize growth conditions, but extracting quantitative biomarkers of extracellular matrix development remains a technical challenge. MRI provides a non-invasive way to obtain a three dimensional map of growing tissue where the image contrast is based on tissue water relaxation times and the apparent diffusion coefficient (ADC). In this study, bovine chondrocytes were seeded in alginate beads (0, 1, 2, and 4 million cells/ml) and the ADC was measured weekly using diffusion-weighted MRI at 14.1 T over a one-month incubation period. Two groups of tissue-engineering constructs were created: one with ascorbic acid (vitamin C) added as a vitamin cofactor to increase collagen synthesis, and another with no added ascorbic acid. When normalized to the control beads without chondrocytes, the ADC was found to monotonically fall with incubation time (decreasing by up to 40% at 4 weeks), and with the administration of vitamin C. These results reflect the expected development of the extracellular matrix in the tissue-engineered constructs. We conclude that the normalized ADC is a potential biomarker for characterizing engineered cartilage tissue growth.
Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs

Compact symbolic representations of large labelled transition systems, based on binary decision diagrams (BDD), are discussed. Extensions of BDDs are considered, in order to represent stochastic transition systems for performability analysis. We introduce Decision Node BDDs, a novel stochastic extension of BDDs which preserves the structure and properties of purely functional BDDs. It is shown how parallel composition of components can be performed in this context, without leading to state space explosion. Furthermore, we discuss state space reduction by Markovian bisimulation, also entirely based on symbolic techniques. Together, parallel composition and state space reduction enable a compositional approach to the stochastic modelling of concurrent systems.
Direct recovery of shape from multiple views: a parallax based approach

Given two arbitrary views of a scene under central projection, if the motion of points on a parametric surface is compensated, the residual parallax displacement field on the reference image is an epipolar field. If the surface aligned is a plane, the parallax magnitude at an image point is directly proportional to the height of the point from the plane and inversely proportional to its depth from the camera. The authors exploit the above theorem to infer 3D height information from oblique aerial 2D images. The authors use direct methods to register the aerial images and develop methods to infer height information under the following three conditions: (i) focal length and image center are both known, (ii) only the focal length is known, and (iii) both are unknown.
Arches: a Framework for Modeling Complex Terrains

In this paper, we present a framework for representing complex terrains with such features as overhangs, arches and caves and including different materials such as sand and rocks. Our hybrid model combines a volumetric discrete data structure that stores the different materials and an implicit representation for sculpting and reconstructing the surface of the terrain. Complex scenes can be edited and sculpted interactively with high level tools. We also propose an original rock generation technique that enables us to automatically generate complex rocky sceneries with piles of rocks without any computationally demanding physically‐based simulation.
Tachycardia-induced change of atrial refractory period in humans: rate dependency and effects of antiarrhythmic drugs.

BACKGROUND Atrial fibrillation (AF) has been shown to shorten the atrial effective refractory period (ERP) and make the atrium more vulnerable to AF. This study investigated the effect of atrial rate and antiarrhythmic drugs on ERP shortening induced by tachycardia. METHODS AND RESULTS Seventy adult patients without structural heart disease were included. For the first part of the study, right atrial ERP was measured with a drive cycle length of 500 ms before and after 10 minutes of rapid atrial pacing using five pacing cycle lengths (450, 400, 350, 300, and 250 ms) in 10 patients. For the second part of the study, the remaining 60 patients were included to study the effects of antiarrhythmic drugs on changes in atrial ERP induced by AF. Atrial ERP was measured with a drive cycle of 500 ms before and after an episode of pacing-induced AF. After the patients were randomized to receive one of six antiarrhythmic drugs (procainamide, propafenone, propranolol, dl-sotalol, amiodarone, and verapamil), atrial ERP was measured before and after another episode of pacing-induced AF. In the first part of the study, atrial ERP shortened significantly after 10 minutes of rapid atrial pacing, and the degree of shortening was correlated with pacing cycle length. The second part of the study showed that atrial ERP shortened after conversion of AF (172+/-15 versus 202+/-14 ms, P<0.0001) and that ERP shortening was attenuated after verapamil infusion (-4.6+/-1.2% versus -15.1+/-3.4%, P<0.001) but was unchanged after infusion of the other antiarrhythmic drugs. Furthermore, all of these antiarrhythmic drugs could decrease the incidence and duration of secondary AF. CONCLUSIONS The atrial ERP shortening induced by tachycardia was a rate-dependent response. Verapamil, but not other antiarrhythmic drugs, could markedly attenuate this effect. However, verapamil and the other drugs could decrease the incidence and duration of secondary AF.
The development and expression of physical nicotine dependence corresponds to structural and functional alterations in the anterior cingulate-precuneus pathway

Perturbations in neural function provoked by a drug are thought to induce neural adaptations, which, in the absence of the drug, give rise to withdrawal symptoms. Previously published structural data from this study indicated that the progressive development of physical dependence is associated with increasing density of white matter tracts between the anterior cingulum bundle and the precuneus.