cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Exploiting procedure level locality to reduce instruction cache misses
Creators: name: Batchu, Ravi
name: Jiménez, Daniel A.
Publisher: name: Rutgers University
Year: 2004

description: High instruction fetch bandwidth is essential for high performance in today’s wide-issue outof-order processors. Instruction caches must provide a low miss rate as well as low latency. We introduce Procedure Level Relocation, a class of dynamic feedback-directed optimizations that substantially reduce the instruction cache miss rate by exploiting the temporal locality of procedure usage. Based on the observation that half of all procedures executed are at most 128 bytes in length, we present a Small Procedure Cache, a small and fast explicitly managed memory for storing small procedures. We show that Procedure Level Relocation into a Small Procedure Cache reduces the instruction cache miss rate by an average of 15%
Additional file 6 of Antimicrobial resistance in Antarctica: is it still a pristine environment?
Creators: name: Hwengwere, K.
name: Paramel Nair, H.
name: Hughes, K. A.
name: Peck, L. S.
name: Clark, M. S.
name: Walker, C. A.
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: FOS: Biological sciences
subject: Science Policy
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 6. Natural, synthetic and semi-synthetic antibiotics and their drug classes. Examples of antibiotics, the drug classes they belong to, their targets and nature (natural, semi-synthetic or synthetic). The list is not exhaustive of all antibiotics or drug classes.
Novel Reductive Dehalogenases from the Marine Sponge Associated Bacterium Desulfoluna spongiiphila
Creators: name: Ahn, Youngbeom
name: Goldberg, Tatyana
name: Bromberg, Yana
name: Liu, Jie
name: Lopez, Nora
name: Kerkhof, Lee J.
name: Häggblom, Max M.
Publisher: name: Rutgers University
Year: 2018
Subjects: FITOBACTERIUM-HAFNIENSE Y51
DESULFOMONILE-TIEDJEI DCB-1
MCCARTYI STRAIN CBDB1
DEHALOCOCCOIDES-MCCARTYI
APLYSINA-AEROPHOBA
DEHALOBACTER-RESTRICTUS
Functional genomics
Estuarine sediments
Verongia-Aerophoba
Diphenyl ethers

description: Desulfoluna spongiiphila strain AA1 is an organohalide respiring bacterium, isolated from the marine sponge Aplysina aerophoba, that can use brominated and iodinated phenols, in addition to sulfate and thiosulfate as terminal electron acceptors. The genome of Desulfoluna spongiiphila strain AA1 is approximately 6.5 Mb. Three putative reductive dehalogenase (rdhA) genes involved in respiratory metabolism of organohalides were identified within the sequence. Conserved motifs found in respiratory reductive dehalogenases (a twin arginine translocation signal sequence and two iron-sulfur clusters) were present in all three putative AA1 rdhA genes. Transcription of one of the three rdhA genes was significantly upregulated during respiration of 2,6-dibromophenol and sponge extracts. Strain AA1 appears to have the ability to synthesize cobalamin, the key cofactor of most characterized reductive dehalogenase enzymes. The genome contains genes involved in cobalamin synthesis and uptake and can grow without cobalamin supplementation. Identification of this target gene associated with debromination lays the foundation for understanding how dehalogenating bacteria control the fate of organohalide compounds in sponges and their role in a symbiotic organobromine cycle. In the sponge environment, D. spongiiphila strain AA1 may thus take advantage of both brominated compounds and sulfate as electron acceptors for respiration.
Drone-Based Hyperspectral and Thermal Imagery for Quantifying Upland Rice Productivity and Water Use Efficiency after Biochar Application
Creators: name: Jin, Hongxiao
name: Köppl, Christian Josef
name: Fischer, Benjamin M. C.
name: Rojas-Conejo, Johanna
name: Johnson, Mark S.
name: Morillas, Laura
name: Lyon, Steve W.
name: Durán-Quesada, Ana M.
name: Suárez-Serrano, Andrea
name: Manzoni, Stefano
name: Garcia, Monica
Publisher: name: Multidisciplinary Digital Publishing Institute
Year: 2021

description: Miniature hyperspectral and thermal cameras onboard lightweight unmanned aerial vehicles (UAV) bring new opportunities for monitoring land surface variables at unprecedented fine spatial resolution with acceptable accuracy. This research applies hyperspectral and thermal imagery from a drone to quantify upland rice productivity and water use efficiency (WUE) after biochar application in Costa Rica. The field flights were conducted over two experimental groups with bamboo biochar (BC1) and sugarcane biochar (BC2) amendments and one control (C) group without biochar application. Rice canopy biophysical variables were estimated by inverting a canopy radiative transfer model on hyperspectral reflectance. Variations in gross primary productivity (GPP) and WUE across treatments were estimated using light-use efficiency and WUE models respectively from the normalized difference vegetation index (NDVI), canopy chlorophyll content (CCC), and evapotranspiration rate. We found that GPP was increased by 41.9 ± 3.4% in BC1 and 17.5 ± 3.4% in BC2 versus C, which may be explained by higher soil moisture after biochar application, and consequently significantly higher WUEs by 40.8 ± 3.5% in BC1 and 13.4 ± 3.5% in BC2 compared to C. This study demonstrated the use of hyperspectral and thermal imagery from a drone to quantify biochar effects on dry cropland by integrating ground measurements and physical models.
title: Influence of heat input on properties and residual stresses in hybrid additive manufacturing of high strength steels using MSG processes
Creators: name: Engelking, L.
name: Schroepfer, D.
name: Kannengiesser, T.
name: Scharf-Wildenhain, R.
name: Haelsig, A.
name: Hensel, J.
Publisher: name: TU Clausthal
Year: 2025
Subjects: subject: 620

