cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Additional file 1 of Biomarkers of moderate alcohol intake and alcoholic beverages: a systematic literature review
Creators: name: Trius-Soler, Marta
name: Praticò, Giulia
name: Gürdeniz, Gözde
name: Garcia-Aloy, Mar
name: Canali, Raffaella
name: Fausta, Natella
name: Brouwer-Brolsma, Elske M.
name: Andrés-Lacueva, Cristina
name: Dragsted, Lars Ove
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Neuroscience
Pharmacology
Biotechnology
Chemical Sciences not elsewhere classified
Biological Sciences not elsewhere classified
Mental Health

description: Additional file 1: Supplementary Table S1. Keyword for the primary literature research. Supplementary Table S2. List of studies reporting candidate biomarkers for alcoholic beverage subgroups and ethanol consumption. Supplementary Table S3. Summary of the excluded candidate BFIs of alcoholic beverages subgroups and ethanol consumption and reasons for exclusion.
Additional file 1 of Suubi + Adherence4Youth: a study protocol to optimize the Suubi Intervention for Adherence to HIV treatment for youth living with HIV in Uganda
Creators: name: Ssewamala, Fred M.
name: Sauceda, John A.
name: Brathwaite, Rachel
name: Neilands, Torsten B.
name: Nabunya, Proscovia
name: Brown, Derek
name: Sensoy Bahar, Ozge
name: Namuwonge, Flavia
name: Nakasujja, Noeline
name: Mugarura, Allan
name: Mwebembezi, Abel
name: Nartey, Portia
name: Mukasa, Barbara
name: Gwadz, Marya
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Virology

description: Additional file 1. SPIRIT Checklist
Typed Compilation of Recursive Datatypes
Creators: name: Vanderwaart, Joseph C.
name: Dwyer, Derek R.
name: Leaf  Petersen
name: Crary, Karl
name: Harper, Robert
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including other identically defined datatypes. A natural way of accounting for this is to consider datatypes to be abstract. When this interpretation is applied to type-preserving compilation, however, it has the unfortunate consequence that datatype constructors cannot be inlined, substantially increasing the run-time cost of constructor invocation compared to a traditional compiler. In this paper we examine two approaches to eliminating function call overhead from datatype constructors. First, we consider a transparent interpretation of datatypes that does away with generativity, altering the semantics of SML; and second, we propose an interpretation of datatype constructors as coercions, which have no run-time effect or cost and faithfully implement SML semantics.
The Effect of a Two-Week Lower Body Resistance Training Protocol on Aerobic Capacity (VO2peak) in Sedentary Middle Aged Females
Creators: name: Wagoner, Chad
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2016

description: This prospective study examined the effect of two-weeks of lower-body resistance training on cardiopulmonary capacity (VO2peak) as well as its impact on muscle strength/size in sedentary middle-aged females (n=18). VO2peak was assessed via a maximal cardiopulmonary exercise test (CPET), leg extensor strength via isokinetic dynamometry, and muscle size of the vastus lateralis (VL) (cross-sectional area (CSA)) using ultrasound. Both relative and absolute VO2peak significantly improved by 10.8% (p=0.002) and 10.7% (p=0.003), respectively. leg extension peak torque (PT) significantly improved by 6.1% (p=0.027), and EMG amplitude significantly improved by 41.3% (p=0.001). VL CSA did not increase in response to training (p=0.456). No significant relationship was observed between VO2peak changes and chosen strength variables (PT/Amplitude). In conclusion, the strength training appears to have had a positive effect on VO2peak.and strength in middle-aged females, however future studies including a control group are warranted to confirm or refute the results of this current study.
Coset codes for communicating over non-additive channels
Creators: name: Padakandla, Arun
name: Pradhan, S. Sandeep
Publisher: name: arXiv
Year: 2015
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: We present a case for the use of codes possessing algebraic closure properties - coset codes - in developing coding techniques and characterizing achievable rate regions for generic multi-terminal channels. In particular, we consider three diverse communication scenarios - $3-$user interference channel (many-to-many), $3-$user broadcast channel (one-to-many), and multiple access with distributed states (many-to-one) - and identify non-additive examples for which coset codes are analytically proven to yield strictly larger achievable rate regions than those achievable using iid codes. On the one hand, our findings motivate the need for multi-terminal information theory to step beyond iid codes. On the other, it encourages current research of linear code-based techniques to go beyond particular additive communication channels. Detailed proofs of our results are available in [1]-[3].
The Participating Poor: The Effect of Conditional Cash Transfers on Beneficiary Political Participation
Creators: name: Dunn, Claire
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: Conditional cash transfer (CCT) programs entered the social policy scene in Mexico and Brazil in the mid-1990s and have since been adopted by policymakers throughout Latin America. While the effects of these programs on health, education, child labor and poverty have been widely studied, the political effects have not been considered in nearly as much depth. Yet we know from studying other social policies that they often have consequences beyond their intended goals. In this paper I build on the existing literature on CCTs and the political consequences of social policies to examine the effect of CCTs on broad political participation. Using survey data from across Latin America and the Caribbean, I find that beneficiaries of CCTs are more likely to participate in a variety of electoral and non-electoral types of participation. Using the same survey data, I also aim to understand the mechanisms that lead CCT beneficiaries to participate at higher rates than non-beneficiaries. I find that beneficiaries express higher levels of political interest, stronger senses of political efficacy and greater trust in political institutions than non-beneficiaries. I argue increased participation among CCT beneficiaries is a result of policy feedback effects, but that these feedback effects are the opposite of what existing literature on advanced democracies would lead us to expect, indicating a need to adjust our theories to the Latin American context.
A Comparison of Two Different Treadmill Protocols in Measuring Maximal Oxygen Consumption in Highly Trained Distance Runners
Creators: name: Vanhoy, Ryan Adam
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: The purpose of this study was to prospectively investigate the specificity effect of two different treadmill protocols on maximal oxygen consumption (VO2max) in highly-trained distance runners (n=16). The secondary purpose examined if the ventilatory threshold (VT) attained during different protocols occurred at the same percent of VO2max (% VO2max @ VT). After a familiarization session performing the Bruce Protocol, VO2max was evaluated using two graded treadmill protocols; a horizontal (increment in speed only) (SOVO2max) and inclined (constant speed with increment in grade only) (GOVO2max). VO2max values were significantly higher from the GOVO2max in comparison to the SOVO2max protocol (76.1 and 71.2 mLO2/kg/min, p=. 005). The % VO2max @ VT was not significantly different between the GOVO2max and SOVO2max protocols. The results indicate that, based on runner specialty (flat versus hill runners), either SOVO2max or GOVO2max protocols can be used to determine the % VO2max @ VT in highly-trained distance runners.
Additional file 1 of Effects of high-heeled shoes on lower extremity biomechanics and balance in females: a systematic review and meta-analysis
Creators: name: Zeng, Ziwei
name: Liu, Yue
name: Hu, Xiaoyue
name: Li, Pan
name: Wang, Lin
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Biological Sciences not elsewhere classified
Science Policy

