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.
117
datasets available to search
ShareScore release 0.9.0
Dataset results
117 results for “Witness”
Figure 4 in Character assassination: a personal witness account with a taxonomic note on the genus Laufeia s. lat. (Araneae: Salticidae)
Figure 4. How to evade correcting of own error? New trick invented by editors of WSC: Simon erase of the genus Orcevia corrected? Yes. Repetition of the same error by Zhang & Maddison corrected? Yes. But " revalidation" [whatever that means] of the genus Orcevia (of which O. keyserlingi is a type species) could always be demanded (see Figs 1I-K, M-O, R-T above). Reminds case of the genus Emertonius (above). An additional aspect demonstrated at B - clear trespassing of editorial competence (not to forget arrogance): "assigned to Laufeia" which, by the way, is not a synonym of Lechia.
WAR_WITNESS Annotated Bibliography: Indian Military Memoirs and Campaign Narratives
<p><span>This annotated bibliography consists of military memoirs and campaign narratives authored by British military personnel stationed in India during the period 1780 to 1855. These publications were identified and analysed as part of the MSCA-funded project WAR_WITNESS. </span></p>
Animatronic Halloween Costumes to Scare People Out of Their Wits
<p>So, what comes to your mind when you hear the word Halloween? Candies? Yes, of course, there’s loads of it. Costumes? Definitely yes, because, what’s Halloween without getting creative with costumes! And, perhaps the best way to get all creative with your outfit is to opt for the cool Animatronic Halloween Costumes. Let’s face it: you don’t want to go for those same costumes that you choose every year because, where’s the fun in that! The best Halloween costume should be able to make you stand out (literally!) and even scare people a little. And, the animatronics costumes are perfect for it. So, here’s delving deeper into the world of animatronics and exploring some costume ideas for you.</p> <p>The features of animatronics costumes</p> <p>Animatronic vary widely in their designs, right from something really basic to highly complex. The basic Animatronic Halloween Costumes come with speakers and sound boxes. It has the ability to make a couple of simple movements, as well. The complex designs have more flexible joints and more realistic skin texture. But, when it comes to Halloween costumes, the basic design with battery, camera, air fans, and speakers would suffice. Even the basic models are way too scary to make people jump out in fear!</p> <p>Creating the animatronic costumes</p> <p>The process of making these Animatronic Halloween Costumes is as interesting as the costumes themselves. It all starts with the designers sketching the ideas out on paper. After the initial sketch is ready, the engineering team takes over. The construction starts by making the scale model called a maquette. After this scale model gets approved, the designers make the full-scale figurine. The moving parts and the in-built controls get added. The final touches of paints and textures bring alive the model and give it a realistic look.</p> <p>Top three animatronics costume ideas for Halloween</p> <p>So, now you have a basic rundown about what these costumes are and what goes into making them. Let’s now get into the costume ideas that will make you scare the daylights out of your friends and neighbors!</p> <p>1. Animatronics Dinosaur Costumes</p> <p>Imagine a life-sized dinosaur standing in the parking lot as you come out of the elevator. Scary, right? If you really want to spook people with your Animatronic Halloween Costumes, then this one is your best bet. <a href="https://onlydinosaurs.com/">Only Dinosaurs</a> has some really cool dinosaur costumes that you can check out.</p> <p>2. Animatronics Dragon Costumes</p> <p>What can be the next best thing after dinosaurs? Dragons, of course! With its wings and all the realistic looking features, this one is also a good idea for Halloween. How about you dress up as a dinosaur and your friend as a dragon?</p> <p>3. Riding Dinosaur Costume</p> <p>Getting into a dinosaur costume might feel too claustrophobic for you (though there’re enough arrangements inside to make you comfortable.) In that case, choose an animatronics dinosaur costume that you can ride away.</p> <p>Getting excited for Halloween already, right? Go and start planning for your costumes now!</p>
Verification Witnesses from Verification Tools (SV-COMP 2024)
<h1>SV-COMP 2024</h1> <h2>Verification Witnesses</h2> <p>This file describes the contents of an archive of the 13th Competition on Software Verification (SV-COMP 2024). <a href="https://sv-comp.sosy-lab.org/2024/">https://sv-comp.sosy-lab.org/2024/</a></p> <p>The competition was organized by Dirk Beyer, LMU Munich, Germany. More information is available in the following article: Dirk Beyer. <em>State of the Art in Software Verification and Witness Validation: SV-COMP 2024.</em> In Proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024, Luxembourg, April 6 - 11), 2024. 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> <h2>Contents</h2> <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 or .yml. The format of the verification witnesses 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> <h2>Other Archives</h2> <p>Overview of archives from SV-COMP 2024 that are available at Zenodo:</p> <ul> <li><a href="https://doi.org/10.5281/zenodo.10669737">https://doi.org/10.5281/zenodo.10669737</a> Verification Witnesses from SV-COMP 2024 Verification Tools. Witness store (containing the generated verification witnesses)</li> <li><a href="https://doi.org/10.5281/zenodo.10669735">https://doi.org/10.5281/zenodo.10669735</a> Verifiers and Validators: FM-Tools Data Set for SV-COMP 2024. Metadata snapshot of the evaluated tools (DOIs, options, etc.)</li> <li><a href="https://doi.org/10.5281/zenodo.10669731">https://doi.org/10.5281/zenodo.10669731</a> Results of the 13th Intl. Competition on Software Verification (SV-COMP 2024). Results (XML result files, log files, file mappings, HTML tables)</li> <li><a href="https://doi.org/10.5281/zenodo.10669723">https://doi.org/10.5281/zenodo.10669723</a> SV-Benchmarks: Benchmark Set of SV-COMP 2024. Verification tasks, version svcomp24</li> <li><a href="https://doi.org/10.5281/zenodo.10671136">https://doi.org/10.5281/zenodo.10671136</a> BenchExec, version 3.21. Benchmarking framework</li> </ul> <p>All benchmarks were executed for SV-COMP 2024 <a href="https://sv-comp.sosy-lab.org/2024/">https://sv-comp.sosy-lab.org/2024/</a> by Dirk Beyer, LMU Munich, based on the following components:</p> <ul> <li><a href="https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks">https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks</a> svcomp24</li> <li><a href="https://gitlab.com/sosy-lab/sv-comp/bench-defs">https://gitlab.com/sosy-lab/sv-comp/bench-defs</a> svcomp24</li> <li><a href="https://github.com/sosy-lab/benchexec">https://github.com/sosy-lab/benchexec</a> 3.21</li> <li><a href="https://gitlab.com/sosy-lab/benchmarking/fm-tools">https://gitlab.com/sosy-lab/benchmarking/fm-tools</a> svcomp24</li> <li><a href="https://gitlab.com/sosy-lab/benchmarking/sv-witnesses">https://gitlab.com/sosy-lab/benchmarking/sv-witnesses</a> svcomp24</li> <li><a href="https://gitlab.com/sosy-lab/software/coveriteam">https://gitlab.com/sosy-lab/software/coveriteam</a> 1.1</li> <li><a href="https://gitlab.com/sosy-lab/benchmarking/competition-scripts">https://gitlab.com/sosy-lab/benchmarking/competition-scripts</a> svcomp24</li> </ul> <h2>Contact</h2> <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 2022)
<p>SV-COMP 2022</p> <p>Verification Witnesses</p> <p>This file describes the contents of an archive of the 11th Competition on Software Verification (SV-COMP 2022).<br> <a href="https://sv-comp.sosy-lab.org/2022/">https://sv-comp.sosy-lab.org/2022/</a></p> <p>The competition was run by Dirk Beyer, LMU Munich, Germany.<br> More information is available in the following article:<br> Dirk Beyer. <em>Progress on Software Verification: SV-COMP 2022.</em> In Proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022, Munich, April 2 - 7), 2022. Springer.</p> <p>Copyright (C) Dirk Beyer<br> <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<br> <a href="https://spdx.org/licenses/CC-BY-4.0.html">https://spdx.org/licenses/CC-BY-4.0.html</a></p> <p>Contents</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:<br> 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.<br> <a href="https://doi.org/10.1109/MSR.2019.00026">https://doi.org/10.1109/MSR.2019.00026</a></p> <p>Other Archives</p> <p>Overview over archives from SV-COMP 2022 that are available at Zenodo:</p> <ul> <li><a href="https://doi.org/10.5281/zenodo.5831005">https://doi.org/10.5281/zenodo.</a><a href="http://doi.org/10.5281/zenodo.5838498">5838498</a> Verification Witnesses from SV-COMP 2022 Verification Tools. Witness store (containing the generated verification witnesses)</li> <li><a href="https://doi.org/10.5281/zenodo.5831008">https://doi.org/10.5281/zenodo.5831008</a> Results of the 11th Intl. Competition on Software Verification (SV-COMP 2022). Results (XML result files, log files, file mappings, HTML tables)</li> <li><a href="https://doi.org/10.5281/zenodo.5831003">https://doi.org/10.5281/zenodo.5831003</a> SV-Benchmarks: Benchmark Set of SV-COMP 2022 and Test-Comp 2022. Verification tasks, version svcomp22</li> <li><a href="https://doi.org/10.5281/zenodo.5720267">https://doi.org/10.5281/zenodo.5720267</a> BenchExec, version 3.10. Benchmarking framework</li> </ul> <p>All benchmarks were executed for SV-COMP 2022 <a href="https://sv-comp.sosy-lab.org/2022/">https://sv-comp.sosy-lab.org/2022/</a><br> by Dirk Beyer, LMU Munich, based on the following components:</p> <ul> <li><a href="https://gitlab.com/sosy-lab/sv-comp/archives-2022">https://gitlab.com/sosy-lab/sv-comp/archives-2022</a> svcomp22 a6b18082</li> <li><a href="https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks">https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks</a> svcomp22 ad265d07</li> <li><a href="https://gitlab.com/sosy-lab/sv-comp/bench-defs">https://gitlab.com/sosy-lab/sv-comp/bench-defs</a> svcomp22 0332884a</li> <li><a href="https://gitlab.com/sosy-lab/software/benchexec">https://gitlab.com/sosy-lab/software/benchexec</a> 3.10 4e8716bd</li> <li><a href="https://gitlab.com/sosy-lab/benchmarking/competition-scripts">https://gitlab.com/sosy-lab/benchmarking/competition-scripts</a> svcomp22 3c959671</li> <li><a href="https://github.com/sosy-lab/sv-witnesses">https://github.com/sosy-lab/sv-witnesses</a> svcomp22 e4695d2b</li> </ul> <p>Contact</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>
Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification
<p>Supplemental material to the paper.</p>
Reproduction Package for SAS 2022 Article 'Case Study on Verification-Witness Validators: Where We Are and Where We Go'
<p>This artifact is a reproduction package for the SAS 2022 article 'Case Study on Verification-Witness Validators: Where We Are and Where We Go'.</p> <p>It contains instructions, data, and scripts for reproducing our results, and the data and tables that we generated in our experiment.</p>
Printing woodblock - Two Witnesses and the Beast
Time and palace of creation: before 1534, Germany Creator: Monogrammist MS Jagiellonian University Museum Collegium Maius Inventory number: 2167; 95/M/II https://muzea.malopolska.pl/en/objects-list/2837 Source: Objaverse 1.0 / Sketchfab
Experimental data from the PhD thesis "Certifying Planning Systems: Witnesses for Unsolvability"
<p>The zipfile contains the raw experiment data used in the PhD thesis "Certifying Planning Systems: Witnesses for Unsolvability". It is split in three folders:</p> <p>1) combined: contains the condensed data of all experiments as a json-file named properties, as well as a html page reporting the most important attributes</p> <p>2+3) downward and fd-hc-refinement: contains the raw data of all experiments run with certifying-downward/certifying-fd-hc-refinement, as well as a json-file each for the condensed data in the *-eval directory. The json-file from 1) is a combination of those two json-files.</p> <p>Furthermore, it contains the downward-lab (https://doi.org/10.5281/zenodo.790461) scripts used for generating the experiments, showing with which configurations and limits the experiments were run.</p>
Supplement to Witting et al. 2024
<h1>Supplement to Witting et al. 2025</h1> <p>Image sequences are sorted by figure.</p> <h2>Figure 3:</h2> <p><em>Synechococcus elongatus</em> UTEX2973 was cultivated at 37 °C in BG11 medium under homogeneous growth light illumination.</p> <p>Data was aquired from distinct experiments under homogeneous growth light illumination.</p> <p>Image data is sorted by applied light-intensity. Images were taken every 1 h.</p> <p>Example (.avi) videos for the distinct colonies displayed in subfigures C-E are also uploaded.</p> <h2>Figure 4: </h2> <p>Cultivation of three cyanobacteria model strains under gradient growth light illumination.</p> <p>Image data is sorted by cyanobacteria strain.</p> <p>All strains were cultivated at 37 °C in BG11 medium. Images were taken every 2 h.</p> <h2>Figure 5:</h2> <p>Synechococcus elongatus UTEX2973 was cultivated at 37 °C in BG11 medium. Images were taken every 2 h.</p> <h3>B: Cultivation of S. elongatus UTEX2973 under gradient growth light illumination with and day/night rhythm</h3> <h3>(12 h day, 12 h night) applied.</h3> <h3>C: Cultivation of S. elongatus UTEX2973 under gradient growth light illumination with decreasing carbon dioxide concentrations</h3> <p>Applied CO2 concentrations:</p> <table> <tbody> <tr> <td>Time [h]</td> <td>Frame</td> <td>CO2 concentration [ppm]</td> </tr> <tr> <td>0 - 24</td> <td>1 - 13</td> <td>100</td> </tr> <tr> <td>24 - 48</td> <td>13 - 25</td> <td>50</td> </tr> <tr> <td>48 - 72</td> <td>25 - 37</td> <td>15</td> </tr> <tr> <td>72 - 96</td> <td>37 - 49</td> <td>0</td> </tr> </tbody> </table> <h2>Further files</h2> <h3>CAD Files</h3> <ul> <li>The replication master for molding the gas layer</li> <li>The design of the connector used to mount the Li190R Intensity sensor into the Nikon Ti-E microscope</li> </ul>
Deep sequencing datasets from: Witnessing the structural evolution of an RNA enzyme
<p>An RNA polymerase ribozyme that has been the subject of extensive directed evolution efforts has attained the ability to synthesize complex functional RNAs, including a full-length copy of its own evolutionary ancestor. During the course of evolution, the catalytic core of the ribozyme has undergone a major structural rearrangement, resulting in a novel tertiary structural element that lies in close proximity to the active site. Through a combination of site-directed mutagenesis, structural probing, and deep sequencing analysis, the trajectory of evolution was seen to involve the progressive stabilization of the new structure, which provides the basis for improved catalytic activity of the ribozyme. Multiple paths to the new structure were explored by the evolving population, converging upon a common solution. Tertiary structural remodeling of RNA is known to occur in nature, as evidenced by the phylogenetic analysis of extant organisms, but this type of structural innovation had not previously been observed in an experimental setting. Despite prior speculation that the catalytic core of the ribozyme had become trapped in a narrow local fitness optimum, the evolving population has broken through to a new fitness locale, raising the possibility that further improvement of polymerase activity may be achievable.</p> <p> </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>
Entangled Ecologies. Interactive Documentary between Living Archive, Responsible Witnessing and Relational Co-Creation
<p>The videoessay is also accessible: <a href="https://trametrami.avinus.org/publikationen/3-2023">https://trametrami.avinus.org/publikationen/3-2023</a></p> <p>Recent re-conceptualizations of participation as well as theories of digital transformation culture have shifted the notion of the archive seeing not so much as a static, institutional body but rather as a dynamic, living epistemic environments. Building on these approaches, this presentation discusses emerging phenomena in interactive documentary focusing on ecological emergency – seeing this crisis itself as a complex ecology of issues where images and conceptualization past, present and future meet. Taking paradigmatic projects addressing the issue of climate change – <em>The Shore Line</em> (2017) and <em>Climate Witness Project </em>(2019) – I suggest tentative answers to the question in which way i-docs can contribute to tackle complex change. Are there images from the past which help us to better cope with the present and to envision a more sustainable future? How can one raise awareness of immanent ecological risks when menace is almost invisible, unprecedented and un-imaginable? Is there a way to negotiate multifaceted entanglements through documentaries which are neither paralyzing ecodystopian narratives nor naive ecotopian success-stories? The hypothesis underlying my approach is that one possible solution resides in documentaries which are built on principles of pluri-perspectivity and polyphony to transcend dualisms and to build bridges leading from history to the forthcoming. Discourses from various traditions are brought into dialogue: theories of documentary film meet ecocriticism; network theory encounters reflections on the epistemic dimension of non-fiction; and concepts of co-creation and intervention are related to processes of witnessing, doing documentary and responsible action-taking.</p> <p> </p> <p>more information: <a href="https://did.avinus.org/">https://did.avinus.org/</a> and <a href="https://trametrami.avinus.org/publikationen">https://trametrami.avinus.org/publikationen </a></p>
A Study of Atezolizumab (an Engineered Anti-Programmed Death-Ligand 1 [PD-L1] Antibody) as Monotherapy or in Combination With Bevacizumab (Avastin®) Compared to Sunitinib (Sutent®) in Participants Wit
ClinicalTrials.gov study NCT01984242. IPD Sharing: Not stated. Countries: 9. Publications: 2.
The Individualized Management With Pegylated-interferon Alfa-2a (Pegasys) and Ribavirin (Copegus) Offering Viral Eradication: A Study of Pegylated-interferon Alfa-2a Plus Ribavirin in Participants Wit
ClinicalTrials.gov study NCT00483938. IPD Sharing: Not stated. Countries: 2. Publications: 1.
A 24-Week Study to Evaluate the Safety and Efficacy of ADVAIR DISKUS® Inhaler 250/50mcg Plus SPIRIVA HANDIHALER® Inhaler Versus SPIRIVA HANDIHALER® Inhaler Plus Placebo DISKUS® Inhaler in Subjects Wit
ClinicalTrials.gov study NCT00784550. IPD Sharing: YES. Countries: 1. Publications: 1.
This Study Aims to Find a Safe and Effective Dose of BI 754091. The Study Also Aims to Find Safe and Effective Doses of BI 754091 and BI 754111 in Combination. This Study is Done in Asian Patients Wit
ClinicalTrials.gov study NCT03433898. IPD Sharing: NO. Countries: 3. Publications: 1.
A Phase 3, Long-Term Safety Study of Subcutaneous Epoetin Hospira in Patients With Chronic Renal Failure Requiring Hemodialysis and Receiving Epoetin Maintenance Treatment. AiME -Anemia Management Wit
ClinicalTrials.gov study NCT01628120. IPD Sharing: Not stated. Countries: 1. Publications: 1.
A Study Evaluating the Combination of Encorafenib and Cetuximab Versus Irinotecan/Cetuximab or Infusional 5-fluorouracil (5-FU)/Folinic Acid (FA)/Irinotecan (FOLFIRI)/Cetuximab in Chinese Patients Wit
ClinicalTrials.gov study NCT05004350. IPD Sharing: NO. Countries: 1. Publications: 0.
Study to Compare the Oestradiol Suppression, Clinical Efficacy and Safety of Two Formulations of Triptorelin (Triptorelin Pamoate PR 3-month and Triptorelin Acetate PR 1-month) in Chinese Subjects Wit
ClinicalTrials.gov study NCT03232281. IPD Sharing: Not stated. Countries: 1. Publications: 1.
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.