cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.6084/m9.figshare.5919469
title: EDDIE modules are effective learning tools for developing quantitative literacy and seismological understanding

description: Environmental Data-Driven Inquiry and Exploration (EDDIE) modules engage students in analysis of data collected by networks of environmental sensors, which are used to study various natural phenomena, such as nutrient loading, climate change, and stream discharge. We compared two approaches to EDDIE module implementation in an undergraduate time-series analysis course. Course goals were to use high-frequency and long-term environmental datasets to improve quantitative literacy, develop data manipulation and analysis skills, construct scientific knowledge about natural phenomena, highlight the inherent variability in real data, and develop informed views about the nature of science (NOS). In both instructional treatments, students explored data and developed skills through a scaffolded in-class analysis and then solved more complex problems in homework assignments. In Treatment 1, engage and explore lesson phases involved discussion of instructor-prepared plots using the think–pair–share method. Conversely, in Treatment 2's engage and explore lesson phases, students prepared graphs and completed activities in a computer lab, which required more guidance in data manipulation and thus contained less structured discussion of data analysis and interpretation. We administered a pre/postquestionnaire to compare learning gains between the two treatments in quantitative literacy, statistical reasoning, nature-of-science (NOS) understanding, and understanding of seismological concepts. Results indicate that EDDIE modules are sufficiently flexible to be effective in both learning environments. Our results indicate that students reacted similarly to both instructional treatments, suggesting that EDDIE modules are flexible enough platforms to achieve measurable learning gains in a variety of pedagogical environments.
DOI: 10.6084/m9.figshare.5919469.v1
title: EDDIE modules are effective learning tools for developing quantitative literacy and seismological understanding

description: Environmental Data-Driven Inquiry and Exploration (EDDIE) modules engage students in analysis of data collected by networks of environmental sensors, which are used to study various natural phenomena, such as nutrient loading, climate change, and stream discharge. We compared two approaches to EDDIE module implementation in an undergraduate time-series analysis course. Course goals were to use high-frequency and long-term environmental datasets to improve quantitative literacy, develop data manipulation and analysis skills, construct scientific knowledge about natural phenomena, highlight the inherent variability in real data, and develop informed views about the nature of science (NOS). In both instructional treatments, students explored data and developed skills through a scaffolded in-class analysis and then solved more complex problems in homework assignments. In Treatment 1, engage and explore lesson phases involved discussion of instructor-prepared plots using the think–pair–share method. Conversely, in Treatment 2's engage and explore lesson phases, students prepared graphs and completed activities in a computer lab, which required more guidance in data manipulation and thus contained less structured discussion of data analysis and interpretation. We administered a pre/postquestionnaire to compare learning gains between the two treatments in quantitative literacy, statistical reasoning, nature-of-science (NOS) understanding, and understanding of seismological concepts. Results indicate that EDDIE modules are sufficiently flexible to be effective in both learning environments. Our results indicate that students reacted similarly to both instructional treatments, suggesting that EDDIE modules are flexible enough platforms to achieve measurable learning gains in a variety of pedagogical environments.
DOI: 10.6084/m9.figshare.5919466
title: GRANTSISM: An Excel™ ice sheet model for use in introductory Earth science courses

description: GRANTISM (GReenland and ANTarctic Ice Sheet Model) is an educational Excel™ model introduced by Pattyn (2006). Here, GRANTISM is amended to simulate the Svalbard-Barents-Sea Ice Sheet during the Last Glacial Maximum, an analogue for the contemporary West Antarctic Ice Sheet. A new name, “GRANTSISM,” is suggested; the added S represents Svalbard. GRANTSISM introduces students of bachelor's or master's programs in Earth sciences (first or second cycle program in the Bologna system for higher education), but with little or no background in numerical modeling, to basic ice sheet modeling. GRANTSISM provides hands-on learning experiences related to ice sheet dynamics in response to climate forcing, and fosters understanding of processes and feedbacks. GRANTSISM was successfully used in noncompulsory courses in which students have been able to reproduce paleo-ice sheet evolution scenarios discussed here as examples. Students progressed further by designing, developing, and analyzing their own modeling scenarios. Here, we describe GRANTSISM and report on how learning activities with GRANTSISM were assessed by students who had no prior experience in ice sheet modeling. The response rate for a noncompulsory survey of the learning activity was less than 40%. A subsequent control experiment with a compulsory survey, however, showed the same patterns of answers, so the student response is considered representative. First, GRANTSISM is concluded to be a highly attractive tool to introduce learners with an interest in ice sheet <i>behavior</i> to ice sheet <i>modeling</i>. Second, it triggers an interest for more in-depth learning experiences related to numerical ice sheet modeling.
DOI: 10.6084/m9.figshare.5919466.v1
title: GRANTSISM: An Excel™ ice sheet model for use in introductory Earth science courses

