Cooperative Cognitive Automobiles

Safety requirements are among the most ambitious challenges for autonomous guidance and control of automobiles. A human-like understanding of the surrounding traffic scene is a key element to fulfill these requirements, but is a still missing capability of today's intelligent vehicles. Few recent proposals for driver assistance systems approach this issue with methods from the AI research to allow for a reasonable situation evaluation and behavior generation. While the methods proposed in this contribution are lend from cognition in order to mimic human capabilities, we argue that in the long term automated cooperation among traffic participants bears the potential to improve traffic efficiency and safety beyond the level attainable by human drivers. Both issues are major objectives of the Transregional Collaborative Research Centre 28 'cognitive automobiles,' TCRC28 that is outlined in the paper. Within this project the partners focus on systematic and interdisciplinary research on machine cognition of mobile systems as the basis for a scientific theory of automated machine behavior

Which Publications’ Metadata Are in Which Bibliographic Databases? A System for Exploration

The choice of databases containing publications’ metadata (i.e., bibliographic databases) determines the available publication list of any author and, thus, their public appearance and evaluation. Having all publications listed in the various bibliographic databases is therefore important for researchers. However, the average number of publications a researcher publishes per year is steadily rising, making it labor-intensive and time-consuming for authors to investigate whether all their publications are given in all bibliographic databases online. In this paper, we present RefBee, an online system that retrieves the metadata of all publications for a given author from the various bibliographic databases and indicates which publications are missing in which database. Our system is available online at http://refbee.org/ and supports Wikidata, ORCID, Google Scholar, VIAF, DBLP, Dimensions, Microsoft Academic, Semantic Scholar, and DNB/GNB. Our system not only can serve as assistance tool for more than 4.7 million researchers of any discipline and publication’s language, but also incentivizes the usage and population of Wikidata in the scholarly field

Evaluating the availability of open citation data

Citation data of scientific publications are essential for different purposes, such as evaluating research and building digital library collections. In this paper, we analyze to which extent citation data of publications are openly available, using the intersection of the Crossref metadata and unpaywall snapshot as publication dataset and the COCI dataset as open citation data. We reveal that for 24.2% of the publications, the citation data is openly available, while for 16.6%, the citation data is closed. We find that the percentage of publications with open citation data has increased over the years. We observe that whether publications are published with open access has no influence on whether their citations are openly available. However, publications published in journals from the Directory of Open Access Journals (DOAJ) tend to have more citation data openly available than publications from other journals

A Knowledge Graph for Industry 4.0

One of the most crucial tasks for today’s knowledge workers is to get and retain a thorough overview on the latest state of the art. Especially in dynamic and evolving domains, the amount of relevant sources is constantly increasing, updating and overruling previous methods and approaches. For instance, the digital transformation of manufacturing systems, called Industry 4.0, currently faces an overwhelming amount of standardization efforts and reference initiatives, resulting in a sophisticated information environment. We propose a structured dataset in the form of a semantically annotated knowledge graph for Industry 4.0 related standards, norms and reference frameworks. The graph provides a Linked Data-conform collection of annotated, classified reference guidelines supporting newcomers and experts alike in understanding how to implement Industry 4.0 systems. We illustrate the suitability of the graph for various use cases, its already existing applications, present the maintenance process and evaluate its quality

Comparative morphology of Southern Ocean Euphausia species: ecological significance of sexual dimorphic features

Species of the genus Euphausia dominate the euphausiid biomass of the Southern Ocean, the three largest being Euphausia superba, E. triacantha and E. crystallorophias. We measured a number of morphological features to identify differences between, and within, these species to obtain ecological insights. Interspecifically, the greatest difference was carapace size, with that of E. superba being by far the largest and most variable. This likely reflects its prolific spawning capacity compared with other euphausiid species. E. triacantha exhibited an extended sixth abdominal segment that could facilitate greater levels of thrust in the tail flip escape response. The pleopods, which provide propulsion in forward swimming, were more than 50% larger in E. superba, indicating a greater capacity for directional movement at high velocities. E. crystallorophias had eyes that were almost double the size of those in E. superba and E. triacantha, which may help retain visual resolution within its under-ice habitat. Intraspecifically, we found the above morphological features differed little between sexes and developmental stages in E. crystallorophias and E. triacantha, but differed significantly in E. superba. Compared to females and juveniles, male E. superba had significantly larger eyes and pleopods, whilst the carapace in males became shorter as a proportion of body length during growth. These features indicate a greater capacity for searching and swimming in males, which, we hypothesise, increases their ability to locate and fertilise females. This morphological specialisation in male E. superba is indicative of comparatively greater inter-male competition resulting from its tendency to form large, dense swarms

