cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.7777296
title: SMT-Solving Induction Proofs of Inequalities Benchmarking Repository

description: This repository contains the full list of files and the benchmarking results that were used in the benchmarking processes described in the paper:<br> A.K. Uncu, J.H. Davenport and M. England. "SMT-Solving Induction Proofs of Inequalities". Proceedings of the 7th International Workshop on Satisfiability Checking and Symbolic Computation (SC^2 2022). The files are split in three branches. The Mathematica and Maple files include the calls that were made to the respective computer algebra systems, and the smt2 files are the ones used by the considered SMT solvers: Z3, CVC5 and Yices. The Benchmarking Results cvc has the results. The columns record the file names, the satisfiability outcome of the calls, then the times (in seconds) of the respective programmes. Any empty box (which the Maple:-RegularChains column has) would mean that the implementation does not accept that sort of input (this is due to rational functions - see the paper for details). Any time over 1200 seconds would mean that the program times out and the outcome of the question was not found in the given time.
description: Part of this repository was submitted to the 2022 SMT-LIB benchmarks: https://github.com/SMT-LIB/benchmark-submission-2022/tree/master/non-incremental/QF_NRA/20220314-Uncu
DOI: 10.5281/zenodo.7777297
title: SMT-Solving Induction Proofs of Inequalities Benchmarking Repository

description: This repository contains the full list of files and the benchmarking results that were used in the benchmarking processes described in the paper:<br> A.K. Uncu, J.H. Davenport and M. England. "SMT-Solving Induction Proofs of Inequalities". Proceedings of the 7th International Workshop on Satisfiability Checking and Symbolic Computation (SC^2 2022). The files are split in three branches. The Mathematica and Maple files include the calls that were made to the respective computer algebra systems, and the smt2 files are the ones used by the considered SMT solvers: Z3, CVC5 and Yices. The Benchmarking Results cvc has the results. The columns record the file names, the satisfiability outcome of the calls, then the times (in seconds) of the respective programmes. Any empty box (which the Maple:-RegularChains column has) would mean that the implementation does not accept that sort of input (this is due to rational functions - see the paper for details). Any time over 1200 seconds would mean that the program times out and the outcome of the question was not found in the given time.
description: Part of this repository was submitted to the 2022 SMT-LIB benchmarks: https://github.com/SMT-LIB/benchmark-submission-2022/tree/master/non-incremental/QF_NRA/20220314-Uncu
DOI: 10.6084/m9.figshare.24147759
title: Butterfly Chaos, Lissajous curvas - Rotina no programa Python para criação de gráficos dinâmicos. Tese de Doutorado de Luísa Beatriz Trevisan Teixeira, PPGCMH, Universidade federal do Rio Grande do Sul, Bolsa de Pesquisa de Doutorado da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), por meio do Edital público é o de nº 05/2021, Pesquisa orientada pelo Professor Dr Jerri Luiz Ribeiro.

description: Dados em dois arquivos: na língua inglesa e em português (Brasil).Os gráficos foram produzidos a partir dos dados contidos em: "Protocolo de corpo inteiro para análise tridimensional em dança - Protocolo de corpo inteiro para análise tridimensional em dança - TESE LUISA BEATRIZ TREVISAN TEIXEIRA", de acesso aberto.A pesquisa teve <b>Bolsa de Pesquisa de Doutorado da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), por meio do Edital público é o de nº 05/2021</b>Bio
DOI: 10.6084/m9.figshare.24147759.v1
title: Butterfly Chaos, Lissajous curvas - Rotina no programa Python para criação de gráficos dinâmicos. Tese de Doutorado de Luísa Beatriz Trevisan Teixeira, PPGCMH, Universidade federal do Rio Grande do Sul, Bolsa de Pesquisa de Doutorado da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), por meio do Edital público é o de nº 05/2021, Pesquisa orientada pelo Professor Dr Jerri Luiz Ribeiro.

description: Dados em dois arquivos: na língua inglesa e em português (Brasil).Os gráficos foram produzidos a partir dos dados contidos em: "Protocolo de corpo inteiro para análise tridimensional em dança - Protocolo de corpo inteiro para análise tridimensional em dança - TESE LUISA BEATRIZ TREVISAN TEIXEIRA", de acesso aberto.A pesquisa teve <b>Bolsa de Pesquisa de Doutorado da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), por meio do Edital público é o de nº 05/2021</b>Bio
DOI: 10.6084/m9.figshare.24147819.v1
title: Dataset of prevalence and associated factors of undiagnosed hypertension in Ethiopia

description: This si data set on undiagnosed hypertension in Ethiopia
DOI: 10.6084/m9.figshare.24147924
title: 20230916_starrydata2

description: All data on Starrydata2, a database of experimental properties in the field of inorganic materials
DOI: 10.6084/m9.figshare.24147924.v1
title: 20230916_starrydata2

description: All data on Starrydata2, a database of experimental properties in the field of inorganic materials
DOI: 10.6084/m9.figshare.24147939
title: R script from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.
DOI: 10.6084/m9.figshare.24147939.v1
title: R script from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.
DOI: 10.6084/m9.figshare.24147942
title: datasets from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.
DOI: 10.6084/m9.figshare.24147942.v1
title: datasets from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.
DOI: 10.6084/m9.figshare.24147945
title: datasets from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.
DOI: 10.6084/m9.figshare.24147945.v1
title: datasets from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.
DOI: 10.6084/m9.figshare.24147948
title: datasets from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.
DOI: 10.6084/m9.figshare.24147948.v1
title: datasets from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.
DOI: 10.6084/m9.figshare.24147951
title: datasets from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.
DOI: 10.6084/m9.figshare.24147951.v1
title: datasets from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.
DOI: 10.6084/m9.figshare.24147954
title: datasets from Impacts of artificial light at night on the early life history of two ecosystem engineers

description: Sessile marine invertebrates play a vital role as ecosystem engineers and in benthic–pelagic coupling. Most benthic fauna develop through larval stages and the importance of natural light cycles for larval biology and ecology is long-established. Natural light–dark cycles regulate two of the largest ocean-scale processes that are fundamental to larvae's life cycle: the timing of broadcast spawning for successful fertilization and diel vertical migration for foraging and predator avoidance. Given the reliance on light and the ecological role of larvae, surprisingly little is known about the impacts of artificial light at night (ALAN) on the early life history of habitat-forming species. We quantified ALAN impacts on larval performance (survival, growth, development) of two cosmopolitan ecosystem engineers in temperate marine ecosystems, the mussel <i>Mytilus edulis</i> and the barnacle <i>Austrominius modestus</i>. Higher ALAN irradiance reduced survival in both species (57% and 13%, respectively). ALAN effects on development and growth were small overall, and different between species, time-points, and parentage. Our results show that ALAN adversely affects larval survival and reiterates the importance of paternal influence on offspring performance. ALAN impacts on the early life stages of ecosystem engineering species have implications not only for population viability but also the ecological communities these species support.This article is part of the theme issue ‘Light pollution in complex ecological systems’.