cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
HyLTL: a temporal logic for model checking hybrid systems
Creators: name: Bresolin, Davide
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: The model-checking problem for hybrid systems is a well known challenge in the scientific community. Most of the existing approaches and tools are limited to safety properties only, or operates by transforming the hybrid system to be verified into a discrete one, thus loosing information on the continuous dynamics of the system. In this paper we present a logic for specifying complex properties of hybrid systems called HyLTL, and we show how it is possible to solve the model checking problem by translating the formula into an equivalent hybrid automaton. In this way the problem is reduced to a reachability problem on hybrid automata that can be solved by using existing tools.
description: In Proceedings HAS 2013, arXiv:1308.4904
Pulmonary Hyperinflation and Left Ventricular Mass
Creators: name: Smith, Benjamin
name: Kawut, Steven M.
name: Bluemke, David A.
name: Basner, Robert C.
name: Gomes, Antoinette S.
name: Hoffman, Eric
name: Kalhan, Ravi
name: Lima, Joao A. C.
name: Liu, Chia-Ying
name: Michos, Erin D.
name: Prince, Martin R.
name: Rabbani, Leroy E.
name: Rabinowitz, Daniel
name: Shimbo, Daichi
name: Shea, Steven J. C.
name: Barr, R. Graham
Publisher: name: Columbia University
Year: 2013
Subjects: Heart failure
Lungs--Diseases, Obstructive
Heart--Left ventricle
Medical sciences
Epidemiology
Medicine

description: Background—Left ventricular (LV) mass is an important predictor of heart failure and cardiovascular mortality, yet determinants of LV mass are incompletely understood. Pulmonary hyperinflation in chronic obstructive pulmonary disease (COPD) may contribute to changes in intrathoracic pressure that increase LV wall stress. We therefore hypothesized that residual lung volume in COPD would be associated with greater LV mass.

Methods and Results—The Multi-Ethnic Study of Atherosclerosis (MESA) COPD Study recruited smokers 50 to 79 years of age who were free of clinical cardiovascular disease. LV mass was measured by cardiac magnetic resonance. Pulmonary function testing was performed according to guidelines. Regression models were used to adjust for age, sex, body size, blood pressure, and other cardiac risk factors. Among 119 MESA COPD Study participants, the mean age was 69±6 years, 55% were male, and 65% had COPD, mostly of mild or moderate severity. Mean LV mass was 128±34 g. Residual lung volume was independently associated with greater LV mass (7.2 g per 1-SD increase in residual volume; 95% confidence interval, 2.2–12; P=0.004) and was similar in magnitude to that of systolic blood pressure (7.6 g per 1-SD increase in systolic blood pressure; 95% confidence interval, 4.3–11; P<0.001). Similar results were observed for the ratio of LV mass to end-diastolic volume (P=0.02) and with hyperinflation measured as residual volume to total lung capacity ratio (P=0.009).

