cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Present status and first results of the final focus beam line at the KEK Accelerator Test Facility
Creators: name: Bambade, P.
name: Pons, M. Alabau
name: Amann, J.
name: Angal-Kalinin, D.
name: Apsimon, R.
name: Araki, S.
name: Aryshev, A.
name: Bai, S.
name: Bellomo, P.
name: Bett, D.
name: Blair, G.
name: Bolzon, B.
name: Boogert, S.
name: Boorman, G.
name: Burrows, P. N.
name: Christian, G.
name: Coe, P.
name: Constance, B.
name: Delahaye, Jean-Pierre
name: Deacon, L.
name: Elsen, E.
name: Faus-Golfe, A.
name: Fukuda, M.
name: Gao, J.
name: Geffroy, N.
name: Gianfelice-Wendt, E.
name: Guler, H.
name: Hayano, H.
name: Heo, A. -Y.
name: Honda, Y.
name: Huang, J. Y.
name: Hwang, W. H.
name: Iwashita, Y.
name: Jeremie, A.
name: Jones, J.
name: Kamiya, Y.
name: Karataev, P.
name: Kim, E. -S.
name: Kim, H. -S.
name: Kim, S. H.
name: Komamiya, S.
name: Kubo, K.
name: Kume, T.
name: Kuroda, S.
name: Lam, B.
name: Lyapin, A.
name: Masuzawa, M.
name: McCormick, D.
name: Molloy, S.
name: Naito, T.
name: Nakamura, T.
name: Nelson, J.
name: Okamoto, D.
name: Okugi, T.
name: Oroku, M.
name: Park, Y. J.
name: Parker, B.
name: Paterson, E.
name: Perry, C.
name: Pivi, M.
name: Raubenheimer, T.
name: Renier, Y.
name: Resta-Lopez, J.
name: Rimbault, C.
name: Ross, M.
name: Sanuki, T.
name: Scarfe, A.
name: Schulte, D.
name: Seryi, A.
name: Spencer, C.
name: Suehara, T.
name: Sugahara, R.
name: Swinson, C.
name: Takahashi, T.
name: Tauchi, T.
name: Terunuma, N.
name: Tomas, R.
name: Urakawa, J.
name: Urner, D.
name: Verderi, M.
name: Wang, M. -H.
name: Warden, M.
name: Wendt, M.
name: White, G.
name: Wittmer, W.
name: Wolski, A.
name: Woodley, M.
name: Yamaguchi, Y.
name: Yamanaka, T.
name: Yan, Y.
name: Yoda, H.
name: Yokoya, K.
name: Zhou, F.
name: Zimmermann, F.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: FOS: Physical sciences

description: ATF2 is a final-focus test beam line which aims to focus the low emittance beam from the ATF damping ring to a vertical size of about 37 nm and to demonstrate nanometer level beam stability. Several advanced beam diagnostics and feedback tools are used. In December 2008, construction and installation were completed and beam commissioning started, supported by an international team of Asian, European, and U.S. scientists. The present status and first results are described.
description: 10 pp
title: International cooperation in higher education in social work : a trainer of trainers experience
Creators: name: Morante del Peral, María Luz
name: JUAN TOSET, EVA MARÍA
name: Morata Garcia De La Puerta, Maria Belen
Publisher: name: Universidade Lusíada Editora
Year: 2012

description: Intervenção social. - ISSN 0874-1611. - N. 39 (1.º semestre 2012). - p. 29-44.
Additional file 12 of Effectiveness of integrated Aedes albopictus management in southern Switzerland
Creators: name: Ravasi, Damiana
name: Parrondo Monton, Diego
name: Tanadini, Matteo
name: Flacio, Eleonora
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Physiology
subject: FOS: Biological sciences
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology
subject: Computational Biology

description: Additional file 12: Text S5. This pdf file documents the full analysis of the number of Aedes albopictus adult females collected in 2019. This pdf was created with Rmarkdown and allows for the full reproducibility of the analysis.
Adaptive Non-linear Pattern Matching Automata
Creators: name: Erkens, Rick
name: Laveaux, Maurice
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Efficient pattern matching is fundamental for practical term rewrite engines. By preprocessing the given patterns into a finite deterministic automaton the matching patterns can be decided in a single traversal of the relevant parts of the input term. Most automaton-based techniques are restricted to linear patterns, where each variable occurs at most once, and require an additional post-processing step to check so-called variable consistency. However, we can show that interleaving the variable consistency and pattern matching phases can reduce the number of required steps to find all matches. Therefore, we take the existing adaptive pattern matching automata as introduced by Sekar et al and extend these with consistency checks. We prove that the resulting deterministic pattern matching automaton is correct, and show several examples where some reduction can be achieved.
Searches for Higgs bosons in pp collisions at sqrt(s) = 7 and 8 TeV in the context of four-generation and fermiophobic models
Creators: name: CMS Collaboration
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: Searches are reported for Higgs bosons in the context of either the standard model extended to include a fourth generation of fermions (SM4) with masses of up to 600 GeV or fermiophobic models. For the former, results from three decay modes (tau tau, WW, and ZZ) are combined, whilst for the latter the diphoton decay is exploited. The analysed proton-proton collision data correspond to integrated luminosities of up to 5.1 inverse femtobarns at 7 TeV and up to 5.3 inverse femtobarns at 8 TeV. The observed results exclude the SM4 Higgs boson in the mass range 110-600 GeV at 99% confidence level (CL), and in the mass range 110-560 GeV at 99.9% CL. A fermiophobic Higgs boson is excluded in the mass range 110-147 GeV at 95% CL, and in the range 110-133 GeV at 99% CL. The recently observed boson with a mass near 125 GeV is not consistent with either an SM4 or a fermiophobic Higgs boson.
description: Replaced with published version. Added DOI
Additional file 13 of Effectiveness of integrated Aedes albopictus management in southern Switzerland
Creators: name: Ravasi, Damiana
name: Parrondo Monton, Diego
name: Tanadini, Matteo
name: Flacio, Eleonora
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Physiology
subject: FOS: Biological sciences
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology
subject: Computational Biology