description: Additional file 1.
A study of memory effects in a chess database
Creators: name: Schaigorodsky, Ana L.
name: Perotti, Juan I.
name: Billoni, Orlando V.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: FOS: Physical sciences

description: A series of recent works studying a database of chronologically sorted chess games --containing 1.4 million games played by humans between 1998 and 2007-- have shown that the popularity distribution of chess game-lines follows a Zipf's law, and that time series inferred from the sequences of those game-lines exhibit long-range memory effects. The presence of Zipf's law together with long-range memory effects was observed in several systems, however, the simultaneous emergence of these two phenomena were always studied separately up to now. In this work, by making use of a variant of the Yule-Simon preferential growth model, introduced by Cattuto et al., we provide an explanation for the simultaneous emergence of Zipf's law and long-range correlations memory effects in a chess database. We find that Cattuto's Model (CM) is able to reproduce both, Zipf's law and the long-range correlations, including size-dependent scaling of the Hurst exponent for the corresponding time series. CM allows an explanation for the simultaneous emergence of these two phenomena via a preferential growth dynamics, including a memory kernel, in the popularity distribution of chess game-lines. This mechanism results in an aging process in the chess game-line choice as the database grows. Moreover, we find burstiness in the activity of subsets of the most active players, although the aggregated activity of the pool of players displays inter-event times without burstiness. We show that CM is not able to produce time series with bursty behavior providing evidence that burstiness is not required for the explanation of the long-range correlation effects in the chess database.
description: 18 pages, 7 figures
Using an issue-based model in a team-based software engineering course
Creators: name: Dutoit, Allen
name: Bruegge, Bernd
name: Coyne, Robert F.
name: Carnegie Mellon University.Engineering Design Research Center.
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "Communication in software engineering projects becomes a bottleneck as the number of participants increases. As today's software systems grow in complexity and size, teaching effective communication skills in software engineering courses becomes a critical issue. This paper is an experience report on the use of a [sic] issue-based model for teaching meeting procedures in a team-based software engineering project course (7 teams, 25 students). We observed that, when carefully introduced in the classroom, the use of an issue-based model provided significant benefits, even with such limited tool support as a word processor template. More specifically, we observed that students conducted meetings more efficiently, that they maintained a more complete record of the issues under discussion, and that intra-team communication was significantly improved."
Additional file 2 of Effects of high-heeled shoes on lower extremity biomechanics and balance in females: a systematic review and meta-analysis
Creators: name: Zeng, Ziwei
name: Liu, Yue
name: Hu, Xiaoyue
name: Li, Pan
name: Wang, Lin
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Biological Sciences not elsewhere classified
Science Policy

description: Additional file 2.
Weyl n-algebras
Creators: name: Markarian, Nikita
Publisher: name: arXiv
Year: 2015
Subjects: subject: Quantum Algebra (math.QA)
subject: Algebraic Topology (math.AT)
subject: FOS: Mathematics

