cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Dynamical Eigenmodes of Star and Tadpole Polymers
Creators: name: Keesman, Rick
name: Barkema, Gerard T.
name: Panja, Debabrata
Publisher: name: arXiv
Year: 2012
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The dynamics of phantom bead-spring chains with the topology of a symmetric star with $f$ arms and tadpoles ($f=3$, a special case) is studied, in the overdamped limit. In the simplified case where the hydrodynamic radius of the central monomer is $f$ times as heavy as the other beads, we determine their dynamical eigenmodes exactly, along the lines of the Rouse modes for linear bead-spring chains. These eigenmodes allow full analytical calculations of virtually any dynamical quantity. As examples we determine the radius of gyration, the mean square displacement of a tagged monomer, and, for star polymers, the autocorrelation function of the vector that spans from the center of the star to a bead on one of the arms.
description: 21 pages in double spacing preprint format, 5 figures, minor changes in the "Discussion" section, to appear in JSTAT
Contextualised Out-of-Distribution Detection using Pattern Identication
Creators: name: Xu-Darme, Romain
name: Girard-Satabin, Julien
name: Hond, Darryl
name: Incorvaia, Gabriele
name: Chihani, Zakaria
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: In this work, we propose CODE, an extension of existing work from the field of explainable AI that identifies class-specific recurring patterns to build a robust Out-of-Distribution (OoD) detection method for visual classifiers. CODE does not require any classifier retraining and is OoD-agnostic, i.e., tuned directly to the training dataset. Crucially, pattern identification allows us to provide images from the In-Distribution (ID) dataset as reference data to provide additional context to the confidence scores. In addition, we introduce a new benchmark based on perturbations of the ID dataset that provides a known and quantifiable measure of the discrepancy between the ID and OoD datasets serving as a reference value for the comparison between OoD detection methods.
description: arXiv admin note: text overlap with arXiv:2302.10303
Guaranteed recovery of quantum processes from few measurements
Creators: name: Kliesch, M.
name: Kueng, R.
name: Eisert, J.
name: Gross, D.
Publisher: name: Freie Universität Berlin
Year: 2019
Subjects: subject: quantum processes
subject: reconstruction
subject: tomography
subject: 500 Naturwissenschaften und Mathematik::530 Physik::530 Physik

description: Quantum process tomography is the task of reconstructing unknown quantum channels from measured data. In this work, we introduce compressed sensing-based methods that facilitate the reconstruction of quantum channels of low Kraus rank. Our main contribution is the analysis of a natural measurement model for this task: We assume that data is obtained by sending pure states into the channel and measuring expectation values on the output. Neither ancillary systems nor coherent operations across multiple channel uses are required. Most previous results on compressed process reconstruction reduce the problem to quantum state tomography on the channel's Choi matrix. While this ansatz yields recovery guarantees from an essentially minimal number of measurements, physical implementations of such schemes would typically involve ancillary systems. A priori, it is unclear whether a measurement model tailored directly to quantum process tomography might require more measurements. We establish that this is not the case. Technically, we prove recovery guarantees for three different reconstruction algorithms. The reconstructions are based on a trace, diamond, and ℓ2-norm minimization, respectively. Our recovery guarantees are uniform in the sense that with one random choice of measurement settings all quantum channels can be recovered equally well. Moreover, stability against arbitrary measurement noise and robustness against violations of the low-rank assumption is guaranteed. Numerical studies demonstrate the feasibility of the approach.
Hot Stars With Cool Companions
Creators: name: Gullikson, Kevin
name: Kraus, Adam
name: Dodson-Robinson, Sarah
Publisher: name: Zenodo
Year: 2014

description: We present intermediate results of a spectroscopic survey for late K-M companions orbiting nearby A and B type stars. Such companions may have formed in the massive disk of the young primary star, and so may be scaled-up versions of brown dwarfs formed in the disks of less massive stars. In addition, the multiplicity of these bright and young A and B type stars is important to generate samples for adaptive optics planet searches. The method we use to search for companions has a uniform detection threshold for any companion within about 2-3", and so is complementary to ongoing imaging surveys. We find companion stars with a variety of masses, giving early indication that these companions do not form through gravitational disk instability, which would preferentially produce low-mass stars.
Bibliography Of Life: A Freely Accessible Bibliography Of Every Taxonomic Paper Ever Published
Creators: name: King, David
name: Sautter, Guido
name: Morse, David
name: Penev, Lyubomir
name: Biserkov, Jordan
name: Georgiev, Teodor
name: Roberts, Dave
name: Smith, Vince
Publisher: name: Zenodo
Year: 2013
Subjects: bibliographic references
search engine
ReFindit
RefBank
CrossRef
PubMed
Biodiversity Heritage Library (BHL)
Global Names Usage Bank (GNUB)
Mendeley
ZooBank
API

description: A of free services and open source tools for finding, storing, deduplicating and distributing bibliographical references.
Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator
Creators: name: Krajíček, Jan
Publisher: name: arXiv
Year: 2012
Subjects: subject: Computational Complexity (cs.CC)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.2.2; F.4.1