description: The application of steels with a higher yield strength allows reductions in wall thickness, component weight and production costs. Hybrid additive manufacturing based on Gas Metal Arc Welding (GMAW) processes (DED-Arc) can be used to realise highly efficient component modifications and repairs on semi-finished products and additively manufactured structures. There are still a number of key issues preventing widespread implementation, particularly for SMEs. In addition to the manufacturing design, detailed information about assembly strategy and geometric adaptation of the component for modifications or repairs are missing. These include the welding-related stresses associated with the microstructural influences caused by the additive manufacturing steps, particularly in the transition area of the substrate and filler material interface. The present research focuses the effect of welding heat control during DED-Arc process on the residual stresses, especially in the transition area. Defined specimens were welded fully automatically with a high-strength solid wire (yield strength > 790 MPa) especially adapted for DED-Arc on S690QL substrate. The working temperature and heat input were systematically varied for a statistical effect analysis on the residual stress state of the hybrid manufactured components. Regarding heat control, t8/5 cooling times within the recommended processing range (approx. 5 s to 20 s) were complied. The investigation revealed a significant influence of the working temperature Ti on the compressive residual stresses in the transition area and the tensile residual stresses at the base of the substrate. High working temperatures result in lower compressive residual stresses, heat input E does not significantly affect the tensile stresses.
description: Tagungsband 6. Symposium Materialtechnik: 20. bis 21. Februar 2025
Time and chance: a statistical hendiadys
Creators: name: Scardovi, Italo
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: Time and chance are the intellectual coordinates of a new knowledge of natural reality founded on phenomena characterised by ‘becoming’: entropic molecular processes, radioactive atomic processes, chemical processes, chaotic dynamic systems and biological evolution, are all paridigms in which time and chance act as “operators”. The intertwining of time and chance is tightened by the intermediation of a statistical component, depending on the number of degrees of freedom, which is a phenomenal condition linked to empirical processes and to the directions of the time arrow which points towards an increasing probability. Chance breaks the symmetry of time; by making the ‘becoming’ irreversible, it links the microworld to the macroworld and offers an image of nature where order and disorder, causality and casualty, certainty and uncertainty coexist. Thus, the meeting of time and chance is not an antithesis but rather a dialectic process or, better yet, a statistical hendiadys.
description: Statistica; Vol 65, No 1 (2005); 5-25
Additional file 1 of Upregulated expression of LncRNA nicotinamide nucleotide transhydrogenase antisense RNA 1 is correlated with unfavorable clinical outcomes in cancers
Creators: name: Chenghao Zhang
name: Xiaolei Ren
name: Zhongyue Liu
name: Tu, Chao
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: 69999 Biological Sciences not elsewhere classified
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer

description: Additional file 1: Table S1. PRISMA Checklist.
Stellar Parameter Estimation for Half a Million LAMOST M Dwarfs based on Cycle-StarNet
Creators: name: Shuo, Zhang
Publisher: name: Zenodo
Year: 2024
Subjects: subject: Stellar astronomy
subject: M-type stars

description: As the most common and numerous stellar members of the Milky Way galaxy and key candidates for hosting terrestrial planets, M dwarfs are of significant importance in various astronomical studies. This work provides basic atmospheric parameters (Teff , log g, [M/H]), and radial velocity (RV) for over 500,000 M dwarfs in LAMOST DR10. Utilizing the domain-adaptation approach Cycle-StarNet, we bridged the gap between LAMOST low-resolution observed spectra and PHOENIX synthetic spectra. The information from the PARSEC stellar evolution model constrained the parameter space of the synthetic domain, reducing errors due to parameter degeneracy. The accuracy derived from comparison to available APOGEE DR17 and Gaia DR3 results of Teff , log g, [M/H], and RV are −2±54 K, 0.12±0.07 dex, 0.05±0.14 dex, and 3±9 km s−1, respectively. The precision of these parameters measured from multiple observed objects is 61 K, 0.07 dex, 0.15 dex, and 12 km s−1, respectively. With the increase in the spectral quality, both the accuracy and precision further improve. The complete catalog is made electronically accessible.
title: Mother tongue literacy in a refugee setting: A Sourcebook for the Massalit literacy program
Creators: name: Kua, Eunice
Publisher: name: University of Massachusetts Amherst
Year: 2018
Subjects: subject: Darfur
subject: mother tongue literacy program
subject: refugees
subject: eastern Chad