description: We introduce Weyl n-algebras and show how their factorization homology may be used to define invariants of manifolds. In the appendix we heuristically explain why these invariants must be perturbative Chern-Simons invariants.
description: v3: Revised according to referees suggestions. To appear in Communications in Mathematical Physics. 22pages
Using category theory to design implicit conversions and generic operators
Creators: name: Reynolds, John C
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: A generalization of many-sorted algebras, called category-sorted algebras, is defined and applied to the language-design problem of avoiding anomalies in the interaction of implicit conversions and generic operators. The definition of a simple imperative language (without any binding mechanisms) is used as an example.
Additional file 3 of Effects of high-heeled shoes on lower extremity biomechanics and balance in females: a systematic review and meta-analysis
Creators: name: Zeng, Ziwei
name: Liu, Yue
name: Hu, Xiaoyue
name: Li, Pan
name: Wang, Lin
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Biological Sciences not elsewhere classified
Science Policy

description: Additional file 3.
Verification of Floating-Point Adders
Creators: name: Yirng-An  Chen
name: Bryant, Randal E.
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The floating-point(FP) division bug in Intel’s Pentium processor and
the overflow flag erratum of the FIST instruction in Intel’s Pentium Pro and Pentium
II processor have demonstrated the importance and the difficulty of verifying
FP arithmetic circuits. In this paper, we present the verification of FP adders with
reusable specifications, using extended word-level
SMV, which is improved by
using the Multiplicative Power HDDs (*PHDDs), and by incorporating conditional
symbolic simulation as well as a short-circuiting
technique. Based on the
case analysis, the specifications of FP adders are divided into several hundreds
of implementation-independent
sub-specifications.
We applied our system and
these specifications to verify the IEEE double precision FP adder in the Aurora
III Chip at the University of Michigan. Our system found several design errors
in this FP adder and generated one counterexample for each error within several
minutes. A variant of the corrected FP adder is created to illustrate the capability
of our system to handle different FP adder designs. For each of FP adders, the
verification task finished in 2 CPU hours on a Sun Ultra-SPARCII
server.
Wood and Energy in Rhode Island
Creators: name: Bailey, Mark R.
name: Wheeling, Paul R.
name: Lenz, Maria I.
name: Bailey, Mark R.
name: Wheeling, Paul R.
name: Lenz, Maria I.
Publisher: name: Unknown
Year: 1983
Subjects: subject: Research Methods/ Statistical Methods
subject: Resource /Energy Economics and Policy
subject: Rhode Island
subject: wood energy
subject: residential energy demand
subject: forest resource
subject: wood-burning stoves
subject: cordwood
subject: fuelwood
subject: renewable energy
subject: energy substitution
subject: New England

description: Telephone surveys of Rhode Island households conducted in 1979 indicate a transition to wood heating in response to a series of conventional energy price increases and uncertainty in conventional energy supplies. Rhode Island households consumed 108,000 cords of wood in the winter of 1978-79. The airtight wood stove is becoming the most commonly used wood-burning apparatus. Survey data of residential wood cutting, purchasing, and burning were analyzed by household tenure, wood-burning apparatus, and county. Residential use of wood for energy constitutes a new demand on the forest resource, increases local income and employment, displaces fuel oil and electricity, but may compromise household safety.
White mestizaje: soccer and the construction of Argentine racial identity, 1924-1930
Creators: name: Richey, Jeffrey William
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2007

description: Both Argentines and foreigners commonly perceive Argentina as a bastion of racial European-ness in a continent populated by people of non-European, or mixed-race descent. While scholars and intellectuals have revealed the inaccuracies of this characterization, it has nonetheless proven durable. When and how did Argentines come to understand and project themselves this way? What specific negotiations and historic processes allowed these constructions of racial identity to be so widely accepted? Focusing on the 1920s, this thesis identifies and analyzes popular sports media that catered to the burgeoning, literate working classes of era. The popularity of soccer and the institutionalization of international soccer tournaments gave newspaper commentators unprecedented opportunities to publish formulations of Argentine racial identity. Drawing from racial Eurocentrism as well as from mestizaje ideology, notions of the Argentine race constructed during the course of the 1920s provided the basis for racial identities which have survived until the present day.
Additional file 5 of Effects of high-heeled shoes on lower extremity biomechanics and balance in females: a systematic review and meta-analysis
Creators: name: Zeng, Ziwei
name: Liu, Yue
name: Hu, Xiaoyue
name: Li, Pan
name: Wang, Lin
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Biological Sciences not elsewhere classified
Science Policy

description: Additional file 5.
Transcription conventions and evaluation techniques for spoken language system research
Creators: name: Rudnicky, Alexander I.
name: Sakamoto, Michelle H.
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "We describe the transcription conventions currently in use for spontaneous speech at Carnegie Mellon University. Two sets of conventions are described, a detail-rich system for wizard experiments, and a more rigid evaluation system designed for purposes of SLS evaluation. The latter is suitable for automatic scoring using the existing NBS (now NIST) scoring software. A simple wizard transcription is included as well as a sample of live-system transcription together with system output. Transcripts can be used to generate a number of diagnostic metrics useful for system evaluation."
Dietary Supplement Mother and children
Creators: name: Hoteit, Maha
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Medicine and Health Sciences