description: For an NP intersect coNP function g of the Nisan-Wigderson type and a string b outside its range we consider a two player game on a common input a to the function. One player, a computationally limited Student, tries to find a bit of g(a) that differs from the corresponding bit of b. He can query a computationally unlimited Teacher for the witnesses of the values of constantly many bits of g(a). The Student computes the queries from a and from Teacher's answers to his previous queries. It was proved by Krajicek (2011) that if g is based on a hard bit of a one-way permutation then no Student computed by a polynomial size circuit can succeed on all a. In this paper we give a lower bound on the number of inputs a any such Student must fail on. Using that we show that there is a pseudo-finite set of hard instances on which all uniform students must fail. The hard-core set is defined in a non-standard model of true arithmetic and has applications in a forcing construction relevant to proof complexity.
Joint Multi-View Collaborative Clustering
Creators: name: Khalafaoui, Yasser
name: Matei, Basarab
name: Grozavu, Nistor
name: Lovisetto, Martino
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Data is increasingly being collected from multiple sources and described by multiple views. These multi-view data provide richer information than traditional single-view data. Fusing the former for specific tasks is an essential component of multi-view clustering. Since the goal of multi-view clustering algorithms is to discover the common latent structure shared by multiple views, the majority of proposed solutions overlook the advantages of incorporating knowledge derived from horizontal collaboration between multi-view data and the final consensus. To fill this gap, we propose the Joint Multi-View Collaborative Clustering (JMVCC) solution, which involves the generation of basic partitions using Non-negative Matrix Factorization (NMF) and the horizontal collaboration principle, followed by the fusion of these local partitions using ensemble clustering. Furthermore, we propose a weighting method to reduce the risk of negative collaboration (i.e., views with low quality) during the generation and fusion of local partitions. The experimental results, which were obtained using a variety of data sets, demonstrate that JMVCC outperforms other multi-view clustering algorithms and is robust to noisy views.
description: 2023 International Joint Conference on Neural Networks (IJCNN), Jun 2023, Gold Coast, Australia
Effects of dietary menthol-rich bioactive lipid compounds on zootechnical traits, blood variables and gastrointestinal function in growing sheep
Creators: name: Patra, Amlan K.
name: Geiger, Sebastian
name: Schrapers, Katharina T.
name: Braun, Hannah-Sophie
name: Gehlen, Heidrun
name: Starke, Alexander
name: Pieper, Robert
name: Cieslak, Adam
name: Szumacher-Strabel, Malgorzata
name: Aschenbach, Jörg R.
Publisher: name: Freie Universität Berlin
Year: 2019
Subjects: subject: electrophysiology
subject: essential oil
subject: feed intake
subject: growth performance
subject: nutrient uptakes
subject: 600 Technik, Medizin, angewandte Wissenschaften::610 Medizin und Gesundheit::610 Medizin und Gesundheit
subject: 500 Naturwissenschaften und Mathematik::590 Tiere (Zoologie)::590 Tiere (Zoologie)

