Find research datasets worth reusing

opencc-by-4.0Dec 2023View details →

Supplementary Material for "Intrusion Tolerance for Networked Systems Through Two-Level Feedback Control"

<h2>Supplementary material for the paper "Intrusion Tolerance for Networked Systems Through Two-Level Feedback Control" </h2>The paper is submitted to "International Conference on Dependable Systems and Networks, 2024". Author names withheld for double-blind reviewing.<ul><li>The file proofs_and_hyperparameters.pdf contains proofs of Theorem 1--2 and Corollary 1 in the paper. It also includes formulas for computing the belief state (Eq. 4) and for computing the curves in Fig. 6. It also includes a complete list of hyperparameters used for all experiments detailed in the paper.</li><li>The file ids_alerts_statistics.json contains the statistics used to produce Fig. 10 in the paper and to define the parameter Z for the experiments in section VIII.<ul><li>The JSON file contains a single object with the following keys: 'conditionals_counts', 'conditionals_kl_divergences', 'conditionals_probs', 'conditions', 'descr', 'emulation_name', 'id', 'initial_distributions_counts', 'initial_distributions_probs', 'initial_maxs', 'initial_means', 'initial_mins', 'initial_stds', 'maxs', 'means', 'metrics', 'mins', 'num_conditions', 'num_measurements', 'num_metrics', 'stds'. </li><li>The key "conditionals_counts" leads to another object with the following keys: 'A:CVE-2010-0426 exploit_D:Continue_M:[]', 'A:CVE-2015-3306 exploit_D:Continue_M:[]', 'A:CVE-2015-5602 exploit_D:Continue_M:[]', 'A:CVE-2016-10033 exploit_D:Continue_M:[]', 'A:Continue_D:Continue_M:[]', 'A:DVWA SQL Injection Exploit_D:Continue_M:[]', 'A:FTP dictionary attack for username=pw_D:Continue_M:[]', 'A:Ping Scan_D:Continue_M:[]', 'A:SSH dictionary attack for username=pw_D:Continue_M:[]', 'A:Sambacry Explolit_D:Continue_M:[]', 'A:ShellShock Explolit_D:Continue_M:[]', 'A:TCP SYN (Stealth) Scan_D:Continue_M:[]', 'A:Telnet dictionary attack for username=pw_D:Continue_M:[]', 'intrusion', 'no_intrusion'</li><li>The above keys correspond to different types of intrusions, see Table 6 in the paper.</li><li>Each of the keys listed above leads to a new object with 1551 keys which correspond to different types of metrics collected from the infrastructure. The metric used for produce Fig. 10 in the paper is called "alerts_weighted_by_priority". This key leads to another object where the keys correspond to the number of alerts weighted by priority and the values correspond to the measurements from the system.</li></ul></li><li>The file intrusion_traces.zip contains 6400 intrusion traces. Each trace contains a list of attacker actions and the corresponding measurements from the system. When unzipped, it is a directory with 64 files which take up 1500GB. Each file contains 100 traces in JSON format.</li><li>The file source_code_and_docker_files.zip contains the source code and the docker containers used for the experiments. It is a system we have developed for 3 years. It includes 225,000 lines of Python, 40,000 lines of JavaScript, 3000 lines of Dockerfiles, 2500 lines of Makefile, and 1800 lines of Bash. When unzipped one can find documentation about the source code in a file called "documentation.pdf" and in the README file.</li></ul>

Regional Assessment of buildings' Material Intensities (RASMI): Version 20230905: first public release B - data only

