cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
Creators: name: Ancona, Davide
name: Franceschini, Luca
name: Delzanno, Giorgio
name: Leotta, Maurizio
name: Ribaudo, Marina
name: Ricca, Filippo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: In the last years Node.js has emerged as a framework particularly suitable for implementing lightweight IoT applications, thanks to its underlying asynchronous event-driven, non blocking I/O model. However, verifying the correctness of programs with asynchronous nested callbacks is quite difficult, and, hence, runtime monitoring can be a valuable support to tackle such a complex task. Runtime monitoring is a useful software verification technique that complements static analysis and testing, but has not been yet fully explored in the context of Internet of Things (IoT) systems. Trace expressions have been successfully employed for runtime monitoring in widespread multiagent system platforms. Recently, their expressive power has been extended to allow parametric specifications on data that can be captured and monitored only at runtime. Furthermore, they can be language and system agnostic, through the notion of event domain and type. This paper investigates the use of parametric trace expressions as a first step towards runtime monitoring of programs developed in Node.js and Node-RED, a flow-based IoT programming tool built on top of Node.js. Runtime verification of such systems is a task that mostly seems to have been overlooked so far in the literature. A prototype implementing the proposed system for Node.js, in order to dynamically check with trace expressions the correct usage of API functions, is presented. The tool exploits the dynamic analysis framework Jalangi for monitoring Node.js programs and allows detection of errors that would be difficult to catch with other techniques. Furthermore, it offers a simple REST interface which can be exploited for runtime verification of Node-RED components, and, more generally, IoT devices.
description: In Proceedings ALP4IoT 2017, arXiv:1802.00976
Additional file 1: of The Interdialytic Creatinine Rise is a novel marker of volume overload and mortality risk in hemodialysis patients
Creators: name: Ilic, Ljubomir
name: Davis, Roger
name: Brown, Robert
name: Lecker, Stewart
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Cell Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Developmental Biology
subject: Science Policy
subject: Computational Biology

description: Scientific basis for the Interdialytic Creatinine Rise (IDCR) as a marker of changes in body volume: derivation of IDCR as a marker of volume from the principle of mass conservation and simulation of volume gain for different IDCR values. (DOCX 537 kb)
Additional file 3: of Discordant amyloid-Î˛ PET and CSF biomarkers and its clinical consequences
Creators: name: Wilde, Arno
name: Reimand, Juhan
name: Teunissen, Charlotte
name: Zwan, Marissa
name: Windhorst, Albert
name: Boellaard, Ronald
name: Flier, Wiesje
name: Scheltens, Philip
name: Berckel, Bart
name: Bouwman, Femke
name: Ossenkoppele, Rik
Publisher: name: figshare
Year: 2019
Subjects: Biochemistry
Space Science
Medicine
Cell Biology
Neuroscience
Biological Sciences not elsewhere classified
Information Systems not elsewhere classified
Mathematical Sciences not elsewhere classified
Developmental Biology
Mental Health
Computational Biology

description: Table S2. Longitudinal slopes of cognitive domains in concordant and discordant patients. (DOCX 25 kb)
Culex pulicaris Linnaeus, 1758, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1758
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Culicidae
Culex
Culex pulicaris

description: Culex pulicaris [spec. nov.]
C. alis hyalinis: maculis tribus obscuris. Faun. svec. 1117.
Fl. lapp. 365.
Derh. phys-th. l. 1. c. 11. f. 5, 6.
Habitat in Europa; in America. Kalm.
Cursitat, mordet, relinquit punctum fuscum. Amoen. acad. 3. p. 343.
description: Published as part of Linnaeus, Carolus, 1758, Systema Naturae per regna tria naturae: secundum classes, ordines, genera, species, cum characteribus, differentiis, synonymis, locis, Stockholm :Laurentius Salvius on page 603, DOI: 10.5962/bhl.title.542, http://zenodo.org/record/3922206
THE ROLE AND SIGNIFICANCE OF POETRY COLLECTIONS IN JADID LITERATURE
Creators: name: Giyosova, Hilola
Publisher: name: Zenodo
Year: 2025

description: This article provides, for the first time, a detailed description and monographic characterization of the poetry collections Milliy ash’ori Tarjimon by Bahrombek Davlatshoyev, Yangi adabiyot by Hoji Muin, and Milliy she’rlar majmuasi yoxud adab ad-din by Mulla Saidahmad Vasliy.
Additional file 2: of Persistent synovial inflammation plays important roles in persistent pain development in the rat knee before cartilage degradation reaches the subchondral bone
Creators: name: Hoshino, Takashi
name: Kunikazu Tsuji
name: Onuma, Hiroaki
name: Udo, Mio
name: Ueki, Hiroko
name: Akiyama, Masako
name: Kahaer Abula
name: Katagiri, Hiroki
name: Miyatake, Kazumasa
name: Toshihumi Watanabe
name: Sekiya, Ichiro
name: Koga, Hideyuki
name: Muneta, Takeshi
Publisher: name: figshare
Year: 2018
Subjects: subject: Biophysics
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology
subject: Science Policy