description: The purpose of this Master’s Capstone Project is to synthesize information and answer questions related to a mother tongue literacy program among Darfur refugees in eastern Chad. As the literacy specialist providing technical assistance to this program, I have selected questions that, from my perspective, are relevant to the program at this particular point in time. Some, like “Can children learn to read in two scripts at the same time?” or “How can we assess literacy development in a feasible way?” are questions that I wanted to revisit. Others, like “How can we create a literate environment at school, at home, and in the community?” are potential priorities for the program going forward. While looking for research related to my program, I found very little literature that addresses all the aspects of our context—a mother tongue literacy program in a non-dominant language, encompassing both adult and children’s literacy in a refugee camp environment. There is a growing body of literature on refugee education and education in crisis and conflict settings. There are longitudinal studies of mother tongue-based multilingual education efforts. There are guides to community-based mother tongue literacy programs. And there are reports of adult literacy programs and early grade reading interventions in developing countries. However, whether in peer-reviewed journals or in the grey literature, articles are usually relevant to one or two of the aspects above, not all of them.
A Deep Learning Strategy for Automatic Sleep Staging Based on Two-Channel EEG Headband Data
Creators: name: Casciola, Amelia A.
name: Carlucci, Sebastiano K.
name: Kent, Brianne A.
name: Punch, Amanda M.
name: Muszynski, Michael A.
name: Zhou, Daniel
name: Kazemi, Alireza
name: Mirian, Maryam S.
name: Valerio, Jason
name: McKeown, Martin J.
name: Nygaard, Haakon B.
Publisher: name: Multidisciplinary Digital Publishing Institute
Year: 2021

description: Sleep disturbances are common in Alzheimer’s disease and other neurodegenerative disorders, and together represent a potential therapeutic target for disease modification. A major barrier for studying sleep in patients with dementia is the requirement for overnight polysomnography (PSG) to achieve formal sleep staging. This is not only costly, but also spending a night in a hospital setting is not always advisable in this patient group. As an alternative to PSG, portable electroencephalography (EEG) headbands (HB) have been developed, which reduce cost, increase patient comfort, and allow sleep recordings in a person’s home environment. However, naïve applications of current automated sleep staging systems tend to perform inadequately with HB data, due to their relatively lower quality. Here we present a deep learning (DL) model for automated sleep staging of HB EEG data to overcome these critical limitations. The solution includes a simple band-pass filtering, a data augmentation step, and a model using convolutional (CNN) and long short-term memory (LSTM) layers. With this model, we have achieved 74% (±10%) validation accuracy on low-quality two-channel EEG headband data and 77% (±10%) on gold-standard PSG. Our results suggest that DL approaches achieve robust sleep staging of both portable and in-hospital EEG recordings, and may allow for more widespread use of ambulatory sleep assessments across clinical conditions, including neurodegenerative disorders.
Video based Activity Recognition in a Trauma Center
Creators: name: Chakraborty, Ishani
name: Elgammal, Ahmed
Publisher: name: Rutgers University
Year: 2011

description: We present a feasibility study of automated, vision-based detection and recognition of trauma procedures in a medical emergency room. Given a ceiling-mounted camera view of the trauma room, our goal is to track and transcribe the activities performed during resuscitation of a patient, the time instances of their initiation and their temporal durations. We represent activities through complex spatiotemporal relationships between image features based on scene dynamics, patient localization, clinicians’ hand motions and medical devices. We design an activity grammar based on trauma specific domain-knowledge and model the resulting logic as a Markov Logic Network. Probabilistic inference of activity posterior is computed efficiently in the presence of observed features. To this end, we demonstrate our approach on videos of realistic trauma simulations in challenging, multi-agent. multi-task settings. This study primarily aims at exploring the overall problem of visual recognition of trauma procedures. The accuracy of the results we obtained from our recognition scheme confirms the suitability of our framework.
Additional file 1 of Comparison and outcomes of emergency department presentations with respiratory disorders among Australian indigenous and non-indigenous patients
Creators: name: Heraganahally, Subash S.
name: Ghimire, Ram H.
name: Howarth, Timothy
name: Kankanamalage, Oshini M.
name: Palmer, Didier
name: Falhammar, Henrik
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Ecology
subject: FOS: Biological sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy

description: Additional file 1: Supplementary Table 1. ICD codes used for the study participants included in this study with respiratory conditions. Supplementary Table 2. Demographic profile of patients by season.
Inequality measures for histograms
Creators: name: Frosini, B.
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: While inequality or concentration measures are defined with reference to the distribution of a non-negative character among n individuals, most practical applications are effected on frequency distributions over k classes, namely on histograms, when thinking of the corresponding graphical representation. Concerning this type of applications, this paper examines: (1) the goodness of approximation – to indices computed on individual data – of the same indices worked out on histograms; (2) the meaning and properties of inequality indices that are functions of the only frequencies and quantities pertaining to the k classes. These two kinds of investigations have been addressed  to classical concentration measures proposed by Gini and Pietra-Ricci.
description: Statistica; Vol 65, No 1 (2005); 27-40
A Stable and Efficient Loop Tiling Algorithm
Creators: name: Hsu, Chung-Hsing
name: Kremer, Ulrich
Publisher: name: Rutgers University
Year: 1999

