cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Machine learning based multiobject tracking for sensor based sorting
Creators: name: Maier, Georg
name: Reith-Braun, Marcel
name: Bauer, Albert
name: Gruna, Robin
name: Pfaff, Florian
name: Kruggel-Emden, Harald
name: Längle, Thomas
name: Hanebeck, Uwe D.
name: Beyerer, Jürgen
Publisher: name: KIT Scientific Publishing
Year: 2022
Subjects: Sensor-based sorting
machine learning
visual inspection
multiobject tracking

description: Sensor-based sorting provides state-of-the-art solutions for sorting of granular materials. Current systems useline-scanning sensors, which yields a single observation of each object only and no information about their movement. Recent works show that using an area-scan camera bears the potential to decrease both the error in characterization and separation. Using a multiobject tracking system, this enables an estimate of the followed paths as well as the parametrization of an individual motion model per object. While previous works focus on physically-motivated motion models, it has been shown that state-of-the-art machine learning methods achieve an increased prediction accuracy. In this paper, we present the development of a neural network-based multiobject tracking system and its integration into a laboratory-scale sorting system. Preliminary results show that the novel system achieves results comparable to a highly optimized Kalman filter-based one. A benefit lies in avoiding tiresome manual tuning of parameters of the motion model, as the novel approach allows learning its parameters by provided examples due to its data-driven nature.
Ground state properties of even-even and odd Nd,Ce and Sm isotopes in Hartree-Fock-Bogoliubov method
Creators: name: Bassem, Younes El
name: Oulne, Mustapha
Publisher: name: arXiv
Year: 2015
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: In this work, we have studied ground-state properties of both even-even and odd Nd isotopes within Hartree-Fock-Bogoliubov method with SLy5 Skyrme force in which the pairing strength has been generalized with a new proposed formula. We calculated bind- ing energies, two-neutron separation energies, quadrupole deformation, charge, neutron and proton radii. Similar calculations have been carried out for Ce and Sm in order to verify the validity of our pairing strength formula. The results have been compared with available experimental data, the results of Hartree-Fock-Bogoliubov calculations based on the D1S Gogny effective nucleon-nucleon interaction and predictions of some nuclear models such as Finite Range Droplet Model (FRDM) and Relativistic Mean Field (RMF) theory.
description: 13 pages, 21 figures. arXiv admin note: text overlap with arXiv:1210.1825 by other authors
In the shadows of the past: exploring moments of identification with Christ in the works of Anne Duden, Margarethe von Trotta, and Anne Karpf
Creators: name: Farner Budarz, Sara
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2009

description: This work explores moments of identification with Christ, through the imagery of the crucifix and stigmata, in the works of Anne Duden, Margarethe von Trotta, and Anne Karpf. I argue that these moments of identification are pivotal for our understanding of the process of identity formation within a post-Holocaust society. Through extensive analysis of the Christian imagery in the works, I maintain that Christ is configured as a rebellious leader, advocating radical social change, and that by identifying with Christ as rebel, the narrators are able to re-evaluate their identity and establish themselves as active agents with society.
Single Molecule Transistor based Nanopore for the detection of Nicotine
Creators: name: Ray, S. J.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: A nanopore based detection methodology was proposed and investigated for the detection of Nicotine. This technique uses a Single Molecular Transistor (SMT) working as a nanopore operational in the Coulomb Blockade regime. When the Nicotine molecule is pulled through the nanopore area surrounded by the Source(S), Drain(D) and Gate electrodes, the charge stability diagram can detect the presence of the molecule and is unique for a specific molecular structure. Due to the weak coupling between the different electrodes which is set by the nanopore size, the molecular energy states stay almost unaffected by the electrostatic environment that can be realised from the charge stability diagram. Identification of different orientation and position of the Nicotine molecule within the nanopore area can be made from specific regions of overlap between different charge states on the stability diagram that could be used as an electronic fingerprint for detection. This method could be advantageous and useful to detect the presence of Nicotine in smoke which is usually performed using chemical chromatography techniques.
description: 4 figures
Effect of Acupuncture versus Artificial Tears for Dry Eye Disease: A Protocol for Systematic Review and Meta-analysis.
Creators: name: Fu, Hongjuan
name: Zhang, Feng
name: Wang, Chao
name: hao, zhou
name: Tang, Yong
name: Wang, Junxiang
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Medicine and Health Sciences
subject: A Protocol for Systematic Review and Meta-analysis.

