cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Mythimna albipuncta
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Mythimna
Mythimna albipuncta

description: Mythimna albipuncta ([Denis & Schiffermüller], 1775)    Citada de Bujalance (PÉREZ-GUERRERO et al., 2011).
  * Mythimna ferrago (Fabricius, 1787)
 Nc: Ermita de la Sierra (24-VIII-2011).
  * Mythimna algirica (Oberthür, 1918)
 Nc: Arroyo del Cañetejo (12-V-1989, hembra, Alberto J. Redondo leg., en José L. Yela col., prep. genit. JLY90.1575).
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 328, DOI: 10.5281/zenodo.13244049
Additional file 1 of Maintenance Therapy with Aromatase Inhibitor in epithelial Ovarian Cancer (MATAO): study protocol of a randomized double-blinded placebo-controlled multi-center phase III Trial
Creators: name: McLaughlin, Pamela M. J.
name: Klar, Maximilian
name: Zwimpfer, Tibor A.
name: Dutilh, Gilles
name: Vetter, Marcus
name: Marth, Christian
name: du Bois, Andreas
name: Schade-Brittinger, Carmen
name: Reuss, Alexander
name: Bommer, Claudine
name: Kurzeder, Christian
name: Heinzelmann-Schwarz, Viola
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: Science Policy

description: Additional file 1: Table 1. Study schedule including procedure.
Epigenetic changes in response to Tai Chi practice: a pilot investigation of DNA methylation marks
Creators: name: Ren, Hua
name: Collins, Veronica
name: Clarke, Sandy J.
name: Han, Jin-Song
name: Lam, Paul
name: Clay, Fiona
name: Williamson, Lara M.
name: Andy Choo, K. H.
Publisher: name: Swinburne
Year: 2024

description: Tai chi exercise has been shown to improve physiological and psychosocial functions, well-being, quality of life, and disease conditions. The biological mechanisms by which tai chi exerts its holistic effects remain unknown. We investigated whether tai chi practice results in positive epigenetic changes at the molecular level.
Design: The DNA methylation profiles of sixty CpG-dinucleotide marks in female tai chi practitioners (N=237; 45–88 years old) who have been practising tai chi for three or more years were compared with those of age-matched control females (N=263) who have never practised tai chi.
Results: Six CpG marks originating from three different chromosomes reveal a significant difference (P<0.05) between the two cohorts. Four marks show losses while two marks show gains in DNA methylation with age in the controls. In the tai chi cohort all six marks demonstrate significant slowing (by 5–70%) of the age-related methylation losses or gains observed in the controls, suggesting that tai chi practice may be associated with measurable beneficial epigenetic changes.
Conclusions: The results implicate the potential use of DNA methylation as an epigenetic biomarker to better understand the biological mechanisms and the health and therapeutic efficacies of tai chi.
A modification of Silber’s algorithm to derive bounds on Gini’s concentration ratio from grouped observations
Creators: name: Ogwang, T.
name: Wang, B.
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: Silber (1990) devised an algorithm to derive the bounds of Gini’s concentration ratio from grouped data, which does not require information on the limits of the income brackets, the group mean incomes, or the overall mean income. In the case of the upper bound, Silber’s algorithm entails determining the coordinates of the points of intersection of the tangents to the Lorenz Curve (LC) at the observed points, which are then used in conjunction with the G-matrix operator. In this note we derive modified coordinates of the points of intersection of the tangents to the LC at the observed points assuming that there is information on the limits of the income brackets and full or sparse information on mean incomes. We also show that if the modified coordinates are incorporated into Silber’s algorithm, the resulting estimate of the upper bound is identical to estimates of the upper bound proposed by Gastwirth, Fuller, and Ogwang.
description: Statistica; Vol 64, No 4 (2004); 697-706
Design and Analysis of Protection Schemes Based on the Send-Receive Transport Mechanism
Creators: name: Sandhu, Ravinderpal Singh
Publisher: name: Rutgers University
Year: 1983