Version 20230905: first public release of RASMI (Regional Assessment of buildings' Material Intensities). This Zenodo version contains two files: <ul> <li><code>MI_ranges_20230905.xlsx</code> is the dataset of the estimated MI ranges. This is probably the file you're looking for.</li> <li><code>MI_data_20230905.xlsx</code> is the raw pools of MI used to create the MI ranges. This is mostly for reproducability.</li> </ul> Please refer to the GitHub readme.md in <a href="https://github.com/TomerFishman/MaterialIntensityEstimator">https://github.com/TomerFishman/MaterialIntensityEstimator</a> for details and how to use. Please cite both the Data Descriptor and the specific data version used: Data Descriptor: Tomer Fishman, Alessio Mastrucci, Yoav Peled, Shoshanna Saxe, Bas van Ruijven. RASMI: Global Ranges of Building Material Intensities Differentiated by Region, Structure, and Function. Scientific Data 2024, 11 (1), 418. <a href="https://doi.org/10.1038/s41597-024-03190-7" rel="nofollow">https://doi.org/10.1038/s41597-024-03190-7</a>. Data version: preferably use the DOI of the Zeonodo release. Refer to the release number (on the right) This work was conducted with support by the IIASA-Israel program, and by the Israel Science Foundation project RUSTY (grant no. 2706/19). Funding was also provided by the Horizon Europe research and innovation programme under grant agreement no. 101056868 (CIRCOMOD) for TF and grant agreement No 101056810 (CircEUlar) for AM. Opinions are those of the authors only and do not necessarily reflect those of the European Union. Neither the European Union nor the granting authority can be held responsible for this. BvR and AM have been supported by the Energy Demand changes Induced by Technological and Social innovations (EDITS) project, which is an initiative coordinated by the Research Institute of Innovative Technology for the Earth (RITE) and the International Institute for Applied Systems Analysis (IIASA), and funded by the Ministry of Economy, Trade, and Industry (METI), Japan. SS was supported by the Canada Research Chair in Sustainable Infrastructure, Grant Number: 232970.

Supplemental material to "Solving Quantified Modal Logic Problems by Translation to Classical Logics"

These files are associated with the manuscript entitled "Solving Quantified Modal Logic Problems by Translation to Classical Logics" by Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller. Contact: Alexander Steen <alexander.steen@uni-greifswald.de> Contents -----------   - QMLTP-monomodal-NX0.tar.gz     This archive contains the TPTP NX0 representations of the 580 mono-modal     problems translated from the QMLTP library [1,2].        - QMLTP-monomodal-TF0-embedded-rigid-local.tar.gz     This archive contains the embedded TF0 files created      from the monomodal NX0 files using the Logic Embedding Tool [3].        - QMLTP-monomodal-TH0-embedded-rigid-local.tar.gz     This archive contains the embedded TH0 files created      from the monomodal NX0 files using the Logic Embedding Tool [3,4].      - QMLTP-multimodal-NX0-and-embedded.tar.gz     This archive contains the TPTP NX0 representations of the 20 multi-modal     problems translated from the QMLTP library [1,2]. Additionally, it     contains the 20 embedded TF0 and the 20 embedded THF files created      from the NX0 files using the Logic Embedding Tool [3,4].        - QMLTP-primary-evaluation-results-QMLTP.zip     This archive contains the primary evaluation data creating from     running E 3.0.03, Leo-III 1.7.8, Nitpick 2016, Vampire 4.8,      MleanCoP 1.3, nanoCoP-M 2.0 on the problem files.     All reasoning systems except Nitpick were run on the StarExec Miami cluster with a 60s     wall clock and 480 CPU time limit. The StarExec Miami computers have an     octa-core Intel Xeon E5-2667 3.20 GHz CPU, 128 GiB memory, and run the     CentOS Linux release 7.4.1708 operating system. Nitpick was run on a server     with a 60s wall clock time limit. The server has an octa-core Intel Xeon E5-     2609 2.50 GHz CPU, 64 GiB memory, and the CentOS Linux release 7.9.2009     operating system.      - README     This file.                [1] T. Raths and J. Otten. The QMLTP Problem Library for First-Order Modal Logics.     In B. Gramlich, D. Miller, and U. Sattler, editors, Proceedings of the 6th International Joint Conference on Automated Reasoning,     number 7364 in Lecture Notes in Artificial Intelligence, pages 454–461. Springer, 2012. [2] http://www.iltp.de/qmltp/ [3] A. Steen. An extensible logic embedding tool for lightweight non-classical reasoning (short paper).     In B. Konev, C. Schon, and A. Steen, editors, Proceedings of the 8th Workshop on Practical Aspects of Automated     Reasoning, number 3201 in CEUR Workshop Proceedings, 2022. [4] https://github.com/leoprover/logic-embedding

Supplementary material for: Calibrating coordinate system alignment in a scanning transmission electron microscope using a digital twin.

<h1>Calibrating coordinate system alignment in a scanning transmission electron microscope using a digital twin.</h1> <h2>Supplementary material</h2> This deposition contains supplementary material for a paper on coordinate system calibration in 4D STEM. A preprint of the paper is available at <a href="https://arxiv.org/abs/2403.08538">https://arxiv.org/abs/2403.08538</a>. <h2>Contents</h2> <div> <div><code>20221025_154811.zip</code>: Overfocused 4D STEM test dataset</div> <div> </div> <div><code>overfocus.sif</code>: Apptainer image with complete software stack. <code>apptainer run --writable overfocus.sif</code> to execute. It starts a Jupyterlab instance with two notebooks, one to genreate test data and the other to perform the interactive adjustment. This documents the software version that was used for the figures in the paper.</div> <div> </div> <div><code>requirements.txt</code>: Python package versions of dependencies in <code>overfocus.sif</code>. </div> <div> </div> <div><code>COM - Jupyter Notebook - Google Chrome 2023-01-25 12-40-07_processed.mp4</code>: Screen capture video with explanation of the first live calibration with an early prototype.</div> <div> </div> <div><code>video description.docx</code>: Explanation of the plots and adjustment process in the screen capture video.</div> <div> </div> <div><code>Microscope-Calibration.tar.gz</code>: Repository archive of the software and examples for calibration in the version used in the paper.</div> <div> </div> <div><code>TemGym.tar.gz</code>: Repository archive of TemGym Basic in the version used in the paper.</div> </div>

opencc-zeroMar 2024View details →

MatSeg DataSet and Benchmark For Zero-Shot Material States Segmentation From images

<h2>This is an old version for the new version see <a href="../records/11331618">https://zenodo.org/records/11331618</a></h2>   A Dataset and Benchmark for zero-shot segmentation of materials states described in: “Learning Zero-Shot Material States Segmentation, by Implanting Natural Image Patterns in Synthetic Data” Described in <a href="https://arxiv.org/pdf/2403.03309.pdf">https://arxiv.org/pdf/2403.03309.pdf</a>  See ReadMe in the zip file for technical details.   <h2>MatSeg Benchmark </h2> A benchmark for zero-shot material state segmentation. The benchmark contains 820 real-world images with a wide range of material states and settings. For example: food states (cooked/burned..), plants (infected/dry.), to rocks/soil (minerals/sediment),  construction/metals (rusted, worn),  liquids  (foam/sediment), and many other states in a class-agnostic manner.  The goal is to evaluate the segmentation of material materials without knowledge or pretraining on the material or setting. The focus is on materials with complex scattered boundaries, and gradual transition  (like the level of wetness of the surface). The annotation of the benchmark is point-based and similarity-based. Hence, for each image, we select several points and regions (Figure 4). We group the points of the same materials into the same label, we also define a group of points that have partial similarity. For example points in group A are more similar to points in group B than to points in group C (In case materials A and B are similar to each other but not identical). This approach allows us to capture the complexity of gradual transition and partial similarities in the world. While also enabling dealing with complex scattered and blurry shapes without needing to annotate the full shape which in many cases is unclear or very hard. Files <a href="../api/records/10801191/draft/files/MatSegBenchmarkPart1of3.zip/content" target="_blank" rel="noopener noreferrer">MatSegBenchmark</a>*.zip <h2>MatSeg synthetic Dataset Samples </h2> Synthethic dataset of images of materials spread on object surfaces and their segmentation map. The synthetic dataset is a very big, sample of the dataset as been uploaded. Files:       MatSegSynthehticDataSample*.zip The full dataset can be found in this URLS: <a href="https://e.pcloud.link/publink/show?code=kZHCcnZOfzqInb3anSl7xzFBoqCDmkr2JKV">https://e.pcloud.link/publink/show?code=kZHCcnZOfzqInb3anSl7xzFBoqCDmkr2JKV</a> <a href="https://icedrive.net/s/SBb3g9WzQ5wZuxX9892Z3R4bW8jw">https://icedrive.net/s/SBb3g9WzQ5wZuxX9892Z3R4bW8jw</a>   Generation Script for the synthetic data: <a href="https://github.com/sagieppel/MatSeg-Synthethic-Dataset-Generation-Script">https://github.com/sagieppel/MatSeg-Synthethic-Dataset-Generation-Script</a> <a href="../records/10822596/files/sagieppel/MatSeg-Synthethic-Dataset-Generation-Script-3.zip?download=1">https://zenodo.org/records/10822596</a>

Supplementary Material—Evaluating tactile feedback in addition to kinesthetic feedback for haptic shape rendering: a pilot study

Supplementary Material of the journal article: "<a href="https://www.frontiersin.org/articles/10.3389/frobt.2024.1298537/abstract">Evaluating tactile feedback in addition to kinesthetic feedback for Haptic Shape rendering: a pilot study</a>": DOI: <a href="https://doi.org/10.3389/frobt.2024.1298537">10.3389/frobt.2024.1298537</a>

opencc-by-4.0Nov 2023View details →

Data for a publication: "A new promising material for biological applications: multi-level physical modification of AgNPs-decorated PEEK"

The data set contains the data that were used within the article "A New Promising Material for Biological Applications: Multilevel Physical Modification of AgNP-Decorated PEEK" published in the journal Nanomaterials. Versions: V1&2: The dataset contained AFM and UV VIS data. V3: All the data used in the article are sorted in the file structure, which description is thoroughly described in the READ ME file. Additionally, the preprint DOI was added.

openmit-licenseMar 2024View details →

Supplementary Material - "Explanations in Everyday Software Systems: Towards a Taxonomy for Explainability Needs" (RE'24)

This artifact contains the questionnaire, coding guidelines and resulting coded data set for the research paper "Explanations in Everyday Software Systems: Towards a Taxonomy for Explainability Needs" submitted to and accepted at the 32nd IEEE International Requirements Engineering 2024 conference. This artifact does not contain any automated analyses or tools.

Database on available 2D materials

This deliverable is a database of exfoliable three-dimensional (3D) layered materials available for 2D-PRINTABLE, and the corresponding two-dimensional (2D) materials produced by project partners by means of various exfoliation methods in liquid media, including liquid-phase exfoliation method (LPE), electrochemical exfoliation (EE) and chemical exfoliation (CE). Exfoliable 3D layered materials are those synthesized and currently available at VSCHT facilities, while LPE-produced 2D materials are those produced by BeD, UKa, TCD TUD and VSCHT. The database includes the main specifications for exfoliable 3D layered materials, including their (physical) form (e.g., powder/crystal and corresponding dimension), stoichiometry and doping, as well as the material amount that can be supplied within the consortium. For 2D materials, the database reports the references to public documents (e.g., paper in international peer-reviewed journal or public repositories) showing material characterizations.  This project has received funding from the European Union’s Horizon Europe research and innovation programme under grant agreement No 101135196. Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union. Neither the European Union nor the granting authority can be held responsible for them.

Data for the publication: High performance of porous, hierarchically structured P2- Na0.6Al0.11 – xNi0.22 – yFex+yMn0.66O2 cathode materials

Data sets: SEM-images, EIS, ex situ XRD, operando XRD, electrochemical cycling. Abstract: Sodium-ion-batteries (SIB) are a low-cost alternative to currently used lithium-ion batteries (LIB) but suffer from poor cycling stability. Spray drying provides porous, hierarchically structured particles of cathode active material (CAM) in large amounts, suitable for up-scaling. Changing the chemical composition of the Na0.6Al0.11–xNi0.22–yFex+yMn0.66O2 layered oxides under identical synthesis conditions leads to differences in particle morphology, conductivities, sodium vacancy ordering and phase transition, therefore influencing the electrochemical performance via several mechanisms. Here, a broad overview on these changes for samples with variable nickel and iron content is presented. With increasing iron content, the particle porosity is reduced and lower of initial capacity is received for most cycling windows. Substituting half of the original Ni amount with Fe still leads to high capacities and improved cycling stability. The influence of Al as electrochemical inactive element becomes visible in stabilised cycling stability as well.

Datasets of the Doctoral Dissertation: "A Geoarchaeological Approach to the Materiality and Historical Ecology of Earth Mounds: The Colina da Monte Site, Uruguay."

These PDF files contain the datasets, workflows, and codes from Rocío M. López Cabral's Doctoral Dissertation project: "A Geoarchaeological Approach to the Materiality and Historical Ecology of Earth Mounds: The Colina da Monte Site, Uruguay."

Numerical simulation of friction extrusion: Process characteristics and material deformation due to friction

This study employs a finite element thermo-mechanical model, using a Lagrangian incremental setting to investigate friction extrusion (FE) under varying process conditions. The incorporation of rotation in FE generates substantial frictional heat, leading to significantly reduced process forces in comparison to conventional extrusion (CE). The model reveals the interplay between temperature, strain, and strain rate across different microstructural zones of the resulting wire. Specifically, the sticking friction condition in FE enhances initial shear deformation, aligning with a homogeneous spatial strain distribution and predicting complete grain refinement in the extruded wire, as per Zener-Hollomon calculations. On the other hand, under the sliding friction condition in FE, the shear deformation is reduced which results in an inhomogeneous microstructure in the extruded wire. The analysis of material flow in the workpiece reveals distinct transitions from the base material to the thermo-mechanically affected zones. The simulated process force, thermal history, and microstructure during sliding friction conditions align well with the findings from performed friction extrusion experiments.

opencc-by-4.0Jul 2023View details →

Supplementary Material for "To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines"

This dataset provides artifacts about the semantics of doActivity in the Precise Semantics of UML State Machines (PSSM) specification. It collects: <ul> <li>execution traces and screenshots from two simulators (Cameo, Papyrus Moka),</li> <li>analysis about doActivity features present in PSSM test suite, focusing on concurrency,</li> <li>collection of state machine models and doActivity patterns used in the Thirty Meter Telescope (TMT) SysML model.</li> </ul> Find the related paper at <a href="https://arxiv.org/abs/2309.14884" target="_blank" rel="noopener">arXiv:2309.14884</a>.

opencc-by-4.0May 2020View details →

FIGURE 5. Identified osteological material. A in Occurrence of the sabretooth cat Smilodon populator (Felidae, Machairodontinae) in the Cuvieri cave, eastern Brazil

FIGURE 5. Identified osteological material. A) Distal part of metatarsal (CVL2 12475); B) Proximal phalanx (CVL2 14207); B-C) Ungual phalanges (CVL2 14532; CVL2 14309) E-H) Intermediate phalanges (CVL2 15187; CVL2 13333; CVL2 13400; CVL2 13300). Scale bar equals 20 mm.