description: Loop tiling is an effective optimizing transformation to boost the memory performance of a program, especially for dense matrix scientific computations. The magnitude and stability of the achieved performance improvements is heavily dependent on the appropriate selection of tile sizes. Many existing tile selection algorithms try to find tile sizes which eliminate self-interference cache conflict misses, maximize cache utilization, and minimize cross-interference cache conflict misses. These techniques depend heavily on the actual layout of the arrays in memory. Array padding, an effective data layout optimization technique, is therefore incorporated by many algorithms to help loop tiling stabilize its effectiveness by avoiding “pathological” array sizes. In this paper we examine several such combined algorithms in terms of cost-benefit trade-offs, and introduce a new algorithm. The preliminary experimental results show that more precise and costly tile selection and array padding algorithms may not be justified by the resulting performance improvements since such improvements may also be achieved by much simpler and therefore less expensive strategies. The key issues in finding a good tiling algorithms are (1) to identify critical performance factors and (2) to develop corresponding performance models that allow predictions at a sufficient level of accuracy. Following this insight, we have developed a new tiling algorithms that performs better than previous algorithms in terms of execution time and stability, and generates code with a performance comparable to the best measured algorithm. Experimental results on two standard benchmark kernels for matrix multiply and LU factorization show that the new algorithm is orders of magnitude faster than the best previous algorithm without sacrificing stability and execution speed of the generated code.
Etiquette Protocol for Ultra Low Power Operation in Sensor Networks
Creators: name: Goel, Samir
name: Imieliński, Tomasz
Publisher: name: Rutgers University
Year: 2004

description: In this paper, we propose a novel Etiquette protocol for enabling extremely energy-efficient communication among nodes in a multi-hop sensor network. Our key idea for energy efficiency is to allow dynamic, flexible scheduling of inter-node communication, thereby minimizing energy wasted due to idle-listening. Scheduling communication is commonly used in single-hop networks for significant energy savings (e.g. GSM). However, scheduling communication is a hard problem in a multi-hop network where packet load may not only vary in different parts of the network, but it may also fluctuate over time. The proposed Etiquette protocol allows nodes to schedule their communication in a completely distributed manner, while also allowing them the ability to change their communication schedule in response to the fluctuating packet load in the network. Etiquette protocol allows many-to-many communication, including ability to perform local broadcast. Our simulation results show that Etiquette protocol significantly reduces the average energy expended in delivering each bit as compared to S-MAC. We show that Etiquette protocol allows a network designer to trade increased latency for reduction in energy consumption. The proposed protocol is simple and intuitive.
Ochropleura leucogaster
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Ochropleura
Ochropleura leucogaster

description: Ochropleura leucogaster (Freyer, [1831])
  Citada de Bujalance: imagos en dos generaciones, de abril a junio y octubre-noviembre, poco abundantes (REDONDO & PÉREZ, 2001b; PÉREZ-GUERRERO et al., 2011).
 Nc: Casco urbano de Córdoba (8-VI-2012).
description: Published as part of Dobado, Pablo M., 2020, Lista provisional de los Noctuoidea de la provincia de Córdoba (sur de España): II. Noctuidae (Insecta: Lepidoptera)., pp. 319-345 in Arquivos Entomolóxicos 22 on page 329, DOI: 10.5281/zenodo.13244049
Beyond blood sugar: psychosocial predictors of ED visits in youth with T1D and elevated HbA1cs
Creators: name: Harmon, Raquel
name: Torres, Kristen A.
name: Clements, Mark
name: Raymond, Jennifer K.
name: Wong, Jenise C.
name: Reed, Alison S.
name: Naranjo, Diana
name: Melnick, Sydney R.
name: Harris, Michael A.
name: Wagner, David V.
Publisher: name: Oregon Health and Science University
Year: 2024
Subjects: subject: Diabetes Mellitus, Type 1
subject: Health Inequities
subject: Social Factors
subject: Child
subject: pediatrics
subject: health disparities
subject: health psychology
subject: treatment