description: In a protection mechanism based on authorization, the ability of a subject (i.e., a user or a process) to operate on the system is determined by privileges inits domain. A mechanism for transport of privileges must accommodate a variety of policies, while permitting analysis of the privileges, which a given subject might obtain. The send-receive transport mechanism was designed by Minsky with these objectives in mind. In this mechanism, a transport operation is explicitly authorized at both the source and destination, and the authorization is selective with respect to which privileges can be transported. Here we study a restricted version of this mechanism. Under our restrictions a protected system is designed in two stages. Firstly, a protection scheme is defined by specifying the values of certain parameters, which determine the static component of every subject's domain. Secondly, J defines the initial state specifying the dynamic component of every subject's domain. This state then evolves as permitted by the protection scheme. We formulate the flow-analysis problem, which is concerned with determining a bound on the authorization for transport of privileges, given a protection scheme and an initial state. We develop techniques for deriving and improving the desired bound. The major complication in doing so is the create operation, which permits the protection state to evolve in an unbounded manner. We investigate conditions which enable us to ignore the create operation. We also investigate conditions under which the initial authorization for transport of privileges remains invariant in every derived state. We study additional analysis issues in the context of sub-classes of our design framework. The questions raised in such detailed analysis depend on the structure of these sub-classes.
Analysis of an approach for the set maxima problem
Creators: name: Liberatore, Vincenzo
Publisher: name: Rutgers University
Year: 1997

description: The set maxima problem is defined as follows: given a totally ordered universe X of size n and S subseteq 2^X, |S| = n, find max S for all S in S. It has been conjectured that this problem can be solved deterministically with O(n) comparisons. In this paper, we discuss the proposal of Komlos that the minimum spanning tree verification algorithm should provide a solution paradigm for the set maxima problem. We generalize Komlos' algorithm to a larger set of problems arising from the verification of the optimum basis of a very large class of matroids. We will also provide an algorithm for the complementary case of maxima over fundamental matroid hyperplanes.
Mythimna l-album
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Mythimna
Mythimna l-Album

description: Mythimna l-album (Linnaeus, 1767)    Citada de Bujalance (PÉREZ-GUERRERO et al., 2011).
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 328, DOI: 10.5281/zenodo.13244049
Position Paper: The Case for JavaScript Transactions
Creators: name: Dhawan, Mohan
name: Shan, Chung-chieh
name: Ganapathy, Vinod
Publisher: name: Rutgers University
Year: 2010

description: Modern Web applications combine and use JavaScript-based content from multiple untrusted sources. Without proper isolation, such content can compromise the security and privacy of these Web applications. Prior techniques for isolating untrusted JavaScript code do so by restricting dangerous constructs and inlining security checks into third-party code. This paper makes the case that JavaScript must be extended to make isolation a language-level primitive. We propose to extend the language using a new transaction construct that allows a Web application to speculatively execute untrusted code and isolate the changes and effects it performs. The Web application can then inspect these speculative actions and commit them only if they comply with the application’s security policies. We discuss use-cases that can benefit from JavaScript support for transactions, present a formalization of JavaScript transactions and conclude with implementation considerations.
Statistical process control for multiple stream processes: problems and solutions in a real case
Creators: name: Lasi, G.
name: Mongiello, C.
name: Scagliarini, M.
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: Statistical process control for Multiple Stream Processes is an important topic in the field of statistical quality control and in the literature there are interesting papers. In this article the methodology called Group Control Chart is used in a case study. The purposes of this study are: to verify technical feasibility of this kind of statistical control; to examine the potential problems and suggest the suitable solutions; to understand the impact on the firm performance of an extensive application of the monitoring procedure.
description: Statistica; Vol 64, No 4 (2004); 707-719
Effect of optimum stratification on sampling with varying probabilities under proportional allocation
Creators: name: Rizvi, S.
name: Gupta, J.
name: Bhargava, M.
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: The problem of optimum stratification on an auxiliary variable when the units from different strata are selected with probability proportional to the value of auxiliary variable (PPSWR) was considered by Singh (1975) for univariate case. In this paper we have extended the same problem, for proportional allocation, when two variates are under study. A cum. 3 R3(x) rule for obtaining approximately optimum strata boundaries has been provided. It has been shown theoretically as well as empirically that the use of stratification has inverse effect on the relative efficiency of PPSWR as compared to unstratified PPSWR method when proportional method of allocation is envisaged. Further comparison showed that with increase in number of strata the stratified simple random sampling is equally efficient as PPSWR.
description: Statistica; Vol 64, No 4 (2004); 721-733
A National Consensus Forum on improving cornea donation and transplantation access in Canada
Creators: name: Bae, Steven S.
name: Rocha, Guillermo
name: Humphreys, Christine
name: Chan, Clara C
name: Yeung, Sonia N.
Publisher: name: BioMed Central
Year: 2021