description: Table S2. Osteoarthritis cartilage histopathology: grading and staging. An OA cartilage pathology assessment system deliberated by OARSI Working Group [18]. (DOCX 32 kb)
SACRE: Supporting contextual requirements' adaptation in modern self-adaptive systems in the presence of uncertainty at runtime
Creators: name: Zavala, Edith
name: Franch, Xavier
name: Marco, Jordi
name: Knauss, Alessia
name: Damian, Daniela
Publisher: name: arXiv
Year: 2018
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Runtime uncertainty such as unpredictable resource unavailability, changing environmental conditions and user needs, as well as system intrusions or faults represents one of the main current challenges of self-adaptive systems. Moreover, today's systems are increasingly more complex, distributed, decentralized, etc. and therefore have to reason about and cope with more and more unpredictable events. Approaches to deal with such changing requirements in complex today's systems are still missing. This work presents SACRE (Smart Adaptation through Contextual REquirements), our approach leveraging an adaptation feedback loop to detect self-adaptive systems' contextual requirements affected by uncertainty and to integrate machine learning techniques to determine the best operationalization of context based on sensed data at runtime. SACRE is a step forward of our former approach ACon which focus had been on adapting the context in contextual requirements, as well as their basic implementation. SACRE primarily focuses on architectural decisions, addressing self-adaptive systems' engineering challenges. Furthering the work on ACon, in this paper, we perform an evaluation of the entire approach in different uncertainty scenarios in real-time in the extremely demanding domain of smart vehicles. The real-time evaluation is conducted in a simulated environment in which the smart vehicle is implemented through software components. The evaluation results provide empirical evidence about the applicability of SACRE in real and complex software system domains.
description: 45 pages, journal article, 14 figures, 9 tables, CC-BY-NC-ND 4.0 license
Jets and high-velocity bullets in the Orion A outflows. Is the IRc2 outflow powered by a variable jet?
Creators: name: Rodriguez-Franco, A.
name: Martin-Pintado, J.
name: Wilson, T. L.
Publisher: name: arXiv
Year: 1999
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present high sensitivity maps of the High Velocity (HV) CO emission toward the molecular outflows around IRc2 and Orion-S in the Orion A molecular cloud. The maps reveal the presence of HV bullets in both outflows with velocities between 40-80kms-1 from the ambient gas velocity. The blue and redshifted CO HV bullets associated with the IRc2 outflow are distributed in thin (12"-20", 0.02-0.04pc) elliptical ring-like structures with a size of ~10"x50" (0.02x0.1pc). The CO emission at the most extreme blue and redshifted velocities (EHV) peaks 20" north of source I, just inside the rings of the HV bullets. The low velocity H2O masers and the H2* bullets around IRc2 are located at the inner edges of the ring of CO HV bullets and surrounding the EHV CO emission. Furthermore, the high velocity H2O masers are very well correlated with the EHV CO emission. This morphology is consistent with a model of a jet driven molecular outflow oriented close to the line of sight. In the Orion-S outflow, the morphology of the CO HV bullets shows a bipolar structure in the southeast-northwest direction, and the H2O masers are found only at low velocities in the region between the exciting source and the CO HV bullets. The morphology of the CO HV bullets, the radial velocities and the spatial distribution of the H2O masers in both outflows, as well as the H2* features around IRc2, are consistent with a model in which these outflows are driven by a jet variable in direction.In this scenario, the large traverse velocity measured for the H2O masers in the IRc2 outflow, ~18kms-1, supports the evolutionary connection between the jet and the shell-like outflows.
description: 4 pages, 2 figures
MOESM1 of Niclosamide, an antihelmintic drug, enhances efficacy of PD-1/PD-L1 immune checkpoint blockade in non-small cell lung cancer
Creators: name: Luo, Fan
name: Luo, Min
name: Rong, Qi-Xiang
name: Zhang, Hong
name: Chen, Zhen
name: Wang, Fang
name: Zhao, Hong-Yun
name: Fu, Li-Wu
Publisher: name: figshare
Year: 2019
Subjects: subject: Space Science
subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: Additional file 1: Table S1. shRNAs for vectors. Table S2. Primers for vector construction. (DOCX 18 kb)
On minimal Ramsey graphs and Ramsey equivalence in multiple colours
Creators: name: Clemens, Dennis
name: Liebenau, Anita
name: Reding, Damian
Publisher: name: arXiv
Year: 2018
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05D10