description: While youth with elevated HbA1cs are at higher risk of experiencing acute complications, there is less understanding of which social factors are associated with the highest need for emergency department (ED) care. We aimed to identify psychosocial correlates and predictors of ED visits in a diverse population of youth with type 1 diabetes (T1D) with elevated HbA1cs to inform future screening and intervention efforts.
Additional file 2 of Motor performance and back pain in children and adolescents: a systematic review and meta-analysis protocol
Creators: name: Noll, Matias
name: Wedderkopp, Niels
name: Mendonça, Carolina Rodrigues
name: Kjaer, Per
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 2:. Methodological quality assessment and strength of evidence.
Latent class models in financial data analysis
Creators: name: Gardini, A.
name: Costa, M.
name: Iezzi, S.
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: This paper deals with optimal international portfolio choice by developing a latent class approach based on the distinction between international and non-international investors. On the basis of micro data, we analyze the effects of many social, demographic, economic and financial characteristics on the probability to be an international investor. Traditional measures of equity home bias do not allow for the existence of international investment rationing operators. On the contrary, by resorting to latent class analysis it is possible to detect the unobservable distinction between international investors and investors who are precluded from operating into international financial markets and, therefore, to evaluate the role of these unobservable constraints on equity home bias.
description: Statistica; Vol 65, No 1 (2005); 41-60
Sound practice: exploring DACS compliance in archival description of music recordings
Creators: name: Surles, Elizabeth
Publisher: name: Rutgers University
Year: 2018
Subjects: Archival description
Music sound recordings
Document analysis
Finding aids
Descriptive standards
Describing Archives: A Content Standard
The International Association of Sound and Audiovisual Archives Cataloguing Rules

description: Standardization of descriptive practice supports improved access to archival collections with sound recordings of music, but the standard for archival description in the United States, Describing Archives: A Content Standard (DACS), does not supply specific rules for describing music sound recordings. Instead, it recommends supplementary standards without indicating how to incorporate them in a DACS-compliant finding aid. Given the wide range of descriptive options available via this recommendation, this exploratory study evaluates the extent to which finding aids for music collections with sound recordings successfully follow DACS, both in overall compliance and in the application of The International Association of Sound and Audiovisual Archives (IASA) Cataloguing Rules, the only supplemental standard recommended by DACS that covers music sound recordings. Drawing from a randomized, purposive sample of 20 finding aids for music collections at 11 repositories, this study applies document analysis to establish common reasons for non-compliance and evaluates the elements required by DACS in each finding aid. The results show low compliance with DACS and that the finding aids in the study commonly fail to apply IASA’s Rules correctly in description of music sound recordings.
Locally linear embedding for nonlinear dimension reduction in classification problems: an application to gene expression data
Creators: name: Pillati, M.
name: Viroli, C.
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: Some real problems, such as image recognition or the analysis of gene expression data, involve the observation of a very large number of variables on a few units. In such a context conventional classification methods are difficult to employ both from analytical and interpretative points of view.
In this paper we propose to deal with classification problems with high dimensional data, through a non linear dimension reduction technique, the so-called locally linear embedding. We consider a supervised version of the method in order to take into account of class information in the feature extraction phase. The proposed discriminant strategy is applied to the problem of cell classification using gene expression data.
description: Statistica; Vol 65, No 1 (2005); 61-71
Additional file 1 of Online prenatal trial in mindfulness sleep management (OPTIMISM): protocol for a pilot randomized controlled trial
Creators: name: Kantrowitz-Gordon, Ira
name: McCurry, Susan M.
name: Landis, Carol A.
name: Lee, Rachel
name: Dahee Wi
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1. Includes a copy of the SPIRIT checklist.
A survey on students of the University of Ferrara
Creators: name: Arboretti Giancristofaro, Rosa
name: Franz, G.
name: Marozzi, Marco
name: Salmaso, Luigi
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: The role played by the University within the city of Ferrara is central. The aspects related to culture and learning are important as well as those related to society and economy. In order to evaluate all these aspects, the University of Ferrara has set up a sample survey on its students. In the paper, the results of the survey are presented and deeply discussed.
description: Statistica; Vol 65, No 1 (2005); 111-123
The meaning of kurtosis, the influence function and an early intuition by L. Faleschini
Creators: name: Fiori, A.
name: Zenga, M.
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: In this work we have shown that an onverlooked paper by Luigi Faleschini (1948) contains the first intuition of the influence function approach to kurtosis.
description: Statistica; Vol 65, No 2 (2005); 135-144
Additional file 2 of Identification of condition-specific regulatory mechanisms in normal and cancerous human lung tissue
Creators: name: Hang, Yuqing
name: Burns, Josh
name: Shealy, Benjamin T.
name: Pauly, Rini
name: Ficklin, Stephen P.
name: Feltus, Frank A.
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology

description: Additional file 2: Figure S1. Unified Lung Matrix Density Plot. Figure S2. Unified Lung Sample Stage Distribution. Figure S3. t-SNE Visualization of Gene Expression Patterns for Unified Lung Samples Stage Information. Figure S4. Lung GCN 3D Network Visualization.
Noctua pronuba
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Noctua
Noctua pronuba

description: Noctua pronuba (Linnaeus, 1758)
  Citada de la provincia (CALLE, 1982; PÉREZ-GUERRERO et al., 2011).
 Nc: Zagrilla Baja (8-V-2005); casco urbano de Córdoba (22-X-2013 / 16-V-2018 / 19-V-2018 / 23-IV-2020).