description: Background The present study aimed at investigating the influence of 90% menthol-containing plant bioactive lipid compounds (PBLC, essential oils) on growth performance, blood haematological and biochemical profile, and nutrient absorption in sheep. Twenty-four growing Suffolk sheep were allotted into three dietary treatments: Control (without PBLC), lower dose of PBLC (PBLC-L; 80 mg/d) and higher dose of PBLC (PBLC-H; 160 mg/d). Sheep in all groups were fed meadow hay ad libitum plus 600 g/d of concentrate pellets for 28 d. Results Average daily gain was not affected by treatment. Feeding of PBLC increased hay and total feed intake per kg body weight (P
René Ginouvès, Dictionnaire méthodique de l’architecture grecque et romaine II. Éléments constructifs: Supports, couvertures, aménagements intérieurs
Creators: name: Küpper, Michael
Publisher: name: Bonner Jahrbücher
Year: 2019

description: Rezension zu: René Ginouvès, Dictionnaire méthodique de l’architecture grecque et romaine II. Éléments constructifs: Supports, couvertures, aménagements intérieurs. Unter Mitarbeit von M.-F. Billot, Chr. Bouras, F. Coarelli, J. Coulton, P. Gros, V. Hadjimichali, M.-Ch. Hellmann und C. Krause. Vorwort von R. Martin. Collection de l’École Française de Rome, Band 84. L’Erma di Bretschneider, Rom 1992. 352 Seiten, 90 Tafeln
description: Bonner Jahrbücher, Bd. 196.1996(1997): Bonner Jahrbücher
Finding Warm Debris Disks With Wise Around Bright Stars
Creators: name: Patel, Rahul
name: Metchev, Stanimir
name: Heinze, Aren
Publisher: name: Zenodo
Year: 2014
Subjects: debris disks
WISE
planetary systems
protoplanetary disks
zodiacal dust
statistics

description: We present a sensitive search for WISE W3 (12 μm) and W4 (22 μm) excesses from warm optically thin dust around Hipparcos main sequence stars within 75 pc from the Sun. We use contemporaneously measured photometry from WISE, remove sources of contamination, and derive and apply corrections to saturated fluxes to attain optimal sensitivity to >10 μm excesses. We use data from the WISE All-Sky Survey Catalog rather than the AllWISE release because we find that its saturated photometry is better behaved, allowing us to detect small excesses even around saturated stars in WISE. Our new discoveries increase by 45% the number of stars with warm dusty excesses and expand the number of known debris disks (with excess at any wavelength) within 75 pc by 29%. We identify 220 Hipparcos debris disk host stars, 108 of which are new detections at any wavelength. We present the first measurement of a 12 μm and/or 22 μm excess for 10 stars with previously known cold (50-100 K) disks. We also find five new stars with small but significant W3 excesses, adding to the small population of known exozodi, and we detect evidence for a W2 excess around HIP 96562 (F2V), indicative of tenuous hot (780 K) dust. As a result of our WISE study, the number of debris disks with known 10-30 μm excesses within 75 pc (379) has now surpassed the number of disks with known >30 μm excesses (289, with 171 in common), even if the latter have been found to have a higher occurrence rate in unbiased samples.
A note on higher-derivative actions for free higher-spin fields
Creators: name: Joung, Euihun
name: Mkrtchyan, Karapet
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Higher-derivative theories of free higher-spin fields are investigated focusing on their symmetries. Generalizing familiar two-derivative constrained formulations, we first construct less-constrained Einstein-like and Maxwell-like higher-derivative actions. Then, we construct Weyl-like actions - the actions admitting constrained Weyl symmetries - with different numbers of derivatives. They are presented in a factorized form making use of Einstein-like and Maxwell-like tensors. The last (highest-derivative) member of the hierarchy of the Weyl-like actions coincides with the Fradkin-Tseytlin conformal higher-spin action in four dimensions.
description: Version to appear in JHEP, 22 pages
New Results From The Galex Nearby Young-Star Survey
Creators: name: Rodriguez, David
name: Zuckerman, Ben
name: Kastner, Joel
name: Vican, Laura
name: Principe, David
name: Faherty, Jacqueline
name: Murphy, Simon
name: Bessell, Mike
Publisher: name: Zenodo
Year: 2014
Subjects: young stars
low mass stars
moving groups

description: The last few decades have seen the discovery of many 10-100 Myr-old stars in moving groups within 100 parsecs of Earth. The present membership of these groups, however, is still incomplete at the lowest masses.

We have initiated a program, the GALEX Nearby Young-Star Survey, or GALNYSS, to search for these missing M-stars. GALNYSS has combined ultraviolet data from GALEX with near-IR surveys (WISE and 2MASS), as well as kinematic information, in order to identify over 2000 candidate young low-mass stars near Earth. Spectroscopic follow-up is ongoing, and results thus far confirm the youthful nature of many stars among the GALNYSS sample. This suggests that our technique is capable of revealing the populations of low-mass stars that are presently missing from the nearby young moving groups. We present an overview of our survey to date, including the characteristics of the GALNYSS sample and highlights from GALNYSS's latest contributions to our knowledge of the number and membership of nearby, young stellar associations.

This work is supported by NASA Astrophysics Data Analysis Program award NNX12AH37G to RIT and UCLA and Chilean FONDECYT grant 3130520 to Universidad de Chile.
Measurement of the $B_c^{-}$ meson lifetime in the decay $B_{c}^{-} \rightarrow J/ψ~π^{-}$
Creators: name: CDF Collaboration
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The lifetime of the $B_c^{-}$ meson is measured using 272 exclusive $B_{c}^{-} \to J/ψ(\to μ^+μ^-) π^-$ decays reconstructed in data from proton-antiproton collisions corresponding to an integrated luminosity of 6.7 fb$^{-1}$ recorded by the CDF II detector at the Fermilab Tevatron. The lifetime of the $B_c^{-}$ meson is measured to be $τ$($B_c^{-}$) = 0.452 $\pm$ 0.048(stat) $\pm$ 0.027(syst) ps. This is the first measurement of the $B_c^{-}$ meson lifetime in a fully-reconstructed hadronic channel, and it agrees with previous results and has comparable precision.
description: 9 pages, 5 figures
Towards a critical green southern criminology: an analysis of criminal selectivity, indigenous peoples and green harms in Argentina
Creators: name: Weis, Valeria Vegh
Publisher: name: Freie Universität Berlin
Year: 2019
Subjects: subject: Argentinean Indigenous peoples
subject: criminal selectivity
subject: green harms
subject: over-criminalisation
subject: social protest
subject: under-criminalisation
subject: 300 Sozialwissenschaften::340 Recht::345 Strafrecht
subject: 900 Geschichte und Geografie::980 Geschichte Südamerikas::982 Geschichte Argentiniens

description: This paper offers critical analytical tools to progress the development of a critical green southern criminology. Using Argentina as a case study, the article develops the notion of criminal selectivity to expose the biased functioning of the criminal justice system. The article explores how crime control is used to the detriment of Indigenous peoples, despite the fact that their protests do not produce significant social harm and are framed within constitutional rights. Conversely, the study exposes how the criminal justice system is not used to prosecute green harms perpetrated by corporations or the unlawful use of force against native peoples by law enforcement agencies, despite the harm of those behaviours on the environment and communities. The article exposes how the Argentinean criminal justice system targets the most vulnerable peoples while failing to provide environmental protections, and is an indicator of the bias within criminal justice systems in the Global South.
Probing the "$μ$ from $ν$" supersymmetric standard model with displaced multileptons from the decay of a Higgs boson at the LHC
Creators: name: Ghosh, Pradipta
name: Lopez-Fogliani, Daniel E.
name: Mitsou, Vasiliki A.
name: Munoz, Carlos
name: de Austri, Roberto Ruiz
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The "$μ$ from $ν$" supersymmetric standard model ($μν$SSM) cures the $μ$-problem and concurrently reproduces measured neutrino data by using a set of usual right-handed neutrino superfields. Recently, the LHC has revealed the first scalar boson which naturally makes it tempting to test $μν$SSM in the light of this new discovery. We show that this new scalar while decaying to a pair of unstable long-lived neutralinos, can lead to a distinct signal with non-prompt multileptons. With concomitant collider analysis we show that this signal provides an unmistakable signature of the model, pronounced with light neutralinos. Evidence of this signal is well envisaged with sophisticated displaced vertex analysis, which deserves experimental attention.
description: 5 pages, 3 figures, title, text, abstract and references modified
Searching For Binary Y Dwarfs With The Gemini Multi-Conjugate Adaptive Optics System (Gems)
Creators: name: Opitz, Daniela
name: Tinney, Chris
Publisher: name: Zenodo
Year: 2014
Subjects: Brown Dwarfs
Y Dwarfs
Binaries

description: The NASA Wide-field Infrared Survey Explorer (WISE) has delivered an exceptional harvest of new ultra-cool Y-type brown dwarfs. We present results from a diffraction-limited study of the binary status of a sample of Y dwarfs observed with the Gemini GeMS Multi-Conjugate Adaptive Optics system. We report no evidence of equal mass/luminosity binaries at separations larger than ~ 0.5 -2.0 AU for six Y dwarfs.
Memory-Based Reduced Modelling and Data-Based Estimation of Opinion Spreading
Creators: name: Wulkow, Niklas
name: Koltai, Peter
name: Schütte, Christof
Publisher: name: Freie Universität Berlin
Year: 2021
Subjects: subject: Memory-based model
subject: Sparse model identification
subject: Mori-Zwanzig formalism
subject: Nonlinear autoregressive model
subject: Opinion dynamics
subject: Agent-based model
subject: 500 Naturwissenschaften und Mathematik::510 Mathematik::510 Mathematik

description: We investigate opinion dynamics based on an agent-based model and are interested in predicting the evolution of the percentages of the entire agent population that share an opinion. Since these opinion percentages can be seen as an aggregated observation of the full system state, the individual opinions of each agent, we view this in the framework of the Mori-Zwanzig projection formalism. More specifically, we show how to estimate a nonlinear autoregressive model (NAR) with memory from data given by a time series of opinion percentages, and discuss its prediction capacities for various specific topologies of the agent interaction network. We demonstrate that the inclusion of memory terms significantly improves the prediction quality on examples with different network topologies.
Simulation des écoulements gravitaires avec les modèles d'écoulement en couche mince: état de l'art et exemple d'application aux coulées de débris de la Rivière du Prêcheur (Martinique, Petites Antilles)
Creators: name: Peruzzetto, Marc
name: BRGM)
name: (BRGM), Gilles Grandjean
name: Paris, Anne Mangeney (IPG
name: UPCité)
name: (BRGM), Clara Levy
name: (BRGM), Yannick Thiery
name: (BRGM, Benoit Vittecoq
name: LGENS)
name: (LAMA), François Bouchut
name: (UR, Fabrice Fontaine
name: IPGP)
name: (IPGP, Jean-Christophe Komorowski
name: UPCité)
Publisher: name: arXiv
Year: 2023
Subjects: subject: Geophysics (physics.geo-ph)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Quantifying the propagation of landslides is a key step for analyzing gravitational risks. In this context, thin-layer models have met a growing success over the past years to simulate the dynamics of gravitational flows, such as debris flows. They are easier to use and require less computing ressources than 3D models, and provide more detailed estimations of flow thicknesses and velocities than purely empirical methods. In this literature review, we present the main rheologies used to model homogeneous gravitational flows, and describe a practical case study with debris flow modeling in the Pr{ê}cheur River (Martinique, Lesser Antilles). Then, we discuss possible developments for operational hazard and risk assessment with thin-layer models.
description: in French language
A soft X-ray reverberation lag in the AGN ESO 113-G010
Creators: name: Cackett, E. M.
name: Fabian, A. C.
name: Zoghbi, A.
name: Kara, E.
name: Reynolds, C.
name: Uttley, P.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Reverberation lags have recently been discovered in a handful of nearby, variable AGN. Here, we analyze a ~100 ksec archival XMM-Newton observation of the highly variable AGN, ESO 113-G010 in order to search for lags between hard, 1.5 - 4.5 keV, and soft, 0.3 - 0.9 keV, energy X-ray bands. At the lowest frequencies available in the lightcurve (<1.5E-4 Hz), we find hard lags where the power-law dominated hard band lags the soft band (where the reflection fraction is high). However, at higher frequencies in the range (2-3)E-4 Hz we find a soft lag of -325 +/- 89 s. The general evolution from hard to soft lags as the frequency increases is similar to other AGN where soft lags have been detected. We interpret this soft lag as due to reverberation from the accretion disk, with the reflection component responding to variability from the X-ray corona. For a black hole mass of 7E6 M(solar) this corresponds to a light-crossing time of ~9 R_g/c, however, dilution effects mean that the intrinsic lag is likely longer than this. Based on recent black hole mass-scaling for lag properties, the lag amplitude and frequency are more consistent with a black hole a few times more massive than the best estimates, though flux-dependent effects could easily add scatter this large.
description: 5 pages, 4 figures, 1 table. Accepted for publication in ApJ Letters
Marco Milanese, Genova romana. Mercato e città'dalla tarda età repubblicana a Diocleziano dagli scavi del Colle di Castello (Genova, San Silvestro 2)
Creators: name: Bermond Montanari, Giovanna
Publisher: name: Bonner Jahrbücher
Year: 2019

