Towards Declarative Safety Rules for Perception Specification Architectures

Agriculture has a high number of fatalities compared to other blue collar fields, additionally population decreasing in rural areas is resulting in decreased work force. These issues have resulted in increased focus on improving efficiency of and introducing autonomy in agriculture. Field robots are an increasingly promising branch of robotics targeted at full automation in agriculture. The safety aspect however is rely addressed in connection with safety standards, which limits the real-world applicability. In this paper we present an analysis of a vision pipeline in connection with functional-safety standards, in order to propose solutions for how to ascertain that the system operates as required. Based on the analysis we demonstrate a simple mechanism for verifying that a vision pipeline is functioning correctly, thus improving the safety in the overall system.Comment: Presented at DSLRob 2015 (arXiv:1601.00877

Kiri Karl Morgensternile, Kiel

http://tartu.ester.ee/record=b1808526~S1*es

Unterthänigst-schuldigstes Danck-Opffer der hiesigen Schwerinschen von Ihro Hochfürstl. Durchl. dem Regierenden Herrn/ Herrn Hertzog Carl Leopold 1731 aufgerichteten jüngsten Schützen-Zunfft an Sr: Hochfürstl. Durchl. dem Herrn Hertzog Christian Ludwig/ als ... Kayserl. Herrn Commissarium wie höchst dieselben gedachter Zunfft, welche von ihrer ersten Auffrichtung an bis hieher, bey ihrem König-Schießen nur einen Blumen-Crantz gehabt, 1743. den 15. Julii, ... eine Güldene Königs-Kette ... durch eine geringes Carmen im Nahmen der gantzen Zunfft, dargeleget

Dankopfer der Schweriner Schützenzunft an den Herzog Christian Ludwig, als derselbe 1743 der Zunft eine goldene Königskette verehrt

Uncertainty Modeling and Analysis of the European X-ray Free Electron Laser Cavities Manufacturing Process

This paper reports on comprehensive efforts on uncertainty quantification and global sensitivity analysis for accelerator cavity design. As a case study object the TESLA shaped superconducting cavities, as produced for the European X-ray Free Electron Laser (EXFEL), are selected. The choice for these cavities is explained by the available measurement data that can be leveraged to substantiate the simulation model. Each step of the manufacturing chain is documented together with the involved uncertainties. Several of these steps are mimicked on the simulation side, e.g. by introducing a random eigenvalue problem. The uncertainties are then quantified numerically and in particular the sensitivities give valuable insight into the systems behavior. We also compare these findings to purely statistical studies carried out for the manufactured cavities. More advanced, adaptive, surrogate modeling techniques are adopted, which are crucial to incorporate a large number of uncertain parameters. The main contribution is the detailed comparison and fusion of measurement results for the EXFEL cavities on the one hand and simulation based uncertainty studies on the other hand. After introducing the quantities of physical interest for accelerator cavities and the Maxwell eigenvalue problem, the details on the manufacturing of the EXFEL cavities and measurements are reported. This is followed by uncertainty modeling with quantification studies

Sex difference and intra-operative tidal volume: Insights from the LAS VEGAS study

BACKGROUND: One key element of lung-protective ventilation is the use of a low tidal volume (VT). A sex difference in use of low tidal volume ventilation (LTVV) has been described in critically ill ICU patients.OBJECTIVES: The aim of this study was to determine whether a sex difference in use of LTVV also exists in operating room patients, and if present what factors drive this difference.DESIGN, PATIENTS AND SETTING: This is a posthoc analysis of LAS VEGAS, a 1-week worldwide observational study in adults requiring intra-operative ventilation during general anaesthesia for surgery in 146 hospitals in 29 countries.MAIN OUTCOME MEASURES: Women and men were compared with respect to use of LTVV, defined as VT of 8 ml kg-1 or less predicted bodyweight (PBW). A VT was deemed 'default' if the set VT was a round number. A mediation analysis assessed which factors may explain the sex difference in use of LTVV during intra-operative ventilation.RESULTS: This analysis includes 9864 patients, of whom 5425 (55%) were women. A default VT was often set, both in women and men; mode VT was 500 ml. Median [IQR] VT was higher in women than in men (8.6 [7.7 to 9.6] vs. 7.6 [6.8 to 8.4] ml kg-1 PBW, P < 0.001). Compared with men, women were twice as likely not to receive LTVV [68.8 vs. 36.0%; relative risk ratio 2.1 (95% CI 1.9 to 2.1), P < 0.001]. In the mediation analysis, patients' height and actual body weight (ABW) explained 81 and 18% of the sex difference in use of LTVV, respectively; it was not explained by the use of a default VT.CONCLUSION: In this worldwide cohort of patients receiving intra-operative ventilation during general anaesthesia for surgery, women received a higher VT than men during intra-operative ventilation. The risk for a female not to receive LTVV during surgery was double that of males. Height and ABW were the two mediators of the sex difference in use of LTVV.TRIAL REGISTRATION: The study was registered at Clinicaltrials.gov, NCT01601223

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements

Understanding glucose transport by the bacterial phosphoenolpyruvate. Glycose phosphotransferase system on the basis of kinetic measurements in vitro.

The kinetic parameters in vitro of the components of the phosphoenolpyruvate:glycose phosphotransferase system (PTS) in enteric bacteria were collected. To address the issue of whether the behavior in vivo of the PTS can be understood in terms of these enzyme kinetics, a detailed kinetic model was constructed. Each overall phosphotransfer reaction was separated into two elementary reactions, the first entailing association of the phosphoryl donor and acceptor into a complex and the second entailing dissociation of the complex into dephosphorylated donor and phosphorylated acceptor. Literature data on the K(m) values and association constants of PTS proteins for their substrates, as well as equilibrium and rate constants for the overall phosphotransfer reactions, were related to the rate constants of the elementary steps in a set of equations; the rate constants could be calculated by solving these equations simultaneously. No kinetic parameters were fitted. As calculated by the model, the kinetic parameter values in vitro could describe experimental results in vivo when varying each of the PTS protein concentrations individually while keeping the other protein concentrations constant. Using the same kinetic constants, but adjusting the protein concentrations in the model to those present in cell-free extracts, the model could reproduce experiments in vitro analyzing the dependence of the flux on the total PTS protein concentration. For modeling conditions in vivo it was crucial that the PTS protein concentrations be implemented at their high in vivo values. The model suggests a new interpretation of results hitherto not understood; in vivo, the major fraction of the PTS proteins may exist as complexes with other PTS proteins or boundary metabolites, whereas in vitro, the fraction of complexed proteins is much smaller