description: A consensus meeting was held in Toronto on February 9–10, 2020 to discuss ways to improve cornea donation and transplantation access in Canada. The meeting brought together eye and tissue bank representatives, health authority and hospital leadership, transplant ophthalmologists, organ donation organizations, transplant recipients, donor families and several national organizations. Through facilitated discussions in multidisciplinary, gender-balanced, and geographically balanced small groups, participants identified opportunities for improvement in the Canadian cornea donation and transplantation system. Discussion occurred around broad themes of donor tissue demand, supply, access, utilization, interprovincial sharing and cost recovery, interprovincial knowledge sharing and research. This event marked the first time in 10 years in which the Canadian cornea transplantation community came together.
Additional file 2 of Maintenance Therapy with Aromatase Inhibitor in epithelial Ovarian Cancer (MATAO): study protocol of a randomized double-blinded placebo-controlled multi-center phase III Trial
Creators: name: McLaughlin, Pamela M. J.
name: Klar, Maximilian
name: Zwimpfer, Tibor A.
name: Dutilh, Gilles
name: Vetter, Marcus
name: Marth, Christian
name: du Bois, Andreas
name: Schade-Brittinger, Carmen
name: Reuss, Alexander
name: Bommer, Claudine
name: Kurzeder, Christian
name: Heinzelmann-Schwarz, Viola
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: Science Policy

description: Additional file 2: Ethical committees & Study sites ENGOT-ov54/Swiss-GO-2/MATAO(LOGOS).
Additional file 1 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 1. Extract from MV John Biscoe medical stores list written by Dr William Sladen in 1949, when he was the doctor on call between postings at Hope Bay (Antarctic Peninsula) and Signy Island (South Orkney Islands), showing tablets and bottles of sulphathiazole.
Unhappy metros: panel evidence
Creators: name: Okulicz-Kozaryn, Adam
Publisher: name: Rutgers University
Year: 2023
Subjects: Panel Study of Income Dynamics (PSID)
urban-rural happiness gradient
urban
cities
happiness
life satisfaction

description: We study the effect of urbanicity (metro v nonmetro) on life satisfaction, or Subjective WellBeing (SWB). The literature agrees that residents of metropolitan areas tend to be less satisfied with their lives than residents of smaller settlements in the developed world. But the existing evidence is cross-sectional only. This is the first study using longitudinal dataset to test the " unhappy metro " hypothesis. Using the 2009-2019 US Panel Study of Income Dynamics (PSID), we find support for the cross-sectional findings: metros are less happy than nonmetros. The effect size is practically significant, the negative effect of metro v nonmetro is equivalent to the effect of one's health deteriorating about a third from " fair " to " poor. " Given extremely large scale of urbanization, projected 6b of people from 1950 to 2050, the combined effect of urbanicity on human wellbeing is large.
การออกแบบและพัฒนาสิ่งแวดล้อมทางการเรียนรู้บนเครือข่ายด้วยเทคโนโลยีความเป็นจริงเสริมตามแนวคอนสตรัคติวิสต์ที่ส่งเสริมการคิดสร้างสรรค์ เรื่อง การออกแบบกราฟิกคอมพิวเตอร์ทางการแพทย์ สำหรับนักศึกษาระดับปริญญาตรี
Creators: name: ธนพนธ์ กาบไกรแก้ว
Publisher: name: Office of Academic Resources
Year: 2020
Subjects: สิ่งแวดล้อมทางการเรียนรู้บนเครือข่าย
คอนสตรัคติวิสต์
เทคโนโลยีความเป็นจริงเสริม
การคิดสร้างสรรค์
WebBased Learning Environment
Constructivist
Augmented Reality
Creative thinking

description: Journal of Information and Learning, 31, 2, 10-18
Some notes about the distributive compensation ratio
Creators: name: Maffenini, W.
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: Recently Zenga has proposed a normalized compensation index based on a decomposition of the mean difference of the sum Y of the k variates X1, ..., Xk.
This paper proposes a decomposition of the above index to evaluate the percent contribution of a generic variate Xj to compensation. Moreover, the importance of a comparison between the observed value of the index and its value under the hypothesis of distributive independence is emphasized, to understand exhaustively the concept of compensation.
The index’s capability of measuring compensation of a complex phenomena, possibly composed by a number of different elements, is shown by a numerical example and by two applications to real data (a sample survey of total income of Italian families in 2001 and a dataset concerning marks of graduate students of Milano-Bicocca University in four exams).
description: Statistica; Vol 64, No 4 (2004); 735-750
Mythimna sicula
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Mythimna
Mythimna sicula

description: Mythimna sicula (Treitschke, 1835)
  Citada de La Campiña (REDONDO & PÉREZ, 2000e; HUERTAS DIONISIO & FUENTES, 2004; PÉREZ-GUERRERO et al., 2011).
 Nc: Zagrilla Baja (23-IV-2009).
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 328, DOI: 10.5281/zenodo.13244049
Additional file 2 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 2. Initial screening criteria for literature review. Parameters for choice of studies investigating AMR on the Antarctic continent.
Additional file 1 of Conceptualizations of clinical decision-making: a scoping review in geriatric emergency medicine
Creators: name: Gamborg, Maria Louise
name: Mehlsen, Mimi
name: Paltved, Charlotte
name: Tramm, Gitte
name: Musaeus, Peter
Publisher: name: figshare
Year: 2020
Subjects: Medicine
Biotechnology
Science Policy