description: Rezension zu: Marco Milanese, Genova romana. Mercato e città'dalla tarda età repubblicana a Diocleziano dagli scavi del Colle di Castello (Genova, San Silvestro 2). Studia Archaeologica, Band 62. L’Erma di Bretschneider, Rom 1993. 403 Seiten, 137 Abbildungen
description: Bonner Jahrbücher, Bd. 196.1996(1997): Bonner Jahrbücher
Before, During, and After Examination: Development of Prospective Preschool Teachers’ Mathematics-Related Enjoyment and Self-Efficacy
Creators: name: Blömeke, Sigrid
name: Thiel, Oliver
name: Jenßen, Lars
Publisher: name: Freie Universität Berlin
Year: 2019
Subjects: subject: early childhood education
subject: preschool teacher
subject: mathematics
subject: longitudinal study
subject: attitudes
subject: 300 Sozialwissenschaften::370 Bildung und Erziehung::372 Primär- und Elementarbildung
subject: 500 Naturwissenschaften und Mathematik::510 Mathematik::510 Mathematik

description: This article examines the stability of Norwegian prospective preschool teachers’ enjoyment of mathematics and their mathematics-related self-efficacy before, during, and after a teacher-education examination. In addition, the stability of the two constructs across countries was examined through a comparison with Germany. The data revealed partial stability (technically speaking, metric invariance) of enjoyment but not of self-efficacy. Self-efficacy increased significantly before and after the examination without decreasing enjoyment, which may be a result of incre ased learning time. Prior mathematical knowledge predicted the level and development of enjoyment and self-efficacy in both countries. Many Norwegian students reported low mathematics-related enjoyment and self-efficacy, including negative developments. It may be important to provide positive experiences of mathematical activities during preschool teacher education.
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
Creators: name: Moszkowski, Ben
Publisher: name: arXiv
Year: 2012
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1, F.3.1

