cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.6084/m9.figshare.5917399.v2
title: Fair Shares: A Civil Society Equity Review of INDCs

description: This equity review of INDCs was undertaken by a very broad and diverse coalition of civil society organizations, social movements and NGOs to assess the ambition and fairness of the climate action pledges (INDCs) put forward by countries in the lead-up to the 2015 Paris Climate Summit (UNFCCC COP21). It was the first such assessment that considered the ambition of individual countries pledges and assessed them relative to benchmarks that correspond to countries' fair shares of the global mitigation effort.
DOI: 10.6084/m9.figshare.5917384
title: Revisiting Enumerative Instantiation - Artifact

description: This artifact contains the binaries of the SMT solvers CVC4 and Z3, the benchmarks on which they were evaluated, and the running scripts for each configuration evaluated. An overview of the results obtained from this evaluation in the StarExec cluster is presented in Section 5 of the TACAS 2018 proceedings paper:<br><i>Revisiting Enumerative Instantiation</i>Andrew Reynolds, Haniel Barbosa, and Pascal Fontaine24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Thessaloniki, Grécia.<br>The related paper presents a strengthened version of the Herbrand theorem, designed as an better-suited basis for the instantiation loop used in SMT solvers. The experimental evaluation code employs different strategies of effectively combining enumerative instantiation with other instantiation techniques.<br>The subdirectory <b>benchmarks </b>contains a bash shell script (.sh) to be used in conjunction with the TPTP benchmarks accessible via http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v7.0.0.tgz see <b>readme.txt</b> for more detailed instructions on how to use the artifact.<br>The subdirectory <b>solvers </b>contains archived CVC4 and Z3 solvers; corresponding to the experimental evaluation of different enumerative instantiation strategies. All results were produced on <b>StarExec</b>, a public execution service for running comparative evaluations of solvers, with a timeout of 300 seconds.<br>All files are in openly-accessible text format holding bash shell scripts or documentation such as READMEs.
DOI: 10.6084/m9.figshare.5917384.v1
title: Revisiting Enumerative Instantiation - Artifact

description: This artifact contains the binaries of the SMT solvers CVC4 and Z3, the benchmarks on which they were evaluated, and the running scripts for each configuration evaluated. An overview of the results obtained from this evaluation in the StarExec cluster is presented in Section 5 of the TACAS 2018 proceedings paper:<br><i>Revisiting Enumerative Instantiation</i>Andrew Reynolds, Haniel Barbosa, and Pascal Fontaine24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Thessaloniki, Grécia.<br>The related paper presents a strengthened version of the Herbrand theorem, designed as an better-suited basis for the instantiation loop used in SMT solvers. The experimental evaluation code employs different strategies of effectively combining enumerative instantiation with other instantiation techniques.<br>The subdirectory <b>benchmarks </b>contains a bash shell script (.sh) to be used in conjunction with the TPTP benchmarks accessible via http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v7.0.0.tgz see <b>readme.txt</b> for more detailed instructions on how to use the artifact.<br>The subdirectory <b>solvers </b>contains archived CVC4 and Z3 solvers; corresponding to the experimental evaluation of different enumerative instantiation strategies. All results were produced on <b>StarExec</b>, a public execution service for running comparative evaluations of solvers, with a timeout of 300 seconds.<br>All files are in openly-accessible text format holding bash shell scripts or documentation such as READMEs.
DOI: 10.6084/m9.figshare.5917381
title: Implications of grass–clover interactions in dairy pastures for forage indexing systems. 3. Manawatu

description: The implementation and monitoring of the treatments in the core experiment (eight perennial ryegrass cultivars grown under four combinations of plus/minus clover and high/low nitrogen (N)) at a dryland Manawatu site are described. Herbage accumulation (HA) was significantly greater for high N than for low N in 14 out of 21 annual and seasonal totals. There were no significant main effects of clover and there were no interactions between clover and N level. With the exception of autumn 2016, there were significant differences among ryegrass cultivars in all seasons, but no clover × cultivar or N × cultivar interactions for HA or nutritive value (NV). With the caveat that successive droughts reduced the proportion of white clover to low levels, the hypothesis that relative HA or NV rankings of ryegrass cultivars do not differ when ryegrass is grown in monoculture or in mixtures with white clover is supported.
DOI: 10.6084/m9.figshare.5917381.v1
title: Implications of grass–clover interactions in dairy pastures for forage indexing systems. 3. Manawatu

