cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Molecular machines operating on nanoscale: from classical to quantum
Creators: name: Goychuk, Igor
Publisher: name: arXiv
Year: 2015
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Biological Physics (physics.bio-ph)
subject: FOS: Physical sciences

description: The main physical features and operating principles of isothermal nanomachines in microworld are reviewed, which are common for both classical and quantum machines. Especial attention is paid to the dual and constructive role of dissipation and thermal fluctuations, fluctuation-dissipation theorem, heat losses and free energy transduction, thermodynamic efficiency, and thermodynamic efficiency at maximum power. Several basic models are considered and discussed to highlight generic physical features. Our exposition allows to spot some common fallacies which continue to plague the literature, in particular, erroneous beliefs that one should minimize friction and lower the temperature to arrive at a high performance of Brownian machines, and that thermodynamic efficiency at maximum power cannot exceed one-half. The emerging topic of anomalous molecular motors operating sub-diffusively but highly efficiently in viscoelastic environment of living cells is also discussed.
Intraosseous Rosai-Dorfman disease diagnosed by touch imprint cytology evaluation: A case series
Creators: name: Wobker, Sara E.
name: Dodd, Leslie G.
name: Esther, Robert J.
name: Pendse, Avani A.
name: Smith, Scott V.
name: Greene, Kevin G.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2018

description: Sinus histiocytosis with massive lymphadenopathy, also known as Rosai-Dorfman disease (RDD) is a rare benign disorder that primarily affects the lymph nodes. Localized lymphadenopathy is the most common clinical manifestation of this disorder. However, RDD has been described in several extra-nodal sites including the head and neck region, soft tissue, skin, upper respiratory tract, gastro-intestinal tract and central nervous system (CNS). Involvement of the bone is considered very rare, occurring in less than 10% patients. RDD is one of the histiocytoses and the differential diagnosis includes entities such as Langerhans cell histiocytosis and Erdheim-Chester disease. In the rare intraosseous variant, the clinical and radiologic differential diagnosis is broader and includes neoplasms such as osteosarcoma and Ewing sarcoma. In this report, we describe three cases of extra-nodal, intraosseous RDD where touch imprint cytology played a crucial role in diagnosis. Two of the cases initially presented with involvement of the head and neck region and later developed intraosseous disease; while the third patient presented with primary bone involvement. The diagnosis was established by core biopsy with touch imprints of the bone lesions. The cytologic samples showed numerous histiocytes, often with neutrophils within their cytoplasm (emperipolesis) in addition to lymphocytes and plasma cells. The diagnosis of RDD was confirmed with appropriate immunohistochemical stains. Our account of these three cases of intraosseous Rosai-Dorfman disease highlights the role of cytology in the diagnosis of this rare entity.
DGDFT: A Massively Parallel Method for Large Scale Density Functional Theory Calculations
Creators: name: Hu, Wei
name: Lin, Lin
name: Yang, Chao
Publisher: name: arXiv
Year: 2015
Subjects: subject: Computational Physics (physics.comp-ph)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: We describe a massively parallel implementation of the recently developed discontinuous Galerkin density functional theory (DGDFT) [J. Comput. Phys. 2012, 231, 2140] method, for efficient large-scale Kohn-Sham DFT based electronic structure calculations. The DGDFT method uses adaptive local basis (ALB) functions generated on-the-fly during the self-consistent field (SCF) iteration to represent the solution to the Kohn-Sham equations. The use of the ALB set provides a systematic way to improve the accuracy of the approximation. It minimizes the number of degrees of freedom required to represent the solution to the Kohn-Sham problem for a desired level of accuracy. In particular, DGDFT can reach the planewave accuracy with far fewer numbers of degrees of freedom. By using the pole expansion and selected inversion (PEXSI) technique to compute electron density, energy and atomic forces, we can make the computational complexity of DGDFT scale at most quadratically with respect to the number of electrons for both insulating and metallic systems. We show that DGDFT can achieve 80% parallel efficiency on 128,000 high performance computing cores when it is used to study the electronic structure of two-dimensional (2D) phosphorene systems with 3,500-14,000 atoms. This high parallel efficiency results from a two-level parallelization scheme that we will describe in detail.
description: 13 pages, 8 figures in J. Chem. Phys. 2015. arXiv admin note: text overlap with arXiv:1501.05032
A US-China Virtual Exchange Program In Beijing: A Technology-Mediated Task-Based Chinese Language Course
Publisher: name: University of Virginia
Year: 2023
Subjects: Open Educational Resources (OER)
Task-based language teaching
Mandarin Chinese
Advanced level
Technology