description: Additional file 1. Study Characteristics.
Patterns of Genital Tract Mustelid Gammaherpesvirus 1 (Musghv-1) Reactivation Are Linked to Stressors in European Badgers (Meles Meles)
Creators: name: Tsai, Ming-Shan
name: François, Sarah
name: Newman, Chris
name: Macdonald, David W.
name: Buesching, Christina D.
Publisher: name: Multidisciplinary Digital Publishing Institute
Year: 2021

description: Gammaherpesvirus reactivation can promote diseases or impair reproduction. Understanding reactivation patterns and associated risks of different stressors is therefore important. Nevertheless, outside the laboratory or captive environment, studies on the effects of stress on gammaherpesvirus reactivation in wild mammals are lacking. Here we used Mustelid gammaherpesvirus 1 (MusGHV-1) infection in European badgers (Meles meles) as a host–pathogen wildlife model to study the effects of a variety of demographic, physiological and environmental stressors on virus shedding in the genital tract. We collected 251 genital swabs from 150 free-ranging individuals across three seasons and screened them for the presence of MusGHV-1 DNA using PCR targeting the DNA polymerase gene. We explored possible links between MusGHV-1 DNA presence and seven variables reflecting stressors, using logistic regression analysis. The results reveal different sets of risk factors between juveniles and adults, likely reflecting primary infection and reactivation. In adults, virus shedding was more likely in badgers in poorer body condition and younger than 5 years or older than 7; while in juveniles, virus shedding is more likely in females and individuals in better body condition. However, living in social groups with more cubs was a risk factor for all badgers. We discuss possible explanations for these risk factors and their links to stress in badgers.
A two-step smoothing procedure for the analysis of sparse contingency tables with ordered categories
Creators: name: Borgoni, R.
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: Assessing the multivariate structure of data is often the aim of the statistical analysis of economical, demographic and social phenomena. In many situations in the analysis of categorical data it may happen that the number of cells can be close to, or even greater than, the number of observations at hand resulting in very small or even zero cell counts. In this case a contingency table is usually referred to as a sparse table. In this sort of situation the optimal properties of the usual statistical procedures may break down. Several authors investigated the use of smoothing methods for sparse count data but a little was done to evaluate if these methods can be helpful in discovering the multivariate structure of the data. This paper shows as the joint use of smoothing techniques and information measures may improve the analysis in a multivariate sparse context.
description: Statistica; Vol 64, No 4 (2004); 751-766
Propagation and Reflection In Discrete-Space-Discrete-Time Structures
Creators: name: Vichnevetsky, Robert
Publisher: name: Rutgers University
Year: 1984

description: We describe the essential mathematics that are to be invoked to arrive at a coherent description of energy conservation, propagation and reflection in discrete-space-discrete-time structures. These are the structures, which occur when hyperbolic equations are approximated numerically on a regular mesh in space-time. The combined use of discrete Fourier Transforms and energy measures produces a set of new and particularly elegant results relating to spurious reflection at computational boundaries. These results are sketched in this paper.
Mythimna zeae
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Mythimna
Mythimna zeae

description: Mythimna zeae (Duponchel, 1827)
 Citada de Bujalance: imagos de abril a agosto (REDONDO & PÉREZ, 2000e; REDONDO VILLA &
  PÉREZ GUERRERO, 2000; PÉREZ-GUERRERO et al., 2011).
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 328, DOI: 10.5281/zenodo.13244049
Additional file 1 of Accurate determination of node and arc multiplicities in de bruijn graphs using conditional random fields
Creators: name: Steyaert, Aranka
name: Audenaert, Pieter
name: Fostier, Jan
Publisher: name: figshare
Year: 2020
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Statistics
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1 Supplementary material: accurate determination of multiplicities of nodes and arcs in a de bruijn graph. This document contains a worked example of the Variable Elimination algorithm in which we also highlight how the CRF improves multiplicity assignments by using contextual information. It also contains our parameter estimation formulas as well as some additional Figures and Tables referred to in the main text. Finally we present an exploration of the influence of two important parameters in our methodology: the ‘conservation of flow strength’ and the size of the subset used for EM training in stage 2.
A new LAD curve fitting algorithm: slightly overdetermined equation systems in L_1
Creators: name: Seneta, Eugene
name: Steiger, William L.
Publisher: name: Rutgers University
Year: 1981
Subjects: LAD
LAD curve-fitting