opencc-by-4.0Oct 2014View details →

Figure 4. Carbonized material with a in The rarity of gastroliths in sauropod dinosaurs - a case study in the Late Jurassic Morrison Formation, western USA

Figure 4. Carbonized material with a single gastrolith from Howe Quarry. The presence of plant matter surrounding the clast is interpreted as evidence of former stomach contents. This is specimen number D18-15 in the Sauriermuseum Aathal.

dryad40/100

Supplementary materials for Phylogenomics and genetic analysis of solvent-producing Clostridium species

The genus Clostridium is a large and diverse group within the Bacillota (formerly Firmicutes), whose members can encode useful complex traits such as solvent production, gas-fermentation, and lignocellulose breakdown. We describe 270 genome sequences of solventogenic clostridia from a comprehensive industrial strain collection assembled by Professor David Jones that includes 194 C. beijerenckiI, 57 C. saccharobutylicum, 4 C. saccharoperbutylacetonicum, 5 C. butyricum, 7 C. acetobutylicum, and 3 C. tetanomorphum genomes. We report methods, analyses and characterization for phylogeny, key attributes, core biosynthetic genes, secondary metabolites, plasmids, prophage/CRISPR diversity, cellulosomes and quorum sensing for the 6 species. The expanded genomic data described here will facilitate engineering of solvent-producing clostridia as well as non-model microorganisms with innately desirable traits. Sequences could be applied in conventional platform biocatalysts such as yeast or Escherichia coli for enhanced chemical production. Recently, gene sequences from this collection were used to engineer Clostridium autoethanogenum, a gas-fermenting autotrophic acetogen, for continuous acetone or isopropanol production, as well as butanol, butanoic acid, hexanol and hexanoic acid production.