description: Dry eye disease (DED) is a multifactorial disease of the tear film and ocular surface that causes symptoms of discomfort, visual disturbances and instability of the tear film. It is accompanied by an increase in tear film osmolarity and ocular surface inflammation. The global prevalence of Dry Eye Disease (DED) ranged from 5% to 50%, accompanied by the yearly increasing trend and younger onset. However, the condition remains incompletely understood and treated. DED symptom severity significantly correlates with deficits in physical, psychological, and social well-being, with the most severely affected patients reporting the worst scores for all aspects of health-related quality of life. DED symptoms and reduced visual function affect vision-dependent daily activities, with consequential negative impacts on social and physical functioning, workplace productivity, and quality of life. Furthermore, patients with DED report significantly higher rates of anxiety and depression compared with the general population, and significantly higher rates of sleep and mood disorders compared with other ocular conditions, which may exacerbate productivity, performance of personal tasks, and overall well-being. At present, there is no fully curable modality for DED. Artificial tear serves as a mainstay therapy for DED management. In fact, acupuncture has an outstanding effects in treating several diseases, including DED. Clinical study indicated that acupuncture could improve mid-term outcome compared to artificial tears. However, acupuncture is not recommended as a complementary therapy in the latest management guidelines of DED. We therefore think, it is necessary to conduct a comprehensive review of the latest research on the effects of acupuncture vs. artificial tears on DED treatment, with the aim to explore whether acupuncture deserves to be recommended as an adjunct therapy for DED.
Coherent gigahertz phonons in Ge$_{2}$Sb$_{2}$Te$_{5}$ phase-change materials
Creators: name: Hase, Muneaki
name: Fons, Paul
name: Kolobov, Alexander V.
name: Tominaga, Junji
Publisher: name: arXiv
Year: 2015
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Using $\approx$40 fs ultrashort laser pulses, we investigate the picosecond acoustic response from a prototypical phase change material, thin Ge$_{2}$Sb$_{2}$Te$_{5}$ (GST) films with various thicknesses. After excitation with a 1.53 eV-energy pulse with a fluence of $\approx$ 5 mJ/cm$^{2}$, the time-resolved reflectivity change exhibits transient electronic response, followed by a combination of exponential-like strain and coherent acoustic phonons in the gigahertz (GHz) frequency range. The time-domain shape of the coherent acoustic pulse is well reproduced by the use of the strain model by Thomsen et al. (Phys. Rev. B 34, 4129, 1986). We found that the decay rate (the inverse of the relaxation time) of the acoustic phonon both in the amorphous and in the crystalline phases decreases as the film thickness increases. The thickness dependence of the acoustic phonon decay is well modeled based on both phonon-defect scattering and acoustic phonon attenuation at the GST/Si interface, and it is revealed that those scattering and attenuation are larger in crystalline GST films than those in amorphous GST films.
description: 13 pages, 5 figures
title: Combining Large Numbers of Density Predictions with Bayesian Predictive Synthesis
Creators: name: Chernis, Tony
Publisher: name: Bank of Canada
Year: 2023

description: Bayesian predictive synthesis is a flexible method of combining density predictions. The flexibility comes from the ability to choose an arbitrary synthesis function to combine predictions. I study the choice of synthesis function when combining large numbers of predictions—a common occurrence in macroeconomics. Estimating combination weights with many predictions is difficult, so I consider shrinkage priors and factor modelling techniques to address this problem. The dense weights of factor modelling provide an interesting contrast with the sparse weights implied by shrinkage priors. I find that the sparse weights of shrinkage priors perform well across exercises.
description: La synthèse de prévisions bayésienne est une méthode servant à combiner des prédictions de densités. Comme elle permet de sélectionner une fonction de synthèse arbitraire pour ce faire, elle offre une certaine souplesse. Je me penche sur la sélection de cette fonction dans un contexte où il faut combiner de nombreuses prévisions, ce qui est courant en macroéconomie. Il est difficile d’estimer la pondération des combinaisons pour un grand nombre de prévisions. J’évalue donc des mesures de rétrécissement a priori et des techniques de modélisation factorielle pour surmonter cette difficulté. Les fortes pondérations issues de la modélisation factorielle offrent un contraste intéressant avec les faibles pondérations que laissent sous-entendre les mesures de rétrécissement a priori. Je constate que ces faibles pondérations donnent de bons résultats pour l’ensemble des exercices d’établissement de prévisions.
Twice upon a time: thematic intersections between Beethoven's String quartet in A minor, op. 132 and Symphony no. 9 in D minor, op. 125
Creators: name: Graber, Naomi
Publisher: name: University of North Carolina at Chapel Hill
Year: 2011