description: Additional file 13: Text S6. This pdf file documents the full analysis of the number of Aedes albopictus eggs collected in 2012, 2013 [14] and 2019. This pdf was created with Rmarkdown and allows for the full reproducibility of the analysis.
Maps of CMB lensing deflection from N-body simulations in Coupled Dark Energy Cosmologies
Creators: name: Carbone, Carmelita
name: Baldi, Marco
name: Pettorino, Valeria
name: Baccigalupi, Carlo
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We produce lensing potential and deflection-angle maps in order to simulate CMB weak-lensing via ray-tracing through the COupled Dark Energy Cosmological Simulations (CoDECS). The constructed maps reflect the N-body cosmic structures on a range of scales going from the arcminute to the degree scale. We investigate the variation of the lensing pattern due to the DE dynamics, characterised by different background and perturbation behaviours as a consequence of the interaction between the DE field and CDM. We study the results from three models differing in the background and perturbations evolution, with the purpose to isolate their imprints in the lensing observables. The scenarios investigated include a reference LCDM cosmology, a standard coupled DE (cDE) scenario, and a "bouncing" cDE scenario. For the standard cDE scenario, we find that differences in the lensing potential result from two effects: the enhanced growth of linear CDM density fluctuations with respect to the LCDM case, and the modified nonlinear dynamics of collapsed structures induced by the DE-CDM interaction. As a consequence, CMB lensing highlights the DE impact in the cosmological expansion, even in the degenerate case where the amplitude of the linear matter density perturbations, parametrised through sigma_8, is the same in both the standard cDE and LCDM cosmologies. For the bouncing scenario, we find that the two opposite behaviours of the lens density contrast and of the matter abundance lead to a counter-intuitive effect, making the power of the lensing signal lower by 10% than in the LCDM scenario. Moreover, we compare the behaviour of CDM and baryons in CoDECS separately, in order to isolate effects coming from the coupling with the DE component. We find that, in the bouncing scenario, baryons show an opposite trend with respect to CDM, due to the coupling of the latter with the DE component. [abridged]
description: 23 pages, 12 figures, 2 tables, slightly changed to match the accepted version on JCAP
A theory of transaction parallelism in blockchains
Creators: name: Bartoletti, Massimo
name: Galletta, Letterio
name: Murgia, Maurizio
Publisher: name: arXiv
Year: 2020
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Decentralized blockchain platforms have enabled the secure exchange of crypto-assets without the intermediation of trusted authorities. To this purpose, these platforms rely on a peer-to-peer network of byzantine nodes, which collaboratively maintain an append-only ledger of transactions, called blockchain. Transactions represent the actions required by users, e.g. the transfer of some units of crypto-currency to another user, or the execution of a smart contract which distributes crypto-assets according to its internal logic. Part of the nodes of the peer-to-peer network compete to append transactions to the blockchain. To do so, they group the transactions sent by users into blocks, and update their view of the blockchain state by executing these transactions in the chosen order. Once a block of transactions is appended to the blockchain, the other nodes validate it, re-executing the transactions in the same order. The serial execution of transactions does not take advantage of the multi-core architecture of modern processors, so contributing to limit the throughput. In this paper we develop a theory of transaction parallelism for blockchains, which is based on static analysis of transactions and smart contracts. We illustrate how blockchain nodes can use our theory to parallelize the execution of transactions. Initial experiments on Ethereum show that our technique can improve the performance of nodes.
description: arXiv admin note: text overlap with arXiv:1905.04366
Additional file 1 of A novel easy-to-use index to predict institutionalization and death in older population – a 10-year population-based follow-up study
Creators: name: Heikkilä, Elisa
name: Salminen, Marika
name: Viljanen, Anna
name: Katajamäki, Taina
name: Koivula, Marja-Kaisa
name: Pulkki, Kari
name: Isoaho, Raimo
name: Kivelä, Sirkka-Liisa
name: Viitanen, Matti
name: Löppönen, Minna
name: Vahlberg, Tero
name: Venäläinen, Mikko S.
name: Elo, Laura L.
name: Viikari, Laura
name: Irjala, Kerttu
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Additional file 1: Appendix 1. Clinical parameters used for the indexes. Appendix 2. Laboratory analytes and their reference ranges used for the indexes. Appendix 3. Baseline characteristics of study participants (n=1172)
Quantum transport in topological insulator hybrid structures -- A combination of topological insulator and superconductor
Creators: name: Ou, YongXi
name: Singh, Meenakshi
name: Wang, Jian
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: In this paper, a brief review of the history of topological insulators is given. After that,electronic transport experiments in topological insulator-superconductor hybrid structures, including experimental methods, physical properties and seemingly contradictory observations are discussed. Additionally, some new topological insulator hybrid structures are proposed.
Wiener index in graphs with given minimum degree and maximum degree
Creators: name: Dankelmann, Peter
name: Alochukwu, Alex
Publisher: name: arXiv
Year: 2020
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05C12 (primary) 92E10 (secondary)