description: Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated. We solve the longstanding open problem of finding a complete axiom system for basic quantifier-free propositional ITL (PITL) with infinite time for analysing nonterminating computational systems. Our completeness proof uses a reduction to completeness for PITL with finite time and conventional propositional linear-time temporal logic. Unlike completeness proofs of equally expressive logics with nonelementary computational complexity, our semantic approach does not use tableaux, subformula closures or explicit deductions involving encodings of omega automata and nontrivial techniques for complementing them. We believe that our result also provides evidence of the naturalness of interval-based reasoning.
ORCA-SPOT: An Automatic Killer Whale Sound Detection Toolkit Using Deep Learning
Creators: name: Bergler, Christian
name: Schröter, Hendrik
name: Cheng, Rachael Xi
name: Barth, Volker
name: Weber, Michael
name: Nöth, Elmar
name: Hofer, Heribert
name: Maier, Andreas
Publisher: name: Freie Universität Berlin
Year: 2019
Subjects: subject: animal behaviour
subject: behavioural ecology
subject: 500 Naturwissenschaften und Mathematik::590 Tiere (Zoologie)::599 Mammalia (Säugetiere)

description: Large bioacoustic archives of wild animals are an important source to identify reappearing communication patterns, which can then be related to recurring behavioral patterns to advance the current understanding of intra-specific communication of non-human animals. A main challenge remains that most large-scale bioacoustic archives contain only a small percentage of animal vocalizations and a large amount of environmental noise, which makes it extremely difficult to manually retrieve sufficient vocalizations for further analysis – particularly important for species with advanced social systems and complex vocalizations. In this study deep neural networks were trained on 11,509 killer whale (Orcinus orca) signals and 34,848 noise segments. The resulting toolkit ORCA-SPOT was tested on a large-scale bioacoustic repository – the Orchive – comprising roughly 19,000 hours of killer whale underwater recordings. An automated segmentation of the entire Orchive recordings (about 2.2 years) took approximately 8 days. It achieved a time-based precision or positive-predictive-value (PPV) of 93.2% and an area-under-the-curve (AUC) of 0.9523. This approach enables an automated annotation procedure of large bioacoustics databases to extract killer whale sounds, which are essential for subsequent identification of significant communication patterns. The code will be publicly available in October 2019 to support the application of deep learning to bioaoucstic research. ORCA-SPOT can be adapted to other animal species.
Mobilization Of Data From Historical Literature Through Markup, Data Extraction And Re-Publishing: The Flora Of Northumberland And Durham (1838) Starts A New Life!
Creators: name: Groom, Quentin
name: Georgiev, Teodor
name: Biserkov, Jordan
name: Stoev, Pavel
name: Agosti, Donat
name: Penev, Lyubomir
Publisher: name: Zenodo
Year: 2014
Subjects: markup
data extraction
re-publishing
legacy literature