description: Beethoven's Ninth Symphony, op. 125 displays a number of intertextualities with the String Quartet in A minor, op. 132. These connections likely result from their shared compositional history; the theme of op. 132's finale was probably originally intended as an instrumental alternative to the final movement of the symphony. The similarities indicate that the pieces share a relationship similar to other famous pairs of Beethoven's pieces, such as the Fifth and Sixth Symphonies opp. 67 and 68, while the differences point to how he justified their alternate endings. The differing narrative trajectories of op. 125 and op. 132 sheds light on Beethoven's process of writing satisfactory conclusions to multi-movement cycles, particularly providing insight into the two finales for the Quartet in B-flat, op. 130: the Grosse Fuge op. 133, or the published rondo. Further examination reveals trends in Beethoven's compositional thought as heroic style gave way to late style.
Healthcare resource utilisation and mortality outcomes in international migrants to the UK: analysis protocol for a linked population-based cohort study using Clinical Practice Research Datalink (CPRD), Hospital Episode Statistics (HES) and the Office for National Statistics (ONS)
Creators: name: Pathak, Neha
name: Patel, Parth
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Public Health
subject: Medicine and Health Sciences
subject: Epidemiology

description: With over one billion people on the move globally, the healthcare of international migrants is increasingly important in the design and delivery of health services. Critically, healthcare is a human right and the recently published UCL-Lancet commission on migration and health emphasises that international migrants should be able to access healthcare as easily as non-migrants. In England, 15.6% of the population (8.6 million people) were born in another country and moved to England either for work, to study, to join families, or to flee persecution and conflict. The health service uptake by this group is poorly studied and it is unclear if their health needs are being adequately met. This study will use a dataset that links general practice (GP) records, hospital-based healthcare, and death statistics. Our research will initially investigate the potential to study health service uptake by individuals who have experienced migration in English electronic health records. If data are available and of sufficient quality, we will then (a) describe patterns and costs of using general practice and hospital-based healthcare services (b) describe deaths registered in England and their causes. We will study each of these in detail according to disease sub-conditions including diseases resulting in preventable hospital admissions, sexual and reproductive health conditions/interventions, and mental illness. This project is based on research priorities and acceptability of research methods established through patient and public involvement work with international migrants. With this information, we will make recommendations to improve policies affecting how services are delivered to meet the needs of international migrants as well as providing a way of studying migration health for other researchers.
Constraints on Single-Field Inflation
Creators: name: Pirtskhalava, David
name: Santoni, Luca
name: Trincherini, Enrico
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Many alternatives to canonical slow-roll inflation have been proposed over the years, one of the main motivations being to have a model, capable of generating observable values of non-Gaussianity. In this work, we (re-)explore the physical implications of a great majority of such models within a single, effective field theory framework (including novel models with large non-Gaussianity discussed for the first time below.) The constraints we apply---both theoretical and experimental---are found to be rather robust, determined to a great extent by just three parameters: the coefficients of the quadratic EFT operators $(δN)^2$ and $δN δE$, and the slow-roll parameter $\varepsilon$. This allows to significantly limit the majority of single-field alternatives to canonical slow-roll inflation. While the existing data still leaves some room for most of the considered models, the situation would change dramatically if the current upper limit on the tensor-to-scalar ratio decreased down to $r < 10^{-2}$. Apart from inflationary models driven by plateau-like potentials, the single-field model that would have a chance of surviving this bound is the recently proposed slow-roll inflation with weakly-broken galileon symmetry. In contrast to \textit{canonical} slow-roll inflation, the latter model can support $r < 10^{-2}$ even if driven by a convex potential, as well as generate observable values for the amplitude of non-Gaussianity.
description: 19+10 pages, 6 figures
A Monte Carlo Method to Estimate Radiation Dose from Cone Beam Computed Tomography
Creators: name: Dunn, Jacob S.
Publisher: name: University of North Carolina at Chapel Hill Graduate School
Year: 2015
Subjects: subject: Medical radiology
subject: Diagnostic imaging
subject: Dentistry
subject: FOS: Clinical medicine

description: Objectives: This study compares effective dose determination of four large field of view CBCT units (NewTom-3G, Galileos Comfort Plus, CS-9300, iCat-FLX,) using a Monte Carlo software analysis method (PCXMC) and dosimetry using anthropomorphic phantoms. Methods: Previous research provided phantom effective dose comparisons. Field-of-view and phantom positioning were duplicated in the software. Software and phantom dosimetry values were compared. Descriptive statistics, chi-square, and logistic regression, were used to analyze the data. The null-hypothesis that there is no statistically significant difference between the dosimetry values of the anthropomorphic phantom and the calculated values of the PCXMC software was tested. Results: PCXMC simulated scans produced dose values within 20% of the phantom dosimetry 48-58% of the time. Conclusions: While the software calculations are simpler to perform than phantom dosimetry, imprecise calculated results make this program less effective for CBCT dosimetry in dentistry.
Fusion in a magnetically-shielded-grid inertial electrostatic confinement device
Creators: name: Hedditch, John
name: Bowden-Reid, Richard
name: Khachan, Joe
Publisher: name: arXiv
Year: 2015
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences
subject: 82D10