description: We present a new algorithm for the discrete LAD curve-fitting problem for n points in k < eq n dimensional space. When k is about n/3 it begins to out-perform the best current methods, and the advantage increases with k. The algorithm should be of interest in approximation theory and in robust regression. Moreover our approach may be useful in linear optimization, especially in linear programming.
A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language
Creators: name: Galdino, Andre Luiz; Universidade De Brasilia, Universidade Federal De Goias
name: Ayala-Rincón, Mauricio; Universidade De Brasilia
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2008

description: This paper shows how a formalization for the theory of Abstract Reduction Systems (ARSs) in which noetherianity was specified by the notion of well-foundness over binary relations is used in order to prove results such as the well-known Newman's and Yokouchi's Lemmas. The former is known as the diamond lemma and the latter states a property of commutation between ARSs. The theory ars was specified in the Prototype Verification System (PVS) for which to the best of our knowledge there was no available theory for dealing with rewriting techniques in general before this development. In addition to proof techniques available in the higher-order specification language of PVS,  the verification of these lemmas implies an elaborated use of natural and noetherian induction.
description: Journal of Formalized Reasoning; Vol 1, No 1 (2008); 39-50
Screening of endophytic fungi for biofuel feedstock production using palm oil mill effluent as a carbon source
Creators: name: Aun, Edwin Sia Sien
name: Hui, Joanne Yeo Suan
name: Ming, Julie Wong Wei
name: Yi, Jenny Choo Cheng
name: Wong, Changi
name: Mujahid, Aazani
name: Mueller, Moritz
Publisher: name: Swinburne
Year: 2024

description: Aims: Palm oil mill effluent (POME) is a major agricultural waste product of Malaysia. The aim of this study was to identify endophytic fungi capable of producing biofuel feedstock utilizing POME.
Methodology and results: Endophytes were isolated from the Nipah palm tree, Nypa fruticans, and exposed to different POME concentrations (25%, 50% and 75%), with and without the addition of nutrients. The utilization of glucose was measured using the Dinitrosalicylic Acid assay whereas the lipid content in the fungal cells was extracted using the Bligh and Dyer method with slight modifications. Three endophytic fungi that displayed the highest growth on POME were identified using ITS 1 and 4 primers and found to be related to Pestalotiopsis sp., Lasiodiplodia theobromae and Rhizoctonia bataticola. Nutrient addition caused an average increase of 8 times in biomass, indicating nitrogen requirement for cell proliferation. The highest POME concentration (75%) resulted in lower biomass yield. Furthermore, all fungal samples in high POME concentration and nutrient conditions showed a decrease in lipids accumulated per milligram of biomass whereby lipid synthesis was enhanced under nitrogen limitation (25% without nutrients).
Conclusion, significance and impact of study: In conclusion, all fungal samples can be classified as oleaginous microorganisms with Pestalotipsis sp. being the most efficient (up to 70% of its biomass). This is to our knowledge the first study that shows the potential use of Pestalotiopsis sp., L. theobromae and R. bataticola for the utilisation of POME as biofuel feedstock and could in the future potentially provide an alternative approach to the treatment of POME with value-added effect.
Additional file 3 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 3. Referenced GPS locations of studies of AMR in Antarctica.
Mythimna punctosa
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Mythimna
Mythimna punctosa

description: Mythimna punctosa (Treitschke, 1825)    Citada de Bujalance (PÉREZ-GUERRERO et al., 2011).
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 328, DOI: 10.5281/zenodo.13244049
Embedded Data Librarianship: A Case Study of Providing Data Management Support for a Science Department
Creators: name: Wang, Minglu
name: Fong, Bonnie L.
Publisher: name: Taylor & Francis
Year: 2015
Subjects: Data management support
Research data management
Data services
Research--Data processing
Embedded librarianship
Science and technology librarians
Academic Libraries

description: This case study details how a data services librarian and a science librarian collaborate to provide embedded data management support for the research-oriented Department of Earth and Environmental Sciences at Rutgers University–Newark. Combining their familiarity with emerging professional practices and resources, their efforts to gain a deeper understanding of the specific data management needs of researchers in the department, and their research into the evolving research data infrastructure in that particular discipline, the two are able to successfully connect researchers with the best practices in data management, suitable data repositories, and experts in the campus’ Computing Services unit.
Computing with Classical Real Numbers
Creators: name: Kaliszyk, Cezary; Radboud University Nijmegen
name: O'Connor, Russell; Radboud University Nijmegen
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2009