description: A poster presented at the EU BON 2014 General Meeting in Crete.
Quantum channel detection
Creators: name: Macchiavello, C.
name: Rossi, M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present a method to detect properties of quantum channels, assuming that some a priori information about the form of the channel is available. The method is based on a correspondence with entanglement detection methods for multipartite density matrices based on witness operators. We first illustrate the method in the case of entanglement breaking channels and non separable random unitary channels, and show how it can be implemented experimentally by means of local measurements. We then study the detection of non separable maps and show that for pairs of systems of dimension higher than two the detection operators are not the same as in the random unitary case, highlighting a richer separability structure of quantum channels with respect to quantum states. Finally we consider the set of PPT maps, developing a technique to reveal NPT maps.
description: 7 pages, 4 figures, published version
Energy efficiency in Edge TPU vs. embedded GPU for computer-aided medical imaging segmentation and classification
Creators: name: Corral, José María Rodríguez
name: Civit-Masot, Javier
name: Luna-Perejón, Francisco
name: Díaz-Cano, Ignacio
name: Morgado-Estévez, Arturo
name: Domínguez-Morales, Manuel
Publisher: name: arXiv
Year: 2023
Subjects: subject: Image and Video Processing (eess.IV)
subject: Artificial Intelligence (cs.AI)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Machine Learning (cs.LG)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: In this work, we evaluate the energy usage of fully embedded medical diagnosis aids based on both segmentation and classification of medical images implemented on Edge TPU and embedded GPU processors. We use glaucoma diagnosis based on color fundus images as an example to show the possibility of performing segmentation and classification in real time on embedded boards and to highlight the different energy requirements of the studied implementations. Several other works develop the use of segmentation and feature extraction techniques to detect glaucoma, among many other pathologies, with deep neural networks. Memory limitations and low processing capabilities of embedded accelerated systems (EAS) limit their use for deep network-based system training. However, including specific acceleration hardware, such as NVIDIA's Maxwell GPU or Google's Edge TPU, enables them to perform inferences using complex pre-trained networks in very reasonable times. In this study, we evaluate the timing and energy performance of two EAS equipped with Machine Learning (ML) accelerators executing an example diagnostic tool developed in a previous work. For optic disc (OD) and cup (OC) segmentation, the obtained prediction times per image are under 29 and 43 ms using Edge TPUs and Maxwell GPUs, respectively. Prediction times for the classification subsystem are lower than 10 and 14 ms for Edge TPUs and Maxwell GPUs, respectively. Regarding energy usage, in approximate terms, for OD segmentation Edge TPUs and Maxwell GPUs use 38 and 190 mJ per image, respectively. For fundus classification, Edge TPUs and Maxwell GPUs use 45 and 70 mJ, respectively.
description: 37 pages, 20 figures. Accepted manuscript. Published in "Engineering Applications of Artificial Intelligence" (Elsevier), ISSN 0952-1976
MiniAnDE: a reduced AnDE ensemble to deal with microarray data
Creators: name: Torrijos, Pablo
name: Gámez, José A.
name: Puerta, José M.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantitative Methods (q-bio.QM)
subject: Machine Learning (cs.LG)
subject: FOS: Biological sciences
subject: FOS: Computer and information sciences

description: This article focuses on the supervised classification of datasets with a large number of variables and a small number of instances. This is the case, for example, for microarray data sets commonly used in bioinformatics. Complex classifiers that require estimating statistics over many variables are not suitable for this type of data. Probabilistic classifiers with low-order probability tables, e.g. NB and AODE, are good alternatives for dealing with this type of data. AODE usually improves NB in accuracy, but suffers from high spatial complexity since $k$ models, each with $n+1$ variables, are included in the AODE ensemble. In this paper, we propose MiniAnDE, an algorithm that includes only a small number of heterogeneous base classifiers in the ensemble, i.e., each model only includes a different subset of the $k$ predictive variables. Experimental evaluation shows that using MiniAnDE classifiers on microarray data is feasible and outperforms NB and other ensembles such as bagging and random forest.
Plasmid-Chromosome Crosstalk in Staphylococcus aureus: A Horizontally Acquired Transcription Regulator Controls Polysaccharide Intercellular Adhesin-Mediated Biofilm Formation
Creators: name: Marincola, Gabriella
name: Jaschkowitz, Greta
name: Kieninger, Ann-Katrin
name: Wencker, Freya D. R.
name: Fessler, Andrea T.
name: Schwarz, Stefan
name: Ziebuhr, Wilma
Publisher: name: Freie Universität Berlin
Year: 2021
Subjects: subject: Staphylococcus aureus
subject: biofilm regulation
subject: PIA/ica
subject: IcaR
subject: horizontal gene transfer
subject: plasmid-chromosome crosstalk
subject: 500 Naturwissenschaften und Mathematik::570 Biowissenschaften; Biologie::570 Biowissenschaften; Biologie