description: Theory for a gridded inertial electrostatic confinement (IEC) fusion system is presented that shows a net energy gain is possible if the grid is magnetically shielded from ion impact. A simplified grid geometry is studied, consisting of two negatively-biased coaxial current-carrying rings, oriented such that their opposing magnetic fields produce a spindle cusp. Our analysis indicates that better than break-even performance is possible even in a deuterium-deuterium system at bench-top scales. The proposed device has the unusual property that it can avoid both the cusp losses of traditional magnetic fusion systems and the grid losses of traditional IEC configurations.
description: 14 pages, 18 figures. To appear in Phys. Plasmas 22 (10), October 2015
Tactile direction discrimination in humans after stroke
Creators: name: McIntyre, Sarah
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Quantitative Psychology
subject: Psychology
subject: FOS: Psychology
subject: Medical Sciences
subject: Medicine and Health Sciences
subject: Medical Specialties
subject: Social and Behavioral Sciences
subject: Neurosciences
subject: FOS: Clinical medicine
subject: Neurology
subject: Cognition and Perception
subject: direction
subject: direction discrimination
subject: human
subject: psychophysics
subject: somatosensory system
subject: stroke
subject: structural MRI
subject: touch

description: Sensing movements across the skin surface is a complex task for the tactile sensory system, relying on sophisticated cortical processing. Functional MRI has shown that judgements of the direction of tactile stimuli moving across the skin are processed in distributed cortical areas in healthy humans. To further study which brain areas are important for tactile direction discrimination we performed a lesion study, examining a group of patients with first time stroke. We measured tactile direction discrimination in 44 patients, bilaterally on the dorsum of the hands and feet, within two weeks (acute), and again in 28 patients three months after stroke. The three month follow up also included a structural MRI scan for lesion delineation. Fifty-nine healthy participants were examined for normative direction discrimination values. We found abnormal tactile direction discrimination in 29/44 patients in the acute phase, and in 21/28 three months after stroke. Lesions that included the opercular parietal area 1 of the secondary somatosensory cortex, the dorsolateral prefrontal cortex, or the insular cortex were always associated with abnormal tactile direction discrimination, consistent with previous functional MRI results. Abnormal tactile direction discrimination was also present with lesions including white matter and subcortical regions. We have thus delineated cortical, subcortical and white matter areas important for tactile direction discrimination function. The findings also suggest that tactile dysfunction is common following stroke.
Minimizing Lifetime Poverty with a Penalty for Bankruptcy
Creators: name: Cohen, Asaf
name: Young, Virginia R.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Portfolio Management (q-fin.PM)
subject: Optimization and Control (math.OC)
subject: Probability (math.PR)
subject: FOS: Economics and business
subject: FOS: Mathematics

description: We provide investment advice for an individual who wishes to minimize her lifetime poverty, with a penalty for bankruptcy or ruin. We measure poverty via a non-negative, non-increasing function of (running) wealth. Thus, the lower wealth falls and the longer wealth stays low, the greater the penalty. This paper generalizes the problems of minimizing the probability of lifetime ruin and minimizing expected lifetime occupation, with the poverty function serving as a bridge between the two. To illustrate our model, we compute the optimal investment strategies for a specific poverty function and two consumption functions, and we prove some interesting properties of those investment strategies.
Dalitz plot distributions in presence of triangle singularities
Creators: name: Szczepaniak, Adam P.
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We discuss properties of three-particle Dalitz distributions in coupled channel systems in presence of triangle singularities. The single channel case was discussed long ago where it was found that as a consequence of unitarity, effects of a triangle singularity seen in the Dalitz plot are not seen in Dalitz plot projections. In the coupled channel case we find the same is true for the sum of intensities of all interacting channels. Unlike the single channel case, however, triangle singularities do remain visible in Dalitz plot projections of individual channels.
description: 6 pages, 2 figures
We should never forget this: Holocausterinnerungen am Beispiel von Arnold Schönbergs A Survivor from Warsaw op. 46 im zeitgeschichtlichen Kontext
Creators: name: Schmitt, Karolin
Publisher: name: University of North Carolina at Chapel Hill
Year: 2011

