cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
An Open Challenge Problem Repository for Systems Supporting Binders
Creators: name: Felty, Amy
name: Momigliano, Alberto
name: Pientka, Brigitte
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: A variety of logical frameworks support the use of higher-order abstract syntax in representing formal systems; however, each system has its own set of benchmarks. Even worse, general proof assistants that provide special libraries for dealing with binders offer a very limited evaluation of such libraries, and the examples given often do not exercise and stress-test key aspects that arise in the presence of binders. In this paper we design an open repository ORBI (Open challenge problem Repository for systems supporting reasoning with BInders). We believe the field of reasoning about languages with binders has matured, and a common set of benchmarks provides an important basis for evaluation and qualitative comparison of different systems and libraries that support binders, and it will help to advance the field.
description: In Proceedings LFMTP 2015, arXiv:1507.07597
FEAFA: A Well-Annotated Dataset for Facial Expression Analysis and 3D Facial Animation
Creators: name: Yan, Yanfu
name: Lu, Ke
name: Xue, Jian
name: Gao, Pengcheng
name: Lyu, Jiayi
Publisher: name: arXiv
Year: 2019
Subjects: subject: Machine Learning (cs.LG)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Graphics (cs.GR)
subject: Image and Video Processing (eess.IV)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Facial expression analysis based on machine learning requires large number of well-annotated data to reflect different changes in facial motion. Publicly available datasets truly help to accelerate research in this area by providing a benchmark resource, but all of these datasets, to the best of our knowledge, are limited to rough annotations for action units, including only their absence, presence, or a five-level intensity according to the Facial Action Coding System. To meet the need for videos labeled in great detail, we present a well-annotated dataset named FEAFA for Facial Expression Analysis and 3D Facial Animation. One hundred and twenty-two participants, including children, young adults and elderly people, were recorded in real-world conditions. In addition, 99,356 frames were manually labeled using Expression Quantitative Tool developed by us to quantify 9 symmetrical FACS action units, 10 asymmetrical (unilateral) FACS action units, 2 symmetrical FACS action descriptors and 2 asymmetrical FACS action descriptors, and each action unit or action descriptor is well-annotated with a floating point number between 0 and 1. To provide a baseline for use in future research, a benchmark for the regression of action unit values based on Convolutional Neural Networks are presented. We also demonstrate the potential of our FEAFA dataset for 3D facial animation. Almost all state-of-the-art algorithms for facial animation are achieved based on 3D face reconstruction. We hence propose a novel method that drives virtual characters only based on action unit value regression of the 2D video frames of source actors.
description: 9 pages, 7 figures
Getting Started Creating Data Dictionaries: How to Create a Shareable Dataset
Creators: name: Buchanan, Erin
name: Crain, Sarah
name: Cunningham, Ari
name: Johnson, Hannah
name: Stash, Hannah
name: Papadatou-Pastou, Marietta
name: Isager, Peder
name: Carlsson, Rickard
name: Aczel, Balazs
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Social and Behavioral Sciences
subject: Psychology
subject: FOS: Psychology
subject: codebook
subject: code book
subject: data
subject: schema
subject: schema.org

description: As researchers embrace open and transparent data sharing, they will need to provide information about their data that effectively helps others understand its contents. Without proper documentation, data stored in online repositories such as OSF will often be rendered unfindable and unreadable by other researchers and indexing search engines. Data dictionaries and codebooks provide a wealth of information about variables, data collection, and other important facets of a dataset. This information, called metadata, provides key insights into how the data might be further used in research and facilitates search engine indexing to reach a broader audience of interested parties. This tutorial first explains the terminology and standards surrounding data dictionaries and codebooks. We then present a guided workflow of the entire process from source data (e.g., survey answers on Qualtrics) to an openly shared dataset accompanied by a data dictionary or codebook that follows an agreed-upon standard. Finally, we explain how to use freely available web applications to assist this process of ensuring that psychology data are findable, accessible, interoperable, and reusable (FAIR; Wilkinson et al., 2016).
Braneworld gravastars admitting conformal motion
Creators: name: Banerjee, Ayan
name: Rahaman, Farook
name: Islam, Sayeedul
name: Govender, Megan
Publisher: name: arXiv
Year: 2015
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: In this work, we study the Mazur and Mottola gravastar model within the context of Randall-Sundrum II type braneworld scenario, based on the fact that our four dimensional space-time is a three-brane, embedded in a five dimensional bulk. We present exact solutions of the modified field equations in each of the three regions making up the gravastar, namely, (I) the core, (II) the shell, and (III) the vacuum exterior. The junction conditions at each interface are fulfilled and we further explore interesting physical properties such as length and energy and entropy of the spherical distribution.
description: 10 pages, no figures, minor changes, references added, Accepted in Eur.Phys.J. C
title: The Impact of Outsourcing Out-of-hours CT Reporting in a UK District General Hospital.
Creators: name: Chow, Geoffrey
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Audit and standards
subject: Teleradiology
subject: CT
subject: Management
subject: Teleradiology
subject: Quality assurance

