Restriction of stable rank two vector bundles in arbitrary characteristic

Let $X$ be a smooth variety defined over an algebraically closed field of arbitrary characteristic and \O_X(H) be a very ample line bundle on $X$. We show that for a semistable $X$-bundle $E$ of rank two, there exists an integer $m$ depending only on $\Delta(E).H^{\dim(X)-2}$ and $H^{\dim(X)}$ such that the restriction of $E$ to a general divisor in $|mH|$ is again semistable. As corollaries we obtain boundedness results, and weak versions of Bogomolov's theorem and Kodaira's vanishing theorem for surfaces in arbitrary characteristic.Comment: LaTeX document, 16 pages, no figure

Anomalous net-baryon-rapidity spectra at RHIC

Net-baryon rapidity distributions in central Au+Au collisions at 200 GeV per nucleon are shown to consist of three components. The nonequilibrium contributions are accounted for in a Relativistic Diffusion Model. Near midrapidity, a third fraction containing approximately 22 protons reaches local statistical equilibrium in a discontinuous transition. It may be associated with a deconfinement of the participant partons and thus, serve as a signature for Quark-Gluon Matter formation.Comment: 11 pages, 2 figure

On the Application of ISO 26262 in Control Design for Automated Vehicles

Research on automated vehicles has experienced an explosive growth over the past decade. A main obstacle to their practical realization, however, is a convincing safety concept. This question becomes ever more important as more sophisticated algorithms are used and the vehicle automation level increases. The field of functional safety offers a systematic approach to identify possible sources of risk and to improve the safety of a vehicle. It is based on practical experience across the aerospace, process and other industries over multiple decades. This experience is compiled in the functional safety standard for the automotive domain, ISO 26262, which is widely adopted throughout the automotive industry. However, its applicability and relevance for highly automated vehicles is subject to a controversial debate. This paper takes a critical look at the discussion and summarizes the main steps of ISO 26262 for a safe control design for automated vehicles.Comment: In Proceedings SCAV 2018, arXiv:1804.0340

Communicative Actions

Communicative actions in the broad sense of communicationattempts ­ are special cases of instrumental actions, i.e. actions by means of which one tries to achieve some ends, their differentia specifica being that in the case of communicative actions the speaker expects to achieve her primary (communicative) aim iff this aim is recognized by her addressee. In short, from the speaker's viewpoint communication coincides with understanding, where understanding is to be identified with recognition of the relevant speaker's intentions. This idea is, using some elementary formal machinery from intentional logic, expounded in more detail, related to proposals of Paul Grice's (speaker's meaning), and compared to the alternative approach of classical speech act theory