description: There are two incompatible Coq libraries that have a theory of the real numbers; the Coq standard library gives an axiomatic treatment of classical real numbers, while the CoRN library from Nijmegen defines constructively valid real numbers.
Unfortunately, this means results about one structure cannot easily be used in the other structure.
We present a way interfacing these two libraries by showing that their real number structures are isomorphic assuming the classical axioms already present in the standard library reals.
This allows us to use O'Connor's decision procedure for solving ground inequalities present in CoRN to solve inequalities about the reals from the Coq standard library, and it allows theorems from the Coq standard library to apply to problem about the CoRN reals.
description: Journal of Formalized Reasoning; Vol 2, No 1 (2009); 27-39
Modular implementation of individual reasoning in PROTODL --- the extensible Description Logic management system
Creators: name: Kudenko, Daniel
name: Borgida, Alex
Publisher: name: Rutgers University
Year: 1994

description: This is the second report in a series on the PROTODL system, which is an *extensible* knowledge representation and reasoning system based on Description Logics (DLs). We have motivated elsewhere [Borgida&Brachman92, Borgida92] the utility of being able to add new concept constructors to a DL, and, while in previous papers we have concentrated on subsumption reasoning, in this paper we consider reasoning about individuals. We present the modular implementation of a Description Logic-based KBMS which performs inferences about individuals in such a way that the addition of each new concept constructors is achieved by introducing a series of functions (and possibly modifying some old ones). Considerable emphasis has been placed on the efficient handling of *incremental* updates. This is accomplished by combining the primitive procedures in different ways in order to obtain variants of the standard procedures for inferring concept (non)membership -- variants that take into account the fact that the previous state of the KB was consistent, and that we know what specific kind of update has been performed, and when dependency links have been set.
Additional file 2 of Conceptualizations of clinical decision-making: a scoping review in geriatric emergency medicine
Creators: name: Gamborg, Maria Louise
name: Mehlsen, Mimi
name: Paltved, Charlotte
name: Tramm, Gitte
name: Musaeus, Peter
Publisher: name: figshare
Year: 2020
Subjects: Medicine
Biotechnology
Science Policy

description: Additional file 2. Coding of operationalizations of Clinical Decision-Making in geriatric emergency medicine.
Mythimna loreyi
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Mythimna
Mythimna loreyi

description: Mythimna loreyi (Duponchel, 1827)
  Citada de Bujalance (PÉREZ-GUERRERO et al., 2011).
 Nc: Río Almedinilla (8-IX-2003); Zagrilla Baja (9-X-2009); casco urbano de Pozoblanco (19-20- VIII-2016).
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 328, DOI: 10.5281/zenodo.13244049
Orthosia incerta
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Orthosia
Orthosia incerta

description: Orthosia incerta (Hufnagel, 1766)
 Defoliador poco importante
 FERNÁNDEZ REBOLLO (2000).
 de los encinares cordobeses seġn
 NAVARRO CERRILLO
 &
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 328, DOI: 10.5281/zenodo.13244049
A New Look at Generalized Rewriting in Type Theory
Creators: name: Sozeau, Matthieu; Harvard University
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2009

description: Rewriting is an essential tool for computer-based reasoning, both automated and assisted. This is because rewriting is a general notion that permits modeling a wide range of problems and provides a means to effectively solve them. In a proof assistant, rewriting can be used to replace terms in arbitrary contexts, generalizing the usual equational reasoning to reasoning modulo arbitrary relations. This can be done provided the necessary proofs that functions appearing in goals are congruent with respect to specific relations. We present a new implementation of generalized rewriting in the Coq proof assistant, making essential use of the expressive power of dependent types and the recently implemented type class mechanism. The new rewrite tactic improves on and generalizes previous versions by natively supporting higher-order functions, polymorphism and subrelations. The type class system inspired by Haskell provides a perfect interface between the user and the tactic, making it easily extensible.
description: Journal of Formalized Reasoning; Vol 2, No 1 (2009); 41-62
Additional file 4 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 4. Summarised data of studies on King George Island.
Orthosia cerasi
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Orthosia
Orthosia cerasi

