cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.6084/m9.figshare.5928262.v1
title: Alpha lipoid

description: It made me sick
DOI: 10.6084/m9.figshare.5928163
title: odba data for curve.xlsx

description: Binned overall dynamic body acceleration data for free-swimming tiger sharks at a range of temperatures. Data from Payne NL, Meyer CG, Smith JA,et al. Combining abundance and performance data revealshow temperature regulates coastal occurrences and activityof a roaming apex predator. Glob Change Biol. 2018;00:1–10.https://doi.org/10.1111/gcb.14088
DOI: 10.6084/m9.figshare.5928163.v1
title: odba data for curve.xlsx

description: Binned overall dynamic body acceleration data for free-swimming tiger sharks at a range of temperatures. Data from Payne NL, Meyer CG, Smith JA,et al. Combining abundance and performance data revealshow temperature regulates coastal occurrences and activityof a roaming apex predator. Glob Change Biol. 2018;00:1–10.https://doi.org/10.1111/gcb.14088
DOI: 10.6084/m9.figshare.5928151
title: Custom HMM files

description: These are the protein sequences, alignments and HMM profiles for the custom protein families used in the article.
DOI: 10.6084/m9.figshare.5928112
title: Dataset for: Using Accelerated Drug Stability Results to Inform Long-Term Studies in Shelf-Life Determination

description: In the pharmaceutical industry, the shelf-life of a drug product is determined by data gathered from stability studies and is intended to provide consumers with a high degree of confidence that the drug retains its strength, quality, and purity under appropriate storage conditions. In this paper we focus on liquid drug formulations and propose a Bayesian approach to estimate a drug product's shelf-life, where prior knowledge gained from the accelerated study conducted during the drug development stage is used to inform the long-term study. Classical and non-linear Arrhenius regression models are considered for the accelerated conditions, and two examples are given where posterior results from the accelerated study are used to construct priors for a long-term stability study.
DOI: 10.6084/m9.figshare.5928112.v1
title: Dataset for: Using Accelerated Drug Stability Results to Inform Long-Term Studies in Shelf-Life Determination

description: In the pharmaceutical industry, the shelf-life of a drug product is determined by data gathered from stability studies and is intended to provide consumers with a high degree of confidence that the drug retains its strength, quality, and purity under appropriate storage conditions. In this paper we focus on liquid drug formulations and propose a Bayesian approach to estimate a drug product's shelf-life, where prior knowledge gained from the accelerated study conducted during the drug development stage is used to inform the long-term study. Classical and non-linear Arrhenius regression models are considered for the accelerated conditions, and two examples are given where posterior results from the accelerated study are used to construct priors for a long-term stability study.
DOI: 10.6084/m9.figshare.5928094
title: Prototype and benchmarks for "Invariant Synthesis for Incomplete Verification Engines"