description: Let $G$ be a connected graph of order $n$.The Wiener index $W(G)$ of $G$ is the sum of the distances between all unordered pairs of vertices of $G$. In this paper we show that the well-known upper bound $\big( \frac{n}{δ+1}+2\big) {n \choose 2}$ on the Wiener index of a graph of order $n$ and minimum degree $δ$ [M. Kouider, P. Winkler, Mean distance and minimum degree. J. Graph Theory 25 no. 1 (1997)] can be improved significantly if the graph contains also a vertex of large degree. Specifically, we give the asymptotically sharp bound $W(G) \leq {n-Δ+δ\choose 2} \frac{n+2Δ}{δ+1}+ 2n(n-1)$ on the Wiener index of a graph $G$ of order $n$, minimum degree $δ$ and maximum degree $Δ$. We prove a similar result for triangle-free graphs, and we determine a bound on the Wiener index of $C_4$-free graphs of given order, minimum and maximum degree and show that it is, in some sense, best possible.
Empirical Near Infrared colors for low-mass stars and brown dwarfs in the Orion Nebula Cluster
Creators: name: Scandariato, Gaetano
name: Da Rio, Nicola
name: Robberto, Massimo
name: Pagano, Isabella
name: Stassun, Keivan
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Atmospheric and evolutionary models for low-mass stars rely on approximate assumptions on the physics of the stellar structure and the atmospheric radiative transfer. This leads to biased theoretical predictions on the photospheric Spectral Energy Distributions of Pre-Main Sequence (PMS) stars, and affects the derivation of stellar parameters from photometric data. Our goal is to correct the biases present in the theoretical predictions for the near-IR photometry of low-mass PMS stars. Using empirical intrinsic IR colors, we assess the accuracy of current synthetic spectral libraries and evolutionary models. We consider a sample of ~300 PMS stars in the Orion Nebula Cluster (age 1 Myr) with measured luminosities, temperatures and photospheric JHKs photometry. By analyzing the photospheric colors of our sample of stars, we find that the synthetic JHKs photometry provided by theoretical spectral templates for late spectral types (>K6) are accurate at the level of ~0.2 mag, while colors are accurate at ~0.1 mag. We tabulate the intrinsic photospheric colors, appropriate for the Orion Nebula Cluster, in the range K6-M8.5. They can be conveniently used as templates for the intrinsic colors of other young (age<5 Myr) stellar clusters. An empirical correction of the atmospheric templates can fix the discrepancies between expected and observed colors. Still, other biases in the evolutionary models prevent a more robust comparison between observations and theoretical absolute magnitudes. In particular, PMS evolutionary models seem to consistently underestimate the intrinsic near-infrared flux at the very late spectral types, and this may introduce spurious features in the low-mass end of the photometrically-determined Initial Mass Function of young clusters.
description: Accepted by A&A
Additional file 14 of Effectiveness of integrated Aedes albopictus management in southern Switzerland
Creators: name: Ravasi, Damiana
name: Parrondo Monton, Diego
name: Tanadini, Matteo
name: Flacio, Eleonora
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Physiology
subject: FOS: Biological sciences
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology
subject: Computational Biology