description: Livestock-associated methicillin-resistant Staphylococcus aureus (LA-MRSA) of clonal complex CC398 typically carry various antimicrobial resistance genes, many of them located on plasmids. In the bovine LA-MRSA isolate Rd11, we previously identified plasmid pAFS11 in which resistance genes are co-localized with a novel ica-like gene cluster, harboring genes required for polysaccharide intercellular adhesin (PIA)-mediated biofilm formation. The ica genes on pAFS11 were acquired in addition to a pre-existing ica locus on the S. aureus Rd11 chromosomal DNA. Both loci consist of an icaADBC operon and icaR, encoding a corresponding icaADBC repressor. Despite carrying two biofilm gene copies, strain Rd11 did not produce PIA and transformation of pAFS11 into another S. aureus strain even slightly diminished PIA-mediated biofilm formation. By focusing on the molecular background of the biofilm-negative phenotype of pAFS11-carrying S. aureus, we identified the pAFS11-borne ica locus copy as functionally fully active. However, transcription of both plasmid- and core genome-derived icaADBC operons were efficiently suppressed involving IcaR. Surprisingly, although being different on the amino acid sequence level, the two IcaR repressor proteins are mutually replaceable and are able to interact with the icaA promoter region of the other copy. We speculate that this regulatory crosstalk causes the biofilm-negative phenotype in S. aureus Rd11. The data shed light on an unexpected regulatory interplay between pre-existing and newly acquired DNA traits in S. aureus. This also raises interesting general questions regarding functional consequences of gene transfer events and their putative implications for the adaptation and evolution of bacterial pathogens.
Rashba Spin Orbit Interaction and Birefringent Electron Optics in Graphene
Creators: name: Asmar, Mahmoud M.
name: Ulloa, Sergio E.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Electron optics exploits the analogies between rays in geometrical optics and electron trajectories, leading to interesting insights and potential applications. Graphene, with its two-dimensionality and photon-like behavior of its charge carriers, is the perfect candidate for the exploitation of electron optics. We show that a circular gate-controlled region in the presence of Rashba spin-orbit interaction in graphene may indeed behave as a Veselago electronic lens but with two different indices of refraction. We demonstrate that this birefringence results in complex caustics patterns for a circular gate, selective focusing of different spins, and the possible direct measurement of the Rashba coupling strength in scanning probe experiments.
A Re-Publication Of Flora Malesiana In Semantically Enriched Open Access Edition
Creators: name: Penev, Lyubomir
name: Georgiev, Teodor
name: Biserkov, Jordan
name: Hamann, Thomas
name: Schalk, Peter
name: Müller, Andreas
name: Güntsch, Anton
name: Catapano, Terry
name: Agosti, Donat
Publisher: name: Zenodo
Year: 2014
Subjects: markup
data extraction
re-publishing
legacy literature
semantically enriched
open access

description: A pilot demonstrating how scientifically important historical monographs, enriched with additional information from up-to-date external sources related to taxon names, species treatments, morphological characters, etc., become freely usable for anyone at any place in the world, in addition to other benefits of the digitization and markup effort such as data extraction and collation, distribution and re-use of atomized content, and archiving of different data elements in relevant repositories.
Topological characterization of fractional quantum Hall ground states from microscopic Hamiltonians
Creators: name: Zaletel, Michael P.
name: Mong, Roger S. K.
name: Pollmann, Frank
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We show how to numerically calculate several quantities that characterize topological order starting from a microscopic fractional quantum Hall (FQH) Hamiltonian. To find the set of degenerate ground states, we employ the infinite density matrix renormalization group (iDMRG) method based on the matrix-product state (MPS) representation of FQH states on an infinite cylinder. To study localized quasiparticles of a chosen topological charge, we use pairs of degenerate ground states as boundary conditions for the iDMRG. We then show that the wave function obtained on the infinite cylinder geometry can be adapted to a torus of arbitrary modular parameter, which allows us to explicitly calculate the non-Abelian Berry connection associated with the modular T-transformation. As a result, the quantum dimensions, topological spins, quasiparticle charges, chiral central charge, and Hall viscosity of the phase can be obtained using data contained entirely in the entanglement spectrum of an infinite cylinder.
description: 5 pages text plus 16 pages of supplemental materials, v2 added central charge and Hall Viscosity, v3 (published version) added convergence of numerical data
Spectral and Intermittency Properties of Relativistic Turbulence
Creators: name: Zrake, Jonathan
name: MacFadyen, Andrew
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Computational Physics (physics.comp-ph)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: High-resolution numerical simulations are utilized to examine isotropic turbulence in a compressible fluid when long wavelength velocity fluctuations approach light speed. Spectral analysis reveals an inertial sub-range of relativistic motions with a broadly 5/3 index. The use of generalized Lorentz-covariant structure functions based on the four-velocity is proposed. These structure functions extend the She-Leveque model for intermittency into the relativistic regime.
Nonparametric Bernstein-von Mises theorems in Gaussian white noise
Creators: name: Castillo, Ismaël
name: Nickl, Richard
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistics Theory (math.ST)
subject: FOS: Mathematics