description: Aims and objectives Methods and materials Results Conclusion Personal information References
description: Aims and objectives: In response to increasing service demands, a change was made to radiology services at Basildon Hospital. Out-of-hours reporting of CT scans was outsourced to an external tele-radiology provider. In addition, routine in-hours CT reporting was...
A Case Study on Logical Relations using Contextual Types
Creators: name: Cave, Andrew
name: Pientka, Brigitte
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: F3.1

description: Proofs by logical relations play a key role to establish rich properties such as normalization or contextual equivalence. They are also challenging to mechanize. In this paper, we describe the completeness proof of algorithmic equality for simply typed lambda-terms by Crary where we reason about logically equivalent terms in the proof environment Beluga. There are three key aspects we rely upon: 1) we encode lambda-terms together with their operational semantics and algorithmic equality using higher-order abstract syntax 2) we directly encode the corresponding logical equivalence of well-typed lambda-terms using recursive types and higher-order functions 3) we exploit Beluga's support for contexts and the equational theory of simultaneous substitutions. This leads to a direct and compact mechanization, demonstrating Beluga's strength at formalizing logical relations proofs.
description: In Proceedings LFMTP 2015, arXiv:1507.07597
title: Maxillary artery: functional and imaging anatomy and correlation with perfused cadaver heads
Creators: name: CAÑÓN MURILLO, DIANA
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Education and training
subject: Education
subject: CT-Angiography
subject: Head and neck
subject: Arteries / Aorta
subject: Anatomy

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: 1. To describe the functional and imaging anatomy of the maxillary artery (MA) and its branches, using computed tomography and angiographic images. 2.To illustrate their anatomic correlation with cadaver heads dissections perfused with a radiopaque...
Using Gap Symmetry and Structure to Reveal the Pairing Mechanism in Fe-based Superconductors
Creators: name: Hirschfeld, P. J.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: I review theoretical ideas and implications of experiments for the gap structure and symmetry of the Fe-based superconductors. Unlike any other class of unconventional superconductors, one has in these systems the possibility to tune the interactions by small changes in pressure, doping or disorder. Thus, measurements of order parameter evolution with these parameters should enable a deeper understanding of the underlying interactions. I briefly review the "standard paradigm" for $s$-wave pairing in these systems, and then focus on developments in the past several years which have challenged this picture. I discuss the reasons for the apparent close competition between pairing in s- and d-wave channels, particularly in those systems where one type of Fermi surface pocket -- hole or electron -- is missing. Observation of a transition between $s$- and $d$-wave symmetry, possibly via a time reversal symmetry breaking "$s+id$" state, would provide an importantconfirmation of these ideas. Several proposals for detecting these novel phases are discussed, including the appearance of order parameter collective modes in Raman and optical conductivities. Transitions between two different types of $s$-wave states, involving various combinations of signs on Fermi surface pockets, can also proceed through a ${\cal T}$-breaking "$s+is$" state. I discuss recent work that suggests pairing may take place away from the Fermi level over a surprisingly large energy range, as well as the effect of glide plane symmetry of the Fe-based systems on the superconductivity, including various exotic, time and translational invariance breaking pair states that have been proposed. Finally, I address disorder issues, and the various ways systematic introduction of disorder can (and cannot) be used to extract information on gap symmetry and structure.
description: 41 pp., Published in special focus issue of Comptes Rendus Physique (Paris) on recent progress in Fe-based Superconductivity. Full issue with 10 review articles available at http://www.sciencedirect.com/science/journal/16310705/17/1-2
title: Imaging of muscle edema
Creators: name: Eyselbergs, Michiel
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Oedema
subject: Imaging sequences
subject: Ultrasound
subject: CT
subject: MR
subject: Musculoskeletal system