description: GRANTISM (GReenland and ANTarctic Ice Sheet Model) is an educational Excel™ model introduced by Pattyn (2006). Here, GRANTISM is amended to simulate the Svalbard-Barents-Sea Ice Sheet during the Last Glacial Maximum, an analogue for the contemporary West Antarctic Ice Sheet. A new name, “GRANTSISM,” is suggested; the added S represents Svalbard. GRANTSISM introduces students of bachelor's or master's programs in Earth sciences (first or second cycle program in the Bologna system for higher education), but with little or no background in numerical modeling, to basic ice sheet modeling. GRANTSISM provides hands-on learning experiences related to ice sheet dynamics in response to climate forcing, and fosters understanding of processes and feedbacks. GRANTSISM was successfully used in noncompulsory courses in which students have been able to reproduce paleo-ice sheet evolution scenarios discussed here as examples. Students progressed further by designing, developing, and analyzing their own modeling scenarios. Here, we describe GRANTSISM and report on how learning activities with GRANTSISM were assessed by students who had no prior experience in ice sheet modeling. The response rate for a noncompulsory survey of the learning activity was less than 40%. A subsequent control experiment with a compulsory survey, however, showed the same patterns of answers, so the student response is considered representative. First, GRANTSISM is concluded to be a highly attractive tool to introduce learners with an interest in ice sheet <i>behavior</i> to ice sheet <i>modeling</i>. Second, it triggers an interest for more in-depth learning experiences related to numerical ice sheet modeling.
DOI: 10.6084/m9.figshare.5919463
title: Dataset 2 - Representação LexML dos Textos Articulados das Normas Legislativas Federais

description: Contém os textos articulados de cada norma do dataset anterior estruturados em formato LexML.
DOI: 10.6084/m9.figshare.5919463.v1
title: Dataset 2 - Representação LexML dos Textos Articulados das Normas Legislativas Federais

description: Contém os textos articulados de cada norma do dataset anterior estruturados em formato LexML.
DOI: 10.6084/m9.figshare.5919415
title: Stage classification of IgG4-related dacryoadenitis and sialadenitis by the serum cytokine environment

description: <b>Objectives:</b> Patients with immunoglobulin-G4 related disease (IgG4-RD) diagnosed according to the comprehensive diagnostic criteria (CDC) show varied therapeutic responses and prognoses. We assumed that there are clinical stages in IgG4-RD and have verified it using serum cytokine levels in the groups classified by lesion distribution. <b>Methods:</b> Definite IgG4-related dacryoadenitis and sialadenitis (IgG4-DS) cases were divided according to the CDC for IgG4-RD into 11 cases with focal type and 30 cases with systemic type. The levels of serum interleukin (IL)-4, IL-5, IL-6, IL-10, IL-13, IL-15, IL-21, interferon (IFN)-α, IFN-γ, tumor necrosis factor (TNF)-α, transforming growth factor (TGF)-β1, and monocyte chemotactic protein (MCP)-1 were measured in healthy controls, allergic patients, probable IgG4-RD cases, and focal and systemic type cases. The cytokine environment was analyzed in each group. The 52 definite IgG4-RD cases were next classified into four groups with cluster analysis in terms of therapeutic responses and prognosis. The relationships between each cytokine level and therapeutic responses were also analyzed. <b>Results:</b> Both serum IL-5 and IFN-α concentrations were very low in healthy controls, but they increased in the allergic cases, probable cases, and focal and systemic type cases. The level of serum IL-5 was significantly higher in definite cases than in healthy controls. The serum IL-5 level was also significantly increased in the groups with a poor prognosis than in the good prognosis group. <b>Conclusion:</b> These results suggest that there are clinical stages in IgG4-RD, and serum IL-5 play roles in the pathogenesis of IgG4-RD.
DOI: 10.6084/m9.figshare.5919415.v1
title: Stage classification of IgG4-related dacryoadenitis and sialadenitis by the serum cytokine environment