description: Bernstein-von Mises theorems for nonparametric Bayes priors in the Gaussian white noise model are proved. It is demonstrated how such results justify Bayes methods as efficient frequentist inference procedures in a variety of concrete nonparametric problems. Particularly Bayesian credible sets are constructed that have asymptotically exact $1-α$ frequentist coverage level and whose $L^2$-diameter shrinks at the minimax rate of convergence (within logarithmic factors) over Hölder balls. Other applications include general classes of linear and nonlinear functionals and credible bands for auto-convolutions. The assumptions cover nonconjugate product priors defined on general orthonormal bases of $L^2$ satisfying weak conditions.
description: Published in at http://dx.doi.org/10.1214/13-AOS1133 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Coating of upconversion nanoparticles with silica nanoshells of 5–250 nm thickness
Creators: name: Kembuan, Cynthia
name: Saleh, Maysoon
name: Rühle, Bastian
name: Resch-Genger, Ute
name: Graf, Christina
Publisher: name: Freie Universität Berlin
Year: 2019
Subjects: subject: reverse microemulsion
subject: silica coating
subject: stepwise growth
subject: thick shells
subject: upconversion nanoparticles
subject: 500 Naturwissenschaften und Mathematik::540 Chemie::541 Physikalische Chemie

description: A concept for the growth of silica shells with a thickness of 5–250 nm onto oleate-coated NaYF4:Yb3+/Er3+ upconversion nanoparticles (UCNP) is presented. The concept enables the precise adjustment of shell thicknesses for the preparation of thick-shelled nanoparticles for applications in plasmonics and sensing. First, an initial 5–11 nm thick shell is grown onto the UCNPs in a reverse microemulsion. This is followed by a stepwise growth of these particles without a purification step, where in each step equal volumes of tetraethyl orthosilicate and ammonia water are added, while the volumes of cyclohexane and the surfactant Igepal® CO-520 are increased so that the ammonia water and surfactant concentrations remain constant. Hence, the number of micelles stays constant, and their size is increased to accommodate the growing core–shell particles. Consequently, the formation of core-free silica particles is suppressed. When the negative zeta potential of the particles, which continuously decreased during the stepwise growth, falls below −40 mV, the particles can be dispersed in an ammoniacal ethanol solution and grown further by the continuous addition of tetraethyl orthosilicate to a diameter larger than 500 nm. Due to the high colloidal stability, a coalescence of the particles can be suppressed, and single-core particles are obtained. This strategy can be easily transferred to other nanomaterials for the design of plasmonic nanoconstructs and sensor systems.
Deep learning algorithms out-perform veterinary pathologists in detecting the mitotically most active tumor region
Creators: name: Aubreville, Marc
name: Bertram, Christof A.
name: Marzahl, Christian
name: Gurtner, Corinne
name: Dettwiler, Martina
name: Bartenschlager, Florian
name: Merz, Sophie
name: Fragoso, Marco
name: Kershaw, Olivia
name: Klopfleisch, Robert
Publisher: name: Freie Universität Berlin
Year: 2020
Subjects: subject: digital image-analysis
subject: breast-cancer
subject: mitosis detection
subject: carcinoma
subject: proliferation
subject: heterogeneity
subject: system
subject: 600 Technik, Medizin, angewandte Wissenschaften::630 Landwirtschaft::630 Landwirtschaft und verwandte Bereiche

description: Manual count of mitotic figures, which is determined in the tumor region with the highest mitotic activity, is a key parameter of most tumor grading schemes. It can be, however, strongly dependent on the area selection due to uneven mitotic figure distribution in the tumor section. We aimed to assess the question, how significantly the area selection could impact the mitotic count, which has a known high inter-rater disagreement. On a data set of 32 whole slide images of H&E-stained canine cutaneous mast cell tumor, fully annotated for mitotic figures, we asked eight veterinary pathologists (five board-certified, three in training) to select a field of interest for the mitotic count. To assess the potential difference on the mitotic count, we compared the mitotic count of the selected regions to the overall distribution on the slide. Additionally, we evaluated three deep learning-based methods for the assessment of highest mitotic density: In one approach, the model would directly try to predict the mitotic count for the presented image patches as a regression task. The second method aims at deriving a segmentation mask for mitotic figures, which is then used to obtain a mitotic density. Finally, we evaluated a two-stage object-detection pipeline based on state-of-the-art architectures to identify individual mitotic figures. We found that the predictions by all models were, on average, better than those of the experts. The two-stage object detector performed best and outperformed most of the human pathologists on the majority of tumor cases. The correlation between the predicted and the ground truth mitotic count was also best for this approach (0.963-0.979). Further, we found considerable differences in position selection between pathologists, which could partially explain the high variance that has been reported for the manual mitotic count. To achieve better interrater agreement, we propose to use a computer-based area selection for support of the pathologist in the manual mitotic count.
Changes In Sediment Transport As A Key Factor In The Transformation Of Branches Structure And Braided Pattern Channel Types:  Case Study Of Unregulated (Northern Dvina) And Regulated (Vistula) Rivers
Creators: name: Chalov, Sergey R.
name: Habel, Michal
Publisher: name: Zenodo
Year: 2014
Subjects: Northern Dvina River, Vistula River, braided rivers

description: The paper presents a new approach to the evaluation of braided rivers structure, mainly with the use of quantitative methods proposed by Alexeevsky and Chalov. Comparative study was conducted in relation to lowland braided reaches of large rivers, the Vistula (in Poland) and Northern Dvina (in Russia). The authors point at a directe relationship between braided channel types and sediment supply.
description: The research leading to these results has received funding from the People Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme FP7/2007-2013/ under REA grant agreement n° [PIRSES-GA-2012-318969].