description: This Open Educational Resources (OER) project, fully funded by The National Endowment for the Humanities (NEH) in 2020-2023, offers a completely revamped, task-based course in pre-advanced Chinese language. The technology-mediated course emphasizes authenticity, interaction, and communication. Organized around a series of pedagogical and authentic tasks, it also features a virtual, immersive US-China exchange program. The OER site includes a course overview and two thematic units on Siheyuan (four-sided courtyard) and Chinese cuisine that are highlighted and seamlessly connected with pre-tasks, core-tasks, and post-tasks. Materials for teaching and learning are presented in an all-in-one mode that is easy for teachers and students to navigate and download. Some of the tasks are transformed to be interactive through H5P, enabling learners to receive instant feedback and scoring on the Pressbooks platform.
Malaria surveillance in the Democratic Republic of the Congo: comparison of microscopy, PCR, and rapid diagnostic test
Creators: name: Thwai, Kyaw L.
name: Muwonga, Jérémie
name: Tshefu, Antoinette
name: Doctor, Stephanie M.
name: Liu, Yunhao
name: Whitesell, Amy
name: Emch, Michael
name: Meshnick, Steven R.
name: Taylor, Steve M.
name: Janko, Mark
name: Kashamuka, Melchior
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: Malaria surveillance is critical for control efforts, but diagnostic methods frequently disagree. Here we compare microscopy, PCR, and a Rapid Diagnostic Test in 7,137 samples from children in the Democratic Republic of the Congo using Latent Class Analysis. PCR had the highest sensitivity (94.6%) and microscopy had the lowest (76.7%).
Systematic Verification of the Modal Logic Cube in Isabelle/HOL
Creators: name: Benzmüller, Christoph
name: Claus, Maximilian
name: Sultana, Nik
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences
subject: I.2.3; I.2.4; F.4.1