description: Questionnaire retrieved from CDC and modified to fit the objective of a study entitled : Prevalence of Essential NutrientDietary Supplements Use and Assessment of the Knowledge and Attitudes of Lebanese Mothers Towards Dietary Supplements Practices in Maternal, Infancy and Preschool Ages: Findings of a National Repre-sentative Cross-Sectional Study
Additional file 4 of Effects of high-heeled shoes on lower extremity biomechanics and balance in females: a systematic review and meta-analysis
Creators: name: Zeng, Ziwei
name: Liu, Yue
name: Hu, Xiaoyue
name: Li, Pan
name: Wang, Lin
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Biological Sciences not elsewhere classified
Science Policy

description: Additional file 4. [91–123].
Tunneling and mode conversion of fast magnetosonic waves in the magnetospheres of Earth and Mercury
Creators: name: Kazakov, Yevgen O.
name: Fülöp, Tünde
Publisher: name: arXiv
Year: 2014
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Narrow-band linearly polarized waves, having a resonant structure and a peak frequency between the local cyclotron frequency of protons and heavy ions, have been detected in the magnetospheres of Earth and of Mercury. Some of these wave events have been suggested to be driven by linear mode conversion (MC) of the fast magnetosonic waves at the ion-ion hybrid (IIH) resonances. Since the resonant IIH frequency is linked to the plasma composition, solving the inverse problem allows one to infer the concentration of the heavy ions from the measured frequency spectra. In this paper, we identify the conditions when the MC efficiency is maximized in the magnetospheric plasmas and discuss how this can be applied for estimating the heavy ion concentration in the magnetospheres of Earth and Mercury.
description: 13 pages, 5 figures
Potential of phage EF-N13 as an alternative treatment strategy for mastitis infections caused by multidrug-resistant Enterococcus faecalis
Creators: name: Ji
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 300907
subject: Veterinary medicine (excl. urology)
classificationCode: 300914
subject: Veterinary virology

description: This data is an SUPPLEMENTAL MATERIAL to the published article “Potential of phage EF-N13 as an alternative treatment strategy for mastitis infections caused by multidrug-resistant Enterococcus faecalis”.
Additional file 6 of Effects of high-heeled shoes on lower extremity biomechanics and balance in females: a systematic review and meta-analysis
Creators: name: Zeng, Ziwei
name: Liu, Yue
name: Hu, Xiaoyue
name: Li, Pan
name: Wang, Lin
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Biological Sciences not elsewhere classified
Science Policy