Conclusions—Pulmonary hyperinflation, as measured by residual lung volume or residual lung volume to total lung capacity ratio, is associated with greater LV mass.
Isolate record for VAFB-ISO-538
Creators: name: Holloway, Corinne
Year: 1900
Subjects: subject: Santa Barbara (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3486/santa-barbara-county
subject: Vandenberg Air Force Base (VAFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85469/vandenberg-air-force-base-vafb
subject: Vandenberg Space Force Base (VSFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85584/vandenberg-space-force-base-vsfb
subject: California (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/1484/california-state-territory
subject: Chipped Stone
valueUri: https://core.tdar.org/browse/material-type/2/chipped-stone
subject: Chert
valueUri: https://core.tdar.org/browse/material-type/213/chert
subject: Reconnaissance / Survey
valueUri: https://core.tdar.org/browse/investigation-type/7/reconnaissance-survey

description: This document is the isolated find record for VAFB-ISO-538. The artifact is a brown and white mottled Monterey chert flake.
The size of semigroup orbits modulo primes
Creators: name: Hindes, Wade
name: Silverman, Joseph H.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Number Theory (math.NT)
subject: Algebraic Geometry (math.AG)
subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: Primary: 37P25, Secondary: 37P05, 37P55

description: Let $V$ be a projective variety defined over a number field $K$, let $S$ be a polarized set of endomorphisms of $V$ all defined over $K$, and let $P\in V(K)$. For each prime $\mathfrak{p}$ of $K$, let $m_{\mathfrak{p}}(S,P)$ denote the number of points in the orbit of $P\bmod\mathfrak{p}$ for the semigroup of maps generated by $S$. Under suitable hypotheses on $S$ and $P$, we prove an analytic estimate for $m_{\mathfrak{p}}(S,P)$ and use it to show that the set of primes for which $m_{\mathfrak{p}}(S,P)$ grows subexponentially as a function of $\operatorname{\mathsf{N}}_{K/\mathbb{Q}}\mathfrak{p}$ is a set of density zero. For $V=\mathbb{P}^1$ we show that this holds for a generic set of maps $S$ provided that at least two of the maps in $S$ have degree at least four.
description: 17 pages
Isolate record for VAFB-ISO-521
Creators: name: Holloway, Corinne
Year: 1900
Subjects: subject: Santa Barbara (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3486/santa-barbara-county
subject: Vandenberg Air Force Base (VAFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85469/vandenberg-air-force-base-vafb
subject: Vandenberg Space Force Base (VSFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85584/vandenberg-space-force-base-vsfb
subject: California (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/1484/california-state-territory
subject: Chipped Stone
valueUri: https://core.tdar.org/browse/material-type/2/chipped-stone
subject: Chert
valueUri: https://core.tdar.org/browse/material-type/213/chert
subject: Reconnaissance / Survey
valueUri: https://core.tdar.org/browse/investigation-type/7/reconnaissance-survey

description: This document is the isolated find record for VAFB-ISO-521. The artifact is a brown and white Monterey chert flake.
R. D. Laing and Me: Lessons in Love
Creators: name: Russell, Roberta
name: Laing, R. D.
Publisher: name: Columbia University
Year: 1992
Subjects: Therapeutic alliance
Love
Intimacy (Psychology)
Psychotherapy
Counseling psychology

description: This is an original and unusual work whose purpose is to show you how to increase your options and thereby to be self-empowered to take your own advice through the enhanced confidence, courage, feelings of well-being, and other salutary effects of a good relationship.
It is an intimate reality, told and experienced at the same time. The course of discovery unfolds between the authors, Roberta Russell and R.D. Laing, as it happens. This book is "real." You will see how the authors made each other crazy in the process of creating this novel verité, united only by their common goal of doing a "how-to" book together that would be useful to you. Both the unfolding of the relationship depicted in this book, and the content discussed, are intended to help you to achieve your realistic goals.
The discerning reader, using the insights of psychoanalysis, will discover the nuances of communication between the authors as they wrestle the obstacles to achieving their goals. In turn, the readers are encouraged to join in this experiment with their own partner, carefully chosen on the basis of conceptual level and mutual intent, and to make of it a vitalizing experience. If you can manage to survive each other’s onslaughts, a well matched partnership is a lot more fun and more motivating than the lone pursuit of solitary goals into further solitude.
Anisotropic merging and splitting of dipolar Bose-Einstein condensates
Creators: name: Gautam, S.
name: Mukerjee, Subroto
Publisher: name: arXiv
Year: 2014
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: We study the merging and splitting of quasi-two-dimensional Bose-Einstein condensates with strong dipolar interactions. We observe that if the dipoles have a non-zero component in the plane of the condensate, the dynamics of merging or splitting along two orthogonal directions, parallel and perpendicular to the projection of dipoles on the plane of the condensate are different. The anisotropic merging and splitting of the condensate is a manifestation of the anisotropy of the roton-like mode in the dipolar system. The difference in dynamics disappears if the dipoles are oriented at right angles to the plane of the condensate as in this case the Bogoliubov dispersion, despite having roton-like features, is isotropic.
description: 9 pages and 9 figures
Corispermum hyssopifolium Linnaeus, 1753, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1753
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Caryophyllales
Amaranthaceae
Corispermum
Corispermum hyssopifolium

description: Corispermum hyssopifolium, spec. nov.
 1. Corispermum floribus lateralibus. Hort. ups.2.
 Corispermum floribus alternis. Hort cliff.3. Jt. gotl. 316. Roy. lugdb. 205. Sauv. monsp.52.
 Corispermum hyssopifolium. Juss. act. 1712. p.244.
 Habitat ad Volgam Tartariae , Gillau Borussiae , Monspelii arenosis. ☉
description: Published as part of Linnaeus, Carolus, 1753, Species plantarum: exhibentes plantas rite cognitas, ad genera relatas, cum differentiis specificis, nominibus trivialibus, synonymis selectis, locis natalibus, secundum systema sexuale digestas, Stockholm :Laurentius Salvius on page 4, DOI: 10.5281/zenodo.3931989
Proechimys hoplomyoides
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Echimyidae
Proechimys
Proechimys hoplomyoides

description: Proechimys hoplomyoides (Tate, 1939). Bull. Am. Mus. Nat. Hist., 76: 179. TYPE LOCALITY: Venezuela, Bolivar Prov., Mt. Roraima. DISTRIBUTION: S.E. Venezuela; adjacent Guyana and Brazil. COMMENT: Transferred from Hoplomys by Handley, 1976, Brigham Young Univ. Sci. Bull. Biol. Ser., 20(5):57.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 6), pp. 560-594 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 590, DOI: 10.5281/zenodo.7353039
description: {"references": ["Handley, C. O., Jr. 1976. Mammals of the Smithsonian Venezuelan Project. Brigham Young University Science Bulletin, Biological Series, 20: 1 - 91."]}
iQuantum: A Case for Modeling and Simulation of Quantum Computing Environments
Creators: name: Nguyen, Hoa T.
name: Usman, Muhammad
name: Buyya, Rajkumar
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Emerging Technologies (cs.ET)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Today's quantum computers are primarily accessible through the cloud and potentially shifting to the edge network in the future. With the rapid advancement and proliferation of quantum computing research worldwide, there has been a considerable increase in demand for using cloud-based quantum computation resources. This demand has highlighted the need for designing efficient and adaptable resource management strategies and service models for quantum computing. However, the limited quantity, quality, and accessibility of quantum resources pose significant challenges to practical research in quantum software and systems. To address these challenges, we propose iQuantum, a first-of-its-kind simulation toolkit that can model hybrid quantum-classical computing environments for prototyping and evaluating system design and scheduling algorithms. This paper presents the quantum computing system model, architectural design, proof-of-concept implementation, potential use cases, and future development of iQuantum. Our proposed iQuantum simulator is anticipated to boost research in quantum software and systems, particularly in the creation and evaluation of policies and algorithms for resource management, job scheduling, and hybrid quantum-classical task orchestration in quantum computing environments integrating edge and cloud resources.
description: 10 pages, 8 figures
Additional file 9 of Radotinib enhances cytarabine (Ara-C)-induced acute myeloid leukemia cell death
Creators: name: Sook-Kyoung Heo
name: Eui-Kyu Noh
name: Ho-Min Yu
name: Kim, Do Kyoung
name: Seo, Hye Jin
name: Lee, Yoo Jin
name: Jaekyung Cheon
name: Koh, Su Jin
name: Min, Young Joo
name: Yunsuk Choi
name: Jo, Jae-Cheol
Publisher: name: figshare
Year: 2020
Subjects: subject: Biophysics
subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Biotechnology
subject: Cancer
subject: Hematology
subject: Computational Biology

description: Additional file 9: Supplementary Table 2. Supplementary Methods.
Ferrimagnetic Regulation of Weyl Fermions in a Noncentrosymmetric Magnetic Weyl Semimetal
Creators: name: Li, Cong
name: Zhang, Jianfeng
name: Wang, Yang
name: Liu, Hongxiong
name: Guo, Qinda
name: Rienks, Emile
name: Chen, Wanyu
name: Francois, Bertran
name: Yang, Huancheng
name: Phyuyal, Dibya
name: Fedderwitz, Hanna
name: Thiagarajan, Balasubramanian
name: Dendzik, Maciej
name: Berntsen, Magnus H.
name: Shi, Youguo
name: Xiang, Tao
name: Tjernberg, Oscar
Publisher: name: arXiv
Year: 2023
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: The study of interaction between electromagnetism and elementary particles is a long-standing topic in physics. Likewise, the connection between particle physics and emergent phenomena in condensed matter physics is a recurring theme and condensed matter physics has often provided a platform for investigating the interplay between particles and fields in cases that have not been observed in high-energy physics, so far. Here, using angle-resolved photoemission spectroscopy, we provide a new example of this by visualizing the electronic structure of a noncentrosymmetric magnetic Weyl semimetal candidate NdAlSi in both the paramagnetic and ferrimagnetic states. We observe surface Fermi arcs and bulk Weyl fermion dispersion as well as the regulation of Weyl fermions by ferrimagnetism. Our results establish NdAlSi as a magnetic Weyl semimetal and provide the first experimental observation of ferrimagnetic regulation of Weyl fermions in condensed matter.
description: 19 pages, 4 figures
Steadfast perpendicular exchange coupling in an ultrathin CoO/PtFe double-layer: strain and spin orientation
Creators: name: Lamirand, A. D.
name: Soares, M. M.
name: Ramos, A. Y.
name: Tolentino, H. C. N.
name: DeSantis, M.
name: Cezar, J. C.
name: de Siervo, A.
name: Jamet, M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We report on the exchange coupling and magnetic properties of a strained ultrathin CoO/PtFe double-layer with perpendicular magnetic anisotropy. The cobalt oxide growth by reactive molecular beam epitaxy on a Pt-terminated PtFe/Pt(001) surface gives rise to an hexagonal surface and a monoclinic distorted CoO 3nm film at room temperature. This distorted ultrathin CoO layer couples with the PtFe(001) layer establishing a robust perpendicular exchange bias shift. Soft x-ray absorption spectroscopy provides a full description of the spin orientations in the CoO/PtFe doublelayer. The exchange bias shift is preserved up to the Neel antiferromagnetic ordering temperature of TN=293 K. This unique example of selfsame value for blocking and ordering temperatures, yet identical to the bulk ordering temperature, is likely related to the original strain induced distortion and strengthened interaction between the two well-ordered spin layers.
The Current Situation in the Japanese Economy and its Financial Markets – What is the Effect of the Negative Interest Rate?
Creators: name: Kinoshita, Yasushi
Publisher: name: Columbia University
Year: 2016
Subjects: Interest rates
Economic policy
Finance
Economics
Banks and banking

description: In order to understand the effect of negative interest rates on the Japanese economy and its financial system, it is essential to analyze Abenomics – the economic policies of Prime Minister Shinzo Abe’s administration – within the context of the global economy. The author gives an overview of the introduction of the negative interest rate, the current state of the Japanese economy and financial markets, challenges confronting Japan, actions the DBJ has taken, the necessity of reforms, and prospects for growth.
Heterogeneity in Japanese TFP, Part 2: Regulation, Capital Allocation, and TFP in Japan
Creators: name: Fink, Naomi
Publisher: name: Columbia University
Year: 2016
Subjects: Manufacturing industries--Government policy
Service industries--Government policy
Industrial productivity
Deregulation
Finance
Economics

description: In the first essay of our examination of Japanese total factor productivity, “Why Overcoming Deflation Alone Will Not Solve Japan’s Structural Problems,” we examined the role of relative deflation of capital goods in an exogenous model of productivity. In this study we gather empirical evidence on sector-specific characteristics of total factor productivity with the latter as an endogenous variable. Using panel regressions of industry-specific total factor productivity (both adjusted and unadjusted for labor and capital utilization) segmented by sector we discover a positive relationship between industry-wide measures of deregulation and total factor productivity in the services sector. However, the coefficient reverses in the manufacturing sector – a drop in already-deregulated manufacturing is consistent with a decline in total factor productivity. Although the direction of causality is indeterminate, an optimal level of regulation across industries in terms of total factor productivity growth appears to lie somewhere between the manufacturing and non-manufacturing sectors. Separately, we find strong evidence that the share of innovative capital scaled by firms’ output correlates positively with TFP growth, across most industry sectors. The sum of our findings provide a specific policy argument: to prioritize deregulation in services over manufacturing, moreover that the target of such policy adjustments should be at once to incentivize innovation in not only IT-relevant but also non-IT sectors and to dispose of “dead weight” capital in non-IT related Services industries in particular. We supplement the latter claim with empirical evidence of stagnation in the aggregate quality of capital in non-IT versus IT- related industries and, to a lesser extent, in Services versus Manufacturing.
Zur Restaurierung des Trierer Domes
Creators: name: Bornheim Schilling, Werner
Publisher: name: Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege
Year: 2019

description: Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege, Vol. 20 No. 1 (1967): Kunstchronik. Monatsschrift für Kunstwissenschaft, Museumswesen und Denkmalpflege
Good Jobs and Bad Jobs in Japan: 1982-2007
Creators: name: Kambayashi, Ryo
name: Kato, Takao
Publisher: name: Columbia University
Year: 2016
Subjects: Labor market
Labor economics

description: Governments around the world are increasingly aware of the need to promote the creation of not just more jobs, but also better jobs. This paper provides new evidence and insights on changes (and lack thereof) in Japan’s labor market segmentation between the primary (good job) segment and the secondary (bad job) segment over the last twenty-five years. During this time, the Japanese economy transitioned from a high-growth era to the Lost Decade to a quiet recovery. Specifically, we take advantage of the Japanese government’s recent relaxation of its data release policy, and analyze micro data from the Employment Status Survey (ESS) from 1982-2007. First, the literature often defines the primary secondary segments, using information on whether or not a worker is on a fixed-term contract or on an indefinite contract. We provide new evidence that such a de jure definition of labor market segmentation is less useful than an alternative de fact definition—whether a worker is termed a standard employee (seishain) in the place of his or her employment. Second, using our preferred de facto definition, we confirm that the size of the good job segment relative to the bad job segment has been indeed falling steadily over the last three decades. However, when we take into consideration transition from self-employment to employment, the most significant compositional shift of the Japanese labor market over the last decades is found to be a steady and substantive shift from self-employment to the bad job segment. Such a shift is found to be particularly notable for women, dwarfing any transition from the good job segment to the bad job segment. We further find evidence that such a compositional change from self-employment to the bad job segment is likely to be a shift from one type of bad jobs to another type of bad jobs rather than from good jobs to bad jobs. As such, our findings cast doubt on the popular narrative of the steady deterioration of job quality. However, for one particular group of Japanese workers – youth – we find compelling evidence in support of the popular narrative. This is especially true for the progress that young women made in enhancing their share of standard employment during Japan’s high growth decade in the 1980s; it was found to be entirely undone during the Lost Decade. Lastly, we provide evidence pointing to globalization as a possible underlying force behind the changes in the compositional shift of the Japanese labor market.
Additional file 1 of Potentially avoidable hospitalization for asthma in children and adolescents by migrant status: results from the Italian Network for Longitudinal Metropolitan Studies
Creators: name: Cacciani, Laura
name: Canova, Cristina
name: Barbieri, Giulia
name: Zuanna, Teresa Dalla
name: Marino, Claudia
name: Pacelli, Barbara
name: Caranci, Nicola
name: Strippoli, Elena
name: Zengarini, Nicolás
name: Napoli, Anteo Di
name: Agabiti, Nera
name: Davoli, Marina
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1: Table A1. Study population by citizenship, cohort, and gender.
Isolate record for VAFB-ISO-527
Creators: name: Holloway, Corinne
Year: 1900
Subjects: subject: Santa Barbara (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3486/santa-barbara-county
subject: Vandenberg Air Force Base (VAFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85469/vandenberg-air-force-base-vafb
subject: Vandenberg Space Force Base (VSFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85584/vandenberg-space-force-base-vsfb
subject: California (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/1484/california-state-territory
subject: Chipped Stone
valueUri: https://core.tdar.org/browse/material-type/2/chipped-stone
subject: Chert
valueUri: https://core.tdar.org/browse/material-type/213/chert
subject: Reconnaissance / Survey
valueUri: https://core.tdar.org/browse/investigation-type/7/reconnaissance-survey

description: This document is the isolated find record for VAFB-ISO-527. The artifact is a brown banded Monterey chert flake.
Wohl-verdientes Tods-Urtheil, Nebst einer Moral-Rede Der Catharina Zengerin, Welche Auf gnädigiste Anbefehlung eines Churfürstl. Hochlöbl. Hof-Raths allhier in München wegen ausgeübtem Kinds-Mord heut den 5. May 1759. durch das Schwerd vom Leben zum Tod hingerichtet worden; [1759]
Creators: name: Ettenhueber, Matthias
Publisher: name: Universitätsbibliothek der Ludwig-Maximilians-Universität München
Year: 2014

description: Num. XLVI [einer nicht näher bezeichneten Reihe]
Right-Handed Neutrino Dark Matter with Forbidden Annihilation
Creators: name: Cheng, Yu
name: Ge, Shao-Feng
name: Sheng, Jie
name: Yanagida, Tsutomu T.
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The seesaw mechanism with three right-handed neutrinos has one as a well-motivated dark matter candidate if stable and the other two can explain baryon asymmetry via the thermal leptogenesis scenario. We explore the possibility of introducing additional particles to make the right-handed neutrino dark matter in thermal equilibrium and freeze out through a forbidden annihilation channel. Nowadays in the Universe, this forbidden channel can be reactivated by a strong gravitational potential such as the supermassive black hole in our galaxy center. The Fermi-LAT gamma ray data and dark matter relic density require this right-handed neutrino dark matter to have mass below $100\,$GeV and the existence of an additional boson $ϕ$ that can be tested at future lepton colliders.
description: 7 pages, 1 figures
Proechimys iheringi Thomas 1911
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Echimyidae
Proechimys
Proechimys iheringi

description: Proechimys iheringi Thomas, 1911. Ann. Mag. Nat. Hist., ser. 8, 8:252. TYPE LOCALITY: Brazil, Sao Paulo, Sao Sabastiao Isl. DISTRIBUTION: E. Brazil. ISIS NUMBER: 5301410029011007001.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 6), pp. 560-594 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 590, DOI: 10.5281/zenodo.7353039
Rare baryonic decays $Λ_b \to Λl^+ l^-$ in the TTM model
Creators: name: Wen, Yan-Li
name: Yue, Chong-Xing
name: Zhang, Jiao
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In the framework of the top triangle moose $(TTM)$ model, we analyze the rare decays $Λ_{b}\rightarrow Λl^{+}l^{-} (l=e,μ,τ)$ by using the form factors calculated in full $QCD$. We calculate the contributions of the new particles predicted by this model to observables, such as the branching ratios, forward-backward asymmetry ($A_{FB}$) and polarizations related these decay processes. We find that, in wide range of the parameter space, the values of the branching ratios are enhanced by one order of magnitude comparing to the $SM$ predictions. This model can also produce significant corrections to $A_{FB}$, normal polarization $P_N$ and transversal polarization $P_T$.
description: 14 pages, 4 figures
Refractory Hypertension: Determination of Prevalence, Risk Factors and Comorbidities in a Large, Population-Based Cohort
Creators: name: Calhoun, David A.
name: Booth III, John N.
name: Oparil, Suzanne
name: Irvin, Marguerite R.
name: Shimbo, Daichi
name: Lackland, Daniel T.
name: Howard, George
name: Safford, Monika M.
name: Muntner, Paul
Publisher: name: Columbia University
Year: 2014
Subjects: Hypertension--Treatment
Hypertension
Epidemiology
Medical sciences
Medicine

description: Refractory hypertension is an extreme phenotype of antihypertensive treatment failure. Participants in the REasons for Geographic And Racial Differences in Stroke (REGARDS) Study, a large (n=30 239), population-based cohort were evaluated to determine the prevalence of refractory hypertension and associated cardiovascular risk factors and comorbidities. Refractory hypertension was defined as uncontrolled blood pressure (systolic/diastolic, ≥140/90 mm Hg) on ≥5 antihypertensive drug classes. Participants with resistant hypertension (systolic/diastolic, ≥140/90 mm Hg on ≥3 or <140/90 mm Hg on ≥4 antihypertensive classes) and all participants treated for hypertension served as comparator groups. Of 14 809 REGARDS participants receiving antihypertensive treatment, 78 (0.5%) had refractory hypertension. The prevalence of refractory hypertension was 3.6% among participants with resistant hypertension (n=2144) and 41.7% among participants on ≥5 antihypertensive drug classes. Among all participants with hypertension, black race, male sex, living in the stroke belt or buckle, higher body mass index, lower heart rate, reduced estimated glomerular filtration rate, albuminuria, diabetes mellitus, and history of stroke and coronary heart disease were associated with refractory hypertension. Compared with resistant hypertension, prevalence ratios for refractory hypertension were increased for blacks (3.00; 95% confidence interval, 1.68–5.37) and those with albuminuria (2.22; 95% confidence interval, 1.40–3.52) and diabetes mellitus (2.09; 95% confidence interval, 1.32–3.31). The median 10-year Framingham risk for coronary heart disease and stroke was higher among participants with refractory hypertension when compared with those with either comparator group. These data indicate that although resistant hypertension is relatively common among treated patients with hypertension, true antihypertensive treatment failure is rare.
"It's Weird That it Knows What I Want": Usability and Interactions with Copilot for Novice Programmers
Creators: name: Prather, James
name: Reeves, Brent N.
name: Denny, Paul
name: Becker, Brett A.
name: Leinonen, Juho
name: Luxton-Reilly, Andrew
name: Powell, Garrett
name: Finnie-Ansley, James
name: Santos, Eddie Antonio
Publisher: name: arXiv
Year: 2023
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Recent developments in deep learning have resulted in code-generation models that produce source code from natural language and code-based prompts with high accuracy. This is likely to have profound effects in the classroom, where novices learning to code can now use free tools to automatically suggest solutions to programming exercises and assignments. However, little is currently known about how novices interact with these tools in practice. We present the first study that observes students at the introductory level using one such code auto-generating tool, Github Copilot, on a typical introductory programming (CS1) assignment. Through observations and interviews we explore student perceptions of the benefits and pitfalls of this technology for learning, present new observed interaction patterns, and discuss cognitive and metacognitive difficulties faced by students. We consider design implications of these findings, specifically in terms of how tools like Copilot can better support and scaffold the novice programming experience.
description: 26 pages, 2 figures, TOCHI
Confluence of Depression and Acute Psychological Stress Among Patients With Stable Coronary Heart Disease: Effects on Myocardial Perfusion
Creators: name: Burg, Matthew M.
name: Meadows, Judith
name: Shimbo, Daichi
name: Davidson, Karina W.
name: Schwartz, Joseph E.
name: Soufer, Robert
Publisher: name: Columbia University
Year: 2014
Subjects: Depression, Mental
Coronary circulation
Stress (Psychology)--Health aspects
Coronary heart disease
Mental health
Medical sciences

description: Background: Depression is prevalent in coronary heart disease (CHD) patients and increases risk for acute coronary syndrome (ACS) recurrence and mortality despite optimal medical care. The pathways underlying this risk remain elusive. Psychological stress (PS) can provoke impairment in myocardial perfusion and trigger ACS. A confluence of acute PS with depression might reveal coronary vascular mechanisms of risk. We tested whether depression increased risk for impaired myocardial perfusion during acute PS among patients with stable CHD.

Methods and Results: Patients (N=146) completed the Beck Depression Inventory‐I (BDI‐I), a measure of depression linked to recurrent ACS and post‐ACS mortality, and underwent single‐photon emission computed tomography myocardial perfusion imaging at rest and during acute PS. The likelihood of new/worsening impairment in myocardial perfusion from baseline to PS as a function of depression severity was tested. On the BDI‐I, 41 patients scored in the normal range, 48 in the high normal range, and 57 in the depressed range previously linked to CHD prognosis. A BDI‐I score in the depressed range was associated with a significantly greater likelihood of new/worsening impairment in myocardial perfusion from baseline to PS (odds ratio =2.89, 95% CI: 1.26 to 6.63, P=0.012). This remained significant in models controlling ACS recurrence/mortality risk factors and medications. There was no effect for selective serotonin reuptake inhibitor medications.

Conclusions: Depressed patients with CHD are particularly susceptible to impairment in myocardial perfusion during PS. The confluence of PS with depression may contribute to a better understanding of the depression‐associated risk for ACS recurrence and mortality.
Sampling-based Decentralized Monitoring for Networked Embedded Systems
Creators: name: Bartocci, Ezio
Publisher: name: arXiv
Year: 2013
Subjects: subject: Software Engineering (cs.SE)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Decentralized monitoring (DM) refers to a monitoring technique, where each component must infer, based on a set of partial observations if the global property is satisfied. Our work is inspired by the theoretical results presented by Baurer and Falcone at FM 2012, where the authors introduced an algorithm for distributing and monitoring LTL formulae, such that satisfaction or violation of specifications can be detected by local monitors alone. However, their work is based on the main assumption that neither the computation nor communication take time, hence it does not take into account how to set a sampling time among the components such that their local traces are consistent. In this work we provide a timed model in UPPAAL and we show a case study on a networked embedded systems board.
description: In Proceedings HAS 2013, arXiv:1308.4904
Isolate record for VAFB-ISO-517
Creators: name: Holloway, Corinne
Year: 1900
Subjects: subject: Santa Barbara (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3486/santa-barbara-county
subject: Vandenberg Air Force Base (VAFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85469/vandenberg-air-force-base-vafb
subject: Vandenberg Space Force Base (VSFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85584/vandenberg-space-force-base-vsfb
subject: California (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/1484/california-state-territory
subject: Chipped Stone
valueUri: https://core.tdar.org/browse/material-type/2/chipped-stone
subject: Chert
valueUri: https://core.tdar.org/browse/material-type/213/chert
subject: Reconnaissance / Survey
valueUri: https://core.tdar.org/browse/investigation-type/7/reconnaissance-survey

description: This document is the isolated find record for VAFB-ISO-517. The artifact is a gray Monterey chert flake.
On the Momentum Dependence of the Flavor Structure of the Nucleon Sea
Creators: name: Peng, Jen-Chieh
name: Chang, Wen-Chen
name: Cheng, Hai-Yang
name: Hou, Tie-Jiun
name: Liu, Keh-Fei
name: Qiu, Jian-Wei
Publisher: name: arXiv
Year: 2014
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Lattice (hep-lat)
subject: Nuclear Experiment (nucl-ex)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Difference between the $\bar u$ and $\bar d$ sea quark distributions in the proton was first observed in the violation of the Gottfried sum rule in deep-inelastic scattering (DIS) experiments. The parton momentum fraction $x$ dependence of this difference has been measured over the region $0.02 < x < 0.35$ from Drell-Yan and semi-inclusive DIS experiments. The Drell-Yan data suggested a possible sign-change for $\bar d(x)-\bar u(x)$ near $x \sim 0.3$, which has not yet been explained by existing theoretical models. We present an independent evidence for the $\bar d(x)-\bar u(x)$ sign-change at $x \sim 0.3$ from an analysis of the DIS data. We further discuss the $x$-dependence of $\bar d(x)-\bar u(x)$ in the context of meson cloud model and the lattice QCD formulation.
description: 5 pages, 5 figures, final version
Endothelial Activation Microparticles and Inflammation Status Improve with Exercise Training in African Americans
Creators: name: Babbitt, Dianne M.
name: Diaz, Keith
name: Feairheller, Deborah L.
name: Sturgeon, Kathleen M.
name: Perkins, Amanda M.
name: Veerabhadrappa, Praveen
name: Williamson, Sheara T.
name: Kretzschmar, Jan
name: Ling, Chenyi
name: Lee, Hojun
name: Grimm, Heather
name: Thakkar, Sunny R.
name: Crabbe, Deborah L.
name: Kashem, Mohammed A.
name: Brown, Michael D.
Publisher: name: Columbia University
Year: 2013
Subjects: Aerobic exercises--Physiological aspects
Inflammation
African Americans--Health and hygiene
Medical sciences
Kinesiology
Biochemistry

description: African Americans have the highest prevalence of hypertension in the world which may emanate from their predisposition to heightened endothelial inflammation. The purpose of this study was to determine the effects of a 6-month aerobic exercise training (AEXT) intervention on the inflammatory biomarkers interleukin-10 (IL-10), interleukin-6 (IL-6), and endothelial microparticle (EMP) CD62E+ and endothelial function assessed by flow-mediated dilation (FMD) in African Americans. A secondary purpose was to evaluate whether changes in IL-10, IL-6, or CD62E+ EMPs predicted the change in FMD following the 6-month AEXT intervention. A pre-post design was employed with baseline evaluation including office blood pressure, FMD, fasting blood sampling, and graded exercise testing. Participants engaged in 6 months of AEXT. Following the AEXT intervention, all baseline tests were repeated. FMD significantly increased, CD62E+ EMPs and IL-6 significantly decreased, and IL-10 increased but not significantly following AEXT. Changes in inflammatory biomarkers did not significantly predict the change in FMD. The change in  significantly predicted the change in IL-10. Based on these results, AEXT may be a viable, nonpharmacological method to improve inflammation status and endothelial function and thereby contribute to risk reduction for cardiovascular disease in African Americans.
FetMRQC: Automated Quality Control for fetal brain MRI
Creators: name: Sanchez, Thomas
name: Esteban, Oscar
name: Gomez, Yvan
name: Eixarch, Elisenda
name: Cuadra, Meritxell Bach
Publisher: name: arXiv
Year: 2023
Subjects: subject: Image and Video Processing (eess.IV)
subject: Machine Learning (cs.LG)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Quality control (QC) has long been considered essential to guarantee the reliability of neuroimaging studies. It is particularly important for fetal brain MRI, where large and unpredictable fetal motion can lead to substantial artifacts in the acquired images. Existing methods for fetal brain quality assessment operate at the \textit{slice} level, and fail to get a comprehensive picture of the quality of an image, that can only be achieved by looking at the \textit{entire} brain volume. In this work, we propose FetMRQC, a machine learning framework for automated image quality assessment tailored to fetal brain MRI, which extracts an ensemble of quality metrics that are then used to predict experts' ratings. Based on the manual ratings of more than 1000 low-resolution stacks acquired across two different institutions, we show that, compared with existing quality metrics, FetMRQC is able to generalize out-of-domain, while being interpretable and data efficient. We also release a novel manual quality rating tool designed to facilitate and optimize quality rating of fetal brain images. Our tool, along with all the code to generate, train and evaluate the model is available at https://github.com/Medical-Image-Analysis-Laboratory/fetal_brain_qc/ .
description: 12 pages, 8 figures. Perinatal, Preterm and Paediatric Image Analysis Workshop 2023
Isolate record for VAFB-ISO-520
Creators: name: Holloway, Corinne
Year: 1900
Subjects: subject: Santa Barbara (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3486/santa-barbara-county
subject: Vandenberg Air Force Base (VAFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85469/vandenberg-air-force-base-vafb
subject: Vandenberg Space Force Base (VSFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85584/vandenberg-space-force-base-vsfb
subject: California (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/1484/california-state-territory
subject: Chipped Stone
valueUri: https://core.tdar.org/browse/material-type/2/chipped-stone
subject: Chert
valueUri: https://core.tdar.org/browse/material-type/213/chert
subject: Reconnaissance / Survey
valueUri: https://core.tdar.org/browse/investigation-type/7/reconnaissance-survey

description: This document is the isolated find record for VAFB-ISO-520. The artifact is a brown and white banded Monterey chert shatter.
Direct numerical simulation of the dynamics of sliding rough surfaces
Creators: name: Dang, Viet Hung
name: Perret-Liaudet, Joël
name: Scheibert, Julien
name: Bot, Alain Le
Publisher: name: arXiv
Year: 2013
Subjects: subject: Classical Physics (physics.class-ph)
subject: FOS: Physical sciences

description: The noise generated by the friction of two rough surfaces under weak contact pressure is usually called roughness noise. The underlying vibration which produces the noise stems from numerous instantaneous shocks (in the microsecond range) between surface micro-asperities. The numerical simulation of this problem using classical mechanics requires a fine discretization in both space and time. This is why the finite element method takes much CPU time. In this study, we propose an alternative numerical approach which is based on a truncated modal decomposition of the vibration, a central difference integration scheme and two algorithms for contact: The penalty algorithm and the Lagrange multiplier algorithm. Not only does it reproduce the empirical laws of vibration level versus roughness and sliding speed found experimentally but it also provides the statistical properties of local events which are not accessible by experiment. The CPU time reduction is typically a factor of 10.
description: 16 pages, 16 figures, accepted version
Higher leptin is associated with hypertension: the Multi-Ethnic Study of Atherosclerosis
Creators: name: Allison, Matthew A.
name: Ix, Joachim H.
name: Morgan, Cindy
name: McClelland, Robyn L.
name: Rifkin, Dena
name: Shimbo, Daichi
name: Criqui, Michael H.
Publisher: name: Columbia University
Year: 2013
Subjects: Leptin
Hypertension
Atherosclerosis
Medical sciences
Epidemiology
Biometry

description: Adipokines are secreted from adipose tissue, influence energy homeostasis and may contribute to the association between obesity and hypertension. Among 1897 participants enrolled in the Multi-Ethnic Study of Atherosclerosis, we examined associations between blood pressure and leptin, tumor necrosis factor-α (TNFα), resistin and total adiponectin. The mean age and body mass index (BMI) was 64.7 years and 28.1, respectively, and 50% were female. After adjustment for risk factors, a 1-s.d.-increment higher leptin level was significantly associated with higher systolic (5.0 mm Hg), diastolic (1.9), mean arterial (2.8) and pulse pressures (3.6), as well as a 34% higher odds for being hypertensive (P<0.01 for all). These associations were not materially different when the other adipokines, as well as BMI, waist circumference or waist-to-hip ratio, were additionally added to the model. Notably, the associations between leptin and hypertension were stronger in men, but were not different by race/ethnic group, BMI or smoking status. Adiponectin, resistin and TNFα were not independently associated with blood pressure or hypertension. Higher serum leptin, but not adiponectin, resistin or TNFα, is associated with higher levels of all measures of blood pressure, as well as a higher odds of hypertension, independent of risk factors, anthropometric measures and other selected adipokines.
Towards Evaluating Explanations of Vision Transformers for Medical Imaging
Creators: name: Komorowski, Piotr
name: Baniecki, Hubert
name: Biecek, Przemysław
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: As deep learning models increasingly find applications in critical domains such as medical imaging, the need for transparent and trustworthy decision-making becomes paramount. Many explainability methods provide insights into how these models make predictions by attributing importance to input features. As Vision Transformer (ViT) becomes a promising alternative to convolutional neural networks for image classification, its interpretability remains an open research question. This paper investigates the performance of various interpretation methods on a ViT applied to classify chest X-ray images. We introduce the notion of evaluating faithfulness, sensitivity, and complexity of ViT explanations. The obtained results indicate that Layerwise relevance propagation for transformers outperforms Local interpretable model-agnostic explanations and Attention visualization, providing a more accurate and reliable representation of what a ViT has actually learned. Our findings provide insights into the applicability of ViT explanations in medical imaging and highlight the importance of using appropriate evaluation criteria for comparing them.
description: Accepted by XAI4CV Workshop at CVPR 2023
Proechimys longicaudatus
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Echimyidae
Proechimys
Proechimys longicaudatus

description: Proechimys longicaudatus (Rengger, 1830). Naturg. Saugeth. Paraguay, p. 236. TYPE LOCALITY: Paraguay. DISTRIBUTION: C. and E. Peru; W. Bolivia; Paraguay; Brazil. COMMENT: Formerly included brevicauda; see Reig et al., 1980:291-312, in Voronstov and Van Brink, eds., Animal genetics and evolution, Junk, The Hague. Patton and Gardner, 1972, Occas. Pap. Mus. Zool. La. St. Univ., 44, reported the karyotype of this species, from E. Peru. ISIS NUMBER: 5301410029011008001.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 6), pp. 560-594 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 590, DOI: 10.5281/zenodo.7353039
description: {"references": ["Reig, O. A., M. Aguilera, M. A. Barros, and M. Useche. 1980. Chromosomal speciation in a Rassenkreis of Venezuelan spiny rats (genus Proechimys; Rodentia: Echimyidae). Genetica, 52 / 53: 291 - 312.", "Patton, J. L., and A. L. Gardner. 1972. Notes on the systematics of Proechimys (Rodentia: Echimyidae), with emphasis on Peruvian forms. Occasional Papers of the Museum of Zoology, Louisiana State University, 44: 1 - 30."]}