description: The implementation and monitoring of the treatments in the core experiment (eight perennial ryegrass cultivars grown under four combinations of plus/minus clover and high/low nitrogen (N)) at a dryland Manawatu site are described. Herbage accumulation (HA) was significantly greater for high N than for low N in 14 out of 21 annual and seasonal totals. There were no significant main effects of clover and there were no interactions between clover and N level. With the exception of autumn 2016, there were significant differences among ryegrass cultivars in all seasons, but no clover × cultivar or N × cultivar interactions for HA or nutritive value (NV). With the caveat that successive droughts reduced the proportion of white clover to low levels, the hypothesis that relative HA or NV rankings of ryegrass cultivars do not differ when ryegrass is grown in monoculture or in mixtures with white clover is supported.
DOI: 10.6084/m9.figshare.5917363
title: Verified Model Checking of Timed Automata -- Artifact

description: This dataset, corresponding to the TACAS 2018 submission"Verified Model Checking of Timed Automata", contains source code, dependencies and instructions to build the tool described, as well as the benchmarks used to evaluate it.<br>The tool presented here, munta, constitutes a fully verified model checker for timed automata, a widely used formalism for modeling real-time systems. munta is not intended to replace existing model checkers, but rather a sufficiently performant reference implementation against which other implementations can be validated. It also aims for high feature compatibility with the state-of-the-art model checker Uppaal.<br>munta is implemented in Standard ML using the proof assistant Isabelle/HOL.<br>munta's source code is provided in the directory <b>munta</b>. The sub-directory <b>benchmarks </b>contains the standard benchmark models used to evaluate the tool, as described in section 6 of the related manuscript. Benchmarks are implemented in minimally pre-processed Uppaal bytecode.<br>The open-source Standard ML compiler mlton must be installed in order to run munta. A copy of this is provided in the directory <b>mlton</b>.<br>Sources included in the <b>munta </b>directory can be viewed interactively in Isabelle. In order to do so, Isabelle and the AFP must be installed. These are provided in the directories <b>Isabelle2017 </b>and <b>afp </b>respectively.<br>Detailed installation instructions are provided in <b>README.md</b>.
DOI: 10.6084/m9.figshare.5917363.v1
title: Verified Model Checking of Timed Automata -- Artifact

description: This dataset, corresponding to the TACAS 2018 submission"Verified Model Checking of Timed Automata", contains source code, dependencies and instructions to build the tool described, as well as the benchmarks used to evaluate it.<br>The tool presented here, munta, constitutes a fully verified model checker for timed automata, a widely used formalism for modeling real-time systems. munta is not intended to replace existing model checkers, but rather a sufficiently performant reference implementation against which other implementations can be validated. It also aims for high feature compatibility with the state-of-the-art model checker Uppaal.<br>munta is implemented in Standard ML using the proof assistant Isabelle/HOL.<br>munta's source code is provided in the directory <b>munta</b>. The sub-directory <b>benchmarks </b>contains the standard benchmark models used to evaluate the tool, as described in section 6 of the related manuscript. Benchmarks are implemented in minimally pre-processed Uppaal bytecode.<br>The open-source Standard ML compiler mlton must be installed in order to run munta. A copy of this is provided in the directory <b>mlton</b>.<br>Sources included in the <b>munta </b>directory can be viewed interactively in Isabelle. In order to do so, Isabelle and the AFP must be installed. These are provided in the directories <b>Isabelle2017 </b>and <b>afp </b>respectively.<br>Detailed installation instructions are provided in <b>README.md</b>.
DOI: 10.6084/m9.figshare.5917333
title: Response Surface Optimization in the Presence of Internal Noise With Application to Optimal Alignment of Carbon Nanotubes