description: Orthosia cerasi (Fabricius, 1775)
  Citada de Sierra Morena: orugas sobre Q. faginea, Q. ilex y Q. suber, en abril-mayo (EXTREMERA et al., 2004; PÉREZ GUERRERO et al., 2008). Defoliador poco importante (NAVARRO CERRILLO & FERNÁNDEZ REBOLLO, 2000).
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 328, DOI: 10.5281/zenodo.13244049
Three-dimensional compatible sacrificial nanoimprint lithography for tuning the wettability of thermoplastic materials
Creators: name: Shajahan, Imrhankhan
name: Gopinadhan, Manesh
name: Hasan, Molla
name: Schroers, Jan
name: Osuji, Chinedum O.
name: Singer, Jonathan P.
name: Cho, Chloe
name: Reyes, Saira
name: Ketkaew, Jittisa
name: Anesgar, Aaron
name: Chopra, Saransh
name: Higgins, Michael
Publisher: name: Rutgers University
Year: 2019
Subjects: Superhydrophobicity
Thermoplastic forming
Copolymer
Metallic glass

description: We report the tuning of surface wetting through sacrificial nanoimprint lithography (SNIL). In this process, grown ZnO nanomaterials are transferred by imprint into a metallic glass (MG) and an elastomeric material, and then etched to impart controlled surface roughness. This process increases the hydrophilicity and hydrophobicity of both surfaces, the Pt57.5Cu14.7Ni5.3P22.5 MG and thermoplastic elastomer (TPE), respectively. The growth conditions of the ZnO change the characteristic length scale of the roughness, which in turn alters the properties of the patterned surface. The novelty of this approach includes reusability of templates and that it is able to create superhydrophilic and superhydrophobic surfaces in a manner compatible with the fabrication of macroscopic three-dimensional (3D) parts. Because the wettability is achieved by only modifying topography, without using any chemical surface modifiers, the prepared surfaces are relatively more durable.
Sets in Coq, Coq in Sets
Creators: name: Barras, Bruno; INRIA Saclay-France
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2010

description: This work is about formalizing  models of various type theories of the Calculus  of Constructions family.  Here we  focus on  set theoretical models. The long-term goal is  to build a formal set theoretical model of the Calculus of Inductive Constructions, so we can be sure that Coq is consistent with the language used by most mathematicians.

One  aspect of this  work is  to axiomatize  several set  theories: ZF possibly  with   inaccessible  cardinals,   and  HF,  the   theory  of hereditarily finite sets. On top  of these theories we have developped a  piece  of the  usual  set  theoretical  construction of  functions, ordinals and fixpoint  theory. We then proved sound  several models of the  Calculus  of  Constructions,   its  extension  with  an  infinite hierarchy of universes,  and its extension with the  inductive type of natural  numbers where  recursion follows  the  type-based termination approach.

The  other   aspect  is   to  try  and   discharge  (most   of)  these assumptions.  The  goal here  is  rather  to  compare the  theoretical strengths of  all these formalisms. As already noticed by  Werner, the replacement  axiom  of ZF  in  its general  form  seems  to require  a type-theoretical  axiom  of  choice   (TTAC).
description: Journal of Formalized Reasoning; Vol 3, No 1 (2010); 29-48
Additional file 5 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 5. Locations of studies that found resistance markers for β-lactams and aminoglycosides in Antarctica.
Ambitionierter Klimaschutz: Fallstricke und Bedingungen des Gelingens
Creators: name: Lünenbürger, Benjamin
name: Purr, Katja
name: Schultz, Karlotta
Publisher: name: Umweltbundesamt
Year: 2023
Subjects: subject: Klimaschutz
subject: Politik
subject: Wirtschaft
subject: transformation
subject: gesellschaft
subject: Just Transition
subject: Klima | Energie
subject: Chemikalien
subject: Wirtschaft | Konsum
subject: Gesundheit
subject: Abfall | Ressourcen
subject: Nachhaltigkeit | Strategien | Internationales
subject: Digitalisierung

