Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
412
datasets available to search
ShareScore release 0.9.0
Dataset results
412 results for “Verification”
Verification of the effects of a YouTube-based home-based (self-managed intervention) training system developed for frailty prevention―A pilot study ―
<p><em>Background and Objectives</em>: Resistance training is considered the most effective intervention for increasing older people’s muscle mass and strength. We devised a self-administered training system (squat + balance training, sukubara®) that incorporates a new low-load exercise. This study hypothesizes that introducing sukubara® affects skeletal muscle mass and physical function positively, and we first conducted a preliminary verification in healthy non-elderly participants.</p> <p><em>Materials and Methods</em>: This study’s participants were non-elderly healthy hospital personnel. Applicants were randomly assigned to two groups, a resistance training group that performed an exercise program (sukubara®) and a control group that did not, and they received a 12-week intervention. This study’s primary endpoint was change in skeletal muscle mass; the secondary endpoints were knee extension strength and one-leg standing time with eyes closed.</p> <p><em>Results</em>: An analysis of Tthe 18 participants (10 in the resistance training group and 8 in the control group), who were 18 analyzed this study’s results was performed. The results of changes in variables between both groups during the intervention period were as follows: skeletal muscle mass, knee extension strength, and one-leg standing time were significantly improved or tended to be significantly higher in a resistance training group than in a control group. <em>Conclusions</em>: A self-administered training system (sukubara®) incorporating low-load exercise resulted in muscle hypertrophy and improvement in physical function.</p>
SV-Benchmarks: Benchmark Set for Software Verification and Testing (SV-COMP 2023 and Test-Comp 2023)
<p>Full benchmark set of the</p> <ul> <li>12th Intl. Competition on Software Verification (SV-COMP 2023) and the</li> <li>5th Intl. Competition on Software Testing (Test-Comp 2023).</li> </ul> <p>Licenses are included with the source code.</p>
Results of the 12th Intl. Competition on Software Verification (SV-COMP 2023)
<p><strong>SV-COMP 2023</strong></p> <p><strong>Competition Results</strong></p> <p>This file describes the contents of an archive of the 12th Competition on Software Verification (SV-COMP 2023). <a href="https://sv-comp.sosy-lab.org/2023/">https://sv-comp.sosy-lab.org/2023/</a></p> <p>The competition was organized by Dirk Beyer, LMU Munich, Germany. More information is available in the following article: Dirk Beyer. <em>Competition on Software Verification and Witness Validation: SV-COMP 2023.</em> In Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023, Munich, April 22 - 27), 2023. Springer.</p> <p>Copyright (C) Dirk Beyer <a href="https://www.sosy-lab.org/people/beyer/">https://www.sosy-lab.org/people/beyer/</a></p> <p>SPDX-License-Identifier: CC-BY-4.0 <a href="https://spdx.org/licenses/CC-BY-4.0.html">https://spdx.org/licenses/CC-BY-4.0.html</a></p> <p>To browse the competition results with a web browser, there are two options:</p> <ul> <li>start a local web server using php -S localhost:8000 in order to view the data in this archive, or</li> <li>browse <a href="https://sv-comp.sosy-lab.org/2023/results/">https://sv-comp.sosy-lab.org/2023/results/</a> in order to view the data on the SV-COMP web page.</li> </ul> <p><strong>Contents</strong></p> <ul> <li><code>index.html</code>: directs to the overview web page of the verification track</li> <li><code>index-validation.html</code>: directs to the overview web page of the validation track</li> <li><code>LICENSE-results.txt</code>: specifies the license</li> <li><code>README-results.txt</code>: this file</li> <li><code>results-validated/</code>: results of validation runs</li> <li><code>results-verified/</code>: results of verification runs</li> </ul> <p>The folder <code>results-validated/</code> contains the results from validation runs:</p> <ul> <li> <p><code>index.html</code>: overview web page with rankings and score table</p> </li> <li> <p><code>design.css</code>: HTML style definitions</p> </li> <li> <p><code>*.results.txt</code>: TXT results from BenchExec</p> </li> <li> <p><code>*.xml.bz2</code>: XML results from BenchExec</p> </li> <li> <p><code>*.fixed.xml.bz2</code>: XML results from BenchExec, status adjusted according to the validation results</p> </li> <li> <p><code>*.logfiles.zip</code>: output from tools</p> </li> <li> <p><code>*.json.gz</code>: mapping from files names to SHA 256 hashes for the file content</p> </li> <li> <p><code><validator>*.table.html</code>: HTML views of the full benchmark set (all categories) for each validator</p> </li> <li> <p><code><category>*.table.html</code>: HTML views of the benchmark set for each category over all validators</p> </li> <li> <p><code>*.xml</code>: XML table definitions for the above tables</p> </li> <li> <p><code>validators.*</code>: Statistics of the validator runs (obsolete)</p> </li> <li> <p><code>.correctness.</code>: Infix for validation of correctness witnesses</p> </li> <li> <p><code>.violation.</code>: Infix for validation of violation witnesses</p> </li> <li> <p><code>quantilePlot-*</code>: score-based quantile plots as visualization of the results</p> </li> <li> <p><code>quantilePlotShow.gp</code>: example Gnuplot script to generate a plot</p> </li> <li> <p><code>score*</code>: accumulated score results in various formats</p> </li> </ul> <p>The folder <code>results-verified/</code> contains the results from verification runs and aggregated results:</p> <ul> <li> <p><code>index.html</code>: overview web page with rankings and score table</p> </li> <li> <p><code>design.css</code>: HTML style definitions</p> </li> <li> <p><code>*.results.txt</code>: TXT results from BenchExec</p> </li> <li> <p><code>*.xml.bz2</code>: XML results from BenchExec</p> </li> <li> <p><code>*.fixed.xml.bz2</code>: XML results from BenchExec, status adjusted according to the validation results</p> </li> <li> <p><code>*.logfiles.zip</code>: output from tools</p> </li> <li> <p><code>*.json.gz</code>: mapping from files names to SHA 256 hashes for the file content</p> </li> <li> <p><code>*.xml.bz2.table.html</code>: HTML views on the detailed results data as generated by BenchExec’s table generator</p> </li> <li> <p><code><verifier>*.table.html</code>: HTML views of the full benchmark set (all categories) for each verifier</p> </li> <li> <p><code>META_*.table.html</code>: HTML views of the benchmark set for each meta category for each verifier, and over all verifiers</p> </li> <li> <p><code><category>*.table.html</code>: HTML views of the benchmark set for each category over all verifiers</p> </li> <li> <p><code>*.xml</code>: XML table definitions for the above tables</p> </li> <li> <p><code>validatorStatistics.html</code>: Statistics of the validator runs (obsolete)</p> </li> <li> <p><code>results-per-tool.php</code>: List of results for each tool for review process in pre-run phase</p> </li> <li> <p><code><tool>.list.html</code>: List of results for a tool in HTML format with links</p> </li> <li> <p><code>quantilePlot-*</code>: score-based quantile plots as visualization of the results</p> </li> <li> <p><code>quantilePlotShow.gp</code>: example Gnuplot script to generate a plot</p> </li> <li> <p><code>score*</code>: accumulated score results in various formats</p> </li> </ul> <p>The hashes of the file names (in the files <code>*.json.gz</code>) are useful for</p> <ul> <li>validating the exact contents of a file and</li> <li>accessing the files from the witness store.</li> </ul> <p><strong>Other Archives</strong></p> <p>Overview over archives from SV-COMP 2023 that are available at Zenodo:</p> <ul> <li><a href="https://doi.org/10.5281/zenodo.7627791">https://doi.org/10.5281/zenodo.7627791</a> Verification Witnesses from SV-COMP 2023 Verification Tools. Witness store (containing the generated verification witnesses)</li> <li><a href="https://doi.org/10.5281/zenodo.7627829">https://doi.org/10.5281/zenodo.7627829</a> Tool Archives from SV-COMP 2023. Executable tools that were evaluated in the competition</li> <li><a href="https://doi.org/10.5281/zenodo.7627787">https://doi.org/10.5281/zenodo.7627787</a> Results of the 12th Intl. Competition on Software Verification (SV-COMP 2023). Results (XML result files, log files, file mappings, HTML tables)</li> <li><a href="https://doi.org/10.5281/zenodo.7627783">https://doi.org/10.5281/zenodo.7627783</a> SV-Benchmarks: Benchmark Set of SV-COMP 2023 and Test-Comp 2023. Verification tasks, version svcomp23</li> <li><a href="https://doi.org/10.5281/zenodo.7612021">https://doi.org/10.5281/zenodo.7612021</a> BenchExec, version 3.16. Benchmarking framework</li> </ul> <p>All benchmarks were executed for SV-COMP 2023 <a href="https://sv-comp.sosy-lab.org/2023/">https://sv-comp.sosy-lab.org/2023/</a> by Dirk Beyer, LMU Munich, based on the following components:</p> <ul> <li><a href="https://gitlab.com/sosy-lab/sv-comp/archives-2023">https://gitlab.com/sosy-lab/sv-comp/archives-2023</a> svcomp23 ca51c0c69ed4d4f6fd867c10abbc9b000d8ffb03</li> <li><a href="https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks">https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks</a> svcomp23 f87854c275a177e8dc3673fe6959cd89038652af</li> <li><a href="https://gitlab.com/sosy-lab/sv-comp/bench-defs">https://gitlab.com/sosy-lab/sv-comp/bench-defs</a> svcomp23 d34d04f1332a49c219293798b90eee6b3760946d</li> <li><a href="https://gitlab.com/sosy-lab/software/benchexec">https://gitlab.com/sosy-lab/software/benchexec</a> 3.16 b43e7384112770a41b571399135065daa7f387ab</li> <li><a href="https://gitlab.com/sosy-lab/benchmarking/competition-scripts">https://gitlab.com/sosy-lab/benchmarking/competition-scripts</a> svcomp23 e6f84b5a79626b4295108a0f96ea370edde1f023</li> <li><a href="https://github.com/sosy-lab/sv-witnesses">https://github.com/sosy-lab/sv-witnesses</a> svcomp23 e16b1fdddfa7770918c2d06bdcd0103e88e32691</li> <li><a href="https://gitlab.com/sosy-lab/software/coveriteam">https://gitlab.com/sosy-lab/software/coveriteam</a> svcomp23 76a8e4dba327af4606e2a30544656b7882f75848</li> </ul> <p><strong>Contact</strong></p> <p>Feel free to contact me in case of questions: <a href="https://www.sosy-lab.org/people/beyer/">https://www.sosy-lab.org/people/beyer/</a></p>
Verification Witnesses from Verification Tools (SV-COMP 2023)
<p><strong>SV-COMP 2023</strong></p> <p><strong>Verification Witnesses</strong></p> <p>This file describes the contents of an archive of the 12th Competition on Software Verification (SV-COMP 2023). <a href="https://sv-comp.sosy-lab.org/2023/">https://sv-comp.sosy-lab.org/2023/</a></p> <p>The competition was organized by Dirk Beyer, LMU Munich, Germany. More information is available in the following article: Dirk Beyer. <em>Competition on Software Verification and Witness Validation: SV-COMP 2023.</em> In Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023, Munich, April 22 - 27), 2023. Springer.</p> <p>Copyright (C) Dirk Beyer <a href="https://www.sosy-lab.org/people/beyer/">https://www.sosy-lab.org/people/beyer/</a></p> <p>SPDX-License-Identifier: CC-BY-4.0 <a href="https://spdx.org/licenses/CC-BY-4.0.html">https://spdx.org/licenses/CC-BY-4.0.html</a></p> <p><strong>Contents</strong></p> <ul> <li><code>LICENSE.txt</code>: specifies the license</li> <li><code>README.txt</code>: this file</li> <li><code>witnessFileByHash/</code>: This directory contains verification witnesses. Each verification witness in this directory is stored in a file whose name is the SHA2 256-bit hash of its contents followed by the filename extension .graphml. The format of each verification witness is described on the format web page: <a href="https://github.com/sosy-lab/sv-witnesses/">https://github.com/sosy-lab/sv-witnesses/</a> A verification witness contains also metadata in order to relate it to the verification task for which it was produced.</li> <li><code>witnessInfoByHash/</code>: This directory contains for each verification witness in directory witnessFileByHash/ a record in JSON format (also using the SHA2 256-bit hash of the witness as filename, with .json as filename extension) that contains the meta data.</li> <li><code>witnessListByProgramHashJSON/</code>: For convenient access to all verification witnesses for a certain program, this directory represents a function that maps each program (via its SHA2256-bit hash) to a set of verification witnesses (JSON records for verification witnesses as described above) that the verification tools have produced for that program. For each program for which verification witnesses exist, the directory contains a JSON file (using the SHA2 256-bit hash of the program as filename, with .json as filename extension) that contains all JSON records for verification witnesses for that program.</li> </ul> <p>The data structure is described in the following article: Dirk Beyer. <em>A Data Set of Program Invariants and Error Paths.</em> In Proceedings of the 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR 2019, Montreal, Canada, May 26-27), pages 111-115, 2019. IEEE. <a href="https://doi.org/10.1109/MSR.2019.00026">https://doi.org/10.1109/MSR.2019.00026</a></p> <p><strong>Other Archives</strong></p> <p>Overview over archives from SV-COMP 2023 that are available at Zenodo:</p> <ul> <li><a href="https://doi.org/10.5281/zenodo.7627791">https://doi.org/10.5281/zenodo.7627791</a> Verification Witnesses from SV-COMP 2023 Verification Tools. Witness store (containing the generated verification witnesses)</li> <li><a href="https://doi.org/10.5281/zenodo.7627829">https://doi.org/10.5281/zenodo.7627829</a> Tool Archives from SV-COMP 2023. Executable tools that were evaluated in the competition</li> <li><a href="https://doi.org/10.5281/zenodo.7627787">https://doi.org/10.5281/zenodo.7627787</a> Results of the 12th Intl. Competition on Software Verification (SV-COMP 2023). Results (XML result files, log files, file mappings, HTML tables)</li> <li><a href="https://doi.org/10.5281/zenodo.7627783">https://doi.org/10.5281/zenodo.7627783</a> SV-Benchmarks: Benchmark Set of SV-COMP 2023 and Test-Comp 2023. Verification tasks, version svcomp23</li> <li><a href="https://doi.org/10.5281/zenodo.7612021">https://doi.org/10.5281/zenodo.7612021</a> BenchExec, version 3.16. Benchmarking framework</li> </ul> <p>All benchmarks were executed for SV-COMP 2023 <a href="https://sv-comp.sosy-lab.org/2023/">https://sv-comp.sosy-lab.org/2023/</a> by Dirk Beyer, LMU Munich, based on the following components:</p> <ul> <li><a href="https://gitlab.com/sosy-lab/sv-comp/archives-2023">https://gitlab.com/sosy-lab/sv-comp/archives-2023</a> svcomp23 ca51c0c69ed4d4f6fd867c10abbc9b000d8ffb03</li> <li><a href="https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks">https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks</a> svcomp23 f87854c275a177e8dc3673fe6959cd89038652af</li> <li><a href="https://gitlab.com/sosy-lab/sv-comp/bench-defs">https://gitlab.com/sosy-lab/sv-comp/bench-defs</a> svcomp23 d34d04f1332a49c219293798b90eee6b3760946d</li> <li><a href="https://gitlab.com/sosy-lab/software/benchexec">https://gitlab.com/sosy-lab/software/benchexec</a> 3.16 b43e7384112770a41b571399135065daa7f387ab</li> <li><a href="https://gitlab.com/sosy-lab/benchmarking/competition-scripts">https://gitlab.com/sosy-lab/benchmarking/competition-scripts</a> svcomp23 e6f84b5a79626b4295108a0f96ea370edde1f023</li> <li><a href="https://github.com/sosy-lab/sv-witnesses">https://github.com/sosy-lab/sv-witnesses</a> svcomp23 e16b1fdddfa7770918c2d06bdcd0103e88e32691</li> <li><a href="https://gitlab.com/sosy-lab/software/coveriteam">https://gitlab.com/sosy-lab/software/coveriteam</a> svcomp23 76a8e4dba327af4606e2a30544656b7882f75848</li> </ul> <p><strong>Contact</strong></p> <p>Feel free to contact me in case of questions: <a href="https://www.sosy-lab.org/people/beyer/">https://www.sosy-lab.org/people/beyer/</a></p>
Korn—Software Verification with Horn clauses (Post-Competition Evaluation)
<p>Korn is a software verifier that infers correctness certificates automatically using state-of-the-art Horn-clause solvers, such as Z3 and Eldarica, which are used in a portfolio together with cheap random sampling. The tool is available at https://github.com/gernst/korn.</p> <p>This data documents the post SV-COMP 2023 experiments of Korn.</p>
MinION plasmid deep long read sequencing for sequence verification
<p>We sequenced four plasmid constructs, each with a whole MinION flowcell, for use in developing and testing a sequence verification procedure. The resulting pipeline can sequence verify plasmid constructs, generating a consensus sequence with associated confidence of each base, adhering to strict acceptance criteria . The data contained herein are a subset of the complete data; 30 fast5 files for each plasmid, to be used as example data.</p> <p> </p> <p>datHL_001519: BCRxV.TF.1<br> datHL_001521: BCRxV.VSVG.1<br> datHL_001617: BCRxV.GagPolRev.1<br> datHL_001620: BCRxV.VSVG.1_mutant</p>
07 - Verification versus Falsification
<p>Session #7 of the REINFORCE Critical & Scientific Thinking course, entitled, 'Verification versus Falsification', is given by Stefano Gattei, Professor of Science in Society, at the University of Trento, Italy.</p> <p>During the session, Prof. Gattei covers Popper and the publication of The Logic of Scientific Discovery; Logical Asymmetry and metaphysics.</p>
Reproduction Package for ASE 2023 Submission `Improving Verification through Compiler Optimizations'
<p><strong>Artifact</strong></p> <p>In order to run this artifact please clone <a href="https://github.com/sosy-lab/sv-benchmarks">sv-benchmarks</a> into this folder. Afterwards you can just run the program using the running instructions down below. The results used in the paper can be found in the folder <code>transformation-for-verification-data</code>.</p> <p><strong>Setup</strong></p> <p>In order to setup this project, first initialize the submodules or clone this repository with the flag <code>--recursive</code>. Afterwards execute <code>python3 src/setup.py</code> in this directory, in order to add the required files to the submodules.</p> <p><strong>Running</strong></p> <p>In order to run this locally inside <code>./src</code></p> <pre><code>./main_bench.py --specification specification/path.prp program/to/verify.c</code></pre> <p>For example:</p> <pre><code>./main_bench.py --specification ../setup-files/test-run/unreach-call.prp ../setup-files/test-run/test_program.c </code></pre> <p>In order to execute with benchexec, execute the following insider <code>./src</code>, after adapting <code>bench.xml</code> to suit your purposes:</p> <pre><code>./benchmark_local.sh</code></pre>
Trustworthy Runtime Verification via Bisimulation (Experience Report)
<p>This contains two files:</p> <p>* copilot-verifier-artifact-vm-<md5sum>.tgz: A virtual machine containing the artifact for the ICFP 2023 paper <em>Trustworthy Runtime Verification via Bisimulation (Experience Report)</em>.</p> <p>* copilot-verifier-artifact-source-<md5sum>.tgz: The source code for the artifact itself. (The virtual machine above comes with this pre-installed.)</p> <p>The code is licensed under the BSD 3-Clause License.</p>
Precipitation nowcasting verification dataset
<p>Verification files for the Verif program. See https://github.com/WFRT/verif for details.</p>
Temperature nowcasting verification dataset
<p>Verification files for the Verif program. See https://github.com/WFRT/verif for details.</p>
Precipitation short-range forecasting verification dataset
<p>Verification files for the Verif program. See https://github.com/WFRT/verif for details.</p>
Wind speed short-range forecasting verification dataset
<p>Verification files for the Verif program. See https://github.com/WFRT/verif for details.</p>
Data release for "Identifying LISA verification binaries among the Galactic population of double white dwarfs"
<p>Posterior samples and SNR calculations associated with <em>Identifying LISA verification binaries among the Galactic population of double white dwarfs</em> (<a href="https://arxiv.org/abs/2210.10812">arxiv:2210.10812</a>, <a href="https://doi.org/10.1093/mnras/stad1288">MNRAS, 522, 5358 (2023)</a>).</p> <p>The <code>data</code> folder contains the following:</p> <ul> <li><code>vb_table</code>: Verification binary (VB) candidate properties obtained from electromagnetic (EM) observations. This data was compiled by Kupfer et al. and is available at <a href="https://gitlab.in2p3.fr/LISA/lisa-verification-binaries">https://gitlab.in2p3.fr/LISA/lisa-verification-binaries</a> (accessed on 2022 September 2). Used in Table 1.</li> <li><code>snr</code>: SNR calculations for each VB candidate as a function of mission duration. Used in Figure 2.</li> <li><code>basic</code>: Gravitational-wave (GW) parameter estimation study of each VB candidate. Used in Table 2 and Figure 3.</li> <li><code>detection_time</code>: VB SNR calculations with source property (and LISA launch time) uncertainty taken into account. Used in Figure 1 and Figure 4.</li> <li><code>em_priors</code>: GW parameter estimation study with EM information included in the priors. Used in Figure 5.</li> <li><code>unknown_noise</code>: GW parameter estimation study with the inclusion of noise parameters to vary the PSD. Used in Figure 6.</li> <li><code>filtered_populations</code>: Source properties of DWDs nearby in frequency to each VB candidate. See the <code>confused_sources.ipynb</code> notebook. Used in Figure 7.</li> <li><code>confusion_snr</code>: SNR calculations of the above confusion sources. Used in Figure 7.</li> <li><code>confusion</code>: A analysis of V803Cen with a realistic Galactic population of DWDs included in the data. Used in Figure 8.</li> </ul> <p>Code to reproduce every figure from the paper is available in <code>plots</code>.</p> <p>Supplementary notebooks associated with the generation of a realistic data instance (i.e. including a simulated Galactic population of DWDs nearby in frequency to V803Cen) can be found in <code>notebooks</code>.</p>
A Precision and Accuracy Study of the Codman Valve Position Verification (VPV) System.
ClinicalTrials.gov study NCT00196196. IPD Sharing: Not stated. Countries: 1. Publications: 4.
Verification of the Safety of Early Discharge in Patients After Acute ST-segment Myocardial Infarction
ClinicalTrials.gov study NCT02023983. IPD Sharing: Not stated. Countries: 1. Publications: 1.
Study for Verification of Efficacy and Safety for Perampanel Monotherapy in Untreated Participants With Partial Onset Seizures (Including Secondarily Generalized Seizures (FREEDOM Study)
ClinicalTrials.gov study NCT03201900. IPD Sharing: Not stated. Countries: 2. Publications: 1.
Results of the 9th International Competition on Software Verification (SV-COMP 2020)
<p>This archive contains the results of the<br> 9th Competition on Software Verification (SV-COMP 2020)<br> https://sv-comp.sosy-lab.org/2020/</p> <p>The competition was run by Dirk Beyer, LMU Munich, Germany.</p> <p>Copyright (C) Dirk Beyer<br> https://www.sosy-lab.org/people/beyer/</p> <p>SPDX-License-Identifier: CC-BY-4.0<br> https://spdx.org/licenses/CC-BY-4.0.html</p> <p><br> To browse the competition results with a web browser, there are two options:<br> - start a local web server using<br> php -S localhost:8000<br> in order to view the data in this archive, or<br> - browse https://sv-comp.sosy-lab.org/2020/results/<br> in order to view the data on the SV-COMP web page.</p> <p><br> Contents:</p> <p>index.html directs to the overview web page<br> LICENSE.txt specifies the license<br> README.txt this file<br> results-validated/ results of validation runs<br> results-verified/ results of verification runs and aggregated results</p> <p><br> The folder results-validated/ contains the results from validation runs:</p> <p>- *.xml.bz2 XML results from BenchExec<br> - *.logfiles.zip output from tools<br> - *.json.gz mapping from files names to SHA 256 hashes for the file content</p> <p><br> The folder results-verified/ contains the results from verification runs and aggregated results:</p> <p>index.html overview web page with rankings and score table<br> *.xml.bz2 XML results from BenchExec<br> *.merged.xml.bz2 XML results from BenchExec, status adjusted according to the validation results<br> *.logfiles.zip output from tools<br> *.json.gz mapping from files names to SHA 256 hashes for the file content<br> *.xml.bz2.table.html HTML views on the detailed results data as generated by BenchExec's table generator<br> *.All.table.html HTML views of the full benchmark set (all categories) for each tool<br> META_*.table.html HTML views of the benchmark set for each meta category for each tool, and over all tools<br> <category>*.table.html HTML views of the benchmark set for each category over all tools<br> iZeCa0gaey.html HTML views per tool<br> validatorStatistics.html Statictics of the validator runs</p> <p>quantilePlot-* score-based quantile plots as visualization of the results<br> quantilePlotShow.gp example Gnuplot script to generate a plot<br> score* accumulated score results in various formats</p> <p><br> The hashes of the files (in the files *.json.gz) are useful for<br> - validating the exact contents of a file and<br> - accessing the files from the witness store.</p> <p>The witness store from SV-COMP 2020 is available at: https://doi.org/10.5281/zenodo.3630187<br> The verification tasks, version svcomp20, are available at: https://doi.org/10.5281/zenodo.3633334<br> BenchExec, version 2.5.1, is available at: https://doi.org/10.5281/zenodo.3574420</p> <p>All benchmarks were executed<br> for SV-COMP 2020, https://sv-comp.sosy-lab.org/2020/<br> by Dirk Beyer, LMU Munich<br> based on the components<br> git@github.com:sosy-lab/sv-benchmarks.git testcomp20-freeze-1-g2518814029<br> git@github.com:sosy-lab/sv-comp.git svcomp20<br> git@github.com:sosy-lab/benchexec.git 2.5</p> <p><br> Feel free to contact me in case of questions:<br> https://www.sosy-lab.org/people/beyer/</p> <p> </p>
PAN13 Author Identification: Verification
<p>We provide you with a training data set that consists of documents written in both English and Spanish. With regard to age, we will consider posts of three classes: 10s (13-17), 20s (23-27), and 30s (33-47). Moreover, documents from authors who pretend to be minors will be included (e.g., documents composed of chat lines of sexual predators will be also considered). <a href="https://www.uni-weimar.de/medien/webis/events/pan-13/pan13-papers-final/pan13-author-profiling/rangel13-overview.pdf#page=3">Learn more »</a></p>
Subspecies and Distribution. H. b. bicolor Temminck, 1834 -Borneo, Java, and W Lesser Sunda Is. H.b.atroxK.Andersen,1918—SThailand,MalayPeninsula(includingTarutaoandTiomanIs),Sumatra,andBangkaIs. H.b.erigensLawrence,1939-Philippines(Luzon,Mindoro,andBoholIs)H.b.hilliKitchener,1996—TimorI,ELesserSundas. H.b.majorK.Andersen,1918-NiasandEngganoIs,offWSumatra. H.b.selatanKitchener,1996—SavuandRotiIs,ELesserSundas. H. b. tanimbarensis Kitchener, 1996 — Tanimbar Is (Selaru). Previous records from Taiwan I, Laos, and Vietnam may prove to be misidentifications and need further verification. in Hipposideridae
Subspecies and Distribution. H. b. bicolor Temminck, 1834 -Borneo, Java, and W Lesser Sunda Is. H.b.atroxK.Andersen,1918—SThailand,MalayPeninsula(includingTarutaoandTiomanIs),Sumatra,andBangkaIs. H.b.erigensLawrence,1939-Philippines(Luzon,Mindoro,andBoholIs)H.b.hilliKitchener,1996—TimorI,ELesserSundas. H.b.majorK.Andersen,1918-NiasandEngganoIs,offWSumatra. H.b.selatanKitchener,1996—SavuandRotiIs,ELesserSundas. H. b. tanimbarensis Kitchener, 1996 — Tanimbar Is (Selaru). Previous records from Taiwan I, Laos, and Vietnam may prove to be misidentifications and need further verification.
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.