description: Additional file 6.
Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation
Creators: name: Bryant, Randal E.
name: Velev, Miroslav N
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper extends Burch and Dill’s pipeline verification method [4] to the bit level.
We introduce the idea of memory shadowing, a new technique for providing on-the-fly identical
initial memory state to two different memory execution sequences. We also present an algorithm
which compares the final states of two memories for equality. Memory shadowing and the comparison
algorithm build on the Efficient Memory Model (EMM) [13], a behavioral memory
model where the number of symbolic variables used to characterize the initial state of a memory
is proportional to the number of distinct symbolic locations accessed. These techniques allow us
to verify that a pipelined circuit has equivalent behavior to its unpipelined specification by simulating
two memory execution sequences and comparing their final states. Experimental results
show the potential of the new ideas.
Quantum-enhanced capture of photons using optical ratchet states
Creators: name: Higgins, K. D. B.
name: Lovett, B. W.
name: Gauger, E. M.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Natural and artificial light harvesting systems often operate in a regime where the flux of photons is relatively low. Besides absorbing as many photons as possible it is therefore paramount to prevent excitons from annihilation via photon re-emission until they have undergone an irreversible energy conversion process. Taking inspiration from photosynthetic antenna structures, we here consider ring-like systems and introduce a class of states we call ratchets: excited states capable of absorbing but not emitting light. This allows our antennae to absorb further photons whilst retaining the excitations from those that have already been captured. Simulations for a ring of four sites reveal a peak power enhancement by up to a factor of 35 under ambient conditions owing to a combination of ratcheting and the prevention of emission through dark-state population. In the slow extraction limit the achievable power enhancement due to ratcheting alone exceeds 20%.
description: major revision with improved model (all data and figures updated)
Verifying atomic data types
Creators: name: Wing, Jeannette Marie.
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "Atomic transactions are a widely-accepted technique for organizing computation in fault-tolerant distributed systems. In most languages and systems based on transactions, atomicity is implemented through atomic objects, typed data objects that provide their own synchronization and recovery. Hence, atomicity is the key correctness condition required of a data type implementation. This paper presents a technique for verifying the correctness of implementations of atomic data types. The novel aspect of this technique is the extension of Hoare's abstraction function to map to a set of sequences of abstract operations, not just to a single abstract value. We give an example of a proof for an atomic queue implemented in a real programming language, Avalon/C++."
A novel scheme for rapid parallel parameter estimation of gravitational waves from compact binary coalescences
Creators: name: Pankow, C.
name: Brady, P.
name: Ochsner, E.
name: O'Shaughnessy, R.
Publisher: name: arXiv
Year: 2015
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We introduce a highly-parallelizable architecture for estimating parameters of compact binary coalescence using gravitational-wave data and waveform models. Using a spherical harmonic mode decomposition, the waveform is expressed as a sum over modes that depend on the intrinsic parameters (e.g. masses) with coefficients that depend on the observer dependent extrinsic parameters (e.g. distance, sky position). The data is then prefiltered against those modes, at fixed intrinsic parameters, enabling efficiently evaluation of the likelihood for generic source positions and orientations, independent of waveform length or generation time. We efficiently parallelize our intrinsic space calculation by integrating over all extrinsic parameters using a Monte Carlo integration strategy. Since the waveform generation and prefiltering happens only once, the cost of integration dominates the procedure. Also, we operate hierarchically, using information from existing gravitational-wave searches to identify the regions of parameter space to emphasize in our sampling. As proof of concept and verification of the result, we have implemented this algorithm using standard time-domain waveforms, processing each event in less than one hour on recent computing hardware. For most events we evaluate the marginalized likelihood (evidence) with statistical errors of less than about 5%, and even smaller in many cases. With a bounded runtime independent of the waveform model starting frequency, a nearly-unchanged strategy could estimate NS-NS parameters in the 2018 advanced LIGO era. Our algorithm is usable with any noise curve and existing time-domain model at any mass, including some waveforms which are computationally costly to evolve.
description: 20 pages, 11 figures, submitted to PRD
Type Refinements in an Open World (Extended Abstract)
Creators: name: Harper, Robert
name: Duff, William
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: A refinement is a predicate on the elements of a type that describes their execution behavior. Much work has gone into developing refinements in a closed world, in which the classes of values of a type are fixed statically, as in the case of the natural numbers with zero and succ. Relatively little work has gone into developing refinements in an open world in which new classes may be added dynamically. Here we examine the problem of exception tracking, a perennially problematic typing concept for programming languages, from the point of view of refinements in an open world. Exceptions are decomposed into separate control and data mechanisms, the latter motivating the need for open-world refinements. Exception tracking is thereby repositioned as a matter of program verification, rather than structural typing, integrating behavioral typing with theorem proving even in an open world. Some further applications of dynamic classification and openworld refinements are suggested.
Additional file 1 of Dysregulation of hypoxia-inducible factor 1α in the sympathetic nervous system accelerates diabetic cardiomyopathy
Creators: name: Hrabalova, Petra
name: Bohuslavova, Romana
name: Matejkova, Katerina
name: Papousek, Frantisek
name: Sedmera, David
name: Abaffy, Pavel
name: Kolar, Frantisek
name: Pavlinkova, Gabriela
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Chemical Sciences not elsewhere classified
subject: Science Policy
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Mental Health
subject: Virology