description: <b>Objectives:</b> Patients with immunoglobulin-G4 related disease (IgG4-RD) diagnosed according to the comprehensive diagnostic criteria (CDC) show varied therapeutic responses and prognoses. We assumed that there are clinical stages in IgG4-RD and have verified it using serum cytokine levels in the groups classified by lesion distribution. <b>Methods:</b> Definite IgG4-related dacryoadenitis and sialadenitis (IgG4-DS) cases were divided according to the CDC for IgG4-RD into 11 cases with focal type and 30 cases with systemic type. The levels of serum interleukin (IL)-4, IL-5, IL-6, IL-10, IL-13, IL-15, IL-21, interferon (IFN)-α, IFN-γ, tumor necrosis factor (TNF)-α, transforming growth factor (TGF)-β1, and monocyte chemotactic protein (MCP)-1 were measured in healthy controls, allergic patients, probable IgG4-RD cases, and focal and systemic type cases. The cytokine environment was analyzed in each group. The 52 definite IgG4-RD cases were next classified into four groups with cluster analysis in terms of therapeutic responses and prognosis. The relationships between each cytokine level and therapeutic responses were also analyzed. <b>Results:</b> Both serum IL-5 and IFN-α concentrations were very low in healthy controls, but they increased in the allergic cases, probable cases, and focal and systemic type cases. The level of serum IL-5 was significantly higher in definite cases than in healthy controls. The serum IL-5 level was also significantly increased in the groups with a poor prognosis than in the good prognosis group. <b>Conclusion:</b> These results suggest that there are clinical stages in IgG4-RD, and serum IL-5 play roles in the pathogenesis of IgG4-RD.
DOI: 10.6084/m9.figshare.5919376
title: Analysis of mixed correlated bivariate zero-inflated count and (<i>k</i>, <i>l</i>)-inflated beta responses with application to social network datasets

description: This paper presents a new model that monitors the basic network formation mechanisms via the attributes through time. It considers the issue of joint modeling of longitudinal inflated (0, 1)-support continuous and inflated count response variables. For joint model of mentioned response variables, a correlated generalized linear mixed model is studied. The fraction response is inflated in two points <i>k</i> and <i>l</i> (<i>k</i> &lt; <i>l</i>) and a <i>k</i> and <i>l</i> inflated beta distribution is introduced to use as its distribution. Also, the count response is inflated in zero and we use some members of zero-inflated power series distributions, hurdle-at-zero, members of zero-inflated double power series distributions and zero-inflated generalized Poisson distribution as our count response distribution. A full likelihood-based approach is used to yield maximum likelihood estimates of the model parameters and the model is applied to a real social network obtained from an observational study where the rate of the <i>i</i>th node’s responsiveness to the <i>j</i>th node and the number of arrows or edges with some specific characteristics from the <i>i</i>th node to the <i>j</i>th node are the correlated inflated (0, 1)-support continuous and inflated count response variables, respectively. The effect of the sender and receiver positions in an office environment on the responses are investigated simultaneously.
DOI: 10.6084/m9.figshare.5919376.v1
title: Analysis of mixed correlated bivariate zero-inflated count and (<i>k</i>, <i>l</i>)-inflated beta responses with application to social network datasets

description: This paper presents a new model that monitors the basic network formation mechanisms via the attributes through time. It considers the issue of joint modeling of longitudinal inflated (0, 1)-support continuous and inflated count response variables. For joint model of mentioned response variables, a correlated generalized linear mixed model is studied. The fraction response is inflated in two points <i>k</i> and <i>l</i> (<i>k</i> &lt; <i>l</i>) and a <i>k</i> and <i>l</i> inflated beta distribution is introduced to use as its distribution. Also, the count response is inflated in zero and we use some members of zero-inflated power series distributions, hurdle-at-zero, members of zero-inflated double power series distributions and zero-inflated generalized Poisson distribution as our count response distribution. A full likelihood-based approach is used to yield maximum likelihood estimates of the model parameters and the model is applied to a real social network obtained from an observational study where the rate of the <i>i</i>th node’s responsiveness to the <i>j</i>th node and the number of arrows or edges with some specific characteristics from the <i>i</i>th node to the <i>j</i>th node are the correlated inflated (0, 1)-support continuous and inflated count response variables, respectively. The effect of the sender and receiver positions in an office environment on the responses are investigated simultaneously.
DOI: 10.6084/m9.figshare.5919241
title: Online scheduling of task graphs on hybrid platforms