description: Published as part of Dobado, Pablo M., 2020, Lista provisional de los Noctuoidea de la provincia de Córdoba (sur de España): II. Noctuidae (Insecta: Lepidoptera)., pp. 319-345 in Arquivos Entomolóxicos 22 on page 329, DOI: 10.5281/zenodo.13244049
Basic first-order model theory in Mizar
Creators: name: Caminati, Marco Bright; Sapienza-Università Di Roma
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2010

description: The author has submitted to Mizar Mathematical Library a series of five articles introducing a framework for the formalization of classical first-order model theory.
In them, Goedel's completeness and Lowenheim-Skolem theorems have also been formalized for the countable case, to offer a first application of it and to showcase its utility.
This is an overview and commentary on some key aspects of this setup.
It features exposition and discussion of a new encoding of basic definitions and theoretical gears needed for the task, remarks about the design strategies and approaches adopted in their implementation, and more general reflections about proof checking induced by the work done.
description: Journal of Formalized Reasoning; Vol 3, No 1 (2010); 49-77
An Introduction to Programming and Proving with Dependent Types in Coq
Creators: name: Chlipala, Adam; Harvard University
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2010

description: Computer proof assistants vary along many dimensions. Among the mature implementations, the Coq system is distinguished by two key features. First, we have support for programming with dependent types in the tradition of type theory, based on dependent function types and inductive type families. Second, we have a domain-specific language for coding correct-by-construction proof automation. Though the Coq user community has grown quite large, neither of the aspects I highlight is widely used. In this tutorial, I aim to provide a pragmatic introduction to both, showing how they can bring significant improvements in productivity.
description: Journal of Formalized Reasoning; Vol 3, No 2 (2010): Special Issue: User Tutorials I; 1 - 93
title: A Review of the Applications of ASCAT Soil Moisture Products
Creators: name: Brocca, Luca
name: Crow, Wade
name: Ciabatta, Luca
name: Massari, Christian
name: de Rosnay, Patricia
name: Enenkel, Markus
name: Hahn, Sebastian
name: Amarnath, Giriraj
name: Camici, Stefania
name: Tarpanelli, Angelica
name: Wagner, Wolfgang
Publisher: name: Institute of Electrical and Electronics Engineers (IEEE)
Year: 2017
Subjects: Hydrology
radar
rain
remote sensing
weather forecasting

description: Remote sensing of soil moisture has reached a level of good maturity and accuracy for which the retrieved products are ready to use in real-world applications. Due to the importance of soil moisture in the partitioning of the water and energy fluxes between the land surface and the atmosphere, a wide range of applications can benefit from the availability of satellite soil moisture products. Specifically, the Advanced SCATterometer (ASCAT) on board the series of Meteorological Operational (Metop) satellites is providing a near real time (and long-term, 9+ years starting from January 2007) soil moisture product, with a nearly daily (sub-daily after the launch of Metop-B) revisit time and a spatial sampling of 12.5 and 25 km. This study first performs a review of the climatic, meteorological, and hydrological studies that use satellite soil moisture products for a better understanding of the water and energy cycle. Specifically, applications that consider satellite soil moisture product for improving their predictions are analyzed and discussed. Moreover, four real examples are shown in which ASCAT soil moisture observations have been successfully applied toward: 1) numerical weather prediction, 2) rainfall estimation, 3) flood forecasting, and 4) drought monitoring and prediction. Finally, the strengths and limitations of ASCAT soil moisture products and the way forward for fully exploiting these data in real-world applications are discussed.
Noctua comes Hubner 1813
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Noctua
Noctua comes

description: Noctua comes Hübner, [1813]
  Citada de Bujalance (PÉREZ-GUERRERO et al., 2011).
 Nc: Zagrilla Baja (8-IX-2003 / 23-IX-2004 / 23-IX-2005 / 23-VI-2008).
  * Eugnorisma glareosa (Esper, [1788])
 Nc: Zagrilla Baja (8-XI-2010).
description: Published as part of Dobado, Pablo M., 2020, Lista provisional de los Noctuoidea de la provincia de Córdoba (sur de España): II. Noctuidae (Insecta: Lepidoptera)., pp. 319-345 in Arquivos Entomolóxicos 22 on page 329, DOI: 10.5281/zenodo.13244049
Additional file 1 of Motor performance and back pain in children and adolescents: a systematic review and meta-analysis protocol
Creators: name: Noll, Matias
name: Wedderkopp, Niels
name: Mendonça, Carolina Rodrigues
name: Kjaer, Per
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1:. PRISMA-P (Preferred Reporting Items for Systematic Review and Meta-Analysis Protocols) 2015 checklist. Recommended items to address in a systematic review protocol.
Program Decomposition for Pointer-induced Aliasing Analysis
Creators: name: Zhang, Sean
name: Ryder, Barbara G.
name: Landi, William
Publisher: name: Rutgers University
Year: 1996