description: Additional file 14: Text S7. This pdf file documents additional data analyses of the number of Aedes albopictus eggs collected in 2019 performed at a reviewer’s request. This pdf was created with Rmarkdown and allows for the full reproducibility of the analysis.
Edm. Meyer, Untersuchungen über die Schlacht im Teutoburger Walde
Creators: name: N., [?]
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Edm. Meyer, Untersuchungen über die Schlacht im Teutoburger Walde. Berlin 1893. 232 SS. 8°.
description: Bonner Jahrbücher, Bd. 95 (1894): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
The Unusually Luminous Extragalactic Nova SN 2010U
Creators: name: Czekala, Ian
name: Berger, E.
name: Chornock, R.
name: Pastorello, A.
name: Marion, G. H.
name: Margutti, R.
name: Botticella, M. T.
name: Challis, P.
name: Ergon, M.
name: Smartt, S.
name: Sollerman, J.
name: Vinkó, J.
name: Wheeler, J. C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We present observations of the unusual optical transient SN 2010U, including spectra taken 1.03 days to 15.3 days after maximum light that identify it as a fast and luminous Fe II type nova. Our multi-band light curve traces the fast decline (t_2 = 3.5 days) from maximum light (M_V = -10.2 mag), placing SN 2010U in the top 0.5% of the most luminous novae ever observed. We find typical ejecta velocities of approximately 1100 km/s and that SN 2010U shares many spectral and photometric characteristics with two other fast and luminous Fe II type novae, including Nova LMC 1991 and M31N-2007-11d. For the extreme luminosity of this nova, the maximum magnitude vs. rate of decline relationship indicates a massive white dwarf progenitor with a low pre-outburst accretion rate. However, this prediction is in conflict with emerging theories of nova populations, which predict that luminous novae from massive white dwarfs should preferentially exhibit an alternate spectral type (He/N) near maximum light.
description: 16 pages, 16 figures. Submitted to the Astrophysical Journal
title: Küstenschutz in Schleswig-Holstein: ein Überblick über Strategien und Maßnahmen
titleType: Subtitle
Creators: name: Hofstede, Jacobus
Publisher: name: Bundesanstalt für Wasserbau
Year: 2019

description: Die Küste 87 (2019), Kuratorium für Forschung im Küsteningenieurwesen (KFKI)
description: Mit der etwa 1.105 km langen sandigen Küstenlinie, zahlreichen Inseln und Halligen so-wie den etwa 3.990 km2 großen Küstenniederungen ist Schleswig-Holstein den Angriffen des Meeres in besonderer Weise ausgesetzt. In den potentiell überflutungsgefährdeten Küstenniederungen leben 354.000 Menschen, und es sind Sachwerte in Höhe von insge-samt 49 Milliarden Euro vorhanden. Diese Zahlen unterstreichen die übergeordnete Be-deutung eines nachhaltigen Küstenschutzes für Schleswig-Holstein, insbesondere vor dem Hintergrund eines künftig verstärkt ansteigenden Meeresspiegels. In diesem Beitrag wird, nach einem kurzen Abriss zur historischen Entwicklung des Küs-tenschutzes in Schleswig-Holstein, das Bemessungskonzept „Klimadeich“ für Landes-schutzdeiche erläutert. Dieses Konzept wurde mit der Fortschreibung 2012 des General-plans Küstenschutz eingeführt und 2018 nochmals erweitert. Anschließend werden die wichtigsten Maßnahmen des Küstenschutzes an Nord- und Ostsee dargestellt. Der Bei-trag schließt mit einem Ausblick auf die Anpassung an den Klimawandel an den Küsten Schleswig-Holsteins ab
description:
The German Federal State of Schleswig-Holstein with its about 1,100 km long sandy shorelines, many islands and about 3,990 km2 large coastal lowlands is particularly exposed to the destructive forces of the sea. In the flood-prone coastal lowlands, 354,000 people live and capital assets amounting to 49 billion Euro are concentrated. These values demonstrate the significance of a well-functioning sustainable coastal risk management in Schleswig-Holstein, especially in the light of accelerating sea level rise. This manuscript starts with a short historical outline of the development of coastal flood defense and pro-tection in Schleswig-Holstein. This outline is followed by a description of the design concept for strengthen-ing of seawalls, which was introduced with the updated master plan coastal flood defense and protection in 2012 and further developed in 2018. Subsequently, the main coastal risk management measures along the North Sea and the Baltic Sea coastlines of Schleswig-Holstein are introduced. This manuscript ends with an outlook on adaptation to climate change and sea level rise.