description: This dataset contains the prototype and benchmarks described in the paper "<i>Invariant Synthesis for Incomplete Verification Engines</i>". The software and data comprise a general, learning-based invariant synthesis framework that learns invariants using non-provability information provided by verification engines.<br>This artifact has been designed and tested on the TACAS 2018 Artifact Evaluation VM: Hartmanns, Arnd; Wendler, Philipp (2018). figshare. https://doi.org/10.6084/m9.figshare.5896615. However, it is likely to run on any 64-bit Linux environment. <br> This artifact contains precompiled binaries (located in .<b>/binaries</b>) as well as sources (located in .<b>/sources</b>). To reproduce the experimental results reported in the paper, we highly recommend using the precompiled binaries. However, for users to compile the sources themselves, please follow the instructions at the end of this document. <br> Our tool is built on top of the Boogie program verifier and the Z3 theorem prover. These tools are interfaced via various scripts as described below.<br>This artifact contains two sets of benchmarks: heap-manipulating programs (located in <b>./heaps</b>) and programs whose specifications involve universal quantification (located in <b>./quantifier</b>). All benchmarks are provided as .bpl programs (Boogie verification language). In the case of heap-manipulating programs, this archive also contains the original C programs from which the .bpl programs have been generated using VCDryad. To perform the natural proofs transformation and generation of Boogie programs yourself, please follow the instructions in the README.txt file. The quantifier benchmarks were hand-crafted.<br>The .<b>/sources</b> subdirectory contains scripts and documentation for both the intermediate verification language Boogie and the SMT solver Z3. <br>The binaries to compile both Boogie and node.js are located in <b>./binaries. </b>The individual shell scripts (<b>.sh</b>) at the highest level directory can be used to run individual experiments.<br><b>Backgound</b><br>In the related TACAS 2018 publication we propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synthesis principle (CEGIS) and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely how the verification engine can compute such non-provability information and how to build effective learning algorithms when invariants are expressed as Boolean combinations of a fixed set of predicates. Moreover, we evaluate our framework in two verification settings, one in which verification engines need to handle quantified formulas and one in which verification engines have to reason about heap properties expressed in an expressive but undecidable separation logic. <br>
DOI: 10.6084/m9.figshare.5928094.v1
title: Prototype and benchmarks for "Invariant Synthesis for Incomplete Verification Engines"

description: This dataset contains the prototype and benchmarks described in the paper "<i>Invariant Synthesis for Incomplete Verification Engines</i>". The software and data comprise a general, learning-based invariant synthesis framework that learns invariants using non-provability information provided by verification engines.<br>This artifact has been designed and tested on the TACAS 2018 Artifact Evaluation VM: Hartmanns, Arnd; Wendler, Philipp (2018). figshare. https://doi.org/10.6084/m9.figshare.5896615. However, it is likely to run on any 64-bit Linux environment. <br> This artifact contains precompiled binaries (located in .<b>/binaries</b>) as well as sources (located in .<b>/sources</b>). To reproduce the experimental results reported in the paper, we highly recommend using the precompiled binaries. However, for users to compile the sources themselves, please follow the instructions at the end of this document. <br> Our tool is built on top of the Boogie program verifier and the Z3 theorem prover. These tools are interfaced via various scripts as described below.<br>This artifact contains two sets of benchmarks: heap-manipulating programs (located in <b>./heaps</b>) and programs whose specifications involve universal quantification (located in <b>./quantifier</b>). All benchmarks are provided as .bpl programs (Boogie verification language). In the case of heap-manipulating programs, this archive also contains the original C programs from which the .bpl programs have been generated using VCDryad. To perform the natural proofs transformation and generation of Boogie programs yourself, please follow the instructions in the README.txt file. The quantifier benchmarks were hand-crafted.<br>The .<b>/sources</b> subdirectory contains scripts and documentation for both the intermediate verification language Boogie and the SMT solver Z3. <br>The binaries to compile both Boogie and node.js are located in <b>./binaries. </b>The individual shell scripts (<b>.sh</b>) at the highest level directory can be used to run individual experiments.<br><b>Backgound</b><br>In the related TACAS 2018 publication we propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synthesis principle (CEGIS) and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely how the verification engine can compute such non-provability information and how to build effective learning algorithms when invariants are expressed as Boolean combinations of a fixed set of predicates. Moreover, we evaluate our framework in two verification settings, one in which verification engines need to handle quantified formulas and one in which verification engines have to reason about heap properties expressed in an expressive but undecidable separation logic. <br>
DOI: 10.6084/m9.figshare.5928076.v1
title: New Zealand teens’ digital profile: A factsheet

description: The purpose of this factsheet is to present findings regarding New Zealand teens’ use, and attitudes towards, digital technologies and online safety. These findings are part of a larger quantitative study about experiences of risks and harm online. The study is led by Netsafe in partnership with the Ministry for Women. <br>The factsheet provides government agencies with evidence-based insights that can inform policy development and identify ways to help young New Zealanders manage their digital lives.
DOI: 10.6084/m9.figshare.5928007
title: Dataset for: Neural Substrates for Allocentric-to-Egocentric Conversion of Remembered Reach Targets in Humans