description: Code used to simulate a hybrid computing platform (CPUs + GPUs) to test several online algorithms (that discover the task graph as it is unveiled) and to compare them to the classical HEFT offline scheduler.<br>
DOI: 10.6084/m9.figshare.5919241.v2
title: Online scheduling of task graphs on hybrid platforms

description: Code used to simulate a hybrid computing platform (CPUs + GPUs) to test several online algorithms (that discover the task graph as it is unveiled) and to compare them to the classical HEFT offline scheduler.<br>
DOI: 10.6084/m9.figshare.5919217
title: Morpho-sedimentological and vegetational characterization of Grande beach at São Francisco do Sul Island (Santa Catarina, Brazil)

description: A multidisciplinary study based on several digital (geology, lithology, shoreline evolution, photo-interpretation of aerial and ortho-photographs) and field (topographic and vegetational surveys, grain-size analysis) datasets prompted new insights to a better definition of the processes in action at the Grande beach at São Francisco do Sul Island (Santa Catarina, Brazil). The resulting data enabled us to produce a multi-thematic map at 1:50,000 scale that might be useful in assisting decision-makers to manage the coastal system, taking into account involved factors at once and not separately. In addition, the map may be implemented and integrated with new information, since the database is provided in geographical information system. The results confirmed the importance of addressing coastal systems with a multi-faceted approach that can be applied everywhere, not only in settings similar to São Francisco do Sul Island.
DOI: 10.6084/m9.figshare.5919217.v1
title: Morpho-sedimentological and vegetational characterization of Grande beach at São Francisco do Sul Island (Santa Catarina, Brazil)

description: A multidisciplinary study based on several digital (geology, lithology, shoreline evolution, photo-interpretation of aerial and ortho-photographs) and field (topographic and vegetational surveys, grain-size analysis) datasets prompted new insights to a better definition of the processes in action at the Grande beach at São Francisco do Sul Island (Santa Catarina, Brazil). The resulting data enabled us to produce a multi-thematic map at 1:50,000 scale that might be useful in assisting decision-makers to manage the coastal system, taking into account involved factors at once and not separately. In addition, the map may be implemented and integrated with new information, since the database is provided in geographical information system. The results confirmed the importance of addressing coastal systems with a multi-faceted approach that can be applied everywhere, not only in settings similar to São Francisco do Sul Island.
DOI: 10.6084/m9.figshare.5919145
title: Files and binaries for experimental results of TACAS 2018 paper "A Verified Implementation of the Bounded List Container"

description: This dataset contains files and binaries as described in the TACAS 2018 paper "A Verified Implementation of the Bounded List Container".<br>The formal verification of the container libraries provided by programming languages is of importance for their intensive use in safety- and security- critical applications. This dataset and the accompanying paper provide an implementation mimicking the bounded doubly linked list container, a GNAT implementation of the doubly linked lists container in the standard library of Ada 2012. This implementation was formally verified using an auto-active verification approach, supported by the prototype tool VeriFast. A distribution of this tool is provided in the <b>/verifast-v17.06-79-g6cad329</b> directory. <br>The implementation is provided as a C library, with code annotated for formal verification with VeriFast (<b>cfdlli.c</b> and <b>cfdlli.h</b>). Also provided are additional logic definitions that extend the logic libraries of VeriFast to deal with models implemented here (<b>vflist.gh</b>, <b>vfseq.gh</b> and <b>vfmap.gh</b>).<br>Additional scripts to reproduce the statistics presented in section 4 of the accompanying paper are also provided (<b>count_annot.sh</b> and <b>stats.sh</b>). <br>Further details on reproducing the experiments presented can be found in <b>README.txt</b>.
DOI: 10.6084/m9.figshare.5919145.v1
title: Files and binaries for experimental results of TACAS 2018 paper "A Verified Implementation of the Bounded List Container"