description: We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the modal logic cube, and using encodings in first-order logic in combination with first-order automated theorem provers. In contrast, our solution is more elegant, transparent and effective. It employs an embedding of quantified modal logic in classical higher-order logic. Automated reasoning tools, such as Sledgehammer with LEO-II, Satallax and CVC4, Metis and Nitpick, are employed to achieve full automation. Though successful, the experiments also motivate some technical improvements in the Isabelle/HOL tool.
description: In Proceedings PxTP 2015, arXiv:1507.08375
Towards Meaningful Maps of Polish Case Law
Creators: name: Jungiewicz, Michal
name: Łopuszyński, Michał
Publisher: name: arXiv
Year: 2015
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: In this work, we analyze the utility of two dimensional document maps for exploratory analysis of Polish case law. We start by comparing two methods of generating such visualizations. First is based on linear principal component analysis (PCA). Second makes use of the modern nonlinear t-Distributed Stochastic Neighbor Embedding method (t-SNE). We apply both PCA and t-SNE to a corpus of judgments from different courts in Poland. It emerges that t-SNE provides better, more interpretable results than PCA. As a next test, we apply t-SNE to randomly selected sample of common court judgments corresponding to different keywords. We show that t-SNE, in this case, reveals hidden topical structure of the documents related to keyword,,pension". In conclusion, we find that the t-SNE method could be a promising tool to facilitate the exploitative analysis of legal texts, e.g., by complementing search or browse functionality in legal databases.
Methotrexate for Inflammatory Bowel Diseases - New Developments
Creators: name: Herfarth, Hans H.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: Methotrexate (MTX) is an established therapy for patients with steroid dependent Crohn’s disease (CD). MTX is also frequently used in combination with anti-TNF agents to suppress anti-drug antibody formation. It has been suggested in the past that MTX lacks any clinical effectiveness in patients with ulcerative colitis (UC), however newer data at least partially contradict this assumption. The following review will discuss recent data for the use of MTX in CD, UC and in combination with anti-TNF agents.
Realistic modeling of local dynamo processes on the Sun
Creators: name: Kitiashvili, I. N.
name: Kosovichev, A. G.
name: Mansour, N. N.
name: Wray, A. A.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Magnetic fields are usually observed in the quiet Sun as small-scale elements that cover the entire solar surface (the `salt and pepper' patterns in line-of-sight magnetograms). By using 3D radiative MHD numerical simulations we find that these fields result from a local dynamo action in the top layers of the convection zone, where extremely weak 'seed' magnetic fields (e.g., from a $10^{-6}$ G) can locally grow above the mean equipartition field, to a stronger than 2000~G field localized in magnetic structures. Our results reveal that the magnetic flux is predominantly generated in regions of small-scale helical downflows. We find that the local dynamo action takes place mostly in a shallow, about 500~km deep, subsurface layer, from which the generated field is transported into the deeper layers by convective downdrafts. We demonstrate that the observed dominance of vertical magnetic fields at the photosphere and horizontal fields above the photosphere can be explained by small-scale magnetic loops produced by the dynamo. Such small-scale loops play an important role in the structure and dynamics of the solar atmosphere and that their detection in observations is critical for understanding the local dynamo action on the Sun.
description: 40pages, 18 figures; accepted to ApJ. arXiv admin note: text overlap with arXiv:1312.0982
Pathogenesis and Management of Alcoholic Liver Disease
Creators: name: Farooq, M. Omar
name: Bataller, Ramon
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: Alcoholic liver disease (ALD) is a leading cause of liver-related morbidity and mortality. ALD encompasses a spectrum of disorders ranging from asymptomatic steatosis, alcoholic steatohepatitis (ASH), fibrosis, cirrhosis and its related complications. Moreover, patients can develop an acute-on-chronic form of liver failure called alcoholic hepatitis (AH). Most patients are diagnosed at advanced stages of the disease with higher rates of complications and mortality. The mainstream of therapy of ALD patients, regardless of the disease stage, is prolonged alcohol abstinence. The current therapeutic regimens for AH (i.e. prednisolone) have limited efficacy and targeted therapies are urgently needed. The development of such therapies requires translational studies in human samples and suitable animal models that reproduce clinical and histological features of AH. In recent years, new animal models that simulate some of the features of human AH have been developed, and translational studies using human samples have identified potential pathogenic factors and histological parameters that predict survival. In this review, we discuss the pathogenesis and management of ALD, focusing on AH, its current therapies and potential treatment targets.
D6.2 3D Location Simulation Models and Lab Prototypes
Creators: name: Zhang, Xun
name: Ali, Kareem
name: Cosmas, John
name: Eappen, Geoffrey
name: Koffman, Israel
name: Mahbas, Ali
name: Njima, Wafa
name: Zhao, Hongxiu
name: Weh, Matthias
Publisher: name: Zenodo
Year: 2023
Subjects: Optical Wireless Communications Position Estimation, 6G Sub 6 GHz / 40GHz mmWave Time Difference of Arrival Position Estimation, Angle of Arrival position Estimation using AI, Combined LIDAR and 360° Environment Sensing and Imaging, Mutual Localisation Sensing Blockchain Location Ledger

description: In this deliverable, we first present RF-light localization simulation model and OWC localization simulation model with different measurement technologies mentioned in deliverable 6.1. This document describes also the two laboratory testbeds, which are used to process the localization and mapping algorithm. It describes the Blockchain location ledger system implementation solution in laboratory environment. It describes its mutual Localisation Sensing Lab prototype at the end.
The Common HOL Platform
Creators: name: Adams, Mark
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Digital Libraries (cs.DL)
subject: FOS: Computer and information sciences

description: The Common HOL project aims to facilitate porting source code and proofs between members of the HOL family of theorem provers. At the heart of the project is the Common HOL Platform, which defines a standard HOL theory and API that aims to be compatible with all HOL systems. So far, HOL Light and hol90 have been adapted for conformance, and HOL Zero was originally developed to conform. In this paper we provide motivation for a platform, give an overview of the Common HOL Platform's theory and API components, and show how to adapt legacy systems. We also report on the platform's successful application in the hand-translation of a few thousand lines of source code from HOL Light to HOL Zero.
description: In Proceedings PxTP 2015, arXiv:1507.08375
Cleavage of E-Cadherin Contributes to Defective Barrier Function in Neosquamous Epithelium
Creators: name: Orlando, Roy C.
name: Shaheen, Nicholas J.
name: Runge, Thomas M.
name: Hallquist, Suzanne
name: Djukic, Zorka
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: After ablation of Barrett’s esophagus (BE), the esophagus heals with neosquamous epithelium (NSE). Despite normal endoscopic appearance, NSE exhibits defective barrier function with similarities to defects noted in the distal esophageal epithelium in patients with gas-troesophageal reflux disease (GERD).
Certifying the presence of a photonic qubit by splitting it in two
Creators: name: Meyer-Scott, Evan
name: McCloskey, Daniel
name: Gołos, Klaudia
name: Salvail, Jeff Z.
name: Fisher, Kent A. G.
name: Hamel, Deny
name: Cabello, Adán
name: Resch, Kevin J.
name: Jennewein, Thomas
Publisher: name: arXiv
Year: 2015
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present an implementation of photonic qubit precertification that performs the delicate task of detecting the presence of a flying photon without destroying its qubit state, allowing loss-sensitive quantum cryptography and tests of nonlocality even over long distance. By splitting an incoming single photon in two via parametric down-conversion, we herald the photon's arrival from an independent photon source while preserving its quantum information with up to $92.3\pm0.6$ % fidelity. With reduced detector dark counts, precertification will be immediately useful in quantum communication.
description: 6 pages, 6 figures, updated to published version
Fatigue in Patients with Chronic Hepatitis B Living in North America: Results from the Hepatitis B Research Network (HBRN)
Creators: name: Hoofnagle, Jay H.
name: Sarkar, Souvik
name: Khalili, Mandana
name: Fontana, Robert J.
name: Reeve, Bryce B.
name: Evon, Donna M.
name: Lisker-Melman, Mauricio
name: Wahed, Abdus S.
name: Johnson, Geoffrey
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: Fatigue is a common symptom of liver disease but not well-characterized in patients with chronic hepatitis B virus (HBV).
Problemáticas urbanas en El muro de Maristella Svampa: el espacio del barrio cerrado y sus desafíos
Creators: name: Sutich-Feierabend, Silvana B.
Publisher: name: Hannover : Institutionelles Repositorium der Leibniz Universität Hannover
Year: 2023
Subjects: subject: Stadtentwicklung
subject: Roman
subject: Svampa, Maristella
subject: Dewey Decimal Classification::400 | Sprache, Linguistik

description: [no abstract available]
Lymphocytic Esophagitis: An Emerging Clinicopathologic Disease Associated with Dysphagia
Creators: name: Speck, Olga
name: Reed, Craig C.
name: Dellon, Evan S.
name: Gupta, Amit
name: Woosley, John T.
name: Pasricha, Sarina
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: Lymphocytic Esophagitis (LyE) is a recently described clinicopathological condition, but little is known about its features and clinical associations.
Proof equivalence in MLL is PSPACE-complete
Creators: name: Heijltjes, Willem
name: Houston, Robin
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: MLL proof equivalence is the problem of deciding whether two proofs in multiplicative linear logic are related by a series of inference permutations. It is also known as the word problem for star-autonomous categories. Previous work has shown the problem to be equivalent to a rewiring problem on proof nets, which are not canonical for full MLL due to the presence of the two units. Drawing from recent work on reconfiguration problems, in this paper it is shown that MLL proof equivalence is PSPACE-complete, using a reduction from Nondeterministic Constraint Logic. An important consequence of the result is that the existence of a satisfactory notion of proof nets for MLL with units is ruled out (under current complexity assumptions). The PSPACE-hardness result extends to equivalence of normal forms in MELL without units, where the weakening rule for the exponentials induces a similar rewiring problem.
description: Journal version of: Willem Heijltjes and Robin Houston. No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete. In Proc. Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, 2014
title: Zur Erinnerung an Herrn Aloys von Orelli im Thalhof
title: geboren den 30. Dezember 1878, gestorben den 8. November 1929
titleType: Subtitle
title: Abschiedsworte bei der Bestattung gesprochen von Herrn Pfarrer K. von Orelli, am 11. November 1929 in der St. Anna-Kapelle
titleType: Subtitle
Creators: name: Orelli, Konrad Von
name: Orelli, Hans Von
name: Rübel, Eduard
Publisher: name: Berichthaus
Year: 1929
Subjects: subject: 920 Biografien, Genealogie, Insignien
subject: Nachruf
subject: Orelli, Aloys von
subject: Zürich

description: Inhalt: Worte am Grabe gesprochen von Herrn Rektor Hans von Orelli ; Nachruf von Herrn Prof. Dr. Ed. Rübel am Grabe gesprochen ; Nachrufe aus verschiedenen Zeitungen
The Health Care System in Albania
Creators: name: Druga, Ertila
Publisher: name: Universität Bremen
Year: 2021
Subjects: subject: social policy
subject: health care system introductions
subject: Albania
subject: health policy
subject: 320

description: This country report provides a description of the emergence of a health care system under public responsibility in Albania. The inception of the health care system refers to the first legislation stipulating entitlements to medical care. The report includes a brief description of major health care reforms, and the current organization of the health care system in Albania. It is part of the CRC 1342 Social Policy Country Briefs Series.
Severe Acute Hepatocellular Injury Attributed to OxyELITE Pro: A Case Series
Creators: name: Fontana, Robert J.
name: Ahmad, Jawad
name: Kleiner, David E.
name: Hayashi, Paul H.
name: Navarro, Victor J.
name: Stolz, Andrew
name: Heidemann, Lauren A.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: Herbal and dietary supplement (HDS) hepatotoxicity is increasingly being reported in the United States. This case series describes the presenting clinical features and outcomes of 7 patients with liver injury attributed to OxyELITE Pro enrolled in the Drug Induced Liver Injury Network (DILIN) study.
title: Nekrolog auf Joh. Caspar von Orelli
title: geboren den 18. Februar 1787, gestorben den 6. Januar 1849
titleType: Subtitle
Creators: name: (:Unkn) Unknown
Publisher: name: Neue Zürcher Zeitung
Year: 1849
Subjects: subject: 020 Bibliotheks- und Informationswissenschaften
subject: 400 Sprache
subject: 920 Biografien, Genealogie, Insignien
subject: Nachruf
subject: Orelli, Johann Kaspar von
subject: Zürich

description: Extrabeilage zu Nro. 21 der Neuen Zürcher-Zeitung
Analysis of Nausea in Clinical Studies of Lubiprostone for the Treatment of Constipation Disorders
Creators: name: Chey, William D.
name: Cryer, Byron
name: Drossman, Douglas A.
name: Habibi, Sepideh
name: Webster, Lynn
name: Wang, Martin
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: BACKGROUND: Lubiprostone is a ClC-2 chloride channel activator approved for the treatment of chronic idiopathic constipation (CIC) and opioid-induced constipation (OIC) in adults and irritable bowel syndrome with constipation (IBS-C) in women. Lubiprostone is generally well tolerated, with nausea being the most common adverse event.

AIMS: To characterize nausea with lubiprostone using pooled results from clinical studies in patients with CIC, OIC, or IBS-C.

METHODS: Data from three 3- and 4-week placebo-controlled studies and three long-term open-label studies were pooled for the CIC analysis. The OIC and IBS-C analyses each used pooled data from three 12-week placebo-controlled studies and one 36-week open-label extension study.

RESULTS: The populations included the following numbers of patients: CIC, 316 (placebo) and 1113 (lubiprostone 24 mcg twice daily [BID]); OIC, 652 (placebo) and 889 (lubiprostone 24 mcg BID); and IBS-C, 435 (placebo) and 1011 (lubiprostone 8 mcg BID). The incidence of nausea in lubiprostone-treated patients ranged from 11.4 to 31.1%, with the highest incidence in patients with CIC. Among patients with any nausea, most reported only mild or moderate severity (96.5-99.1% across indications) and only one event (83.6-88.7%); most events occurred within the first 5 days of treatment.

CONCLUSIONS: Nausea was the most common adverse event following the treatment with lubiprostone. Event rates varied by indication and dose, and the majority of nausea adverse events were mild to moderate in severity. Nausea events predominantly occurred early in the treatment period in all of the pooled study populations.
Association Between Body Mass Index and Clinical and Endoscopic Features of Eosinophilic Esophagitis
Creators: name: Dellon, Evan S.
name: Gebhart, Jessica H.
name: Speck, Olga
name: Piazza, Nicholas A.
name: Shaheen, Nicholas J.
name: Woosley, John T.
name: Woodward, Kimberly
name: Higgins, Leana L.
name: Eluri, Swathi
name: Cotton, Cary C.
name: Rusin, Spencer
name: Wolf, W. Asher
name: Runge, Thomas M.
name: Beitia, Rose Mary
name: Covey, Shannon
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: Because eosinophilic esophagitis (EoE) causes dysphagia, esophageal narrowing, and strictures, it could result in low body mass index (BMI), but there are few data assessing this.
Checking Zenon Modulo Proofs in Dedukti
Creators: name: Cauderlier, Raphaël
name: Halmagrand, Pierre
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Dedukti has been proposed as a universal proof checker. It is a logical framework based on the lambda Pi calculus modulo that is used as a backend to verify proofs coming from theorem provers, especially those implementing some form of rewriting. We present a shallow embedding into Dedukti of proofs produced by Zenon Modulo, an extension of the tableau-based first-order theorem prover Zenon to deduction modulo and typing. Zenon Modulo is applied to the verification of programs in both academic and industrial projects. The purpose of our embedding is to increase the confidence in automatically generated proofs by separating untrusted proof search from trusted proof verification.
description: In Proceedings PxTP 2015, arXiv:1507.08375
Demographic profile of families and children in the Study to Explore Early Development (SEED): Case-control study of autism spectrum disorder
Creators: name: Diguiseppi, Carolyn G.
name: Currie, Dustin W.
name: Lee, Li-Ching
name: Fallin, Daniele M.
name: Bernal, Pilar
name: Singer, Alison B.
name: Daniels, Julie L.
name: Young, Lisa M.
name: Miller, Lisa A.
name: Soke, Gnakub N.
name: Schendel, Diana E.
name: Thomas, Kathleen C.
name: Pinto-Martin, Jennifer A.
name: Goss, Cynthia W.
name: Windham, Gayle C.
name: Rosenberg, Steven A.
name: Schieve, Laura A.
name: Croen, Lisa A.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: The Study to Explore Early Development (SEED) is designed to enhance knowledge of autism spectrum disorder characteristics and etiologies.
Test of the Equivalence Principle in the Dark Sector on Galactic Scales
Creators: name: Mohapi, N.
name: Hees, A.
name: Larena, J.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The Einstein Equivalence Principle is a fundamental principle of the theory of General Relativity. While this principle has been thoroughly tested with standard matter, the question of its validity in the Dark sector remains open. In this paper, we consider a general tensor-scalar theory that allows to test the equivalence principle in the Dark sector by introducing two different conformal couplings to standard matter and to Dark matter. We constrain these couplings by considering galactic observations of strong lensing and of velocity dispersion. Our analysis shows that, in the case of a violation of the Einstein Equivalence Principle, data favour violations through coupling strengths that are of opposite signs for ordinary and Dark matter. At the same time, our analysis does not show any significant deviations from General Relativity.
description: 20 pages (+ 17 pages of appendix), 8 figures, version accepted for publication in JCAP
The Health Care System in North Macedonia
Creators: name: Milevska Kostova, Neda
Publisher: name: Universität Bremen
Year: 2021
Subjects: subject: North Macedonia
subject: health care system
subject: health policy
subject: social policy
subject: 320

description: This country report provides a description of the emergence of a health care system under public responsibility in North Macedonia. The inception of the health care system refers to the first legislative act stipulating entitlements to medical care when North Macedonia was part of the former Kingdom of Yugoslavia. The report includes brief descriptions of major health care reforms, and the current organization of the health care system in North Macedonia. The report is part of the CRC 1342 Social Policy Country Briefs Series.
Leptogium brebissonii Mont. 1840
Creators: name: Kitaura, Marcos J.
name: Bernardo, Caique M.
name: Koch, Natália M.
name: Rodrigues, Andressa S.
name: Torres, Jean-Marc
name: Barbosa, Thiago D.
name: Canêz, Luciana Da S.
name: Spielmann, Adriano A.
name: Honda, Neli K.
name: Fleig, Mariana
name: Lorenz, Aline P.
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Fungi
Ascomycota
Lecanoromycetes
Peltigerales
Collemataceae
Leptogium
Leptogium brebissonii

description: Leptogium brebissonii Mont. (1840: 130).
 Lectotype (designated by Galloway & Jørgensen 1995):—CANARY ISLANDS. Cumbre de Erjos, P.B. Webb (FI-WEBB).
Descriptions: Galloway & Jørgensen (1995) and Kitaura (2012).
 Notes: Leptogium brebissonii is characterized by the ridged thallus, with granulose isidia that are darker than the thallus. The species has transversely septate ascospores.
 Unfortunately, the type specimen of Leptogium brebissonii was not sent to us, but the type of L. bellopratense Hy (1893: 9), a very poorly saxicolous specimen, was analyzed and is a later synonym of L. brebissonii according to Jørgensen (1994). However, morphologically similar specimens to L. brebissonii were not found in the examined material from Mato Grosso do Sul.
Distribution in Brazil: Corumbá, in Mato Grosso do Sul (Malme 1924), but also Mato Grosso (Malme 1924) and Rio Grande do Sul (Spielmann 2006).
description: Published as part of Kitaura, Marcos J., Bernardo, Caique M., Koch, Natália M., Rodrigues, Andressa S., Torres, Jean-Marc, Barbosa, Thiago D., Canêz, Luciana Da S., Spielmann, Adriano A., Honda, Neli K., Fleig, Mariana & Lorenz, Aline P., 2019, Leptogium (Collemataceae, Peltigerales) from Mato Grosso do Sul state, Brazil: nine new records, three new taxa and a key for the species, pp. 127-146 in Phytotaxa 399 (2) on pages 129-130, DOI: 10.11646/phytotaxa.399.2.3, http://zenodo.org/record/13714341
Intellectual disability is associated with increased risk for obesity in a nationally representative sample of U.S. children
Creators: name: Must, Aviva
name: Eliasziw, Misha
name: Segal, Mary
name: Kral, Tanja V.E.
name: Bandini, Linda
name: Stanish, Heidi
name: Phillips, Sarah
name: Sherwood, Nancy E.
name: Curtin, Carol
name: Sikich, Lin
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: Data on obesity prevalence in children with intellectual disability (ID) are scarce.
Translating HOL to Dedukti
Creators: name: Assaf, Ali
name: Burel, Guillaume
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: Dedukti is a logical framework based on the lambda-Pi-calculus modulo rewriting, which extends the lambda-Pi-calculus with rewrite rules. In this paper, we show how to translate the proofs of a family of HOL proof assistants to Dedukti. The translation preserves binding, typing, and reduction. We implemented this translation in an automated tool and used it to successfully translate the OpenTheory standard library.
description: In Proceedings PxTP 2015, arXiv:1507.08375
The Health Care System in Czechia
Creators: name: Malý, Ivan
Publisher: name: Universität Bremen
Year: 2021
Subjects: subject: health care system introductions
subject: social policy
subject: health policy
subject: Czech Republic
subject: Czechoslovakia
subject: 320

description: This country report provides a description of the emergence of a health care system under public responsibility in Czechia. The inception of the health care system refers to the first legislation stipulating entitlements to medical care after the independence of Czechoslovakia from the Austrian Monarchy. The report includes a brief description of major health care reforms, and the current organization of the health care system in the Czech Republic. It is part of the CRC 1342 Social Policy Country Briefs Series.
The self and subclinical paranoia: a social psychological perspective on subclinical paranoia
Creators: name: O'Reilly, Niamh
Publisher: name: University of Limerick
Year: 2023
Subjects: subject: Psychology
subject: FOS: Psychology

description: Background: This thesis examines the relationship between the self and subclinical paranoia. There is a long history of research into the relationship between the self and paranoia, and correspondingly a considerable volume of empirical research devoted to the topic. In the main, this research shows evidence for an associative relationship between low self-esteem and paranoia. However, at present, there is only indirect evidence for a causal relationship between the two constructs. In addition, there are several limitations associated ith previous research. Aims: The aim of the research presented in this thesis was to address these limitations, by designing studies that could allow for inferences of causality and in addition, go beyond operationalizing the self solely in terms of a stable self attitude that is open to conscious awareness. To this end, over a series of four studies we primed participants with negative self-referential information and subsequently measured state subclinical paranoia. These studies were designed with the aim of capturing both dynamic and implicit aspects to self-related processing and to allow for inferences of causality. Findings: The findings of the single study in the first experimental chapter (Chapter 2) demonstrates that priming negative, compared to positive, self-evaluations leads to greater state subclinical paranoia, for participants who report either high self-report self-esteem or high self-esteem instability. The findings of Chapter 3 confirm these findings. Employing a different method of priming self-evaluations, in Study 1 of Chapter 3, we found that participants who were exposed to the priming of negative self-evaluations, showed evidence of greater state subclinical paranoia, than participants who were exposed to positive self-referential concepts. However, this effect held true only for participants who reported a moderate or high degree of social evaluative concerns. In Study 2 of this same chapter, we found that priming participants with negative social self-referential information also led to greater state subclinical paranoia (in comparison to the control condition), but only for participants who reported both high explicit self-esteem and high instability. Finally, in the third experimental chapter (Chapter 4) we found that an indirect threat to the self, reminders of mortality, also lead to an increase in state subclinical paranoia. Conclusion: Taken together these four studies demonstrate that situationally activating negative self or interpersonal self-concepts engenders an increase in state subclinical paranoia; a finding which supports the hypothesis that there is a causal relationship between negative self-concepts and paranoia. The findings also point to specific individual characteristics which likely serve as a vulnerability for paranoia; these include insecure, or unstable self-esteem and social apprehension anxiety.
Balance impairment limits ability to increase walking speed in individuals with chronic stroke
Creators: name: Braun, Carty H.
name: Lewek, Michael D.
name: Middleton, Addie
name: Fritz, Stacy L.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: Determine the relationship between balance impairments and the ability to increase walking speed (WS) on demand in individuals with chronic stroke.
Can strong-field ionization prepare attosecond dynamics?
Creators: name: Pabst, Stefan
name: Wörner, Hans Jakob
Publisher: name: arXiv
Year: 2015
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Strong-field ionization (SFI) has been shown to prepare wave packets with few-femtosecond periods. Here, we explore whether this technique can be extended to the attosecond time scale. We introduce an intuitive model for predicting the bandwidth of ionic states that can be coherently prepared by SFI. This bandwidth is given by the Fourier-transformed sub-cycle SFI rate and decreases considerably with increasing central wavelength of the ionizing pulse. Many-body calculations based on time-dependent configuration-interaction singles (TDCIS) quantitatively support this result and reveal an additional decrease of the bandwidth as a consequence of channel interactions and non-adiabatic dynamics. Our results further predict that multi-cycle femtosecond pulses can coherently prepare attosecond wave packets with higher selectivity and versatility compared to single-cycle pulses.
description: 5 pages, 4 figures
The Health Care System in Vietnam
Creators: name: Truong, Linh
name: Schmid, Achim
Publisher: name: Universität Bremen
Year: 2023
Subjects: subject: Vietnam
subject: health
subject: health care
subject: health care system
subject: 300

description: This country report provides a description of the emergence of a health care system under public responsibility in Vietnam. The inception of the health care system refers to the first legislation stipulating entitlements to medical care. The report also includes a brief description of major health care reforms, and the current organization of the health care system in Vietnam. This report is part of the CRC 1342 Social Policy Country Briefs Series.
Leptogium cyanizum Nyl.
Creators: name: Kitaura, Marcos J.
name: Bernardo, Caique M.
name: Koch, Natália M.
name: Rodrigues, Andressa S.
name: Torres, Jean-Marc
name: Barbosa, Thiago D.
name: Canêz, Luciana Da S.
name: Spielmann, Adriano A.
name: Honda, Neli K.
name: Fleig, Mariana
name: Lorenz, Aline P.
Publisher: name: Zenodo
Year: 2019
Subjects: Biodiversity
Taxonomy
Fungi
Ascomycota
Lecanoromycetes
Peltigerales
Collemataceae
Leptogium
Leptogium cyanizum

description: Leptogium cyanizum Nyl., in Crombie (1877: 227). (Figure 1F)
 Holotype:—NUKAHIVA [French Polynesia, Marquesas Island, Nuku Hiva], ad cortices, Jardin s/n (H-NYL 41281!).
 Description: Kitaura et al. (2015).
 Notes: Leptogium cyanizum is characterized by the densely rugulose to microbullate upper surface under 20× magnification, and covered by cylindrical and flattened isidia that are usually simple and never coralloid.
 Kitaura et al. (2015) mentioned that the type specimen was collected in Tonga, Tongatapu Island, but the specimen is from Nuka Hiva as described in the label of the type (H-NYL 41281).
 Leptogium cyanizum and L. javanicum Mont. (1856: 379) are two species reported to Brazil that were originally described from islands in the Pacific Ocean and Oceania. The distribution of these species is still questionable in our understanding, but the Brazilian specimens were kept under these names until molecular studies are made.
 The thallus surface of Leptogium cyanizum differs from that of L. cyanescens. The first has rugulose to microbullate upper surface whereas the second has smooth upper cortex. In the same way, L. cyanizum differs from L. austroamericanum, which has wrinkled upper surface.
Distribution: First record to the American Continent. It was previously reported to Tonga (Crombie 1877), Ceylon (Nylander 1900), New Zealand (Galloway 1999), Java and New Caledonia (Zahlbruckner 1925).
 Examined material: BRAZIL. Mato Grosso do Sul: Aquidauana, Vila Palmeiras, on cortex, 17 November 1993, N.K. Honda, Devincenzi 100DH (No. EQL 0671, CGMS); 101DH (No. EQL 0672, CGMS); 30 March 1999, N.K. Honda 007/99 (No. EQL 0679, CGMS); Jaraguari, Furnas do Dionísio, 20°10’52.3”S 54°34’37.3”W, 02 May 2015, C.M. Bernardo 668 (CGMS). Jardim, Camping Seu Assis, 21°25’14.20”S 56°23’16.70”W, 230 m elev., riparian forest, on cortex, 4 June 2010, A.A. Spielmann, L.S. Canêz, A.P. Lorenz-Lemke 8357 (CGMS 42194), 8383 (CGMS 42241); 21°25’14.20”S 56°23’16.70”W 230 m elev., L.S. Canêz, A.A. Spielmann, A.P. Lorenz-Lemke 2932 (CGMS 32423); 2971 (CGMS 32426).
description: Published as part of Kitaura, Marcos J., Bernardo, Caique M., Koch, Natália M., Rodrigues, Andressa S., Torres, Jean-Marc, Barbosa, Thiago D., Canêz, Luciana Da S., Spielmann, Adriano A., Honda, Neli K., Fleig, Mariana & Lorenz, Aline P., 2019, Leptogium (Collemataceae, Peltigerales) from Mato Grosso do Sul state, Brazil: nine new records, three new taxa and a key for the species, pp. 127-146 in Phytotaxa 399 (2) on pages 132-133, DOI: 10.11646/phytotaxa.399.2.3, http://zenodo.org/record/13714341
Evaluating Operational Effects of Bus Lane with Intermittent Priority under Connected Vehicle Environments
Creators: name: Song, Yan
name: Wang, Jian
name: Kong, Dewen
name: Deng, Wei
name: Wu, Dingxin
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: Bus lane with intermittent priority (BLIP) is an innovative method to improve the reliability of bus services while promoting efficient usage of road resources. Vehicle-to-vehicle (V2V) communication is an advanced technology that can greatly enhance the vehicle mobility, improve traffic safety, and alleviate traffic jams. To explore the benefits of BLIP operation under a connected environment, this study proposed a three-lane cellular automata (CA) model under opening boundary condition. In particular, a mandatory BLIP lane-changing rule is developed to analyze special asymmetric lane-changing behaviors. To improve the simulation accuracy, a smaller cell size is used in the CA model. Through massive numerical simulations, the benefits and influences of BLIP are explored in this paper. They include impacts on neighborhood lanes such as traffic density increasing and average speed decreasing, lane-changing behaviors, lane usage, and the impacts of bus departure interval and clear distance on the road capacity of BLIP. Analysis of traffic flow characteristics of BLIP reveals that there is a strong relationship among bus departure interval, clear distance, and road capacity. Furthermore, setting conditions for deployment of BLIP under the V2V environment such as reasonable departure interval, clear distance, and traffic density are obtained.
Mixing HOL and Coq in Dedukti (Extended Abstract)
Creators: name: Assaf, Ali
name: Cauderlier, Raphaël
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: We use Dedukti as a logical framework for interoperability. We use automated tools to translate different developments made in HOL and in Coq to Dedukti, and we combine them to prove new results. We illustrate our approach with a concrete example where we instantiate a sorting algorithm written in Coq with the natural numbers of HOL.
description: In Proceedings PxTP 2015, arXiv:1507.08375
Replication of Forest, A.L., & Wood, J.V. (2012) at Illinois Institute of Technology Spring 2016 for the CREP
Creators: name: Wojtowicz, Rafal
name: Legate, Nicole
name: Mandelski, Zofie
name: Renk, Alexis
name: Chavez, Cynthia
name: Suriano, Jacqueline
name: Kamdar, Sonia
name: tacuri, Jonathan
name: Lindsay, Tasheica
name: Rafajko, Sean
Publisher: name: Open Science Framework
Year: 2022

description: This study replication assessed the relationship between self-esteem and self-disclosure on social media, specifically on Facebook. It measured the participants' perception of comfort and safety of expressing oneself and disclosing personal information on social media. The study gauged their interest on advantages of disclosing on Facebook versus in-person, and attempted to account for variables the originators of the study did not report, which are whether the presence of the researcher near the participant at the time of measurement affects the study results and whether gender plays a role in the reported perceptions. Two groups, each made of four students, conducted a replication of the study originally done by Forest and Wood (2012). The students performed the replication study as a part of their Research Methods psychology class, led by Professor Dr. Nicole Legate and Sean Rafajko, graduate student, at the Illinois Institute of Technology (IIT) in Chicago, Illinois. The materials for the study are located in the OSF Storage of the "Project: Face Looker- specific materials" component. Clarifications: We compared the results between running the participants through the online and lab methods. The participants were given the opportunity to indicate the section they want to be a part of through the SONA system. The two groups ran the study separately, but combined their sample data for the final analysis (totaling an effective sample of n=116). Each group ran the participants through both the online and in-person methods.
Optimizing spin-orbit splittings in InSb Majorana nanowires
Creators: name: Soluyanov, Alexey A.
name: Gresch, Dominik
name: Lutchyn, Roman M.
name: Bauer, Bela
name: Nayak, Chetan
name: Troyer, Matthias
Publisher: name: arXiv
Year: 2015
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Semiconductor-superconductor heterostructures represent a promising platform for the detection of Majorana zero modes and subsequently the processing of quantum information using their exotic non-Abelian statistics. Theoretical modeling of such low-dimensional semiconductors is generally based on phenomenological effective models. However, a more microscopic understanding of their band structure and, especially, of the spin-orbit coupling of electrons in these devices is important for optimizing their parameters for applications in quantum computing. In this paper, we approach this problem by first obtaining a highly accurate effective tight-binding model from ab initio calculations in the bulk. This model is symmetrized and correctly reproduces both the band structure and the wavefunction character. It is then used to determine Dresselhaus and Rashba spin-orbit splittings induced by finite size effects and external electric field in zincblende InSb one- and two-dimensional nanostructures as a function of growth parameters. The method presented here enables reliable simulations of realistic devices, including those used to realize exotic topological states.
National Open Access Monitor Survey: Defining Requirements
Creators: name: Ferris, Catherine
Publisher: name: Zenodo
Year: 2023
Subjects: open access
Ireland
open access monitoring
survey

description: This is a reference PDF copy of the first stakeholder survey for the National Open Access Monitor project, with submissions captured through the Online Survey platform. The context is detailed in the National Open Access Monitor Project Plan: https://doi.org/10.5281/zenodo.7331431 This project is managed by IReL and has received funding from Ireland’s National Open Research Forum under the NORF Open Research Fund. https://norf.ie/funding/ https://norf.ie/orf-projects-announcement/