description: Targets for goal-directed action can be encoded in allocentric coordinates (relative to another visual landmark), but it is not known how these are converted into egocentric commands for action. Here, we investigated this using a slow event-related fMRI paradigm, based on our previous behavioral finding that the Allocentric to Egocentric (Allo-Ego) conversion for reach is done at the first possible opportunity. Participants were asked to remember (and eventually reach toward) the location of a briefly presented target relative to another visual landmark. After a 1st memory delay, participants were forewarned by a verbal instruction if the landmark would reappear at the same location, (potentially allowing them to plan a reach following the auditory cue before the 2nd delay), or at a different location where they had to wait for the final landmark to be presented before response, and then reach toward the remembered target location. As predicted, participants showed landmark-centered directional selectivity in occipital-temporal cortex during the first memory delay, only developed egocentric directional selectivity in occipital-parietal cortex during the second delay for the “Same cue” task, and during response for the “Different cue” task. We then compared cortical activation between these two tasks at the times when the Allo-Ego conversion occurred, and found common activation in right precuneus, right pre-supplementary area and bilateral dorsal premotor cortex. These results confirm that the brain converts allocentric codes to egocentric plans at the first possible opportunity, and identify the four most likely candidate sites specific to the Allo-Ego transformation for reaches.
DOI: 10.6084/m9.figshare.5928007.v1
title: Dataset for: Neural Substrates for Allocentric-to-Egocentric Conversion of Remembered Reach Targets in Humans

description: Targets for goal-directed action can be encoded in allocentric coordinates (relative to another visual landmark), but it is not known how these are converted into egocentric commands for action. Here, we investigated this using a slow event-related fMRI paradigm, based on our previous behavioral finding that the Allocentric to Egocentric (Allo-Ego) conversion for reach is done at the first possible opportunity. Participants were asked to remember (and eventually reach toward) the location of a briefly presented target relative to another visual landmark. After a 1st memory delay, participants were forewarned by a verbal instruction if the landmark would reappear at the same location, (potentially allowing them to plan a reach following the auditory cue before the 2nd delay), or at a different location where they had to wait for the final landmark to be presented before response, and then reach toward the remembered target location. As predicted, participants showed landmark-centered directional selectivity in occipital-temporal cortex during the first memory delay, only developed egocentric directional selectivity in occipital-parietal cortex during the second delay for the “Same cue” task, and during response for the “Different cue” task. We then compared cortical activation between these two tasks at the times when the Allo-Ego conversion occurred, and found common activation in right precuneus, right pre-supplementary area and bilateral dorsal premotor cortex. These results confirm that the brain converts allocentric codes to egocentric plans at the first possible opportunity, and identify the four most likely candidate sites specific to the Allo-Ego transformation for reaches.
DOI: 10.6084/m9.figshare.5927989
title: Supplementary Material for: Olanzapine Reversed Brain Gene Expression Changes Induced by Phencyclidine Treatment in Non-Human Primates

description: The NMDA receptor antagonist phencyclidine (PCP) creates schizophrenia-like symptoms in normal controls. The effect of PCP on non-human primate brain gene expression was examined and compared to changes induced by olanzapine treatment. Experimental studies of PCP and antipsychotic drugs have direct relevance to understanding the pathophysiology and treatment of schizophrenia. Genome-wide changes in prefrontal cortex gene expression revealed alterations of 146 transcripts in the PCP treatment group compared to vehicle controls. Dysregulated genes were enriched in identified classes implicated in neurological and genetic disorders, including schizophrenia genes from the Psychiatric Genomics Consortium 108 loci as well as cell death in PCP-treated primates. Canonical pathway analysis revealed a significant overrepresentation of several groups including synaptic long-term potentiation and calcium signaling. Olanzapine coadministered with PCP normalized 34% of the 146 PCP-induced probe set expression changes, and a network of 17 olanzapine-normalized genes was identified enriched in schizophrenia candidate genes containing RGS4, SYN1 and AKT as nodes. The results of this study support the use of PCP administration in non-human primates as a glutamatergic model of schizophrenia and suggest that a large number of PCP-induced expression differences can be reversed by olanzapine. The results of this study may be informative for identification of potential candidates for pharmacogenetics and biomarker research related to the treatment of schizophrenia.
DOI: 10.6084/m9.figshare.5927989.v1
title: Supplementary Material for: Olanzapine Reversed Brain Gene Expression Changes Induced by Phencyclidine Treatment in Non-Human Primates