description: Aims and objectives Methods and materials Results Conclusion Personal information References
description: Aims and objectives: Muscle edema ischaracterized by an increase in free water content. It can occur as a consequence of numerous causes. MRI is the most powerful technique to detect ME using fat suppressed (FS) T2-weighted images (WI) or STIR sequences. ME can be...
title: Computed tomography in the diagnosis of fibrodysplasia ossificans progressiva
Creators: name: Nitek, Żaneta
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Calcifications / Calculi
subject: Computer Applications-3D
subject: CT
subject: Musculoskeletal bone

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: To emphasise the role of computed tomography (CT) in the diagnosis of fibrodysplasia ossificans progessiva (FOP). To demonstrate usefulness of Multiplanar Reconstruction (MPR) and 3D volume rendering techniques in precise evaluation of ossifications...
Proof-relevant pi-calculus
Creators: name: Perera, Roly
name: Cheney, James
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Formalising the pi-calculus is an illuminating test of the expressiveness of logical frameworks and mechanised metatheory systems, because of the presence of name binding, labelled transitions with name extrusion, bisimulation, and structural congruence. Formalisations have been undertaken in a variety of systems, primarily focusing on well-studied (and challenging) properties such as the theory of process bisimulation. We present a formalisation in Agda that instead explores the theory of concurrent transitions, residuation, and causal equivalence of traces, which has not previously been formalised for the pi-calculus. Our formalisation employs de Bruijn indices and dependently-typed syntax, and aligns the "proved transitions" proposed by Boudol and Castellani in the context of CCS with the proof terms naturally present in Agda's representation of the labelled transition relation. Our main contributions are proofs of the "diamond lemma" for residuation of concurrent transitions and a formal definition of equivalence of traces up to permutation of transitions.
description: In Proceedings LFMTP 2015, arXiv:1507.07597
In Vitro Assessment of Combined Polymyxin B and Minocycline Therapy against Klebsiella pneumoniae Carbapenemase (KPC)-Producing K. pneumoniae
Creators: name: Sharma, Rajnikant
name: Kaye, Keith S.
name: Yu, Brenda
name: Huang, Dennis
name: Abboud, Cely Saad
name: Rao, Gauri G.
name: Pogue, Jason M.
name: Monteiro, Jussimara
name: Dudley, Michael
name: Diep, John K.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: ABSTRACT The multidrug resistance profiles of Klebsiella pneumoniae carbapenemase (KPC) producers have led to increased clinical polymyxin use. Combination therapy with polymyxins may improve treatment outcomes, but it is uncertain which combinations are most effective. Clinical successes with intravenous minocycline-based combination treatments have been reported for infections caused by carbapenemase-producing bacteria. The objective of this study was to evaluate the in vitro activity of polymyxin B and minocycline combination therapy against six KPC-2-producing K. pneumoniae isolates (minocycline MIC range, 2 to 32 mg/liter). Polymyxin B monotherapy (0.5, 1, 2, 4, and 16 mg/liter) resulted in a rapid reduction of up to 6 log in bactericidal activity followed by regrowth by 24 h. Minocycline monotherapy (1, 2, 4, 8, and 16 mg/liter) showed no reduction of activity of >1.34 log against all isolates, although concentrations of 8 and 16 mg/liter prolonged the time to regrowth. When the therapies were used in combination, rapid bactericidal activity was followed by slower regrowth, with synergy (60 of 120 combinations at 24 h, 19 of 120 combinations at 48 h) and additivity (43 of 120 combinations at 24 h, 44 of 120 combinations at 48 h) against all isolates. The extent of killing was greatest against the more susceptible polymyxin B isolates (MICs of ≤0.5 mg/liter) regardless of the minocycline MIC. The pharmacodynamic activity of combined polymyxin B-minocycline therapy against KPC-producing K. pneumoniae is dependent on polymyxin B susceptibility. Further in vitro and animal studies must be performed to fully evaluate the efficacy of this drug combination.
Using astrophotonics to design new components for future telescopes
Creators: name: Anagnos, Theodoros
Publisher: name: Macquarie University
Year: 2023
Subjects: classificationCode: 399999
subject: Other education not elsewhere classified

description: With the Extremely Large Telescopes (ELTs) currently under construction we are entering a new era of challenging requirements, which drive spectrograph designs towards techniques that more efficiently use a facility's light feed. If the spectrograph can operate close to the diffraction limit, this reduces the footprint of the instrument compared to a conventional high resolution spectrograph and mitigates problems and cost issues caused by the use of large optics. By using adaptive optics (AO) to address the wavefront distortions caused by the Earth's atmospheric turbulence, we can provide diffractionlimited starlight to the telescope's focal plane. Using astrophotonic spatial reformatters and custom optical fibers to manage the AO output, we can increase the starlight coupled into the instrument. In the ?rst part of the thesis, simulation models are compared to manufactured and on-sky tested astrophotonic reformatters. Re-designing of the structures allowed their simulated performance to be further optimised. This is complemented by the laboratory characterisation of multiple different reformatters. In the second part of the thesis, everything discussed thus far is combined, leading to the design, manufacture and on-sky test of a novel instrument concept. This new instrument is composed of a multi-core fiber (MCF) with 3D printed micro-optics on its cores, which increase the coupling of light into them. The custom fiber is used to feed starlight from the Subaru Coronagraphic Extreme Adaptive Optics (SCExAO) instrument at the 8.2 m Subaru telescope in Hawaii to a diffraction-limited high resolution spectrograph. The results are promising and highlight the instrument's potential to change the paradigm with which high resolution spectrographs are built, in particular in the near infrared (NIR), for telescopes equipped with powerful AO systems. This study complements recent work in the field and provides crucial insight for optimising future astrophotonic devices.
title: Radiologic Patterns of Hepatic Injuries following Cardiopulmonary Resuscitation
Creators: name: Dixit, Anuj
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Trauma
subject: Ischaemia / Infarction
subject: Haemorrhage
subject: Complications
subject: Ultrasound
subject: MR
subject: CT
subject: Trauma
subject: Emergency
subject: Abdomen

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: Upon completion of this educational exhibit, the learner should be familiar with the radiological patterns of hepatic injuries following cardiopulmonary resuscitation (CPR). Furthermore, the learner should be able to localize injuries using the...
NDM-5 and OXA-181 Beta-Lactamases, a Significant Threat Continues To Spread in the Americas
Creators: name: Van Duin, David
name: Perez, Federico
name: Hujer, Andrea M.
name: Rudin, Susan D.
name: Adams, Mark D.
name: Richter, Sandra S.
name: Domitrovic, T. Nicholas
name: Bonomo, Robert A.
name: Cober, Eric
name: Rojas, Laura J.
name: Hujer, Kristine M.
name: Wright, Meredith S.
name: Marshall, Steven H.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: ABSTRACT Among Gram-negative bacteria, carbapenem-resistant infections pose a serious and life-threatening challenge. Here, the CRACKLE network reports a sentinel detection and characterization of a carbapenem-resistant Klebsiella pneumoniae ST147 isolate harboring bla NDM-5 and bla OXA-181 from a young man who underwent abdominal surgery in India. bla NDM-5 was located on an IncFII plasmid of ≈90 kb, whereas bla OXA-181 was chromosomally encoded. Resistome and genome analysis demonstrated multiple copies of the transposable element IS 26 and a “hot-spot region” in the IncFII plasmid.
Recognizing pro-R closures of regular languages
Creators: name: Almeida, Jorge
name: Costa, José Carlos
name: Zeitoun, Marc
Publisher: name: arXiv
Year: 2019
Subjects: subject: Group Theory (math.GR)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 20M07, 20M35, 22A99