description: Schleswig-Holstein, Küstenschutz, Seedeiche, Küstensicherung, Klima-Anpassung
description: Schleswig-Holstein, coastal flood defense, coastal protection, seawalls, climate-change-adaptation
A Probabilistic Higher-order Fixpoint Logic
Creators: name: Mitani, Yo
name: Kobayashi, Naoki
name: Tsukada, Takeshi
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We introduce PHFL, a probabilistic extension of higher-order fixpoint logic, which can also be regarded as a higher-order extension of probabilistic temporal logics such as PCTL and the $μ^p$-calculus. We show that PHFL is strictly more expressive than the $μ^p$-calculus, and that the PHFL model-checking problem for finite Markov chains is undecidable even for the $μ$-only, order-1 fragment of PHFL. Furthermore the full PHFL is far more expressive: we give a translation from Lubarsky's $μ$-arithmetic to PHFL, which implies that PHFL model checking is $Π^1_1$-hard and $Σ^1_1$-hard. As a positive result, we characterize a decidable fragment of the PHFL model-checking problems using a novel type system.
Quantum corrections to dynamical holographic thermalization: entanglement entropy and other non-local observables
Creators: name: Baron, Walter H.
name: Schvellinger, Martin
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate the thermalization time scale in the planar limit of the SU(N) N=4 SYM plasma at strong yet finite 't Hooft coupling by considering its supergravity dual description, including the full O(alpha'^3) type IIB string theory corrections. We also discuss on the effects of the leading non-planar corrections. We use extended geometric probes in the bulk which are dual to different non-local observables in the N=4 SYM theory. This is carried out within the framework of dynamical holographic thermalization.
description: 19 pages, 4 figures. V2: References added, 1 figure added, 1 figure corrected, enlarged discussions about extended probes, typos corrected. Published version
Additional file 15 of Effectiveness of integrated Aedes albopictus management in southern Switzerland
Creators: name: Ravasi, Damiana
name: Parrondo Monton, Diego
name: Tanadini, Matteo
name: Flacio, Eleonora
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Physiology
subject: FOS: Biological sciences
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology
subject: Computational Biology

description: Additional file 15: Figure S2. Study area in the 2012 and 2013 evaluation of the Ticino intervention programme [14]. The map was prepared using the geographic information system (GIS) software ArcGIS version 10.0 (ESRI Inc., USA).
A Near-Optimal Parallel Algorithm for Joining Binary Relations
Creators: name: Ketsman, Bas
name: Suciu, Dan
name: Tao, Yufei
Publisher: name: arXiv
Year: 2020
Subjects: subject: Databases (cs.DB)
subject: FOS: Computer and information sciences

description: We present a constant-round algorithm in the massively parallel computation (MPC) model for evaluating a natural join where every input relation has two attributes. Our algorithm achieves a load of $\tilde{O}(m/p^{1/ρ})$ where $m$ is the total size of the input relations, $p$ is the number of machines, $ρ$ is the join's fractional edge covering number, and $\tilde{O}(.)$ hides a polylogarithmic factor. The load matches a known lower bound up to a polylogarithmic factor. At the core of the proposed algorithm is a new theorem (which we name the "isolated cartesian product theorem") that provides fresh insight into the problem's mathematical structure. Our result implies that the subgraph enumeration problem, where the goal is to report all the occurrences of a constant-sized subgraph pattern, can be settled optimally (up to a polylogarithmic factor) in the MPC model.
Agelas
Creators: name: Parra-Velandia, Fernando J.
name: Zea, Sven
name: Van Soest, Rob W. M.
Publisher: name: Zenodo
Year: 2014
Subjects: Biodiversity
Taxonomy
Animalia
Porifera
Demospongiae
Agelasida
Agelasidae
Agelas

description: The genus Agelas in the Greater Caribbean
 Given its conspicuousness in the Greater Caribbean reefs, almost all major taxonomic works for this area include the common species of Agelas (Wiedenmayer 1977; Pulitzer-Finali 1986; Zea 1987; Lehnert & van Soest 1996; 1998; 1999). In addition, some recent detailed works have added new species (Alcolado 1984; Gotera & Alcolado 1987; van Soest & Stentoft 1988; Lehnert & van Soest 1996; Assmann et al. 2001). However, there is still a great deal of taxonomic confusion, even for the more common species, owing to: a) reliance on live external features and on too few internal characters, b) existence of geographically distinct morphotypes within some species, and c) difficulty in defining species from old, fixed, sometimes unaccounted for, type specimens.
 Previous works focused in the Greater Caribbean, have included between 16 and 21 species in Agelas (respectively, van Soest et al. 2008; Assmann et al. 2001), many of which are important components of the reef biota (Zea 1994). In this paper, we present a taxonomic revision of the genus for the Greater Caribbean area, using morphological characters, ascribing its richness to 13 species.
Samples and observations covered Colombia, Belize, Jamaica, Bahamas, Barbados, Curaçao and Venezuela. Only through widespread collecting efforts and detailed morphological studies, together with revision of museum material and molecular analyses (Parra-Velandia 2011) it has been possible to begin understanding the extent of local and regional variation and to arrive at a clearer definition of species.
description: Published as part of Parra-Velandia, Fernando J., Zea, Sven & Van Soest, Rob W. M., 2014, Reef sponges of the genus Agelas (Porifera: Demospongiae) from the Greater Caribbean, pp. 301-343 in Zootaxa 3794 (3) on pages 302-303, DOI: 10.11646/zootaxa.3794.3.1, http://zenodo.org/record/285997
Infinite Probabilistic Databases
Creators: name: Grohe, Martin
name: Lindner, Peter
Publisher: name: arXiv
Year: 2020
Subjects: subject: Databases (cs.DB)
subject: FOS: Computer and information sciences