description: The NMDA receptor antagonist phencyclidine (PCP) creates schizophrenia-like symptoms in normal controls. The effect of PCP on non-human primate brain gene expression was examined and compared to changes induced by olanzapine treatment. Experimental studies of PCP and antipsychotic drugs have direct relevance to understanding the pathophysiology and treatment of schizophrenia. Genome-wide changes in prefrontal cortex gene expression revealed alterations of 146 transcripts in the PCP treatment group compared to vehicle controls. Dysregulated genes were enriched in identified classes implicated in neurological and genetic disorders, including schizophrenia genes from the Psychiatric Genomics Consortium 108 loci as well as cell death in PCP-treated primates. Canonical pathway analysis revealed a significant overrepresentation of several groups including synaptic long-term potentiation and calcium signaling. Olanzapine coadministered with PCP normalized 34% of the 146 PCP-induced probe set expression changes, and a network of 17 olanzapine-normalized genes was identified enriched in schizophrenia candidate genes containing RGS4, SYN1 and AKT as nodes. The results of this study support the use of PCP administration in non-human primates as a glutamatergic model of schizophrenia and suggest that a large number of PCP-induced expression differences can be reversed by olanzapine. The results of this study may be informative for identification of potential candidates for pharmacogenetics and biomarker research related to the treatment of schizophrenia.
DOI: 10.6084/m9.figshare.5927977
title: Facial attractiveness impressions precede trustworthiness inferences: lower detection thresholds and faster decision latencies

description: Prior research has found a relationship between perceived facial attractiveness and perceived personal trustworthiness. We examined the time course of attractiveness relative to trustworthiness evaluation of emotional and neutral faces. This served to explore whether attractiveness might be used as an easily accessible cue and a quick shortcut for judging trustworthiness. Detection thresholds and judgment latencies as a function of expressive intensity were measured. Significant correlations between attractiveness and trustworthiness consistently held for six emotional expressions at four intensities, and neutral faces. Importantly, perceived attractiveness preceded perceived trustworthiness, with lower detection thresholds and shorter decision latencies. This reveals a time course advantage for attractiveness, and suggests that earlier attractiveness impressions could bias trustworthiness inferences. A heuristic cognitive mechanism is hypothesised to ease processing demands by relying on simple and observable clues (attractiveness) as a substitute for more complex and not easily accessible information (trustworthiness).
DOI: 10.6084/m9.figshare.5927977.v1
title: Facial attractiveness impressions precede trustworthiness inferences: lower detection thresholds and faster decision latencies

description: Prior research has found a relationship between perceived facial attractiveness and perceived personal trustworthiness. We examined the time course of attractiveness relative to trustworthiness evaluation of emotional and neutral faces. This served to explore whether attractiveness might be used as an easily accessible cue and a quick shortcut for judging trustworthiness. Detection thresholds and judgment latencies as a function of expressive intensity were measured. Significant correlations between attractiveness and trustworthiness consistently held for six emotional expressions at four intensities, and neutral faces. Importantly, perceived attractiveness preceded perceived trustworthiness, with lower detection thresholds and shorter decision latencies. This reveals a time course advantage for attractiveness, and suggests that earlier attractiveness impressions could bias trustworthiness inferences. A heuristic cognitive mechanism is hypothesised to ease processing demands by relying on simple and observable clues (attractiveness) as a substitute for more complex and not easily accessible information (trustworthiness).
DOI: 10.6084/m9.figshare.5927971
title: Why anything rather than nothing? The answer of quantum mechanics