description: Additional file 1: Table S1. Primer sequences for genotyping. Table S2. Primer sequences for quantitative real-time polymerase chain reaction. Table S3. Primary antibodies. Figure S1. Fluorescent Activated Cell Sorting of tdTomato+ neuronal cells. Gating strategy of the tdTomato+ (A) and tdTomato- sympathetic neurons (B). Figure S2. Basal left ventricular echocardiographic parameters. The echocardiographic evaluation of left ventricular systolic function of non-diabetic and diabetic, control and Hif1aCKO mice (non-DIA Control n = 9, DIA Control n = 7, non-DIA Hif1aCKO n = 10, DIA Hif1aCKO n = 6). Two-Way ANOVA followed by Tukey’s comparison multiple tests were used. Data are mean ± SEM; *P < 0.05, **P < 0.01, ***P < 0.001, ****P < 0.0001; ns = non-significant. Abbreviations: AWTd, diastolic anterior wall thickness; AWTs, systolic anterior wall thickness; LV, left ventricle; LVDd, diastolic cavity diameter; LVDs, systolic cavity diameter; PWTd, diastolic posterior wall thickness; PWTs, systolic posterior wall thickness; RWT, relative wall thickness; SV, stroke volume.
Comparative analysis of?IGFBP-3 gene sequence in?Egyptian sheep, cattle, and?bu?alo
Creators: name: Saleh, Ahmed
Publisher: name: figshare
Year: 2020
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Objective: A total of 205 animals from four Egyptian livestock species; cattle (n = 18), buﬀaloes (n = 12), sheep (n = 150) and goats (n = 25) were used in this study to detect polymorphism and perform comparative analysis for IGFBP-3 gene using DNA sequencing and (PCR–RFLP).
Results: The ampliﬁed fragments were found to be of length 654 bp in sheep, 651 bp in cattle and 655 bp in buﬀalo. For Falahy goats, PCR was performed to amplify a 316 bp fragment from exon 2 of the IGFBP-3 gene. The digestion of 654 bp with HaeIII restriction enzyme yielded a single restriction pattern for goats, while for cattle, 3 genotypes were identiﬁed; (AA), (AB), and (BB). Moreover, for buﬀalo one genotype (AA) only was found with HaeIII and TaqI restriction enzymes, separately. Also, the digestion proﬁle for goats with HaeIII revealed one pattern only. Nucleotide sequencing of the ampliﬁed fragments of IGFBP-3 gene in sheep, cattle, buﬀalo, and goat was submitted to the NCBI GenBank (Accession no. MG738671.1, MG738673.1, MG738674.1, and MG738672.1, respectively). The nucleotide sequencing analysis indicated similarity percentages in IGFBP-3 gene fragments of 88.54, 89.63 and 95.06% between “sheep and cattle”, “sheep and buﬀalo”, and “cattle and buﬀalo”, respectively.
Spinor Bose-Einstein Condensates of Rotating Polar Molecules
Creators: name: Deng, Y.
name: Yi, S.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: We propose a scheme to realize a pseudospin-$1/2$ model of the $^{1}Σ(v=0)$ bialkali polar molecules with the spin states corresponding to two sublevels of the first excited rotational level. We show that the effective dipole-dipole interaction between two spin-$1/2$ molecules couples the rotational and orbital angular momenta and is highly tunable via a microwave field. We also investigate the ground state properties of a spin-$1/2$ molecular condensate. A variety of nontrivial quantum phases, including the doubly-quantized vortex states, are discovered. Our scheme can also be used to create spin-$1$ model of polar molecules. Thus, we show that the ultracold gases of bialkali polar molecules provide a unique platform for studying the spinor condensates of rotating molecules.
description: 5 pages plus 5 page supplemental material, 4 figures
Using the Amazon Mechanical Turk for Transcription of Spoken Language
Creators: name: Marge, Matthew R
name: Satanjeev  Banerjee
name: Rudnicky, Alexander
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We investigate whether Amazon's Mechanical Turk (MTurk) service can be used as a reliable method for transcription of spoken language data. Utterances with varying speaker demographics (native and non-native English, male and female) were posted on the MTurk marketplace together with standard transcription guidelines. Transcriptions were compared against transcriptions carefully prepared in-house through conventional (manual) means. We found that transcriptions from MTurk workers were generally quite accurate. Further, when transcripts for the same utterance produced by multiple workers were combined using the ROVER voting scheme, the accuracy of the combined transcript rivaled that observed for conventional transcription methods. We also found that accuracy is not particularly sensitive to payment amount, implying that high quality results can be obtained at a fraction of the cost and turnaround time of conventional methods.
title: Εικονική περιήγηση και εφαρμογές επαυξημένης πραγματικότητας στη Δημοτική Πινακοθήκη Πειραιά
title: Virtual tour and augmented reality applications in the Munipal Gallery of Piraeus
titleType: AlternativeTitle
Creators: name: Πάνου, Αθηνά
Publisher: name: Πανεπιστήμιο Πειραιώς
Year: 2022
Subjects: subject: Εικονική περιήγηση
subject: Επαυξημένη πραγματικότητα

description: Στην παρούσα εργασία θα εξεταστεί η έννοια της επαυξημένης πραγματικότητας και ο τρόπος εφαρμογής της σε μουσειακούς χώρους και πολιτιστικούς οργανισμούς. Σκοπός είναι να μελετηθεί ο βαθμός που η εφαρμογή της τεχνολογίας αυτής μπορεί να συμβάλλει στην κατανόηση του περιεχομένου μιας μουσειακής έκθεσης και ιδιαίτερα μιας πινακοθήκης, όπως αυτής της Πινακοθήκης Πειραιά, από τον επισκέπτη. Η μεθοδολογία που χρησιμοποιήθηκε για την εκπόνηση της εργασίας είναι ένας συνδυασμός δευτερογενούς και πρωτογενούς έρευνας. Πραγματοποιήθηκε ενδελεχής βιβλιογραφική έρευνα για την αποσαφήνιση των βασικών θεματικών της εργασίας που είναι σχετικές με την ανωτέρω τεχνολογία, καθώς και για την διάρθρωση των επιμέρους πληροφοριών που αφορούν τη μελέτη της συγκεκριμένης περίπτωσης της πινακοθήκης Πειραιά.
Chris Thile, The Punch Brothers, and the Negotiation of Genre
Creators: name: Stacks, Stephen
Publisher: name: University of North Carolina at Chapel Hill Graduate School
Year: 2014
Subjects: Music
Gender identity