description: This thesis interprets Arnold Schoenberg's A Survivor from Warsaw op. 46, as evincing the classic features of Holocaust memory described by the German historian Konrad Jarausch: Survival Stories, Figures of Remembrance, and Public Memory Culture. An analysis of composition's libretto as a general Figure of Remembrance based on Survival Stories illuminates the musical and cultural meanings of its trilingual text concerned with identity and characterization. My scrutiny of the work's contribution to a Public Memory Culture centers on the postwar cultural policy of the Allies not only to initiate performances of Schoenberg's work as part of a re-education of Europe but crucially to strengthen their own ideological agenda. Allied policies had particular influence on performances of Schoenberg's work in East and West Germany, the reception of which is strongly emphasized; its history is here expanded through previously unknown sources. A study of the work's reception in the late twentieth and twenty-first century, however, reveals a psychological awareness and culturally motivated remembrance wed to learning and continual questioning instead.
A simple model for in- and out-of-plane resistivities of hole doped cuprates
Creators: name: Naqib, S. H.
name: Azam, M. Afsana
name: Uddin, M. Borhan
name: Cole, J. R.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The highly anisotropic and qualitatively different nature of in- and out-of-plane charge dynamics in high-Tc cuprates cannot be accommodated within the conventional Boltzmann transport theory. The variation of in- and out-of-plane resistivities with temperature and hole content are also anomalous and cannot be explained by Fermi-liquid theory. In this study we have proposed a simple phenomenological model for the dc resistivity of cuprates by incorporating two firmly established generic features of all hole doped cuprate superconductors- (1) the pseudogap in the quasiparticle energy spectrum and (2) the T-linear resistivity at high temperatures. This T-linear behavior over an extended temperature range can be attributed to a quantum criticality, affecting the electronic phase diagram of cuprates. Experimental in-plane and out-of-plane resistivities of double layer Y(Ca)123 have been analyzed using the proposed model. This phenomenological model describes the temperature and hole content dependent resistivity over a wide range of temperature and hole content.
description: Submitted to Superconductor Science and Technology
Cities in interaction
Creators: name: Peris, Antoine
Publisher: name: A+BE | Architecture and the Built Environment
Year: 2021

description: Cities never function in isolation but as nodes in overarching systems characterised by flows of goods, people, and information. To fully understand the evolution of cities, a relational approach is needed, which investigates cities in relation to other cities and urban regions. While a significant part of urban system research has focused on aspects such as the concentration of populations and economic activities, the understanding of the actual networks connecting cities and their impact is still limited. However, the required data is notoriously difficult to obtain. This dissertation contributes to knowledge on the relationship between cities in the Netherlands by exploiting – in novel ways – three data sources: web pages mentioning cities, local historical newspapers, and administrative registers. After providing an overview of the systems of cities literature, the toponym co-occurrences method is explored. This method aims at identifying patterns of relations between cities in a systematic way by looking at the co-mentions of cities in text documents (here in web pages). Using text as data appeared as a great direction for studying urban systems, and elements from this first exploration are used in the next section of the thesis where the past dynamics of the Dutch urban system is reconstructed using information flows retrieved from digitised historical newspapers. Finally in a last empirical part, the potential of information from individual-level registers about professional and residential trajectories for measuring relations between places at multiple spatial scales is investigated. This measure is then used to reveal the nested hierarchy of functional regions in the Netherlands.
description: A+BE | Architecture and the Built Environment, No. 07 (2021): Cities in interaction
The role of focal adhesion kinase in vascular smooth muscle cell migration
Creators: name: Mangiante, Lee Elena
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2008

description: Focal adhesion kinase (FAK) integrates diverse signaling pathways to regulate proliferation, migration, and differentiation. Germline deletion of FAK in mice results in embryonic lethality with pronounced defects in vascular structure and integrity, implicating FAK as critical to the development and migration of vascular smooth muscle cells (SMCs). However, the precise function of FAK in SMCs remains elusive. Primary aortic SMCs from fakflox/flox mice were infected with Cre-expressing adenovirus, ablating FAK production. FAK deletion inhibited migration to platelet-derived growth factor (PDGF). While PDGF-induced membrane ruffling was FAK-independent, PDGF-induced polarization was reduced fivefold in FAK-depleted cells. The RhoA effector, Dia2, localized to focal adhesions in a FAK-dependent manner, and ablation of FAK attenuated myosin light chain phosphorylation. Finally, we detected a novel interaction between Dia2 and the Arp2/3 activator, cortactin. These data suggest that FAK may promote cell contraction and polarized migration toward PDGF by regulating distinct pools of RhoA activity.
VeriBug: Attention-based Bug Detection and Diagnosis of Hardware Designs
Creators: name: Stracquadanio, Giuseppe
Publisher: name: University of Illinois at Chicago
Year: 2023