description: Given a regular language L, we effectively construct a unary semigroup that recognizes the topological closure of L in the free unary semigroup relative to the variety of unary semigroups generated by the pseudovariety R of all finite R-trivial semigroups. In particular, we obtain a new effective solution of the separation problem of regular languages by R-languages.
Approaching the Coverability Problem Continuously
Creators: name: Blondin, Michael
name: Finkel, Alain
name: Haase, Christoph
name: Haddad, Serge
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences
subject: D.2.4; F.1.1

description: The coverability problem for Petri nets plays a central role in the verification of concurrent shared-memory programs. However, its high EXPSPACE-complete complexity poses a challenge when encountered in real-world instances. In this paper, we develop a new approach to this problem which is primarily based on applying forward coverability in continuous Petri nets as a pruning criterion inside a backward coverability framework. A cornerstone of our approach is the efficient encoding of a recently developed polynomial-time algorithm for reachability in continuous Petri nets into SMT. We demonstrate the effectiveness of our approach on standard benchmarks from the literature, which shows that our approach decides significantly more instances than any existing tool and is in addition often much faster, in particular on large instances.
description: 18 pages, 4 figures
MPEC 2023-O86 : 2023 OR2
Creators: name: Minor Planet Center Staff
Publisher: name: The Minor Planet Center
Year: 2023
Subjects: subject: Small Solar System bodies
valueUri: http://astrothesaurus.org/uat/1469
subject: 2023 OR2

description: The Minor Planet Electronic Circulars contain information on unusual minor planets, routine data on comets and natural satellites, and occasional editorial announcements.  They are published on behalf of Division F of the International Astronomical Union by the Minor Planet Center, Smithsonian Astrophysical Observatory, Cambridge, MA 02138, U.S.A.
title: Evaluation of Inter-Observer Variability of Liver Metastases in Multiphasic Computer Tomography (CT)
Creators: name: Örtoft, Daniel
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Metastases
subject: Perception image
subject: CT
subject: Liver

description: Aims and objectives Methods and materials Results Conclusion Personal information References
description: Aims and objectives: The number of liver metastases depicted on contrast-enhanced computed tomography (CECT) relies not only on timing of contrast enhancement, such as arterial- and portal venous-phases (A- and PV-phase) but also on tumour morphology and the condition...
On smooth projective D-affine varieties
Creators: name: Langer, Adrian
Publisher: name: arXiv
Year: 2019
Subjects: subject: Algebraic Geometry (math.AG)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: We show various properties of smooth projective D-affine varieties. In particular, any smooth projective D-affine variety is algebraically simply connected and its image under a fibration is D-affine. In characteristic zero such D-affine varieties are also uniruled. We also show that (apart from a few small characteristics) a smooth projective surface is D-affine if and only if it is isomorphic to either ${\mathbb P}^2$ or ${\mathbb P}^1\times {\mathbb P}^1$. In positive characteristic, a basic tool in the proof is a new generalization of Miyaoka's generic semipositivity theorem.
description: v2: 20 pages, to appear in Int. Math. Res. Not
title: BIM2COST
Creators: name: Ellmer, Raoul
Publisher: name: TU Wien
Year: 2023
Subjects: subject: BIM2COST
subject: BIM2COST