description: Internal noise, which means fluctuation of input factors around their set values, is common in many experiments in the physical and engineering sciences. Existing methods for response surface optimization in the presence of internal noise typically adopt a two-step approach: (a) fitting a response model as a function of the set value and (b) using Monte Carlo methods to account for internal noise while optimizing the response. In this article, motivated by a problem in optimizing alignment of carbon nanotubes (CNT), we propose a Bayesian approach for response surface optimization in the presence of internal noise. A unit-free and interpretable measure to quantify the strength of internal noise is proposed. Suitable objective functions or performance measures consistent with the overall goal of optimizing the response function are identified, methods for estimating them from available experimental data are suggested, and simulations are conducted to compare them with respect to their ability to account for internal noise in the optimization problem. The loss accrued by ignoring the internal noise in the optimization problem is quantified and studied via simulation. The proposed method is demonstrated through its application in the CNT alignment problem.
DOI: 10.6084/m9.figshare.5917333.v2
title: Response Surface Optimization in the Presence of Internal Noise With Application to Optimal Alignment of Carbon Nanotubes

description: Internal noise, which means fluctuation of input factors around their set values, is common in many experiments in the physical and engineering sciences. Existing methods for response surface optimization in the presence of internal noise typically adopt a two-step approach: (a) fitting a response model as a function of the set value and (b) using Monte Carlo methods to account for internal noise while optimizing the response. In this article, motivated by a problem in optimizing alignment of carbon nanotubes (CNT), we propose a Bayesian approach for response surface optimization in the presence of internal noise. A unit-free and interpretable measure to quantify the strength of internal noise is proposed. Suitable objective functions or performance measures consistent with the overall goal of optimizing the response function are identified, methods for estimating them from available experimental data are suggested, and simulations are conducted to compare them with respect to their ability to account for internal noise in the optimization problem. The loss accrued by ignoring the internal noise in the optimization problem is quantified and studied via simulation. The proposed method is demonstrated through its application in the CNT alignment problem.
DOI: 10.6084/m9.figshare.5917333.v1
title: Response surface optimization in the presence of internal noise with application to optimal alignment of Carbon Nanotubes

description: Internal noise, which means fluctuation of input factors around their set values, is common in many experiments in the physical and engineering sciences. Existing methods for response surface optimization in the presence of internal noise typically adopt a two-step approach: (a) fitting a response model as a function of the set value and (b) using Monte-Carlo methods to account for internal noise while optimizing the response. In this article, motivated by a problem in optimizing alignment of carbon nanotubes (CNT), we propose a Bayesian approach for response surface optimization in the presence of internal noise. A unit-free and interpretable measure to quantify the strength of internal noise is proposed. Suitable objective functions or performance measures consistent with the overall goal of optimizing the response function are identified, methods for estimating them from available experimental data are suggested, and simulations are conducted to compare them with respect to their ability to account for internal noise in the optimization problem. The loss accrued by ignoring the internal noise in the optimization problem is quantified and studied via simulation. The proposed method is demonstrated through its application in the CNT alignment problem.
DOI: 10.6084/m9.figshare.5917267
title: Stream invertebrate data and local habitat variables from 120 New Zealand streams