description: With ever-increasing design complexity, versatility, and ubiquity, pre-silicon hardware design verification, and bug localization has become the critical bottleneck and the most time-consuming part of the design cycle, often taking 70% of available resources. While checking behavior compliance is one side of the verification coin, the other side entails finding “what went wrong?”, in other words, the root causing the bug. Debugging functional bugs in contemporary hardware designs often takes weeks due to the hundreds of thousands of lines of design source code and several GB of simulation trace data, thereby challenging design productivity and time-to-market. To ease that pain point, in this dissertation, we propose VeriBug, a deep learning-based automated bug localization framework identifying suspicious portions in hard- ware design source code responsible for design failure. The principal component of VeriBug is an attention-based deep-learning architecture that tries to learn the hardware design execution semantics from its source code and execution data to behave as a parameterized hardware design simulator. VeriBug assigns a weight to each operand per operation in the source code, directly allowing it to recognize the operands that have more importance toward the design output in a failing simulation. VeriBug aggregates such weights and creates a heat map high-lighting candidate design portions for further investigation. VeriBug is fully automated and adoptable in existing industrial design flows. Our initial experiments on synthetic and realistic designs show that VeriBug is highly effective and generates accurate heat-maps which can help the user to drastically speed-up the debugging process.
Looking at the bright side - The story of AA Dor as revealed by its cool companion
Creators: name: Vučković, Maja
name: Østensen, Roy H.
name: Németh, Peter
name: Bloemen, Steven
name: Pápics, Peter I.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: Irradiation effects in close binaries are crucial for a reliable determination of system parameters and understanding the close binary evolution. We study irradiated light originating from the low mass component of an eclipsing system comprising a hot subdwarf primary and a low mass companion, to precisely interpret their high precision photometric and spectroscopic data, and accurately determine their system and surface parameters. We re-analyse the archival VLT/UVES spectra of AA Dor system where irradiation features have already been detected. After removing the predominant contribution of the hot subdwarf primary, the residual spectra reveal more than 100 emission lines from the heated side of the secondary with maximum intensity close to the phases around secondary eclipse. We analyse 22 narrow emission lines of the irradiated secondary, mainly of OII, with a few CII lines. Their phase profiles constrain the emission region of the heated side to a radius $\geq$ 95% of the radius of the secondary. The shape of their velocity profiles reveals two distinct asymmetry features one at the quadrature and the other at the secondary eclipse. We identify more than 70 weaker emission lines originating from HeI, NII, SiIII, CaII and MgII. We correct the radial velocity semi-amplitude of the center-of-light to the centre-of-mass of the secondary and calculate accurate masses of both components. The resulting masses $M_{1}$=0.46 $\pm$ 0.01$M_{\odot}$ and $M_{2}$=0.079 $\pm$ 0.002$M_{\odot}$ are in perfect accordance with those of a canonical hot subdwarf primary and a low mass star just at the substellar limit for the companion. We compute a first generation atmosphere model of the irradiated low mass secondary, which matches the observed spectrum well. We find an indication of an extended atmosphere of the irradiated secondary star.
description: 13 pages, 9 figures, accepted for publication in A&A
A Comparison of 2D versus 3D Radiography in the Treatment Planning of Root Canal Treated Teeth with Periapical Lesions
Creators: name: Kohltfarber, Heidi Bridget
Publisher: name: University of North Carolina at Chapel Hill
Year: 2012

description: Objectives: The aims of the study were to assess diagnostic efficacy in lesion detection, evaluate the effect of cone beam CT on treatment planning and clinician confidence. Methods: Forty digital periapical radiographs alone were compared with the use of both periapical radiographs and cone beam computed tomography. The two modalities were compared by four endodontic residents. The observers were asked to diagnose periapical lesions as well as provide a treatment plan and their confidence in the treatment plan for each case. Results: There was a statistically significant difference between the two modalities for lesion detection (aim 1) and a statistically significant decrease in proposed treatment for the control group (aim 2) with a decrease in clinician confidence (aim 3). Conclusion: The additional information provided by cone beam CT led to an increase in periapical lesion detection and a treatment change in one third of the cases associated with less confidence.
Group comparison of lower extremity muscle activation and lower extremity muscular flexibility and their effect on single leg squat performance
Creators: name: Mauntel, Timothy Charles
Publisher: name: University of North Carolina at Chapel Hill
Year: 2011