description: For an integer $q\ge 2$, a graph $G$ is called $q$-Ramsey for a graph $H$ if every $q$-colouring of the edges of $G$ contains a monochromatic copy of $H$. If $G$ is $q$-Ramsey for $H$, yet no proper subgraph of $G$ has this property then $G$ is called $q$-Ramsey-minimal for $H$. Generalising a statement by Burr, Nešetřil and Rödl from 1977 we prove that, for $q\ge 3$, if $G$ is a graph that is not $q$-Ramsey for some graph $H$ then $G$ is contained as an induced subgraph in an infinite number of $q$-Ramsey-minimal graphs for $H$, as long as $H$ is $3$-connected or isomorphic to the triangle. For such $H$, the following are some consequences. (1) For $2\le r< q$, every $r$-Ramsey-minimal graph for $H$ is contained as an induced subgraph in an infinite number of $q$-Ramsey-minimal graphs for $H$. (2) For every $q\ge 3$, there are $q$-Ramsey-minimal graphs for $H$ of arbitrarily large maximum degree, genus, and chromatic number. (3) The collection $\{{\cal M}_q(H) : H \text{ is 3-connected or } K_3\}$ forms an antichain with respect to the subset relation, where ${\cal M}_q(H)$ denotes the set of all graphs that are $q$-Ramsey-minimal for $H$. We also address the question which pairs of graphs satisfy ${\cal M}_q(H_1)={\cal M}_q(H_2)$, in which case $H_1$ and $H_2$ are called $q$-equivalent. We show that two graphs $H_1$ and $H_2$ are $q$-equivalent for even $q$ if they are $2$-equivalent, and that in general $q$-equivalence for some $q\ge 3$ does not necessarily imply $2$-equivalence. Finally we indicate that for connected graphs this implication may hold: Results by Nešetřil and Rödl and by Fox, Grinshpun, Liebenau, Person and Szabó imply that the complete graph is not $2$-equivalent to any other connected graph. We prove that this is the case for an arbitrary number of colours.
Infrared Excess and Molecular Gas in the Galactic Worm GW46.4+5.5
Creators: name: Kim, Kee-Tae
name: Lee, Jeong-Eun
name: Koo, Bon-Chul
Publisher: name: arXiv
Year: 1999
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We have carried out high-resolution (~3') HI and CO line observations along one-dimensional cuts through the Galactic worm GW46.4+5.5. By comparing the HI data with IRAS data, we have derived the distributions of I_100 excess and tau_100 excess, which are respectively the 100 mum intensity and 100 mum optical depth in excess of what would be expected from HI emission. In two observed regions, we were able to make a detailed comparison of the infrared excess and the CO emission. We have found that tau_100 excess has a very good correlation with the integrated intensity of CO emission, W_CO, but I_100 excess does not. There are two reasons for the poor correlation between I_100 excess and W_CO: firstly, there are regions with enhanced infrared emissivity without CO, and secondly, dust grains associated with molecular gas have a low infrared emissivity. In one region, these two factors completely hide the presence of molecular gas in the infrared. In the second region, we could identify the area with molecular gas, but I_100 excess significantly underestimates the column density of molecular hydrogen because of the second factor mentioned above. We therefore conclude that tau_100 excess, rather than I_100 excess, is an accurate indicator of molecular content along the line of sight. We derive tau_100/N(H)=(1.00+-0.02)*10^-5~(10^20 cm^-2)^-1, and X=N(H_2)/W_CO=~0.7*10^20 cm^-2 (K km s^-1)^-1. Our results suggest that I_100 excess could still be used to estimate the molecular content if the result is multiplied by a correction factor xi_c=_HI/_H_2 (~2 in the second region), which accounts for the different infrared emissivities of atomic and molecular gas. We also discuss some limitations of this work.
description: 10 pages, 9 postscript figures, uses aas2pp4.sty to be published in Astrophyslcal Journal
Culex equinus Linnaeus, 1758, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1758
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Culicidae
Culex
Culex equinus

description: Culex equinus [spec. nov.]
C. ater, abdomine fusco, fronte alba. Fn. svec. 1120.
Fl. lapp. 359.
Habitat circum Equos, quorum sanguinem haurit, inter crines eorum cursitans.
description: Published as part of Linnaeus, Carolus, 1758, Systema Naturae per regna tria naturae: secundum classes, ordines, genera, species, cum characteribus, differentiis, synonymis, locis, Stockholm :Laurentius Salvius on page 603, DOI: 10.5962/bhl.title.542, http://zenodo.org/record/3922206
title: THE IMPACT OF CONTAINER CARRIER HEAVY GOODS VEHICLES ON ROAD TRANSPORTATION OPERATION, SAFETY, AND LOGISTICS
Creators: name: Makki, AA
Publisher: name: Liverpool John Moores University
Year: 2021

description: The purpose of this research is to investigate the impact of heavy goods vehicles that are carrying intermodal shipping containers on the traffic flow. The objective is to estimate the available capacity for HGVs on the road at every hour to accommodate the increasing demand due to the expansion of Liverpool container terminal. The author has developed a passenger car equivalent estimation method and a road traffic capacity estimation methods by considering the deceleration and acceleration performances of vehicles, and the methods consider the speed, reaction time, braking competency level of the driver, and road safety. The author has developed an average traffic speed prediction method to facilitate the rescheduling and planning of the traffic operation. The proposed prediction method provides higher accuracy than all other speed prediction methods and facilitates highly efficient rescheduling and planning operations. The author has proposed four level of service methods that consider the safety, prevention of accidents by available reaction time, stopping distance, and the risk of pedestrians sustaining severe injuries or death, and they unique method because they measure the level of service not from the prospective of the user but from the prospective the traffic management and local authority. The methods target the individual type of vehicle and drivers’ behaviour and competency level. The results showed that the required time gap to maintain a safe gap between the following vehicle and the leading vehicle ranges from 2.59 to 3.32s for passenger cars and from 2.94 to 4.89s for heavy goods vehicles. The results also showed that the passenger car equivalent for heavy goods vehicles with braking competency level of 100%-50% is 1.32-2.77 that depends on vehicle parameters. The results also showed that the passenger car equivalent for heavy goods vehicles at 64.4km/h with braking competency level of 100%-50% is 1.32-1.65, and 2.41- 2.77 for rigid heavy goods vehicle, and articulated heavy goods vehicles, respectively. The rescheduling results show how that it is possible to meet both of Mersey ports’ targets for Liverpool’s container port by either building an extra lane of an heavy goods vehicle access only two-lane road in parallel to the current road. However, to improve the traffic flow operation and safety, the second choice will be better because it will keep the average traffic speed above the optimum speed of the road at all times.
Culex stercoreus Linnaeus, 1758, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1758
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Culicidae
Culex
Culex stercoreus

description: Culex stercoreus [spec. nov.]
C. testaceus, alis reticulatis, linea thoracis, tribusque abdominis nigricantibus.
Habitat in stercoribus.
description: Published as part of Linnaeus, Carolus, 1758, Systema Naturae per regna tria naturae: secundum classes, ordines, genera, species, cum characteribus, differentiis, synonymis, locis, Stockholm :Laurentius Salvius on page 603, DOI: 10.5962/bhl.title.542, http://zenodo.org/record/3922206
Effect of quantum dispersion on the radial distribution function of a one-component sticky-hard-sphere fluid
Creators: name: Fantoni, Riccardo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Soft Condensed Matter (cond-mat.soft)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: In this short communication we present a possible scheme to study the radial distribution function of the quantum slightly polydisperse Baxter sticky hard sphere liquid at finite temperature thorugh a semi-analytical method devised by Chandler and Wolynes.
description: 5 pages and 1 figure
Additional file 1: of Simultaneously characterizing the comparative economics of routine female adolescent nonavalent human papillomavirus (HPV) vaccination and assortativity of sexual mixing in Hong Kong Chinese: a modeling analysis
Creators: name: Choi, Horace
name: Jit, Mark
name: Leung, Gabriel
name: Kwok-Leung Tsui
name: Wu, Joseph
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Table S1. The distribution of individuals with no, low, and high level of sexual activity in each age group. Table S2. Posterior distributions of inferred parameters. Table S3a. Probability distributions of cervical cytology testing. Table S3b. Probability of cytology results given true health states. Table S4. Probability distributions of cost parameters. Table S5. Probability distribution of QALY weights for different health outcomes. Figure S1. Schematic of the natural history model for HR-HPV infection and cervical cancer among females. Figure S2. Trace plots and the posterior distributions of the fitted parameters. (PDF 544 kb)
MOESM1 of Genetic variants in CYP4F2 were significantly correlated with susceptibility to ischemic stroke
Creators: name: Wu, Yuan
name: Zhao, Junjie
name: Zhao, Yonglin
name: Huang, Tingqin
name: Ma, Xudong
name: Pang, Honggang
name: Zhang, Ming
Publisher: name: figshare
Year: 2019
Subjects: subject: Space Science
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified

description: Additional file 1: Table S1. Functional prediction results of selected loci in the database. (DOCX 13 kb)
Additional file 1: of Persistent synovial inflammation plays important roles in persistent pain development in the rat knee before cartilage degradation reaches the subchondral bone
Creators: name: Hoshino, Takashi
name: Kunikazu Tsuji
name: Onuma, Hiroaki
name: Udo, Mio
name: Ueki, Hiroko
name: Akiyama, Masako
name: Kahaer Abula
name: Katagiri, Hiroki
name: Miyatake, Kazumasa
name: Toshihumi Watanabe
name: Sekiya, Ichiro
name: Koga, Hideyuki
name: Muneta, Takeshi
Publisher: name: figshare
Year: 2018
Subjects: subject: Biophysics
subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Science Policy

description: Table S1. Grading scheme for assessment of infrapatellar fat pad (IFP) inflammation. This IFP inflammation grading scheme consists of “Cell infiltration at the surface of the IFP” and “Fibrosis in the body of the IFP” [12]. (DOCX 32 kb)
title: ADCO, Huitième cartulaire de Saint-Étienne de Dijon (1661-1667), Cart. 31 (G 135), 549 folios, f. 0076
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Huitième cartulaire de Saint-Étienne de Dijon (1661-1667), Archives départementales de la Côte-d'Or, Cart. 31 (G 135), 549 folios, f. 0076, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Huitième cartulaire de Saint-Étienne de Dijon (1661-1667), Archives départementales de la Côte-d'Or, Cart. 31 (G 135), 549 folios, f. 0076, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
Additional file 1: of Distinct metabolic profile according to the shape of the oral glucose tolerance test curve is related to whole glucose excursion: a cross-sectional study
Creators: name: Mesquita, Leonardo De Andrade
name: Antoniolli, Luciana Pavan
name: Cittolin-Santos, Giordano
name: Gerchman, Fernando
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Table S1. Demographic, clinical and laboratory characteristics according to the shape of the glucose curve in the full sample (including subjects with DM). (DOCX 19 kb)
Tunnel junctions of unconventional superconductors
Creators: name: Bruder, C.
name: van Otterlo, A.
name: Zimanyi, G. T.
Publisher: name: arXiv
Year: 1994
Subjects: subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: The phenomenology of Josephson tunnel junctions between unconventional superconductors is developed further. In contrast to s-wave superconductors, for d-wave superconductors the direction dependence of the tunnel matrix elements that describe the barrier is relevant. We find the full I-V characteristics and comment on the thermodynamical properties of these junctions. They depend sensitively on the relative orientation of the superconductors. The I-V characteristics differ from the normal s-wave RSJ-like behavior.
description: 4 pages, revtex, 4 (encapsulated postscript) figures (figures replaced)
A Medium Survey of the Hard X-Ray Sky with ASCA. II.: The Source's Broad Band X-Ray Spectral Properties
Creators: name: Della Ceca, R.
name: Castelli, G.
name: Braito, V.
name: Cagnoni, I.
name: Maccacaro, T.
Publisher: name: arXiv
Year: 1999
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: A complete sample of 60 serendipitous hard X-ray sources with flux in the range $\sim 1 \times 10^{-13}$ \ecs to $\sim 4 \times 10^{-12}$ \ecs (2 - 10 keV), detected in 87 ASCA GIS2 images, was recently presented in literature. Using this sample it was possible to extend the description of the 2-10 keV LogN(>S)-LogS down to a flux limit of $\sim 6\times 10^{-14}$ \ecs (the faintest detectable flux), resolving about a quarter of the Cosmic X-ray Background. In this paper we have combined the ASCA GIS2 and GIS3 data of these sources to investigate their X-ray spectral properties using the "hardness" ratios and the "stacked" spectra method. Because of the sample statistical representativeness, the results presented here, that refer to the faintest hard X-ray sources that can be studied with the current instrumentation, are relevant to the understanding of the CXB and of the AGN unification scheme.
description: 28 pages plus 6 figures, LaTex manuscript, Accepted for publication in the Astrophysical Journal, Figure 5 can retrieved via anonymous ftp at ftp://ftp.brera.mi.astro.it/pub/ASCA/paper2/fig5.ps.gz
Additional file 1: of Multimodal cardioprotective strategy in cardiac surgery (the ProCCard trial): Study protocol for a multicenter randomized controlled trial
Creators: name: Chiari, Pascal
name: Durand, Michel
name: Desebbe, Olivier
name: Fischer, Marc-Olivier
name: Lena-Quintard, Diane
name: Palao, Jean-Charles
name: Mercier, Catherine
name: Samson, GĂŠraldine
name: Varillon, Yvonne
name: Pozzi, Matteo
name: Mewton, Nathan
name: Maucort-Boulch, Delphine
name: Ovize, Michel
name: Fellahi, Jean-Luc
Publisher: name: figshare
Year: 2019
Subjects: subject: Medicine
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences

description: SPIRIT 2013 Checklist: Recommended items to address in a clinical trial protocol and related documents. (DOC 121 kb)
Chiral Anomaly and Spin Gap in One-Dimensional Interacting Fermions
Creators: name: Nagaosa, Naoto
name: Oshikawa, Masaki
Publisher: name: arXiv
Year: 1994
Subjects: subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: Semiclassical approach has been developed for the one-dimensional interacting fermion systems. Starting from the incommensurate spin density wave (SDW) mean field state for the repulsive Hubbard model in 1D, the non-Abelian bosonized Lagrangian describing the spin-charge separation is obtained. The Berry phase term is derived from the chiral anomaly, and we obtain the massless Tomonaga-Luttinger liquid in the single chain case while the spin gap opens in the double-chain system. This approach offers a new method to identify the strong-coupling fixed point, and its relation to the Abelian bosonization formalism is discussed on the spin gap state. The generalization to higher dimensions is also discussed.
description: Revised and enlarged version. 16 pages in REVTEX
Arsenic: Various species with different effects on cytochrome P450 regulation in humans
Creators: name: El-Ghiaty, Mahmoud A.
name: El-Kadi, Ayman O.S.
Publisher: name: IfADo - Leibniz Research Centre for Working Environment and Human Factors, Dortmund
Year: 2021
Subjects: arsenic
arsenic speciation
arsenic exposure
cytochrome P450
metabolism
xenobiotics

description: Arsenic is well-recognized as one of the most hazardous elements which is characterized by its omnipresence throughout the environment in various chemical forms. From the simple inorganic arsenite (iAsIII) and arsenate (iAsV) molecules, a multitude of more complex organic species are biologically produced through a process of metabolic transformation with biomethylation being the core of this process. Because of their differential toxicity, speciation of arsenic-based compounds is necessary for assessing health risks posed by exposure to individual species or co-exposure to several species. In this regard, exposure assessment is another pivotal factor that includes identification of the potential sources as well as routes of exposure. Identification of arsenic impact on different physiological organ systems, through understanding its behavior in the human body that leads to homeostatic derangements, is the key for developing strategies to mitigate its toxicity. Metabolic machinery is one of the sophisticated body systems targeted by arsenic. The prominent role of cytochrome P450 enzymes (CYPs) in the metabolism of both endobiotics and xenobiotics necessitates paying a great deal of attention to the possible effects of arsenic compounds on this superfamily of enzymes. Here we highlight the toxicologically relevant arsenic species with a detailed description of the different environmental sources as well as the possible routes of human exposure to these species. We also summarize the reported findings of experimental investigations evaluating the influence of various arsenicals on different members of CYP superfamily using human-based models.
description: EXCLI Journal; 20:Doc1184; ISSN 1611-2156
Virtual Reality in Praxis und Ausbildung der Sozialen Arbeit
Creators: name: Bachofner, Yves
name: Lozano, Daniel
name: Matz, Simon
name: Sadiku, Endrit
name: Sowulewski, Adam
name: Vock, Stephanie
name: Kohler, Eveline
Publisher: name: Hochschule für Soziale Arbeit FHNW
Year: 2023
Subjects: subject: 600 - Technik
subject: 360 - Soziale Probleme, Sozialdienste, Versicherungen

description: Die breite Nutzung von VR (Virtual Reality) ist in den letzten Jahren durch die technologische Weiterentwicklung stark angewachsen. Die Einsatzmöglichkeiten von VR haben sich dabei vervielfältigt und kommen längst nicht mehr nur im Unterhaltungskontext zum Vorschein. In Fachkreisen wird VR heute zu Schulungs- und Ausbildungszwecken genutzt. Im Zuge des technologischen Wandels wird VR das Potenzial zugesprochen, virtuelle Situationen zu kon-struieren, die in analogen Trainings und Schulungen aus ethischen Gründen kaum durchführ-bar sind. Die Praxis und Ausbildung der Sozialen Arbeit könnten potenziell von diesen Ent-wicklungen profitieren. Allerdings scheint dies bislang noch weit entfernt zu sein. Es wird an-genommen, dass Studierende der Sozialen Arbeit eine bedeutende Rolle als aktuelle Erfah-rungsträger*innen des Studiums und zukünftige Fachkräfte bei der Integration von VR in die Soziale Arbeit spielen könnten. Deshalb geht die vorliegende Arbeit der Frage nach, wie sich die Akzeptanz von Studierenden der Sozialen Arbeit gegenüber der Nutzung von Virtual Rea-lity im Studium und in der Praxis der Sozialen Arbeit verändert, nach einer erstmaligen per-sönlichen Erfahrung mit VR. In einer qualitativen Untersuchung bestehend aus einem VR-Erlebnis und drei Umfragen, wur-den zehn Studierende auf Bachelor- und Masterstufe zu ihrer Akzeptanz von VR in der Sozi-alen Arbeit befragt. Durch die Befragung wurde das Akzeptanzmodell (UTAUT2) erweitert und zusätzliche Einflussfaktoren «Habitus», «kritische Aspekte», «ethische Überlegungen» und das «Bedürfnis nach Evidenz» in das Modell integriert. Zudem werden die Rahmenbedingun-gen, die kritischen Aspekte und damit die einhergehenden Erfordernisse benannt, die für einen erfolgreichen Einsatz moderner VR-Technologie in der Ausbildung und Praxis in Sozialer Ar-beit zu beachten sind.
Introduction to Microwave Background Polarization
Creators: name: Kosowsky, Arthur
Publisher: name: arXiv
Year: 1999
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Microwave background polarization, though presently undetected, is a fundamental prediction of any viable cosmological model. These lectures review the theoretical description of polarization, its physical interpretation, and potentially interesting polarization signals.
description: Lectures given at the International School of Space Sciences, L'Aquila, Italy, September 2-12, 1998. 18 pages with 2 figures; Elsevier tex macros
The continuity of Darboux injections between manifolds
Creators: name: Banakh, Iryna
name: Banakh, Taras
Publisher: name: arXiv
Year: 2018
Subjects: subject: General Topology (math.GN)
subject: Algebraic Topology (math.AT)
subject: Geometric Topology (math.GT)
subject: FOS: Mathematics
subject: 54D05, 54D30, 54C05, 54C08, 55M05, 55N05, 55N10, 55P20, 57N05, 57N10, 57N12, 57N65, 57P99

description: We prove that an injective map $f:X\to Y$ between connected metrizable spaces $X,Y$ is continuous if for every connected subset $C\subset X$ the image $f(C)$ is connected and one of the following conditions is satisfied: (1) $Y$ is a 1-manifold and $X$ is compact; (2) $Y$ is a 2-manifold and $X$ is a closed $n$-manifold of dimension $n\ge 2$; (3) $Y$ is a 3-manifold and $X$ is a simply-connected closed $n$-manifold of dimension $n\ge 3$. This gives a partial answer to a problem of Willie Wong, posed on Mathoverflow.
description: 10 pages
Conops rostrata Linnaeus, 1758, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1758
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Conopidae
Conops
Conops rostrata

description: Conops rostrata [spec. nov.]
C. antennis setariis nigra, abdomine ovato flavo laevi, rostro conico.
Habitat in Germania. P. Forssk�l. Phil. Mag.
Statura Muscae domesticae. Rostrum corneum, porrectum, conicum, capite longius, versus basin reliquis omnibus multo crassius. Tibiae flavescentes. Alae pallidae.
description: Published as part of Linnaeus, Carolus, 1758, Systema Naturae per regna tria naturae: secundum classes, ordines, genera, species, cum characteribus, differentiis, synonymis, locis, Stockholm :Laurentius Salvius on page 604, DOI: 10.5962/bhl.title.542, http://zenodo.org/record/3922206
Dynamics of Quantum Collapse in Energy Measurements
Creators: name: Tambini, Ubaldo
name: Onofrio, Roberto
name: Presilla, Carlo
Publisher: name: arXiv
Year: 1994
Subjects: subject: Condensed Matter (cond-mat)
subject: High Energy Physics - Theory (hep-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The influence of continuous measurements of energy with a finite accuracy is studied in various quantum systems through a restriction of the Feynman path-integrals around the measurement result. The method, which is equivalent to consider an effective Schrödinger equation with a non-Hermitian Hamiltonian, allows one to study the dynamics of the wavefunction collapse. A numerical algorithm for solving the effective Schrödinger equation is developed and checked in the case of a harmonic oscillator. The situations, of physical interest, of a two-level system and of a metastable quantum-well are then discussed. In the first case the Zeno inhibition observed in quantum optics experiments is recovered and extended to nonresonant transitions, in the second one we propose to observe inhibition of spontaneous decay in mesoscopic heterostructures. In all the considered examples the effect of the continuous measurement of energy is a freezing of the evolution of the system proportional to the accuracy of the measurement itself.
description: 20 pages with figures, compressed and uuencoded ps file
Radiatively-Driven Outflows and Avoidance of Common-Envelope Evolution in Close Binaries
Creators: name: King, Andrew R.
name: Begelman, Mitchell C.
Publisher: name: arXiv
Year: 1999
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Recent work on Cygnus X-2 suggests that neutron-star or black-hole binaries survive highly super-Eddington mass transfer rates without undergoing common-envelope evolution. We suggest here that the accretion flows in such cases are radiation pressure-dominated versions of the "ADIOS" picture proposed by Blandford and Begelman (1999), in which almost all the mass is expelled from large radii in the accretion disk. We estimate the maximum radius from which mass loss is likely to occur, and show that common-envelope evolution is probably avoided in any binary in which a main-sequence donor transfers mass on a thermal timescale to a neutron star or black hole, even though the mass transfer rate may reach values of 0.001 solar masses per year. This conclusion probably applies also to donors expanding across the Hertzsprung gap, provided that their envelopes are radiative. SS433 may be an example of a system in this state.
description: 4 pages, submitted to Astrophysical Journal Letters, 26 March 1999
Formalising Sensor Topologies for Target Counting
Creators: name: Linker, Sven
name: Sevegnani, Michele
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present a formal model developed to reason about topologies created by sensor ranges. This model is used to formalise the topological aspects of an existing counting algorithm to estimate the number of targets in the area covered by the sensors. To that end, we present a first-order logic tailored to specify relations between parts of the space with respect to sensor coverage. The logic serves as a specification language for Hoare-style proofs of correctness of the topological computations of the algorithm, which uncovers ambiguities in their results. Subsequently, we extend the formal model as a step towards improving the estimation of the algorithm. Finally, we sketch how the model can be extended to take mobile sensors and temporal aspects into account.
description: In Proceedings ALP4IoT 2017, arXiv:1802.00976
Freezing Transition of Random Heteropolymers Consisting of an Arbitrary Set of Monomers
Creators: name: Pande, Vijay S.
name: Grosberg, Alexander Yu.
name: Tanaka, Toyoichi
Publisher: name: arXiv
Year: 1994
Subjects: subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: Mean field replica theory is employed to analyze the freezing transition of random heteropolymers comprised of an arbitrary number ($q$) of types of monomers. Our formalism assumes that interactions are short range and heterogeneity comes only from pairwise interactions, which are defined by an arbitrary $q \times q$ matrix. We show that, in general, there exists a freezing transition from a random globule, in which the thermodynamic equilibrium is comprised of an essentially infinite number polymer conformations, to a frozen globule, in which equilibrium ensemble is dominated by one or very few conformations. We also examine some special cases of interaction matrices to analyze the relationship between the freezing transition and the nature of interactions involved.
description: 30 pages, 1 postscript figure
Asilus maurus Linnaeus, 1758, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1758
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Asilidae
Asilus
Asilus maurus

description: Asilus maurus [spec. nov.]
A. subferrugineus, pectoris lateribus punctis thoracisque dorso lineis tribus nigris.
Habitat in Mauritania. E. Brander.
Magnitudo Asili crabroniformis. Antennae ferrugineae. Abdominis segmenta margine fusca.
description: Published as part of Linnaeus, Carolus, 1758, Systema Naturae per regna tria naturae: secundum classes, ordines, genera, species, cum characteribus, differentiis, synonymis, locis, Stockholm :Laurentius Salvius on page 605, DOI: 10.5962/bhl.title.542, http://zenodo.org/record/3922206
Fig. S2: Stratigraphic logs of the studied sites. Chemical and petrographic fingerprinting of volcanic ashes as a tool for high-resolution stratigraphy of the upper Miocene Pisco Formation (Peru)
Creators: name: Bosio, Giulia
name: Gioncada, Anna
name: Malinverno, Elisa
name: Celma, Claudio Di
name: Villa, Igor M.
name: Cataldi, Giuseppe
name: Gariboldi, Karen
name: Collareta, Alberto
name: Urbina, Mario
name: Bianucci, Giovanni
Publisher: name: Geological Society of London
Year: 2018
Subjects: subject: Geology
subject: FOS: Earth and related environmental sciences

description: Fig. S2: Stratigraphic logs of the studied sites.
Gamma Ray Bursts with peculiar temporal asymmetry
Creators: name: Romero, Gustavo E.
name: Torres, Diego F.
name: Andruchow, I.
name: Anchordoqui, Luis A.
name: Link, Bennett
Publisher: name: arXiv
Year: 1999
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Based on the study of temporal asymmetry of 631 gamma ray bursts from the BATSE 3B catalog by Link and Epstein [Ap J 466, 764 (1996)], we identify the population of bursts whose rising times are longer than their decays, thus showing atypical profiles. We analyse their sky distribution, morphology, time-space clustering and other average properties and compare them with those associated with the bulk of the bursts. We show how most of the peculiar bursts analysed are consistent with recent fireball models, but a fraction of bursts ($\sim 4$% of the total sample) appear to be inconsistent.
description: mn style (included in the submission), 4 figures that must be printed separately. Submitted to Monthly Notices of RAS
Smoothness of Schubert varieties in twisted affine Grassmannians
Creators: name: Haines, Thomas J.
name: Richarz, Timo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Algebraic Geometry (math.AG)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: We give a complete list of smooth and rationally smooth normalized Schubert varieties in the twisted affine Grassmannian associated with a tamely ramified group and a special vertex of its Bruhat-Tits building. The particular case of the quasi-minuscule Schubert variety in the quasi-split but non-split form of ${\rm Spin}_8$ ("ramified triality") provides an input needed in the article by He-Pappas-Rapoport classifying Shimura varieties with good or semi-stable reduction.
description: 24 pages. Minor correction: certain lattices termed almost selfdual in the previous version are now correctly termed almost modular. The article has been recast to apply to normalized Schubert varieties, to account for the existence of non-normal Schubert varieties in small positive characteristics. A new Proposition 2.1 and a new proof of Proposition 2.2 have been given. Accepted version
Guimaraesiella (Guimaraesiella) inaccessibilis Gustafsson & Bush, 2025, sp. nov.
Creators: name: Gustafsson, Daniel R.
name: Bush, Sarah E.
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Psocodea
Philopteridae
Guimaraesiella
Guimaraesiella inaccessibilis

description: Guimaraesiella (Guimaraesiella) inaccessibilis sp. nov.
(Figs 1, 4, 6–8)
Type host: Nesospiza acunhae Cabanis, 1873 — Inaccessible Island finch.
Type locality: Inaccessible Island, Tristan da Cunha Archipelago, South Atlantic.
Diagnosis. The only other member of the Guimaraesiella interposita species group in which the dorsal preantennal suture does not reach the ads is G. aedon sp. nov. Guimaraesiella inaccessibilis can be separated from G. aedon by the following characters: head proportionately longer and broader in G. inaccessibilis (Fig. 4) than in G. aedon (Fig. 5); proximal mesosome about as long as broad in G. inaccessibilis (Fig. 6), but broader than long in G. aedon (Fig. 9); mesosomal lobes with lateral ridge in G. aedon (Fig. 10), but no such ridge present in G. inaccessibilis (Fig. 7); abdomen of G. inaccessibilis with even yellow pigmentation, but abdomen on G. aedon with medium-brown pigmentation of sternal and subgenital plates, and dark-brown pigmentation on lateral sections of tergopleurites.
Description
Male. Head flat-dome shaped (Fig. 4), frons slightly flattened, lateral margins of preantennal area convex. Dorsal preantennal suture reaches dsms but does not reach ads or lateral margins of head. Head chaetotaxy as in Fig. 4. Thoracic and abdominal segments and chaetotaxy as in Fig. 1. Tergopleurites, sternal, and subgenital plates of even yellow pigmentation, darkening only laterally where ventral and dorsal sections of tergopleurites overlap. Male genitalia as in Figs 6–8. Basal apodeme widening proximally (Fig. 6). Proximal mesosome about as wide as long, widening slightly anteriorly (Fig. 7). Mesosomal lobes triangular, with near-right angles in anterior ends; no ridge near lateral margin; 2 ames and 3 pmes microsetae on each side forming near-continuous lines. Gonopore broad proximally, narrowly open distally; wide rugose area follows proximal margin of gonopore, but does not reach lateral margins of mesosome. Parameral heads large, irregular (Fig. 8). Parameral blades slender, tapering; pst1 sensillum, near median margin; pst2 microseta, central. Measurements (n = 2): TL = 1.32–1.53; HL = 0.38; HW = 0.35–0.36; PRW = 0.21–0.23; PTW = 0.33–0.34; AW = 0.38–0.47.
Female. Unknown.
Etymology: The species epithet is derived from the type locality: Latin “ inaccessibilis ” for “not accessible”.
Type material. Ex Nesospiza acunhae: Holotype ♂, Inaccessible Island, Tristan da Cunha Archipelago, South Atlantic, Oct./ Nov. 1988, Peter G. Ryan, L-2 (NHML). Paratype: 1♂, same data as holotype (NHML).
description: Published as part of Gustafsson, Daniel R. & Bush, Sarah E., 2025, Two new species of Guimaraesiella Eichler, 1949 (Phthiraptera: Ischnocera: Philopteridae) from Tristan da Cunha finches, pp. 363-372 in Zootaxa 5588 (2) on page 366, DOI: 10.11646/zootaxa.5588.2.10, http://zenodo.org/record/14896237