description: For compile-time pointer aliasing analysis, a program written in the C language can be considered as a sequence of pointer-related assignments. In this paper, we present a technique that decomposes these assignments into unrelated sets in terms of their effects on pointer-induced aliasing. This decomposition will allow different pointer aliasing analysis methods to be applied to individual sets of assignments so that end users of pointer aliasing information can get the efficiency/precision tradeo desirable for their applications. We show the feasibility of this approach by using both a flow-sensitive and a flow-insensitive aliasing analysis algorithm on the same program. We use the aliasing solutions of the resulting analysis to resolve locations mmodifiedor referenced through names containing pointer dereferences (thru-deref MOD/REF); we empirically show that for a number of programs, the resulting analysis is much faster than the complete ow-sensitive analysis and yields a thru-deref MOD/REF solution of similar precision.
Additional file 1 of Cost-effectiveness of using artificial intelligence versus polygenic risk score to guide breast cancer screening
Creators: name: Mital, Shweta
name: Nguyen, Hai V.
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer
subject: Computational Biology

description: Additional file 1.
Mizar in a Nutshell
Creators: name: Grabowski, Adam; Institute Of Mathematics, University Of Bialystok
name: Kornilowicz, Artur; Institute Of Informatics, University Of Bialystok
name: Naumowicz, Adam; Institute Of Informatics, University Of Bialystok
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2010

description: This paper is intended to be a practical reference manual for basic Mizar terminology which may be helpful to get started using the system. The paper describes most important aspects of the Mizar language as well as some features of the verification software.
description: Journal of Formalized Reasoning; Vol 3, No 2 (2010): Special Issue: User Tutorials I; 153 - 245
Metastatic genital tract adenocarcinoma to the vulva: a rare occurrence presenting as painful vulvar enlargement
Creators: name: Heller, Debra
name: Cracchiolo, Bernadette
Publisher: name: Rutgers University
Year: 2017
Subjects: Endometrial neoplasms
Neoplasm metastasis
Vulva

description: Vulvar metastasis of genital tract adenocarcinoma is extremely rare, and highlights the need for liberal vulvar biopsy and knowledge of prior history.
Additional file 1 of CrustyBase: an interactive online database for crustacean transcriptomes
Creators: name: Hyde, Cameron J.
name: Fitzgibbon, Quinn P.
name: Elizur, Abigail
name: Smith, Gregory G.
name: Ventura, Tomer
Publisher: name: figshare
Year: 2020
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1.
Xestia c-nigrum
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Xestia
Xestia c-Nigrum

description: Xestia c-nigrum (Linnaeus, 1758)
  Citada de Bujalance: imago en septiembre (REDONDO & PÉREZ, 2001b; PÉREZ-GUERRERO et al., 2011).
  * Xestia xanthographa ([Denis & Schiffermüller], 1775)
 Nc: Zagrilla Baja (9-X-2004).
description: Published as part of Dobado, Pablo M., 2020, Lista provisional de los Noctuoidea de la provincia de Córdoba (sur de España): II. Noctuidae (Insecta: Lepidoptera)., pp. 319-345 in Arquivos Entomolóxicos 22 on page 329, DOI: 10.5281/zenodo.13244049
Dinámica del tiempo
Creators: name: Adán Estudillo
Publisher: name: Zenodo
Year: 2025

description: Este trabajo propone una reformulación profunda de la noción de tiempo en física teórica. En lugar de considerarlo como un parámetro absoluto o una coordenada del espacio-tiempo, el tiempo se interpreta aquí como una propiedad emergente derivada de la acción acumulada en un sistema dinámico. A partir de esta hipótesis, se define un tiempo emergente como el cociente entre la acción y la energía intrínseca del sistema.

Se demuestra que este enfoque reproduce órbitas planetarias clásicas sin recurrir a campos gravitatorios externos, y se propone que tanto la gravedad como el electromagnetismo pueden entenderse como distintas manifestaciones geométricas de la deformación del flujo temporal emergente. En particular, se presenta una simulación donde una partícula en movimiento relativista genera una estructura de campos eléctrico y magnético como consecuencias del gradiente y el rotacional, eliminando así la necesidad de postular la carga como entidad fundamental.

Este modelo abre un camino hacia la unificación conceptual de las interacciones clásicas, basado en la geometría del tiempo inducida por masa (ralentización) y por movimiento (deformación direccional). Se incluyen simulaciones numéricas y código reproducible.
Initial Semantics for higher-order typed syntax in Coq
Creators: name: Ahrens, Benedikt
name: Zsido, Julianna; Universite' Montpellier II, France
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2011