description: Knee valgus is a potential risk factor for lower extremity (LE) injuries. LE movement screenings and flexibility measurements may be utilized to identify neuromuscular patterns, which contribute to knee valgus. There are few studies that have investigated how flexibility and muscular activation differ between individuals who display medial knee displacement (MKD) during a single leg squat (SLS) and those who do not. We hypothesized that flexibility and muscular activation would differ between the groups. Forty individuals completed flexibility measurements and a SLS task while EMG data were collected from eight LE muscles. Three MANOVAs were run comparing flexibility measurements, EMG data, and muscle co-activation ratios. The MKD group had significantly less dorsiflexion, greater talar glide motion, and smaller hip adductor and gluteal co-activation ratios compared to the control group. Therefore, knee valgus appears to be influenced by decreased dorsiflexion and decreased co-activation of the Hip ADD and GMed and GMax muscles.
High-resolution x-ray diffraction study of the heavy-fermion compound YbBiPt
Creators: name: Ueland, B. G.
name: Saunders, S. M.
name: Bud'ko, S. L.
name: Schmiedeshoff, G. M.
name: Canfield, P. C.
name: Kreyssig, A.
name: Goldman, A. I.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: YbBiPt is a heavy-fermion compound possessing significant short-range antiferromagnetic correlations below a temperature of $T^{\textrm{*}}=0.7$ K, fragile antiferromagnetic order below $T_{\rm{N}}=0.4$ K, a Kondo temperature of $T_{\textrm{K}} \approx1$ K, and crystalline-electric-field splitting on the order of $E/k_{\textrm{B}}=1\,\textrm{-}\,10$ K. Whereas the compound has a face-centered-cubic lattice at ambient temperature, certain experimental data, particularly those from studies aimed at determining its crystalline-electric-field scheme, suggest that the lattice distorts at lower temperature. Here, we present results from high-resolution, high-energy x-ray diffraction experiments which show that, within our experimental resolution of $\approx6\,\textrm{-}\,10\times10^{-5}$ Å, no structural phase transition occurs between $T=1.5$ and $50$ K. In combination with results from dilatometry measurements, we further show that the compound's thermal expansion has a minimum at $\approx18$ K and a region of negative thermal expansion for $9
description: 7 pages, 3 figures, submitted to Phys. Rev. B
Linear Programming Bounds for Entanglement-Assisted Quantum Error-Correcting Codes by Split Weight Enumerators
Creators: name: Lai, Ching-Yi
name: Ashikhmin, Alexei
Publisher: name: arXiv
Year: 2016
Subjects: subject: Information Theory (cs.IT)
subject: Quantum Physics (quant-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: Linear programming approaches have been applied to derive upper bounds on the size of classical codes and quantum codes. In this paper, we derive similar results for general quantum codes with entanglement assistance, including nonadditive codes, by considering a type of split weight enumerators. After deriving the MacWilliams identities for these split weight enumerators, we are able to prove algebraic linear programming bounds, such as the Singleton bound, the Hamming bound, and the first linear programming bound. In particular, we show that the first linear programming bound improves the Hamming bound when the relative distance is sufficiently large. On the other hand, we obtain additional constraints on the size of Pauli subgroups for quantum codes, which allow us to improve the linear programming bounds on the minimum distance of small quantum codes. In particular, we show that there is no [[27,15,5]] or [[28,14,6]] quantum stabilizer code. We also discuss the existence of some entanglement-assisted quantum stabilizer codes with maximal entanglement. As a result, the upper and lower bounds on the minimum distance of maximal-entanglement quantum stabilizer codes with length up to 20 are significantly improved.
description: 23 pages, 5 figures, 2 tables. A refined Singleton bound for the general case is provided in this version. The code table is updated
Spatial and temporal patterns of gastrointestinal illness and their relationship with precipitation across the state of North Carolina
Creators: name: Hartley, Jenna
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: The quality of drinking water quality in the United States is among the best in the world. Nonetheless, pathogens are present in source waters that are used for drinking water. Water in general and floodwaters specifically can spread pathogens within watersheds by mobilizing pathogens in the environment and transporting them. Previous research has identified a positive association between gastrointestinal illness and meteorological variables, including heavy precipitation. This study analyzes patterns of gastrointestinal illness and their relationship with various demographic variables and precipitation across the state of North Carolina. Results show the strongest demographic relationships between poverty indicators and disease. Moreover, this study identifies increases in the rate of gastrointestinal illness after periods of heavy rainfall. Several geographical clusters of high disease occurrence are identified at the county level, with seven counties across the state showing 300% and greater increases in average rates of ED admissions after heavy rainfall.
High-Conductive Organometallic Molecular Wires with Delocalized Electron Systems Strongly Coupled to Metal Electrodes
Creators: name: Schwarz, Florian
name: Kastlunger, Georg
name: Lissel, Franziska
name: Riel, Heike
name: Venkatesan, Koushik
name: Berke, Heinz
name: Stadler, Robert
name: Lörtscher, Emanuel
Publisher: name: arXiv
Year: 2015
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Besides active, functional molecular building blocks such as diodes or switches, passive components as, e.g., molecular wires, are required to realize molecular-scale electronics. Incorporating metal centers in the molecular backbone enables the molecular energy levels to be tuned in respect to the Fermi energy of the electrodes. Furthermore, by using more than one metal center and sp-bridging ligands, a strongly delocalized electron system is formed between these metallic "dopants", facilitating transport along the molecular backbone. Here, we study the influence of molecule--metal coupling on charge transport of dinuclear X(PP)$_2$FeC$_4$Fe(PP)$_2$X molecular wires (PP = Et$_2$PCH$_2$CH$_2$PEt$_2$); X = CN (1), NCS (2), NCSe (3), C$_4$SnMe$_3$ (4) and C$_2$SnMe$_3$ (5)) under ultra-high vacuum and variable temperature conditions. In contrast to 1 which showed unstable junctions at very low conductance ($8.1\cdot10^{-7}$ G$_0$), 4 formed a Au-C$_4$FeC$_4$FeC$_4$-Au junction 4' after SnMe$_3$ extrusion which revealed a conductance of $8.9\cdot10^{-3}$ G$_0$, three orders of magnitude higher than for 2 ($7.9\cdot10^{-6}$ G$_0$) and two orders of magnitude higher than for 3 ($3.8\cdot10^{-4}$ G$_0$). Density functional theory (DFT) confirmed the experimental trend in the conductance for the various anchoring motifs. The strong hybridization of molecular and metal states found in the C--Au coupling case enables the delocalized electronic system of the organometallic Fe$_2$ backbone to be extended over the molecule-metal interfaces to the metal electrodes to establish high-conductive molecular wires.
Modeling of Space-Time Focusing of Localized Nondiffracting Pulses
Creators: name: Zamboni-Rached, Michel
name: Besieris, Ioannis M.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: In this paper we develop a method capable of modeling the space-time focusing of nondiffracting pulses. The new pulses can possess arbitrary peak velocities and, in addition to being resistant to diffraction, can have their peak intensities and focusing positions chosen a priori. More specifically, we can choose multiple locations (spatial ranges) of space/time focalization; also, the pulse intensities can be chosen in advance. The pulsed wave solutions presented here can have very interesting applications in many different fields, such as free-space optical communications, remote sensing, medical apparatus, etc.
description: 15 pages, 7 figures
Representative concepts: how to analyze knowledge as true belief in the face of Gettier counterexamples
Creators: name: Smith, Modie Christon
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2006