description: Chris Thile and his five-piece supergroup the Punch Brothers have a complicated relationship with the genre of bluegrass. Their rhetoric has grown increasingly resistant to the idea that the concept of genre is a useful framework for interpretating their music. However, the band's output complicates this narrative by consistently referencing bluegrass even while the band members deny engaging with it. Fans of the band value this precariously balanced relationship to bluegrass, giving each perceived transgression of the genre's boundaries value as "progressive." This thesis analyzes the Punch Brothers' engagement with genre through their public rhetoric, the sound of their music, and their gendered representations of self through performance. It first summarizes the band, its output, and its use of narratives and genre-resistant rhetoric. It then interrogates how they have carefully crafted a bluegrass lineage in their presentation of identity, derived their sound from a bluegrass-oriented foundation even while disguising it with interpolations from the avant garde and other genres, and constructed a performance of gender that taps in to non-musical means of claiming cultural authority. Through this analysis of a band and its output, this thesis seeks to illustrate the cultural power of conflicting identities, when representations of self appear to be at odds with musical performance.
Arithmetic and Dynamical Degrees on Abelian Varieties
Creators: name: Silverman, Joseph H.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Number Theory (math.NT)
subject: Algebraic Geometry (math.AG)
subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: Primary: 37P30, Secondary: 11G10, 11G50, 37P15

description: Let $ϕ:X\dashrightarrow X$ be a dominant rational map of a smooth variety and let $x\in X$, all defined over $\bar{\mathbb Q}$. The dynamical degree $δ(ϕ)$ measures the geometric complexity of the iterates of $ϕ$, and the arithmetic degree $α(ϕ,x)$ measures the arithmetic complexity of the forward $ϕ$-orbit of $x$. It is known that $α(ϕ,x)\leδ(ϕ)$, and it is conjectured that if the $ϕ$-orbit of $x$ is Zariski dense in $X$, then $α(ϕ,x)=δ(ϕ)$, i.e., arithmetic complexity equals geometric complexity. In this note we prove this conjecture in the case that $X$ is an abelian variety, extending earlier work in which the conjecture was proven for isogenies.
description: 17 pages
BMPR-1B, BMP-15 and?GDF-9 genes structure and?their relationship with?litter size in?six sheep breeds reared in?Egypt
Creators: name: Saleh, Ahmed
Publisher: name: figshare
Year: 2020
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Objective: The aim of this work was to investigate three diﬀerent mutations; Fec-B, FecX G , Fec-G H at three candidate genes; Bone morphogenetic protein receptor IB, Bone morphogenetic protein 15 and Growth Diﬀerentiation Factor 9, respectively, in six sheep breeds reared in Egypt namely; Rahmani, Barki, Rahmani X Barki cross, Awassi, Awassi X Suffolk cross, and Ossimi and their association with litter size.
Results: Genomic DNA of 132 sheep was investigated for the Fec-B, FecX G , and Fec-G H mutations by Restriction Fragment Length Polymorphism, Single-Stranded Conformation Polymorphism and DNA sequencing. The results revealed that all breeds did not carry Fec-B mutation. On the other side, the mutations of FecX G , and Fec-G H were detected in Rahmani, and Rahmani X Barki cross which is associated with the high twinning rate/litter size of Rahmani (1.28) and Rahmani X Barki cross (1.22). While, the average litter size for other breeds had almost a constant values rate over six parities, ranging between 1.00 and 1.04.
Verification of Synchronous Circuits by Symbolic Logic Simulation
Creators: name: Bryant, Randal E.
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: A logic simulator can prove the correctness of a digital circuit when it can be shown that only circuits implementing the system specification will produce a particular response to a sequence of simulation commands. By simulating a circuit symbolically, verification can avoid the combinatorial explosion that would normally occur when evaluating circuit operation over many combinations of input and initial state. In this paper, we describe our methodology for verifying synchronous circuits using the stack circuit of Mead and Conway as an illustrative example.
Efficient Harbor Craft Monitoring System: Time-Series Data Analytics and Machine Learning Tools to Achieve Fuel Efficiency by Operational Scoring System
Creators: name: Tay, Zhi Yung
Publisher: name: Singapore Institute of Technology
Year: 2023
Subjects: Maritime transportation and freight services