ProofWatch: Watchlist Guidance for Large Theories in E

Watchlist (also hint list) is a mechanism that allows related proofs to guide a proof search for a new conjecture. This mechanism has been used with the Otter and Prover9 theorem provers, both for interactive formalizations and for human-assisted proving of open conjectures in small theories. In this work we explore the use of watchlists in large theories coming from first-order translations of large ITP libraries, aiming at improving hammer-style automation by smarter internal guidance of the ATP systems. In particular, we (i) design watchlist-based clause evaluation heuristics inside the E ATP system, and (ii) develop new proof guiding algorithms that load many previous proofs inside the ATP and focus the proof search using a dynamically updated notion of proof matching. The methods are evaluated on a large set of problems coming from the Mizar library, showing significant improvement of E's standard portfolio of strategies, and also of the previous best set of strategies invented for Mizar by evolutionary methods.Comment: 19 pages, 10 tables, submitted to ITP 2018 at FLO

Heat Treated NiP–SiC Composite Coatings: Elaboration and Tribocorrosion Behaviour in NaCl Solution

Tribocorrosion behaviour of heat-treated NiP and NiP–SiC composite coatings was investigated in a 0.6 M NaCl solution. The tribocorrosion tests were performed in a linear sliding tribometer with an electrochemical cell interface. It was analyzed the influence of SiC particles dispersion in the NiP matrix on current density developed, on coefficient of friction and on wear volume loss. The results showed that NiP–SiC composite coatings had a lower wear volume loss compared to NiP coatings. However, the incorporation of SiC particles into the metallic matrix affects the current density developed by the system during the tribocorrosion test. It was verified that not only the volume of co-deposited particles (SiC vol.%) but also the number of SiC particles per coating area unit (and consequently the SiC particles size) have made influence on the tribocorrosion behaviour of NiP–SiC composite coatings

The OpenCitations Data Model

A variety of schemas and ontologies are currently used for the machine-readable description of bibliographic entities and citations. This diversity, and the reuse of the same ontology terms with different nuances, generates inconsistencies in data. Adoption of a single data model would facilitate data integration tasks regardless of the data supplier or context application. In this paper we present the OpenCitations Data Model (OCDM), a generic data model for describing bibliographic entities and citations, developed using Semantic Web technologies. We also evaluate the effective reusability of OCDM according to ontology evaluation practices, mention existing users of OCDM, and discuss the use and impact of OCDM in the wider open science community.Comment: ISWC 2020 Conference proceeding

Observation of two new Ξb−\Xi_b^- baryon resonances

Two structures are observed close to the kinematic threshold in the $\Xi_b^0 \pi^-$ mass spectrum in a sample of proton-proton collision data, corresponding to an integrated luminosity of 3.0 fb$^{-1}$ recorded by the LHCb experiment. In the quark model, two baryonic resonances with quark content $bds$ are expected in this mass region: the spin-parity $J^P = \frac{1}{2}^+$ and $J^P=\frac{3}{2}^+$ states, denoted $\Xi_b^{\prime -}$ and $\Xi_b^{*-}$. Interpreting the structures as these resonances, we measure the mass differences and the width of the heavier state to be $m(\Xi_b^{\prime -}) - m(\Xi_b^0) - m(\pi^{-}) = 3.653 \pm 0.018 \pm 0.006$ MeV$/c^2$, $m(\Xi_b^{*-}) - m(\Xi_b^0) - m(\pi^{-}) = 23.96 \pm 0.12 \pm 0.06$ MeV$/c^2$, $\Gamma(\Xi_b^{*-}) = 1.65 \pm 0.31 \pm 0.10$ MeV, where the first and second uncertainties are statistical and systematic, respectively. The width of the lighter state is consistent with zero, and we place an upper limit of $\Gamma(\Xi_b^{\prime -}) < 0.08$ MeV at 95% confidence level. Relative production rates of these states are also reported.Comment: 17 pages, 2 figure