description: The state of nothing is not stable. The physical nothing is not a general vacuum. The being is less than nothing. The creation is taking away from the nothing. Time is the destruction of symmetry. The creation need not any (external) cause.The state of nothing passes spontaneously (by itself) in the state of being: this repersents the "creation". The transition of nothing into being is mathematically necessary. The choice (which can be interperted philosophiocally as "free will") appears necessarily according to mathematical reasons. The choice generates asymmetry, which is the beginning of time and thus, of the physical world. Information is the quantity of choices and linked to time intimately.<br><br>
DOI: 10.6084/m9.figshare.5927971.v3
title: Why anything rather than nothing? The answer of quantum mechanics

description: The state of nothing is not stable. The physical nothing is not a general vacuum. The being is less than nothing. The creation is taking away from the nothing. Time is the destruction of symmetry. The creation need not any (external) cause.The state of nothing passes spontaneously (by itself) in the state of being: this repersents the "creation". The transition of nothing into being is mathematically necessary. The choice (which can be interperted philosophiocally as "free will") appears necessarily according to mathematical reasons. The choice generates asymmetry, which is the beginning of time and thus, of the physical world. Information is the quantity of choices and linked to time intimately.<br><br>
DOI: 10.6084/m9.figshare.5927971.v2
title: Why anything rather than nothing? The answer of quantum mechanics

description: The state of nothing is not stable. The physical nothing is not a general vacuum. The being is less than nothing. The creation is taking away from the nothing. Time is the destruction of symmetry. The creation need not any (external) cause.The state of nothing passes spontaneously (by itself) in the state of being: this repersents the "creation". The transition of nothing into being is mathematically necessary. The choice (which can be interperted philosophiocally as "free will") appears necessarily according to mathematical reasons. The choice generates asymmetry, which is the beginning of time and thus, of the physical world. Information is the quantity of choices and linked to time intimately.<br><br>
DOI: 10.6084/m9.figshare.5927935
title: Serum uric acid levels and outcome during admission in acute ischaemic stroke, depending on renal function

description: <b>Background:</b> The relationship between serum uric acid (SUA) levels and stroke is controversial. The discrepancies in the results could be due to the uneven setting of comorbidity. It is known that hyperuricaemia increases in parallel with the decline in renal function; however, there are few studies that adjust for renal disease. <b>Aim:</b> To investigate the relationship between SUA levels in the acute phase of ischaemic stroke according to the presence or absence of chronic kidney disease and clinical outcomes during admission. <b>Methods:</b> Retrospective cross-sectional analysis of patients recruited through a unicentric stroke registry. The sample was divided according to its quartiles of SUA. Renal disease was defined based on the haematocrit, urea and Gender (HUGE) formula. The outcome was determined by the National Institutes of Health Stroke Scale (NIHSS) score. Statistically robust methods were used with R (version 3.3.2). <b>Results:</b> A total of 412 patients (53.8% male) were analysed. The NIHSS score decreased as the SUA levels increased (<i>p</i> &lt; 0.0009). Robust linear regression analysis showed a significant association between quantitative SUA levels and NIHSS score (<i>p</i> &lt; 0.0003), even when patients were categorized according to renal function (<i>p</i> &lt; 0.05). In an adjusted multivariate model, SUA levels showed an independent protective effect on the severity of stroke (OR = 0.67, 95% CI 0.51–0.88, <i>p</i> = 0.004). <b>Conclusions:</b> Our results support the hypothesis that hyperuricaemia plays a protective role in the prognosis of stroke, independently from renal function, and that even in patients with chronic kidney disease, it remains as a protective agent.