description: Probabilistic databases (PDBs) model uncertainty in data in a quantitative way. In the established formal framework, probabilistic (relational) databases are finite probability spaces over relational database instances. This finiteness can clash with intuitive query behavior (Ceylan et al., KR 2016), and with application scenarios that are better modeled by continuous probability distributions (Dalvi et al., CACM 2009). We formally introduced infinite PDBs in (Grohe and Lindner, PODS 2019) with a primary focus on countably infinite spaces. However, an extension beyond countable probability spaces raises nontrivial foundational issues concerned with the measurability of events and queries and ultimately with the question whether queries have a well-defined semantics. We argue that finite point processes are an appropriate model from probability theory for dealing with general probabilistic databases. This allows us to construct suitable (uncountable) probability spaces of database instances in a systematic way. Our main technical results are measurability statements for relational algebra queries as well as aggregate queries and Datalog queries.
description: This is the full version of the paper "Infinite Probabilistic Databases" presented at ICDT 2020 (arXiv:1904.06766)
Additional file 1 of Effectiveness of integrated Aedes albopictus management in southern Switzerland
Creators: name: Ravasi, Damiana
name: Parrondo Monton, Diego
name: Tanadini, Matteo
name: Flacio, Eleonora
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Physiology
subject: FOS: Biological sciences
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology
subject: Computational Biology

description: Additional file 1: Figure S1. Comparison of monthly average (a), minimum (b) maximum (c) temperatures and precipitations (d) between intervention and non-intervention areas.
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
Creators: name: Konnov, Igor
name: Lazić, Marijana
name: Stoilkovska, Ilina
name: Widder, Josef
Publisher: name: arXiv
Year: 2020
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Threshold guards are a basic primitive of many fault-tolerant algorithms that solve classical problems in distributed computing, such as reliable broadcast, two-phase commit, and consensus. Moreover, threshold guards can be found in recent blockchain algorithms such as, e.g., Tendermint consensus. In this article, we give an overview of techniques for automated verification of threshold-guarded fault-tolerant distributed algorithms, implemented in the Byzantine Model Checker (ByMC). These threshold-guarded algorithms have the following features: (1) up to $t$ of processes may crash or behave Byzantine; (2) the correct processes count messages and make progress when they receive sufficiently many messages, e.g., at least $t+1$; (3) the number $n$ of processes in the system is a parameter, as well as the number $t$ of faults; and (4) the parameters are restricted by a resilience condition, e.g., $n > 3t$. Traditionally, these algorithms were implemented in distributed systems with up to ten participating processes. Nowadays, they are implemented in distributed systems that involve hundreds or thousands of processes. To make sure that these algorithms are still correct for that scale, it is imperative to verify them for all possible values of the parameters.
Modularising Verification Of Durable Opacity
Creators: name: Bila, Eleni
name: Derrick, John
name: Doherty, Simon
name: Dongol, Brijesh
name: Schellhorn, Gerhard
name: Wehrheim, Heike
Publisher: name: arXiv
Year: 2020
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: FOS: Computer and information sciences

description: Non-volatile memory (NVM), also known as persistent memory, is an emerging paradigm for memory that preserves its contents even after power loss. NVM is widely expected to become ubiquitous, and hardware architectures are already providing support for NVM programming. This has stimulated interest in the design of novel concepts ensuring correctness of concurrent programming abstractions in the face of persistency and in the development of associated verification approaches. Software transactional memory (STM) is a key programming abstraction that supports concurrent access to shared state. In a fashion similar to linearizability as the correctness condition for concurrent data structures, there is an established notion of correctness for STMs known as opacity. We have recently proposed durable opacity as the natural extension of opacity to a setting with non-volatile memory. Together with this novel correctness condition, we designed a verification technique based on refinement. In this paper, we extend this work in two directions. First, we develop a durably opaque version of NOrec (no ownership records), an existing STM algorithm proven to be opaque. Second, we modularise our existing verification approach by separating the proof of durability of memory accesses from the proof of opacity. For NOrec, this allows us to re-use an existing opacity proof and complement it with a proof of the durability of accesses to shared state.
Multimodal Dependent Type Theory
Creators: name: Gratzer, Daniel
name: Kavvos, G. A.
name: Nuyts, Andreas
name: Birkedal, Lars
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode theory allow us to use the same type theory to compute and reason in many modal situations, including guarded recursion, axiomatic cohesion, and parametric quantification. We reproduce examples from prior work in guarded recursion and axiomatic cohesion, thereby demonstrating that MTT constitutes a simple and usable syntax whose instantiations intuitively correspond to previous handcrafted modal type theories. In some cases, instantiating MTT to a particular situation unearths a previously unknown type theory that improves upon prior systems. Finally, we investigate the metatheory of MTT. We prove the consistency of MTT and establish canonicity through an extension of recent type-theoretic gluing techniques. These results hold irrespective of the choice of mode theory, and thus apply to a wide variety of modal situations.
Experimentally efficient methods for estimating the performance of quantum measurements
Creators: name: Magesan, Easwar
name: Cappellaro, Paola
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Efficient methods for characterizing the performance of quantum measurements are important in the experimental quantum sciences. Ideally, one requires both a physically relevant distinguishability measure between measurement operations and a well-defined experimental procedure for estimating the distinguishability measure. Here, we propose the average measurement fidelity and error between quantum measurements as distinguishability measures. We present protocols for obtaining bounds on these quantities that are both estimable using experimentally accessible quantities and scalable in the size of the quantum system. We explain why the bounds should be valid in large generality and illustrate the method via numerical examples.
description: 20 pages, 1 figure. Expanded details and typos corrected. Accepted version
A new operational representation of dependencies in Event Structures
Creators: name: Pinna, G. Michele
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.m; H.1