description: Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprueft - gesperrte Arbeit (bis 2025-02-28+01:00)
description: Abweichender Titel nach Übersetzung der Verfasserin/des Verfassers
On the representation of the nested logit model
Creators: name: Galichon, Alfred
Publisher: name: arXiv
Year: 2019
Subjects: subject: Statistics Theory (math.ST)
subject: Probability (math.PR)
subject: FOS: Mathematics

description: We give a two-line proof of a long-standing conjecture of Ben-Akiva and Lerman (1985) regarding the random utility representation of the nested logit model, thus providing a renewed and straightforward textbook treatment of that model. As an application, we provide a closed-form formula for the correlation between two Fréchet random variables coupled by a Gumbel copula.
Orthographic variation of (lol) on Twitter
Creators: name: McNeill, Joshua
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Linguistics
subject: FOS: Languages and literature
subject: Anthropological Linguistics and Sociolinguistics
subject: Social and Behavioral Sciences
subject: orthographic variation
subject: social network analysis
subject: twitter

description: The primary focus of this study is on examining whether or not linguistic behavior for any given individual becomes more consistent as they become more central to a community. In this case, I examine orthographic variation of (lol) on Twitter using community detection techniques and centrality measures from social network analysis.
title: Epithelioid hemangioendothelioma: a diagnostic challenge. CT and MRI appearance: from typical to bizarre
Creators: name: Llodio Uribeetxebarria, Amaia
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Calcifications / Calculi
subject: Diagnostic procedure
subject: MR
subject: CT
subject: Oncology
subject: Mediastinum
subject: Abdomen

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: -Familiarize with the variety of presentations of pathologically proven epithelioid hemangioendothelioma ( EH). -Discuss the role of CT an MR in the diagnosis of this rare entity and describe the imaging features that will narrow down the...
Twisted partially pure spinors
Creators: name: Herrera, Rafael
name: Tellez, Ivan
Publisher: name: arXiv
Year: 2015
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics

description: Motivated by the relationship between orthogonal complex structures and spure spinors, we define twisted partially pure spinors in order to characterize spinorially subspaces of Euclidean space endowed with a complex structure.
title: Uncommon normal variants on the knee MRI, mimicking pathologic conditions.
Creators: name: Kang, Dong Ju
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Musculoskeletal joint
subject: MR
subject: Normal variants
subject: Education and training

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: With increasing availability of higher strength magnets in clinical practice, the degree of anatomical detail and resolution seen on MRI has advanced considerably. It is now possible for one to evaluate on MRI the numerous minor ligamentous and...
New Polymyxin B Dosing Strategies To Fortify Old Allies in the War against KPC-2-Producing Klebsiella pneumoniae
Creators: name: Forrest, Alan
name: Nation, Roger L.
name: Satlin, Michael J.
name: Shin, Beom Soo
name: Kreiswirth, Barry N.
name: Tsujia, Brian T.
name: Chen, Liang
name: Bulman, Zackery P.
name: Li, Jian
name: Holden, Patricia N.
name: Walsh, Thomas J.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: ABSTRACT Pharmacodynamics of a polymyxin B, meropenem, and rifampin triple combination were examined against Klebsiella pneumoniae carbapenemase-producing Klebsiella pneumoniae (KPC-Kp) ST258. In time-kill experiments against three KPC-Kp isolates, triple combination generated 8.14, 8.19, and 8.29 log 10 CFU/ml reductions within 24 h. In the hollow-fiber infection model, the triple combination caused maximal killing of 5.16 log 10 CFU/ml at 78 h and the time required for regrowth was more than doubled versus the 2-drug combinations. Remarkably, combinations with a high single-dose polymyxin B burst plus rifampin preserved KPC-Kp polymyxin susceptibility (MIC 240 h = 0.5 mg/liter) versus the same combination with traditionally dosed polymyxin B, where resistance was amplified (MIC 240 h = 32 mg/liter).
title: Acute abdomen in cancer patients : Role of imaging in a challenging clinical scenario
Creators: name: Jagmohan, Pooja
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Cancer
subject: Acute
subject: Diagnostic procedure
subject: CT
subject: Conventional radiography
subject: Abdomen

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: 1. To review the gamut of etiologies presenting with an acute abdomen in cancer patients 2. To understand the unique clinical, diagnostic and management challenges posed by acute abdomen in oncology 3. Describe the common imaging manifestations and...
title: Liponecrosis after autologous lipofilling: Which is the best imaging modality for evaluating it?
Creators: name: Jarre, Andrea
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Pathology
subject: Grafts
subject: Diagnostic procedure
subject: Ultrasound
subject: MR
subject: Mammography
subject: Oncology
subject: Breast

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: To evaluate the role of radiologists in the follow-up of patients after breast tumor resection and immediate reconstruction with autologous fat transfer. To determine the best imaging modality for evaluating postoperative changes after autologous...
title: Patient's Characteristics for premature repeat of Percutaneous Nephrostomy (PCN)
Creators: name: NG, Fung Him
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Urinary Tract / Bladder
subject: Interventional non-vascular
subject: Ultrasound
subject: Drainage
subject: Obstruction / Occlusion
subject: Image guided radiotherapy