description: Initial Semantics aims at characterizing the syntax associated to a signature as the initial object of some category. We present an initial semantics result for typed higher-order syntax together with its formalization in the Coq proof assistant. The main theorem was first proved on paper in the second author’s PhD thesis in 2010, and verified formally shortly afterwards.
To a simply–typed binding signature S over a fixed set T of object types we associate a category called the category of representations of S. We show that this category has an initial object Sigma(S), i.e. an object Sigma(S) from which there is precisely one morphism i_R : Sigma(S) -> R to any object R of this category. From its construction it will be clear that the object Sigma(S) merits the name abstract syntax associated to S: it is given by an inductive set – parametrized by a set of free variables and dependent on object types – the type of whose constructors are each given by the arities of the signature S.
Our theorem is implemented and proved correct in the proof assistant Coq through heavy use of dependent types. The approach through monads gives rise to an implementation of syntax where both terms and variables are intrinsically typed, i.e. where the object types are rejected in the meta–level types. Terms are implemented as a Coq data type – which play the role of sets – dependent on an object type as well as on a type family of free variables.
This article is to be seen as a research article rather than about the formalization of a classical mathematical result. The nature of our theorem – involving lengthy, technical proofs and complicated algebraic structures – makes it particularly interesting for formal verification. Our goal is to promote the use of computer theorem provers as research tools, and, accordingly, a new way of publishing mathematical results: a parallel description of a theorem and its formalization should allow the verification of correct transcription of definitions and statements into the proof assistant, and straightforward but technical proofs should be well–hidden in a digital library. We argue that Coq’s rich type theory, combined with its various features such as implicit arguments, allows a particularly readable formalization and is hence well–suited for communicating mathematics.
description: Journal of Formalized Reasoning; Vol 4, No 1 (2011); 25-69
International survey for assessing COVID-19’s impact on fear and health : study protocol
Creators: name: Lok, Kris Yuet-Wan
name: Fong, Daniel Yee Tak
name: Wong, Janet Y. H.
name: Ho, Mandy
name: Choi, Edmond P. H.
name: Pandian, Vinciya
name: Davidson, Patricia M.
name: Duan, Wenjie
name: Tarrant, Marie
name: Lee, Jung Jae
name: Lin, Chia-Chin
name: CARE Group
Publisher: name: BMJ
Year: 2021

description: Introduction COVID-19, caused by the SARS-CoV-2, has been one of the most highly contagious and rapidly spreading virus outbreak. The pandemic not only has catastrophic impacts on physical health and economy around the world, but also the psychological well-being of individuals, communities and society. The psychological and social impacts of the COVID-19 pandemic internationally have not been well described. There is a lack of international study assessing health-related impacts of the COVID-19 pandemic, especially on the degree to which individuals are fearful of the pandemic. Therefore, this study aims to (1) assess the health-related impact of the COVID-19 pandemic in community-dwelling individuals around the world; (2) determine the extent various communities are fearful of COVID-19 and (3) identify perceived needs of the population to prepare for potential future pandemics. Methods and analysis This global study involves 30 countries. For each country, we target at least 500 subjects aged 18 years or above. The questionnaires will be available online and in local languages. The questionnaires include assessment of the health impacts of COVID-19, perceived importance of future preparation for the pandemic, fear, lifestyles, sociodemographics, COVID-19-related knowledge, e-health literacy, out-ofcontrol scale and the Patient Health Questionnaire-4. Descriptive statistics will be used to describe participants’ characteristics, perceptions on the health-related impacts of COVID-19, fear, anxiety and depression, lifestyles, COVID-19 knowledge, e-health literacy and other measures. Univariable and multivariable regression models will be used to assess the associations of covariates on the outcomes. Ethics and dissemination The study has been reviewed and approved by the local ethics committees in participating countries, where local ethics approval is needed. The results will be actively disseminated. This study aims to map an international perspective and comparison for future preparation in a pandemic.
A Survey of the Value of Library Employment to the Undergraduate Experience
Creators: name: Lotts, Megan
name: Charles, Leslin H.
name: Todorinova, Lily
Publisher: name: Rutgers University
Year: 2016
Subjects: Student workers
Undergraduate experience
Academic Libraries

description: When exploring the overall impact of the academic library on the undergraduate experience library student workers are a unique group to consider. As both direct users and providers of library services to their peers, student workers enable libraries to gain an understanding of the general undergraduate population. The objective of this paper is to present the findings of a study of undergraduate students employed at a university research library. A questionnaire distributed to 350 student workers gathered information about who they are and how they engage with their communities. This article will look at the value working in an academic library brings to undergraduates’ lives. It will consider whether working in the library promotes student success, builds community, and provides them with valuable opportunities to engage in peer networking.
A Proof-Theoretic Account  of Primitive Recursion and Primitive Iteration
Creators: name: Chiarabini, Luca; Universita' Degli Studi Di Parma
name: Danvy, Olivier; Aarhus University
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2011

description: We revisit both the usual ``going-up'' induction principle and Manna and Waldinger's ``going-down'' induction principle for primitive recursion,`a la Goedel, and primitive iteration, `a la Church.  We use 'Kleene's trick' to show that primitive recursion and primitive iiteration are as expressive as the other, even in the presence of accumulators.  As a result, we can directly extract a variety of recursive and iterative functional programs of the kind usually written or optimized by hand.
description: Journal of Formalized Reasoning; Vol 4, No 1 (2011); 85-109