description: This paper presents the analysis to reduce carbon emission from tugboat operations by utilizing a proposed unsupervised machine learning operational scoring system. The time-series analysis is performed by transforming data into a common domain for clustering. The data are collected from a tugboat to investigate the correlation between environmental and location data with fuel consumption to achieve fuel efficiency. The relevant parameters that influence the fuel consumption of the tugboat, such as fuel consumption, vessel route, vessel speed and wind metrics are collected from sensors installed onboard the ship and data provider to monitor and to gauge the vessel’s performance. The raw readings are conditioned (data cleaning and data pre-processing) before transformation to Score Dataset: the Raw mass-flowrate readings are cleaned by using the Haar wavelet; the wind raw reading is converted to wind effect data; the Location data is converted to vessel speed data. Together, they form a Score Dataset by applying the time series K-means clustering. The subsequent unsupervised learning identifies the activity labels that describe qualitatively the operations of the vessels and are obtained by using the non-time series K-mean clustering. By using the Hidden Markov Model approach, this paper attempts to explain the stochastic correlation among parameters explained earlier. The correlation is the information of newly discovered knowledge in terms of likelihood matrices, also known as the knowledge base (KB). The KB may be consumed to perform predictions. Hence, it is possible to suggest the optimal ship operation, i.e., speed that produces the optimum fuel consumption. The Score Dataset and clustering that are produced in this paper could also be used in the Artificial Neural Network for future work.
Video Information Retrieval: Lessons Learned with the Informedia Digital Video Library
Creators: name: Hauptmann, Alexander
name: Jin, Rong
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Video contains multiple types of audio and visual information, which are difficult to extract, combine or trade-off in general video information retrieval. This paper provides an evaluation on the effects of different types of information used for video retrieval from a video collection. A number of different sources of information are present in most typical broadcast video collections and can be exploited for information retrieval. We will discuss the contributions of automatically recognized speech transcripts, image similarity matching, and video OCR in the contexts of experiments performed as part of 2001 TREC Video Retrieval Track evaluation performed by the National Institute of Standards and Technology. For the queries used in this evaluation, image matching and video OCR proved to be the most important aspects of video information retrieval.
ViVo: Visual Vocabulary Construction for Mining Biomedical Images
Creators: name: Arnab  Bhattacharya
name: Vebjorn  Ljosa
name: Pan, Jia-Yu
name: Verardo, Mark R.
name: Hyungjeong  Yang
name: Faloutsos, Christos
name: Ambuj K Singh
Publisher: name: Figshare
Year: 2018
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Given a large collection of medical images of several conditions and treatments, how can we succinctly describe the characteristics of each setting? For example, given a large collection of retinal images from several different experimental conditions (normal, detached, reattached, etc.), how can data mining help biologists focus on important regions in the images or on the differences between different experimental conditions? If the images were text documents, we could find the main terms and concepts for each condition by existing IR methods (e.g., tf/idf and LSI). We propose something analogous, but for the much more challenging case of an image collection: We propose to automatically develop a visual vocabulary by breaking images into n × n tiles and deriving key tiles ("ViVos") for each image and condition. We experiment with numerous domain-independent ways of extracting features from tiles (color histograms, textures, etc.), and several ways of choosing characteristic tiles (PCA, ICA). We perform experiments on two disparate biomedical datasets. The quantitative measure of success is classification accuracy: Our "ViVos" achieve high classification accuracy (up to 83 %for a nine-class problem on feline retinal images). More importantly, qualitatively, our "ViVos" do an excellent job as "visual vocabulary terms": they have biological meaning, as corroborated by domain experts; they help spot characteristic regions of images, exactly like text vocabulary terms do for documents; and they highlight the differences between pairs of images.
Developing a Laser Induced Liquid Beam Ion Desorption Spectral Database as Reference for Spaceborne Mass Spectrometers
Creators: name: Klenner, Fabian
name: Umair, Muhammad
name: Walter, Sebastian H. G.
name: Khawaja, Nozair
name: Hillier, Jon
name: Nölle, Lenz
name: Zou, Zenghui
name: Napoleoni, Maryse
name: Sanderink, Arnaud
name: Zuschneid, Wilhelm
name: Abel, Bernd
name: Postberg, Frank
Publisher: name: Freie Universität Berlin
Year: 2022
Subjects: subject: mass spectral database
subject: analogue experiments
subject: ice grains
subject: ocean worlds
subject: SUDA
subject: ENIA
subject: LILBID
subject: TOF-MS
subject: 500 Naturwissenschaften und Mathematik::550 Geowissenschaften, Geologie::550 Geowissenschaften

description: Spaceborne impact ionization mass spectrometers, such as the Cosmic Dust Analyzer on board the past Cassini spacecraft or the SUrface Dust Analyzer being built for NASA's upcoming Europa Clipper mission, are of crucial importance for the exploration of icy moons in the Solar System, such as Saturn's moon Enceladus or Jupiter's moon Europa. For the interpretation of data produced by these instruments, analogue experiments on Earth are essential. To date, thousands of laboratory mass spectra have been recorded with an analogue experiment for impact ionization mass spectrometers. Simulation of mass spectra of ice grains in space is achieved by a Laser Induced Liquid Beam Ion Desorption (LILBID) approach. The desorbed cations or anions are analyzed in a time-of-flight mass spectrometer. The amount of unstructured raw data is increasingly challenging to sort, process, interpret and compare with data from space. Thus far this has been achieved manually for individual mass spectra because no database containing the recorded reference spectra was available. Here we describe the development of a comprehensive, extendable database containing cation and anion mass spectra from the laboratory LILBID facility. The database is based on a Relational Database Management System with a web server interface and enables filtering of the laboratory data using a wide range of parameters. The mass spectra can be compared not only with data from past and future space missions but also mass spectral data generated by other, terrestrial, techniques. The validated and approved subset of the database is available for general public (https://lilbid-db.planet.fu-berlin.de).