description: Gettier counterexamples purport to show that justified true belief is insufficient for knowledge and, ipso facto, that true belief is insufficient for knowledge. I develop a strategy that the proponent of the true belief analysis of knowledge can deploy to explain away Gettier counterexamples, i.e., to show how the subject in them can merely appear to believe something truly without knowing it. I suggest that the proposition that appears to be truly, non-knowingly believed in a Gettier counterexample is actually not believed at all. Rather, the subject believes a closely related, false proposition. The subject cannot believe the true proposition, I propose, because of the special nature of certain of his or her concepts-what I call "representative concepts." The reason the subject appears to believe the true proposition is that we use a true sentence to ascribe the belief in the false proposition to him or her.
General relativity and cosmic structure formation
Creators: name: Adamek, Julian
name: Daverio, David
name: Durrer, Ruth
name: Kunz, Martin
Publisher: name: arXiv
Year: 2015
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Numerical simulations are a versatile tool providing insight into the complicated process of structure formation in cosmology. This process is mainly governed by gravity, which is the dominant force on large scales. To date, a century after the formulation of general relativity, numerical codes for structure formation still employ Newton's law of gravitation. This approximation relies on the two assumptions that gravitational fields are weak and that they are only sourced by non-relativistic matter. While the former appears well justified on cosmological scales, the latter imposes restrictions on the nature of the "dark" components of the Universe (dark matter and dark energy) which are, however, poorly understood. Here we present the first simulations of cosmic structure formation using equations consistently derived from general relativity. We study in detail the small relativistic effects for a standard ΛCDM cosmology which cannot be obtained within a purely Newtonian framework. Our particle-mesh N-body code computes all six degrees of freedom of the metric and consistently solves the geodesic equation for particles, taking into account the relativistic potentials and the frame-dragging force. This conceptually clean approach is very general and can be applied to various settings where the Newtonian approximation fails or becomes inaccurate, ranging from simulations of models with dynamical dark energy or warm/hot dark matter to core collapse supernova explosions.
description: 6 pages, 3 figures
A Clockwork Axion
Creators: name: Kaplan, David E.
name: Rattazzi, Riccardo
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We present a renormalizable theory of scalars in which the low energy effective theory contains a pseudo-Goldstone Boson with a compact field space of 2π F and an approximate discrete shift symmetry Z_Q with Q>>1, yet the number of fields in the theory goes as log(Q). Such a model can serve as a UV completion to models of relaxions and is a new source of exponential scale separation in field theory. While the model is local in `theory space', it appears to not have a continuum generalization (i.e., it cannot be a deconstructed extra dimension). Our framework shows that super-Planckian field excursions can be mimicked while sticking to renormalizable four-dimensional quantum field theory. We show that a supersymmetric extension is straightforwardly obtained and we illustrate possible UV completions based on a compact extra-dimension, where all global symmetries arise accidentally as a consequence of gauge invariance and 5D locality.
description: 6 pages