description: Aims and objectives Methods and materials Results Conclusion Personal information References
description: Aims and objectives: The study was to evaluate the performance of PCN in terms of repeat rate recommended by Royal College of Radiologists published in Clinical Radiology 2008. The procedure repeat rate as defined as repeat nephrostomy drainage on the ipsilateral kidney...
Nongauge bright soliton of the nonlinear Schrodinger (NLS) equation and a family of generalized NLS equations
Creators: name: Reyes, M. A.
name: Gutierrez-Ruiz, D.
name: Mancas, S. C.
name: Rosu, H. C.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences

description: We present an approach to the bright soliton solution of the NLS equation from the standpoint of introducing a constant potential term in the equation. We discuss a `nongauge' bright soliton for which both the envelope and the phase depend only on the traveling variable. We also construct a family of generalized NLS equations with solitonic sech^p solutions in the traveling variable and find an exact equivalence with other nonlinear equations, such as the Korteveg-de Vries and Benjamin-Bona-Mahony equations when p=2
description: ~4 pages, 3 figures, 16 references, published version
title: Easy to miss breast cancers on digital mammography
Creators: name: Urban, Vladimir
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Neoplasia
subject: Cancer
subject: Diagnostic procedure
subject: Ultrasound
subject: Mammography
subject: Breast

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: To explain some of the reasons why breast cancer can be missed on digital mammography To present cases of missed breast cancer on mammography from our institution To present other atypical mammographic findings in breast cancer from our...
Pharmacokinetics of Clindamycin in Obese and Nonobese Children
Creators: name: Benjamin, Daniel K.
name: Cohen-Wolkowiez, Michael
name: Sullivan, Janice E.
name: Gonzalez, Daniel
name: Goldman, Jennifer L.
name: Anand, Ravinder
name: Berezny, Katherine
name: Martz, Karen
name: Smith, P. Brian
name: Reed, Michael D.
name: Smith, Michael J.
name: Watt, Kevin
name: Yogev, Ram
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: ABSTRACT Although obesity is prevalent among children in the United States, pharmacokinetic (PK) data for obese children are limited. Clindamycin is a commonly used antibiotic that may require dose adjustment in obese children due to its lipophilic properties. We performed a clindamycin population PK analysis using data from three separate trials. A total of 420 samples from 220 children, 76 of whom had a body mass index greater than or equal to the 95th percentile for age, were included in the analysis. Compared to other metrics, total body weight (TBW) was the most robust measure of body size. The final model included TBW and a sigmoidal maturation relationship between postmenstrual age (PMA) and clearance (CL): CL (liters/hour) = 13.8 × (TBW/70) 0.75 × [PMA 2.83 /(39.5 2.83 +PMA 2.83 )]; volume of distribution ( V ) was associated with TBW, albumin (ALB), and alpha-1 acid glycoprotein (AAG): V (liters) = 63.6 × (TBW/70) × (ALB/3.3) −0.83 × (AAG/2.4) −0.25 . After accounting for differences in TBW, obesity status did not explain additional interindividual variability in model parameters. Our findings support TBW-based dosing for obese and nonobese children.
title: ALL NODES LEAD TO LYMPHOMA - A Multimodality Refresher of Extranodal Lymphoma
Creators: name: Davda, Sunit
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Haematologic diseases
subject: Education
subject: PET
subject: MR
subject: CT
subject: Oncology

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: The learning points for this exhibit are: To review the main imaging findings of both primary and secondary extranodal manifestations of lymphoma To provide a multimodality review of extranodal lymphoma. To illustrate some rarer case examples...
title: The Kommerell diverticulum revisited: embryogenesis, imaging findings of various types and clinical implications
Creators: name: Sarioglu, Fatma
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Arteries / Aorta
subject: Cardiovascular system
subject: Vascular
subject: CT-Angiography
subject: Computer Applications-Detection, diagnosis
subject: Contrast agent-intravenous
subject: Diverticula
subject: Aneurysms
subject: Congenital

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: To review embryological development of the Kommerell diverticulum (KD) To discuss multidedector computed tomography (CT) angiography imaging findings of different types of the KD To discuss clinical evaluation of the KD with current treatment...
The Supersymmetric Standard Model
Creators: name: Fayet, Pierre
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The Standard Model may be included within a supersymmetric theory, postulating new sparticles that differ by half-a-unit of spin from their standard model partners, and by a new quantum number called R-parity. The lightest one, usually a neutralino, is expected to be stable and a possible candidate for dark matter. The electroweak breaking requires two doublets, leading to several charged and neutral Brout- Englert-Higgs bosons. This also leads to gauge/Higgs unification by providing extra spin-0 partners for the spin-1 W$^\pm$ and Z. It offers the possibility to view, up to a mixing angle, the new 125 GeV boson as the spin-0 partner of the Z under two supersymmetry transformations, i.e. as a Z that would be deprived of its spin. Supersymmetry then relates two existing particles of different spins, in spite of their different gauge symmetry properties, through supersymmetry transformations acting on physical fields in a non-polynomial way. We also discuss how the compactification of extra dimensions, relying on R-parity and other discrete symmetries, may determine both the supersymmetry-breaking and grand-unification scales
description: 30 pages, to be published in "The Standard Theory of Particle Physics", edited by L. Maiani and L. Rolandi
Social evaluation, aggression regulation and psychopathic traits in persistent and desistant antisocial and typically developing young adults
Creators: name: van de Groep, Ilse
name: Bos, Marieke
name: Nauta-Jansen, Lucres
name: Popma, Arne
name: Crone, Eveline
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Social and Behavioral Sciences
subject: Aggression regulation
subject: Antisocial behavior
subject: Early Adulthood
subject: fMRI
subject: preregistration
subject: Psychopathy
subject: Social evaluation

description: This is a sub-project of the RESIST (Research on Individual (Anti-) Social Trajectories) study. The current sub-project aims to increase our understanding of different pathways to maladaptive social behavior (in this case, aggression following social rejection). More specifically, the main questions we want to answer within this sub-project are (1) whether (aggressive) behavioral and neural responses to social rejection differ between individuals with persisting or desisting antisocial profiles and typically developing young adults, and (2) how individual differences in psychopathic traits can explain differences in behavioral and neural responses to social rejection.
Locally countable pseudovarieties
Creators: name: Almeida, Jorge
name: Klíma, Ondrej
Publisher: name: arXiv
Year: 2019
Subjects: subject: Group Theory (math.GR)
subject: FOS: Mathematics
subject: Primary 20M07. Secondary 20M05, 03F03

description: The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are countable, which are said to be locally countable. We also call locally countable a pseudovariety V (of finite semigroups) for which all pro-V semigroups are locally countable. We investigate operations preserving local countability of pseudovarieties and show that, in contrast with local finiteness, several natural operations do not preserve it. We also investigate the relationship of a finitely generated profinite semigroup being countable with every element being expressable in terms of the generators using multiplication and the idempotent (omega) power. The two properties turn out to be equivalent if there are only countably many group elements, gathered in finitely many regular J-classes. We also show that the pseudovariety generated by all finite ordered monoids satisfying the inequality $1\le x^n$ is locally countable if and only if $n=1$.
Results from a 13-Year Prospective Cohort Study Show Increased Mortality Associated with Bloodstream Infections Caused by Pseudomonas aeruginosa Compared to Other Bacteria
Creators: name: Thaden, Joshua T.
name: Park, Lawrence P.
name: Ruffin, Felicia
name: Fowler, Vance G.
name: Van Duin, David
name: Maskarinec, Stacey A.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: ABSTRACT The impact of bacterial species on outcome in bloodstream infections (BSI) is incompletely understood. We evaluated the impact of bacterial species on BSI mortality, with adjustment for patient, bacterial, and treatment factors. From 2002 to 2015, all adult inpatients with monomicrobial BSI caused by Staphylococcus aureus or Gram-negative bacteria at Duke University Medical Center were prospectively enrolled. Kaplan-Meier curves and multivariable Cox regression with propensity score models were used to examine species-specific bacterial BSI mortality. Of the 2,659 enrolled patients, 999 (38%) were infected with S. aureus , and 1,660 (62%) were infected with Gram-negative bacteria. Among patients with Gram-negative BSI, Enterobacteriaceae (81% [1,343/1,660]) were most commonly isolated, followed by non-lactose-fermenting Gram-negative bacteria (16% [262/1,660]). Of the 999 S. aureus BSI isolates, 507 (51%) were methicillin resistant. Of the 1,660 Gram-negative BSI isolates, 500 (30%) were multidrug resistant. The unadjusted time-to-mortality among patients with Gram-negative BSI was shorter than that of patients with S. aureus BSI ( P = 0.003), due to increased mortality in patients with non-lactose-fermenting Gram-negative BSI generally ( P < 0.0001) and Pseudomonas aeruginosa BSI ( n = 158) in particular ( P < 0.0001). After adjustment for patient demographics, medical comorbidities, bacterial antibiotic resistance, timing of appropriate antibiotic therapy, and source control in patients with line-associated BSI, P. aeruginosa BSI remained significantly associated with increased mortality (hazard ratio = 1.435; 95% confidence interval = 1.043 to 1.933; P = 0.02). P. aeruginosa BSI was associated with increased mortality relative to S. aureus or other Gram-negative BSI. This effect persisted after adjustment for patient, bacterial, and treatment factors.
title: Vascular malformation and variants: Circulation through crooked paths
Creators: name: Rolla, Inês
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Education and training
subject: Normal variants
subject: CT
subject: Conventional radiography
subject: Veins / Vena cava
subject: Vascular
subject: Anatomy

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: To characterize common and rare vascular anatomical variants and malformations, including potential pitfalls and differential...
title: CT and MRI imaging features of paediatric rhabdomyosarcomas (RMS)
Creators: name: Fowkes, Lucy
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Cancer
subject: Education
subject: MR
subject: CT
subject: Paediatric
subject: Oncology
subject: Education and training

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: To review the imaging features of paediatric...
Interacting fermions in two dimension in simultaneous presence of disorder and magnetic field
Creators: name: Mandal, Saptarshi
name: Gupta, Sanjay
Publisher: name: arXiv
Year: 2019
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We have studied the revival of Hofstadter butterfly due to the competition between disorder and electronic interaction using mean field approximation of unrestricted Hartree Fock method at zero temperature for two dimensional square and honeycomb lattices. Interplay of disorder and electronic correlation to nullify each other is corroborated by the fact that honeycomb lattice needs more strength of electronic correlation owing to its less co-ordination number which enhances the effect of disorder. The extent of revival of the butterfly is better in square than honeycomb lattice due to higher coordination number. The effect of disorder and interaction is also investigated to study entanglement entropy and entanglement spectrum. It has been observed that for the square lattice, area law of entanglement entropy is violated for intermediate strength magnetic and magnitude of such departure from area law depends on disorder and interaction as well. However such departure from area law is absence for honeycomb lattice. Moreover the entanglement spectrum for square lattice does have the symmetry of original Hofstadter butterfly and this symmetry is destroyed in the presence of disorder. The interaction opens up a gap in the entanglement spectrum as well. For the honeycomb lattice, the entanglement spectrum forms a continuous band without any symmetry and its feature is mostly unchanged in the presence of disorder as well as interaction.
description: 13 pages, 12 figures, close to the published version
Rewriting Modulo βin the λΠ-Calculus Modulo
Creators: name: Saillard, Ronan
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The lambda-Pi-calculus Modulo is a variant of the lambda-calculus with dependent types where beta-conversion is extended with user-defined rewrite rules. It is an expressive logical framework and has been used to encode logics and type systems in a shallow way. Basic properties such as subject reduction or uniqueness of types do not hold in general in the lambda-Pi-calculus Modulo. However, they hold if the rewrite system generated by the rewrite rules together with beta-reduction is confluent. But this is too restrictive. To handle the case where non confluence comes from the interference between the beta-reduction and rewrite rules with lambda-abstraction on their left-hand side, we introduce a notion of rewriting modulo beta for the lambda-Pi-calculus Modulo. We prove that confluence of rewriting modulo beta is enough to ensure subject reduction and uniqueness of types. We achieve our goal by encoding the lambda-Pi-calculus Modulo into Higher-Order Rewrite System (HRS). As a consequence, we also make the confluence results for HRSs available for the lambda-Pi-calculus Modulo.
description: In Proceedings LFMTP 2015, arXiv:1507.07597
title: Evaluation of Sonoelastography Compatibility on the Achilles Tendon Between Different Devices and Observers
Creators: name: Guzel, Sule
Publisher: name: European Congress of Radiology
Year: 2016
Subjects: subject: Musculoskeletal system
subject: Ultrasound
subject: Elastography
subject: Comparative studies
subject: Efficacy studies
subject: Education and training

description: Aims and objectives Methods and materials Results Conclusion Personal information References
description: Aims and objectives: To investigate the reliability of sonoelastography by comparing the Achilles tendon strain ratio obtained in healthy volunteers with different sonoelastography devices that works with the same principle with different...
Profile least squares estimators in the monotone single index model
Creators: name: Balabdaoui, Fadoua
name: Groeneboom, Piet
Publisher: name: arXiv
Year: 2020
Subjects: subject: Statistics Theory (math.ST)
subject: FOS: Mathematics
subject: 62E20, 62J99

description: We consider least squares estimators of the finite regression parameter $α$ in the single index regression model $Y=ψ(α^T X)+ε$, where $X$ is a $d$-dimensional random vector, $\E(Y|X)=ψ(α^T X)$, and where $ψ$ is monotone. It has been suggested to estimate $α$ by a profile least squares estimator, minimizing $\sum_{i=1}^n(Y_i-ψ(α^T X_i))^2$ over monotone $ψ$ and $α$ on the boundary $S_{d-1}$of the unit ball. Although this suggestion has been around for a long time, it is still unknown whether the estimate is $\sqrt{n}$ convergent. We show that a profile least squares estimator, using the same pointwise least squares estimator for fixed $α$, but using a different global sum of squares, is $\sqrt{n}$-convergent and asymptotically normal. The difference between the corresponding loss functions is studied and also a comparison with other methods is given.
description: 21 pages, 6 figures