description: Die klimapolitischen Anstrengungen in verschiedenen Teilen von Politik, Gesellschaft und Wirtschaft weisen in die richtige Richtung und stellen wichtige Weichen für einen ambitionierten âĄ KlimaschutzâĄ in Deutschland. Ein Scheitern ist in der Umsetzung jedoch weiterhin möglich, besonders solange Klimaschutz nicht als gesellschaftliche Transformationsaufgabe verstanden wird. Da eine fortwährende Gestaltung der Transformation unerlässlich ist, wird gefragt welche Fallstricke für einen ambitioniert angegangenen Klimaschutz bestehen und welche Bedingungen das Gelingen ermöglichen. Klimaschutz als Transformationsaufgabe zu verstehen, weitet den Blick für eine vernetzte Problemlösung. Auf diese kennen bisherige klimapolitische Strategien kaum Antworten. Viele implementierte Klimaschutzmaßnahmen und â€Ìinstrumente zeigen Folgewirkungen und lösen neue Aushandlungsprozesse in der Gesellschaft aus. Einige dieser Dynamiken werden explorativ anhand der Dimensionen Zeit, Individuum, Gesellschaft und Wirtschaft, Wechselwirkungen zu anderen Umweltbereichen und Globalisierung diskutiert und auf konkrete Fallstricke bezogen. Lösungsansätze - von ersten Debattenanstößen bis hin zu konkreten Umsetzungsoptionen - existieren bereits in zahlreichen Fällen, wie dieses Papier zeigt. Quelle: www.umweltbundesamt.de
description: Die klimapolitischen Anstrengungen in verschiedenen Teilen von Politik, Gesellschaft und Wirtschaft weisen in die richtige Richtung und stellen wichtige Weichen für einen ambitionierten ⁠Klimaschutz⁠ in Deutschland. Ein Scheitern ist in der Umsetzung jedoch weiterhin möglich, besonders solange Klimaschutz nicht als gesellschaftliche Transformationsaufgabe verstanden wird. Da eine fortwährende Gestaltung der Transformation unerlässlich ist, wird gefragt welche Fallstricke für einen ambitioniert angegangenen Klimaschutz bestehen und welche Bedingungen das Gelingen ermöglichen.Klimaschutz als Transformationsaufgabe zu verstehen, weitet den Blick für eine vernetzte Problemlösung. Auf diese kennen bisherige klimapolitische Strategien kaum Antworten. Viele implementierte Klimaschutzmaßnahmen und ‑instrumente zeigen Folgewirkungen und lösen neue Aushandlungsprozesse in der Gesellschaft aus. Einige dieser Dynamiken werden explorativ anhand der Dimensionen Zeit, Individuum, Gesellschaft und Wirtschaft, Wechselwirkungen zu anderen Umweltbereichen und Globalisierung diskutiert und auf konkrete Fallstricke bezogen. Lösungsansätze – von ersten Debattenanstößen bis hin zu konkreten Umsetzungsoptionen – existieren bereits in zahlreichen Fällen, wie dieses Papier zeigt.
Implementation of Bourbaki's Elements of   Mathematics in Coq:   Part One, Theory of Sets
Creators: name: Grimm, José; INRIA,  Apics Team
Publisher: name: Journal of Formalized ReasoningJournal of Formalized Reasoning
Year: 2010

description: This paper presents a formalization of the first book of the series ``Elements  of Mathematics'' by Nicolas Bourbaki, using the Coq proof assistant.
It discusses formalization of mathematics, and explains in which sense a computer proof of a statement corresponds to a proof in the Bourbaki sense, given that the Coq quantifiers are not defined in terms of Hilbert's epsilon function.  The list of axioms and axiom schemes of Bourbaki is compared to the more usual Zermelo-Fraenkel theory, and to those proposed by  Carlos Simpson, which form the basis of the  Gaia software. Some basic constructions (union, intersection, product, function, equivalence and order relation) are described, as well as some properties; this corresponds to Sections 1 to 6 of Chapter II, and the first two sections of Chapter III. A commented proof of Zermelo's theorem is also given. The code (including almost all exercises) is available on the Web, under
http://www-sop.inria.fr/apics/gaia.
description: Journal of Formalized Reasoning; Vol 3, No 1 (2010); 79-126
Orthosia cruda
Creators: name: Dobado, Pablo M.
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Noctuidae
Orthosia
Orthosia cruda

description: Orthosia cruda ([Denis & Schiffermüller], 1775)
 Defoliador poco importante
 FERNÁNDEZ REBOLLO, 2000).
 de los encinares de Los
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 Association between growth differentiation factor 5 rs143383 genetic polymorphism and the risk of knee osteoarthritis among Caucasian but not Asian: a meta-analysis
Creators: name: Peng, Lei
name: Jin, Song
name: Jiping Lu
name: Ouyang, Chao
name: Guo, Jiang
name: Zhongyu Xie
name: Huiyong Shen
name: Wang, Peng
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy

description: Additional file 1: Fig. S1. Sensitivity analysis of the pooled ORs and 95% CI for the overall analysis.
Additional file 2 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 2: Table S2. Study quality and bias in the retrospective cohort studies judged by the Newcastle-Ottawa Scale (NOS) checklist.
Distribution of the likelihood ratio statistic for testing homogeneity of covariance matrices of completely symmetric Gaussian models
Creators: name: Cardeno, L.
name: Gomez, A.
name: Tayal, V.
Publisher: name: Dep. of Statistical Sciences "Paolo Fortunati", Università di Bologna
Year: 2007

description: In this article the distribution of the likelihood ratio test statistic for testing equality of covariance matrices of completely symmetric Gaussian models has been derived in beta series. Comparison of results with the exact results has also been done.
description: Statistica; Vol 64, No 4 (2004); 799-808