description: The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event structures. Event structures are related to Petri nets. The aim of this paper is to propose what can be the appropriate kind of Petri net corresponding to Context-Dependent Event structures, giving an operational flavour to the dependencies represented in a Context/Dependent Event structure. Dependencies are often operationally represented, in Petri nets, by tokens produced by activities and consumed by others. Here we shift the perspective using contextual arcs to characterize what has happened so far and in this way to describe the dependencies among the various activities.
On slice alternating 3-braid closures
Creators: name: Brejevs, Vitalijs
Publisher: name: arXiv
Year: 2020
Subjects: subject: Geometric Topology (math.GT)
subject: FOS: Mathematics
subject: 57K10

description: We construct ribbon surfaces of Euler characteristic one for several infinite families of alternating 3-braid closures. We also use a twisted Alexander polynomial obstruction to conclude the classification of smoothly slice knots which are closures of alternating 3-braids with up to 20 crossings.
description: 18 pages, 10 figures, 3 tables; added Section 4 and appendix with twisted Alexander polynomial computations, changed title, made minor corrections and improvements in Sections 1-3, uploaded accompanying code
Average-case algorithms for testing isomorphism of polynomials, algebras, and multilinear forms
Creators: name: Grochow, Joshua A.
name: Qiao, Youming
name: Tang, Gang
Publisher: name: arXiv
Year: 2020
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: We study the problems of testing isomorphism of polynomials, algebras, and multilinear forms. Our first main results are average-case algorithms for these problems. For example, we develop an algorithm that takes two cubic forms $f, g\in \mathbb{F}_q[x_1,\dots, x_n]$, and decides whether $f$ and $g$ are isomorphic in time $q^{O(n)}$ for most $f$. This average-case setting has direct practical implications, having been studied in multivariate cryptography since the 1990s. Our second result concerns the complexity of testing equivalence of alternating trilinear forms. This problem is of interest in both mathematics and cryptography. We show that this problem is polynomial-time equivalent to testing equivalence of symmetric trilinear forms, by showing that they are both Tensor Isomorphism-complete (Grochow-Qiao, ITCS, 2021), therefore is equivalent to testing isomorphism of cubic forms over most fields.
description: Journal version at the journal of Groups, Complexity, Cryptology
Locality of the overlap-Dirac operator on topology-fixed gauge configurations
Creators: name: Cho, Yong-Gwi
name: Hashimoto, Shoji
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: We investigate the locality property of the overlap-Dirac operator on gauge configurations generated with extra Wilson fermions. By such extra terms we expect that the structure of the Aoki phase would change drastically. In particular, we study the possibility of defining the overlap-Dirac operator in the strong coupling regime keeping its exponential locality.
description: 7 pages, 5 figures, Proceedings of the 30th International Symposium on Lattice Field Theory, June 24 - 29, 2012, Cairns, Australia
On the decay of singular inner functions
Creators: name: Ransford, Thomas
Publisher: name: arXiv
Year: 2020
Subjects: subject: Complex Variables (math.CV)
subject: FOS: Mathematics
subject: 30J15 (primary), 28A78 (secondary)

description: It is known that, if $S(z)$ is a non-constant, singular inner function defined on the unit disk, then $\min_{|z|\le r}|S(z)|\to0$ as $r\to1^-$. We show that the convergence may be arbitrarily slow.
Additional file 1 of Examining the relationship between food insecurity and causes of injury in Canadian adults and adolescents
Creators: name: Men, Fei
name: Urquia, Marcelo L.
name: Tarasuk, Valerie
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Ecology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: Science Policy

description: Additional file 1: Table S1. ICD-10-CA code for injury-related ED visits. Table S2. Food insecurity status, based on CCHS 18-item questionnaire. Table S3. Rate per 10,000 persons of past-year injury-related ED visit by food insecurity status, stratified by sex and age. Table S4. Incidence rate ratio from adjusted Poisson model on past-year injury-related ED visits in overall sample. Table S5. Incidence rate ratio from Poisson models on past-year injury-related ED visits in overall sample and by sex and age subsamples. Table S6. Sensitivity test on all-cause injury-related ED visits. Table S7. Poisson models on past-year ED visits due to cause-specific injuries in overall sample . Fig. S1. Adjusted predicted probability of injury by food insecurity status: overall sample and by sex and age subsamples. Fig. S2. Adjusted predicted probability of specific non-intentional injury by food insecurity status: overall sample.
title: Criação e validação de uma escala de complexidade da intervenção social com adultos em contexto hospitalar
Creators: name: Andrade de Oliveira Serafim, Maria do Rosário
name: Lopes Andrade Espírito Santo, Maria Inês
Publisher: name: Universidade Lusíada Editora
Year: 2012