description: Benthic invertebrate data, accompanied by local habitat variables. Collected February-April 2006. Details of units and sampling can be found in the preprint at bioRxiv (https://doi.org/10.1101/084673). <br>
DOI: 10.6084/m9.figshare.5917234
title: Poles_backpack_Brito et al.sav

description: This study evaluates the effects of the use of backpack load and trekking poles on field track walking energy expenditure. 20 male volunteers pole walkers for more than 6 months (age: 22.70 ± 2.89 years; body mass: 77.90 ± 11.19 kg; height: 1.77 ± 0.06 m; percentage of body fat: 14.6 ± 6.0%) walked at a self-selected pace along a pedestrian field track. Each subject was examined at random to four walking conditions: non-poles and non-load, with poles and non-load, non-poles and with load, with poles and with load. Heart rate, oxygen uptake and energy expenditure were continuously recorded by a portable telemetric system. Non-load walking speed was lower during walking with poles, when compared with no poles (<i>p</i>£ 0.05). Oxygen uptake, energy expenditure and heart rate varied significantly across different conditions. Our results suggest that the use of trekking poles does not influence energy expenditure when walking without an additional load, but it can have an effect during backpack load walking. Moreover, our results indicate that the use of trekking poles may not be helpful to lower the exertion perceived by the subjects when walking with an additional load.
DOI: 10.6084/m9.figshare.5917234.v1
title: Poles_backpack_Brito et al.sav

description: This study evaluates the effects of the use of backpack load and trekking poles on field track walking energy expenditure. 20 male volunteers pole walkers for more than 6 months (age: 22.70 ± 2.89 years; body mass: 77.90 ± 11.19 kg; height: 1.77 ± 0.06 m; percentage of body fat: 14.6 ± 6.0%) walked at a self-selected pace along a pedestrian field track. Each subject was examined at random to four walking conditions: non-poles and non-load, with poles and non-load, non-poles and with load, with poles and with load. Heart rate, oxygen uptake and energy expenditure were continuously recorded by a portable telemetric system. Non-load walking speed was lower during walking with poles, when compared with no poles (<i>p</i>£ 0.05). Oxygen uptake, energy expenditure and heart rate varied significantly across different conditions. Our results suggest that the use of trekking poles does not influence energy expenditure when walking without an additional load, but it can have an effect during backpack load walking. Moreover, our results indicate that the use of trekking poles may not be helpful to lower the exertion perceived by the subjects when walking with an additional load.
DOI: 10.6084/m9.figshare.5917225
title: Topical essential fatty acid oil on wounds: local and systemic effects

description: These are data for the article published in PLoS One entitled <b>Topical essential fatty acid oil on wounds: local and systemic effects</b>
DOI: 10.6084/m9.figshare.5917225.v1
title: Topical essential fatty acid oil on wounds: local and systemic effects

description: These are data for the article published in PLoS One entitled <b>Topical essential fatty acid oil on wounds: local and systemic effects</b>
DOI: 10.6084/m9.figshare.5917219
title: True model parameters of the simulated data

description: The true model parameters corresponding to the simulated data
DOI: 10.6084/m9.figshare.5917219.v1
title: True model parameters of the simulated data

description: The true model parameters corresponding to the simulated data
DOI: 10.6084/m9.figshare.5917216
title: Simulated data

description: All the simulated datasets analyzed in Section 4.1
DOI: 10.6084/m9.figshare.5917216.v1
title: Simulated data

description: All the simulated datasets analyzed in Section 4.1
DOI: 10.6084/m9.figshare.5917213
title: Real data

description: The two real datasets corresponding to the two sample images shown in Figure 4(a) and (d).
DOI: 10.6084/m9.figshare.5917213.v1
title: Real data

description: The two real datasets corresponding to the two sample images shown in Figure 4(a) and (d).
DOI: 10.6084/m9.figshare.5917207
title: The Limit-in Versus Limit-out Approach to the Dirac Delta

description: A critical review of the integral representation of the Dirac delta distribution regarding the strong requirements imposed on test functions and their possible disadvantages for physical theories, coupled with a new approach to the beast and a newly proposed integral representation that fulfills the sifting property for any continuous function or field. This is the final preprint to be submitted to arxiv and sent for peer review. Enjoy!
DOI: 10.6084/m9.figshare.5916628
title: data_article_Energy-momentum_cathodoluminescence_spectroscopy_of_dielectric_nanostructures

description: data from article "Energy-momentum cathodoluminescence spectroscopy of dielectric nanostructures", ACS Photonics, 2017
DOI: 10.6084/m9.figshare.5916628.v1
title: data_article_Energy-momentum_cathodoluminescence_spectroscopy_of_dielectric_nanostructures

description: data from article "Energy-momentum cathodoluminescence spectroscopy of dielectric nanostructures", ACS Photonics, 2017
DOI: 10.6084/m9.figshare.5915536
title: Custom Perl Script

description: The custom perl script used to extract precursors subjected to CID or HCD from mgf files at the end of the proteome discoverer workflow.<br>
DOI: 10.6084/m9.figshare.5915536.v1
title: Custom Perl Script

description: The custom perl script used to extract precursors subjected to CID or HCD from mgf files at the end of the proteome discoverer workflow.<br>
DOI: 10.6084/m9.figshare.5915533
title: Potential impacts of climate change on habitat suitability of <i>Fagus sylvatica</i> L. forests in spain

description: <i>Fagus sylvatica</i> forests are considered to be of Community interest according to Directive 92/43/EEC. Climate change predictions for Spain point to a warming scenario, coupled with decreasing rainfall, which may have an impact on their future distribution particularly at the extremes of its distribution area. Species distribution models incorporating bioclimatic, topographic and phytogeographic variables were used as predictors to assess their habitat suitability under current conditions and a climate change projection. Ten single models were generated and an ensemble-forecasting model was subsequently built by computing a consensus of single-model projections. The results revealed that ombrothermic indices are the main factors controlling the distribution of Spanish beech forests. They are highly vulnerable to climate change and could suffer a decline in their habitat suitability if climate trends observed are maintained in the future. The least favoured areas for them will be located close to the limit between the Temperate and Mediterranean climates, where they could suffer a loss of habitat suitability. Conversely, suitable new areas could be found mainly in western areas of the Cantabrian Range and in the Central Pyrenees.
DOI: 10.6084/m9.figshare.5915533.v1
title: Potential impacts of climate change on habitat suitability of <i>Fagus sylvatica</i> L. forests in spain

description: <i>Fagus sylvatica</i> forests are considered to be of Community interest according to Directive 92/43/EEC. Climate change predictions for Spain point to a warming scenario, coupled with decreasing rainfall, which may have an impact on their future distribution particularly at the extremes of its distribution area. Species distribution models incorporating bioclimatic, topographic and phytogeographic variables were used as predictors to assess their habitat suitability under current conditions and a climate change projection. Ten single models were generated and an ensemble-forecasting model was subsequently built by computing a consensus of single-model projections. The results revealed that ombrothermic indices are the main factors controlling the distribution of Spanish beech forests. They are highly vulnerable to climate change and could suffer a decline in their habitat suitability if climate trends observed are maintained in the future. The least favoured areas for them will be located close to the limit between the Temperate and Mediterranean climates, where they could suffer a loss of habitat suitability. Conversely, suitable new areas could be found mainly in western areas of the Cantabrian Range and in the Central Pyrenees.
DOI: 10.6084/m9.figshare.5915410
title: Optimized auxiliary basis sets for density fitted post-Hartree–Fock calculations of lanthanide containing molecules

description: Optimised auxiliary basis sets for lanthanide atoms (Ce to Lu) for four basis sets of the Karlsruhe error-balanced segmented contracted def2 - series (SVP, TZVP, TZVPP and QZVPP) are reported. These auxiliary basis sets enable the use of the resolution-of-the-identity (RI) approximation in post Hartree–Fock methods – as for example, second-order perturbation theory (MP2) and coupled cluster (CC) theory. The auxiliary basis sets are tested on an enlarged set of about a hundred molecules where the test criterion is the size of the RI error in MP2 calculations. Our tests also show that the same auxiliary basis sets can be used together with different effective core potentials. With these auxiliary basis set calculations of MP2 and CC quality can now be performed efficiently on medium-sized molecules containing lanthanides.
DOI: 10.6084/m9.figshare.5915410.v1
title: Optimized auxiliary basis sets for density fitted post-Hartree–Fock calculations of lanthanide containing molecules

description: Optimised auxiliary basis sets for lanthanide atoms (Ce to Lu) for four basis sets of the Karlsruhe error-balanced segmented contracted def2 - series (SVP, TZVP, TZVPP and QZVPP) are reported. These auxiliary basis sets enable the use of the resolution-of-the-identity (RI) approximation in post Hartree–Fock methods – as for example, second-order perturbation theory (MP2) and coupled cluster (CC) theory. The auxiliary basis sets are tested on an enlarged set of about a hundred molecules where the test criterion is the size of the RI error in MP2 calculations. Our tests also show that the same auxiliary basis sets can be used together with different effective core potentials. With these auxiliary basis set calculations of MP2 and CC quality can now be performed efficiently on medium-sized molecules containing lanthanides.