opencc-zeroApr 2024View details →

opencc-by-4.0Dec 2011View details →

Fig. 1 in Materials About The Fauna Of Beetles (Insecta: Coleoptera) Of Naujene Rural Municipality (Daugavpils District, Latvia). Part 3

Fig. 1. Location of research area. Naujene rural municipality: 1 – Vecstropi, 2 – Krauja, 3 – Stropi, 4 – 0,5 km E from Križi (Daugavpis City), 5 – Kašatniki, 6 – Lociki, 7 – Naujene, 8 – Juzefova park, 9 – Vecpils, 10 – Butiški, 11 – Vasargeliški, 12 – Bukšti, 13 – Slutiški.

Dataset for publication "Chemical-Dealloying-Derived PtPdPb-Based Multimetallic Nanoparticles: Dimethyl Ether Electrocatalysis and Fuel Cell Application" in ACS Applied Materials & Interfaces 2023, 15, 49, 56930–56944

Dataset for publication "Chemical-Dealloying-Derived PtPdPb-Based Multimetallic Nanoparticles: Dimethyl Ether Electrocatalysis and Fuel Cell Application" in ACS Applied Materials & Interfaces 2023, 15, 49, 56930–56944, https://doi.org/10.1021/acsami.3c11003 Dataset contains XRD, SAXS, Particle size distribution, HRTEM, Electrochemical characterisation, Fuel cell current-voltage curve, DFT calculations, Elemental maps and electrode stability measurements made on pristine and chemically dealloyed carbon supported Pt2PdPb2 nanoparticles.

"How much OWL do you need to know to make sense of building ontologies?" supplementary material

This records contains the ontologies analized in the “How much OWL do you need to know to make sense of building ontologies?” paper presented at “LDAC2024 - Linked Data in Architecture and Construction” workshop. It also includes the resulting estructures and patterns identified as well as a library of graphical pattersn generated with the Chowlk notation (https://chowlk.linkeddata.es/).

Supporting Material: Scientific Literature on the Sustainable Development Goals (SDGs). Scopus - May 2022

This is a supplementary dataset for an article analysing the scientific literature related to the Sustainable Development Goals (SDGs) using Scopus-indexed journals.  Data were retrieved in May 2022. Scopus was searched in the Title, Abstract, and Keywords fields  looking for each of the 17 SDGs (search query example: TITLE-ABS-KEY (“SDG1” or "SDG 1"). The dataset includes the following information for each of the 4808 scientific publication: ID: an identificatory alphanumerical number given by the authors Primary SDG: the main SDG the document focus on (MULTIPLE in case of more than one, ALL in case of all the SDGs) Year: Year of publication Title: title of the publication Abstract: abstract of the publication Index keywords: keywords of the publication