description: Intervenção social. - ISSN 0874-1611. - N. 39 (1.º semestre 2012). - p. 45-87.
The Stagger-grid: A Grid of 3D Stellar Atmosphere Models - I. Methods and General Properties
Creators: name: Magic, Z.
name: Collet, R.
name: Asplund, M.
name: Trampedach, R.
name: Hayek, W.
name: Chiavassa, A.
name: Stein, R. F.
name: Nordlund, Å.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We present the Stagger-grid, a comprehensive grid of time-dependent, 3D hydrodynamic model atmospheres for late-type stars with realistic treatment of radiative transfer, covering a wide range in stellar parameters. This grid of 3D models is intended for various applications like stellar spectroscopy, asteroseismology and the study of stellar convection. In this introductory paper, we describe the methods used for the computation of the grid and discuss the general properties of the 3D models as well as their temporal and spatial averages (<3D>). All our models were generated with the Stagger-code, using realistic input physics for the equation of state (EOS) and for continuous and line opacities. Our ~220 grid models range in Teff from 4000 to 7000K in steps of 500K, in log g from 1.5 to 5.0 in steps of 0.5 dex, and [Fe/H] from -4.0 to +0.5 in steps of 0.5 and 1.0 dex. We find a tight scaling relation between the vertical velocity and the surface entropy jump, which itself correlates with the constant entropy value of the adiabatic convection zone. The range in intensity contrast is enhanced at lower metallicity. The granule size correlates closely with the pressure scale height sampled at the depth of maximum velocity. We compare the <3D> models with widely applied 1D models, as well as with theoretical 1D hydrostatic models generated with the same EOS and opacity tables as the 3D models, in order to isolate the effects of using self-consistent and hydrodynamic modeling of convection, rather than the classical mixing length theory approach. For the first time, we are able to quantify systematically over a broad range of stellar parameters the uncertainties of 1D models arising from the simplified treatment of physics, in particular convective energy transport. In agreement with previous findings, we find that the differences can be significant, especially for metal-poor stars.
description: Accepted for publication in A&A, 31 pages, 29 figures
Additional file 1 of The extent and barriers in providing pharmaceutical care services by community pharmacists in Malaysia: a cross-sectional study
Creators: name: Loh, Pengyeow
name: Chua, Siew Siang
name: Karuppannan, Mahmathi
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1.
An Analytic Propositional Proof System on Graphs
Creators: name: Acclavio, Matteo
name: Horne, Ross
name: Straßburger, Lutz
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-conditions and look at arbitrary undirected) graphs. This means that we lose the tree structure of the formulas corresponding to the cographs, and we can no longer use standard proof theoretical methods that depend on that tree structure. In order to overcome this difficulty, we use a modular decomposition of graphs and some techniques from deep inference where inference rules do not rely on the main connective of a formula. For our proof system we show the admissibility of cut and a generalisation of the splitting property. Finally, we show that our system is a conservative extension of multiplicative linear logic with mix, and we argue that our graphs form a notion of generalised connective.
Nonequilibrium density matrix for quantum transport: Hershfield approach as a McLennan-Zubarev form of the statistical operator
Creators: name: Ness, H.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: In this paper, we formally demonstrate that the non-equilibrium density matrix developed by Hershfield for the steady state has the form of a McLennan-Zubarev non-equilibrium ensemble. The correction term in this pseudo equilibrium Gibbs-like ensemble is directly related to the entropy production in the quantum open system. The fact the both methods state that a non-equilibrium steady state can be mapped onto a pseudo-equilibrium, permits us to develop non-equilibrium quantities from formal expressions equivalent to the equilibrium case. We provide an example: the derivation of a non-equilibrium distribution function for the electron population in a scattering region in the context of quantum transport.
description: revised version - accepted for publication in PRE (Aug 2013)
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
Creators: name: Biewer, Sebastian
name: Dimitrova, Rayna
name: Fries, Michael
name: Gazda, Maciej
name: Heinze, Thomas
name: Hermanns, Holger
name: Mousavi, Mohammad Reza
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains. We instantiate our definition using existing notions of conformance for cyber-physical systems. As a formal basis for monitoring conformance-based cleanness, we develop the temporal logic HyperSTL*, an extension of Signal Temporal Logics with trace quantifiers and a freeze operator. We show that our generalised definitions are essential in a data-driven method for doping detection and apply our definitions to a case study concerning diesel emission tests.
Mittheilungen aus Th. Bergk’s Nachlasse
Creators: name: Asbach, Julius
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 81 (1886): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande