Safe and secure control of swarms of vehicles by small-world theory

The present paper investigates a new paradigm to control a swarm of moving individual vehicles, based on the introduction of a few random long-range communications in a queue dominated by short-range car-following dynamics. The theoretical approach adapts the small-world theory, originally proposed in social sciences, to the investigation of these networks. It is shown that the controlled system exhibits properties of higher synchronization and robustness with respect to communication failures. The considered application to a vehicle swarm shows how safety and security of the related traffic dynamics are strongly increased, diminishing the collision probability even in the presence of a hacker attack to some connectivity channels

A Network Architecture for Point Cloud Classification via Automatic Depth Images Generation

© 2018 IEEE. We propose a novel neural network architecture for point cloud classification. Our key idea is to automatically transform the 3D unordered input data into a set of useful 2D depth images, and classify them by exploiting well performing image classification CNNs. We present new differentiable module designs to generate depth images from a point cloud. These modules can be combined with any network architecture for processing point clouds. We utilize them in combination with state-of-the-art classification networks, and get results competitive with the state of the art in point cloud classification. Furthermore, our architecture automatically produces informative images representing the input point cloud, which could be used for further applications such as point cloud visualization

Leukocyte Counts and Ratios Are Predictive of Stroke Outcome and Hemorrhagic Complications Independently of Infections.

Background: Ischemic stroke patients show alterations in peripheral leukocyte counts that may result from the sterile inflammation response as well as the occurrence of early infections. We here aimed to determine whether alterations of circulating leukocytes in acute ischemic stroke are associated with long-term functional outcome and hemorrhagic complications, independently of the occurrence of infections. Methods: Blood laboratory values of patients with acute ischemic stroke, presenting within 4.5 h from symptom onset, were collected. Leukocyte subsets were analyzed in relation to 3-month functional outcome, mortality, and parenchymal hemorrhagic transformation (PH). A multivariable logistic regression analysis, considering the occurrence of early post-stroke infections, was performed for each outcome measure. Results: Five-hundred-ten patients were included in the study. Independently of infections, good functional outcome was associated with a lower neutrophil to lymphocyte ratio (NL-R, OR 0.906 [95% CI 0.822-0.998]), a higher lymphocyte count (OR 1.547 [95% CI 1.051-2.277]), a higher eosinophil count (OR 1.027 [95% CI 1.007-1.048]), and a higher eosinophil to leukocyte ratio (EoLeu-R, OR 1.240 [95% CI 1.071-1.436]) at admission. Death within 3 months was associated with higher NL-R (OR 1.103 [95% CI 1.032-1.179]) as well as with lower eosinophil counts (OR 0.909 [95% CI 0.827-0.999]). Patients developing parenchymal hemorrhagic transformation had higher neutrophil counts (OR 1.420 [95% CI 1.197-1.684]) as well as a higher NL-R (OR 1.192 [95% IC 1.088-1.305]). Conclusion: Leukocyte subtype profiles in the acute phase of ischemic stroke represent a predictor of outcome independently of infections. Stroke-evoked sterile inflammation is a pathophysiological relevant mechanism that deserves further investigation

Plasmapheresis in the treatment of myasthenia gravis: Retrospective study of 26 patients

We analyzed the experience of Unicamp Clinical Hospital with plasma exchange (PE) therapy in myasthenia gravis (MG). About 17.8% of a totality of MG patients had PE performed: 26 cases, 19 women and seven men. The mean age-onset of MG was 28 years, extremes 11 and 69. Minimum deficit observed in the group was graded IIb (O & G) or IIIa (MGFA scale). One patient had prethymectomy PE. In seven the procedures were performed due to myasthenic crisis and in 18 patients due to severe myasthenic symptoms or exacerbation of previous motor deficit. Two patients were also submitted to chronic PE considering refractoriness to other treatments. Twenty-six patients had 44 cycles of PE and 171 sessions. The mean number of sessions was 3.9 (SD +/- 1.4) each cycle; median 5, extremes 2 and 6. The mean time by session was 106,5 minutes (SD +/- 35.2); median 100.5 (extremes of 55 and 215). The mean volume of plasma exchanged in each session was 2396 ml (SD +/- 561); median 2225 (extremes 1512 and 4500). Side effects occurred: reversible hypotension (seven cases), mild tremor or paresthesias (seven cases). infection and mortality rates due to PE were zero. All patients had immediate benefit of each PE cycle and usually they also received prednisone or other immunosuppressors. Good acceptance of the procedure was observed in 80.7% of patients.622B39139

Software Model Checking with Explicit Scheduler and Symbolic Threads

In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads execute, without any interruption, until they either terminate or yield the control explicitly to the scheduler. The formal verification of such software poses significant challenges. On the one side, each thread may have infinite state space, and might call for abstraction. On the other side, the scheduling policy is often important for correctness, and an approach based on abstracting the scheduler may result in loss of precision and false positives. Unfortunately, the translation of the problem into a purely sequential software model checking problem turns out to be highly inefficient for the available technologies. We propose a software model checking technique that exploits the intrinsic structure of these programs. Each thread is translated into a separate sequential program and explored symbolically with lazy abstraction, while the overall verification is orchestrated by the direct execution of the scheduler. The approach is optimized by filtering the exploration of the scheduler with the integration of partial-order reduction. The technique, called ESST (Explicit Scheduler, Symbolic Threads) has been implemented and experimentally evaluated on a significant set of benchmarks. The results demonstrate that ESST technique is way more effective than software model checking applied to the sequentialized programs, and that partial-order reduction can lead to further performance improvements.Comment: 40 pages, 10 figures, accepted for publication in journal of logical methods in computer scienc

Self-cleaning and antifouling nanocomposites for stone protection: Properties and performances of stone-nanomaterial systems

The development of nanocomposites combining photocatalytic, antifouling and protective features has provided interesting and promising results in the last years. However, few data about the behaviour of the nanomaterials applied on stone surfaces are available in the literature. In the framework of the EU-Horizon 2020 project "Nano-Cathedral", nanostructured protective treatments have been designed with different nanoparticles (TiO2, Ag, ZnO), solvents and silane/siloxane-based polymeric matrices. The innovative formulations have been applied on 6 lithotypes, selected among the stones used in five medieval cathedrals (Vitoria-Gasteiz, Ghent, Cologne, Vienna and Pisa) and a contemporary theatre (Oslo Opera House), which are emblematic of different European geological and environmental areas. The treated stone specimens have been fully characterized to evaluate the surface optical and morphological compatibility, the reduction of water absorption by capillarity, the change in wettability and water vapour permeability properties. The selected treatments fulfil all these requirements and exhibit good photocatalytic and antifouling properties once applied on stone specimens. Different accelerated ageing procedures have also been performed in order to evaluate the stability of the polymeric matrices in the presence of photoactive TiO2. © Published under licence by IOP Publishing Ltd

Selenium Utilization by GPX4 Is Required to Prevent Hydroperoxide-Induced Ferroptosis

open24siSelenoproteins are rare proteins among all kingdoms of life containing the 21st amino acid, selenocysteine. Selenocysteine resembles cysteine, differing only by the substitution of selenium for sulfur. Yet the actual advantage of selenolate- versus thiolate-based catalysis has remained enigmatic, as most of the known selenoproteins also exist as cysteine-containing homologs. Here, we demonstrate that selenolate-based catalysis of the essential mammalian selenoprotein GPX4 is unexpectedly dispensable for normal embryogenesis. Yet the survival of a specific type of interneurons emerges to exclusively depend on selenocysteine-containing GPX4, thereby preventing fatal epileptic seizures. Mechanistically, selenocysteine utilization by GPX4 confers exquisite resistance to irreversible overoxidation as cells expressing a cysteine variant are highly sensitive toward peroxide-induced ferroptosis. Remarkably, concomitant deletion of all selenoproteins in Gpx4cys/cys cells revealed that selenoproteins are dispensable for cell viability provided partial GPX4 activity is retained. Conclusively, 200 years after its discovery, a specific and indispensable role for selenium is provided.openIngold, Irina; Berndt, Carsten; Schmitt, Sabine; Doll, Sebastian; Poschmann, Gereon; Buday, Katalin; Roveri, Antonella; Peng, Xiaoxiao; Porto Freitas, Florencio; Seibt, Tobias; Mehr, Lisa; Aichler, Michaela; Walch, Axel; Lamp, Daniel; Jastroch, Martin; Miyamoto, Sayuri; Wurst, Wolfgang; Ursini, Fulvio; Arnér, Elias S J; Fradejas-Villar, Noelia; Schweizer, Ulrich; Zischka, Hans; Friedmann Angeli, José Pedro; Conrad, MarcusIngold, Irina; Berndt, Carsten; Schmitt, Sabine; Doll, Sebastian; Poschmann, Gereon; Buday, Katalin; Roveri, Antonella; Peng, Xiaoxiao; Porto Freitas, Florencio; Seibt, Tobias; Mehr, Lisa; Aichler, Michaela; Walch, Axel; Lamp, Daniel; Jastroch, Martin; Miyamoto, Sayuri; Wurst, Wolfgang; Ursini, Fulvio; Arnér, Elias S J; Fradejas-Villar, Noelia; Schweizer, Ulrich; Zischka, Hans; Friedmann Angeli, José Pedro; Conrad, Marcu

Little effects of Insulin-like Growth Factor-I on testicular atrophy induced by hypoxia

BACKGROUND: Insulin-like Growth Factor-I (IGF-I) supplementation restores testicular atrophy associated with advanced liver cirrhosis that is a condition of IGF-I deficiency. The aim of this work was to evaluate the effect of IGF-I in rats with ischemia-induced testicular atrophy (AT) without liver disease and consequently with normal serum level of IGF-I. METHODS: Testicular atrophy was induced by epinephrine (1, 2 mg/Kg intra-scrotal injection five times per week) during 11 weeks. Then, rats with testicular atrophy (AT) were divided into two groups (n = 10 each): untreated rats (AT) receiving saline sc, and AT+IGF, which were treated with IGF-I (2 μg.100 g b.w.(-1).day(-1), sc.) for 28d. Healthy controls (CO, n = 10) were studied in parallel. Animals were sacrificed on day 29(th). Hypophyso-gonadal axis, IGF-I and IGFBPs levels, testicular morphometry and histopathology, immuno-histochemical studies and antioxidant enzyme activity phospholipid hydroperoxide glutathione peroxidase (PHGPx) were assessed. RESULTS: Compared to controls, AT rats displayed a reduction in testicular size and weight, with histological testicular atrophy, decreased cellular proliferation and transferrin expression, and all of these alterations were slightly improved by IGF-I at low doses. IGF-I therapy increased signifincantly steroidogenesis and PHGPx activity (p < 0.05). Interestingly, plasma IGF-I did not augment in rats with testicular atrophy treated with IGF-I, while IGFBP3 levels, that reduces IGF-I availability, was increased in this group (p < 0.05). CONCLUSION: In testicular atrophy by hypoxia, condition without IGF-I deficiency, IGF-treatment induces only partial effects. These findings suggest that IGF-I therapy appears as an appropriate treatment in hypogonadism only when this is associated to conditions of IGF-I deficiency (such as Laron Syndrom or liver cirrhosis)