description: This dataset contains files and binaries as described in the TACAS 2018 paper "A Verified Implementation of the Bounded List Container".<br>The formal verification of the container libraries provided by programming languages is of importance for their intensive use in safety- and security- critical applications. This dataset and the accompanying paper provide an implementation mimicking the bounded doubly linked list container, a GNAT implementation of the doubly linked lists container in the standard library of Ada 2012. This implementation was formally verified using an auto-active verification approach, supported by the prototype tool VeriFast. A distribution of this tool is provided in the <b>/verifast-v17.06-79-g6cad329</b> directory. <br>The implementation is provided as a C library, with code annotated for formal verification with VeriFast (<b>cfdlli.c</b> and <b>cfdlli.h</b>). Also provided are additional logic definitions that extend the logic libraries of VeriFast to deal with models implemented here (<b>vflist.gh</b>, <b>vfseq.gh</b> and <b>vfmap.gh</b>).<br>Additional scripts to reproduce the statistics presented in section 4 of the accompanying paper are also provided (<b>count_annot.sh</b> and <b>stats.sh</b>). <br>Further details on reproducing the experiments presented can be found in <b>README.txt</b>.
DOI: 10.6084/m9.figshare.5919130.v2
title: ARRANGING THE DEMONSTRATION EXAM WITH WORLDSKILLS STANDARD APPLIANCE AT QUALIFYING OF VOCATIONAL INSTITUTION STUDENTS

description: Worldskills.
DOI: 10.6084/m9.figshare.5918992
title: Data S11 from The enemy of my enemy is my friend: Native pine marten recovery reverses the decline of the red squirrel by suppressing grey squirrel populations

description: Data for use with File S4, red squirrel detections and covariates for occupancy analysis
DOI: 10.6084/m9.figshare.5918992.v1
title: Data S11 from The enemy of my enemy is my friend: Native pine marten recovery reverses the decline of the red squirrel by suppressing grey squirrel populations

description: Data for use with File S4, red squirrel detections and covariates for occupancy analysis
DOI: 10.6084/m9.figshare.5918989
title: Data S10 from The enemy of my enemy is my friend: Native pine marten recovery reverses the decline of the red squirrel by suppressing grey squirrel populations

description: Data for use with File S8, pine marten trap locations: “traps.csv”
DOI: 10.6084/m9.figshare.5918989.v1
title: Data S10 from The enemy of my enemy is my friend: Native pine marten recovery reverses the decline of the red squirrel by suppressing grey squirrel populations

description: Data for use with File S8, pine marten trap locations: “traps.csv”
DOI: 10.6084/m9.figshare.5918983
title: Data S9 from The enemy of my enemy is my friend: Native pine marten recovery reverses the decline of the red squirrel by suppressing grey squirrel populations

description: Data for use with File S8, pine marten encounter histories: “enc.csv”
DOI: 10.6084/m9.figshare.5918983.v1
title: Data S9 from The enemy of my enemy is my friend: Native pine marten recovery reverses the decline of the red squirrel by suppressing grey squirrel populations

description: Data for use with File S8, pine marten encounter histories: “enc.csv”
DOI: 10.6084/m9.figshare.5918980
title: Data S12 from The enemy of my enemy is my friend: Native pine marten recovery reverses the decline of the red squirrel by suppressing grey squirrel populations

description: Data for use with File S3, grey squirrel detections and covariates for occupancy analysis
DOI: 10.6084/m9.figshare.5918980.v1
title: Data S12 from The enemy of my enemy is my friend: Native pine marten recovery reverses the decline of the red squirrel by suppressing grey squirrel populations

description: Data for use with File S3, grey squirrel detections and covariates for occupancy analysis
DOI: 10.6084/m9.figshare.5918941
title: Supporting data from Heel impact forces during barefoot versus minimally shod walking among Tarahumara subsistence farmers and urban Americans

description: Spreadsheet of data collected and analysed.
DOI: 10.6084/m9.figshare.5918941.v1
title: Supporting data from Heel impact forces during barefoot versus minimally shod walking among Tarahumara subsistence farmers and urban Americans

description: Spreadsheet of data collected and analysed.