.zip

This is the LVSiM simulator files

Categories:
323 Views

We have included the code of protocol verification for ProVerif (in .pv format) and Scyther (in .spdl format) in the “Supplementary Materials” (Supplementary-Materials.pdf) of the revised manuscript. Essentially, the .pdf file of the “Supplementary Materials” includes: A. The source code for the protocol verifier Scyther (in .spdl format); and B. The source code for the protocol verifier ProVerif (in .pv format).

Categories:
99 Views

image files and origin files for manuscript entitled "Effect of Solid Particles on the Loss Circulation of Drilling Fluid: A Numerical Simulation"

Categories:
76 Views

This dataset is benchmark dataset we use in our research for Intrusion Detection System.

Categories:
2237 Views

It is possible to construct "aerosol cytometers" based on different types of Zhulanov's laser  aerosol counters | diffusion aerosol spectrometers (DAS) [1-8] and "hydrosol cytometers" based on hydrosol particle counters (adopted for ocean marine, ocean and hydrothermal conditions [9,10]).

Categories:
453 Views

These datasets were generated in a computer network environment where eXfiltration Advanced Persistent Threats were launched against a number of high-value targets.

It is the alert log of the Security Onion SIEM which aggregates alerts from network and host-based intrusion detection systems that are securing the network environment.

Categories:
336 Views

This folder contains the code and datasets necessary for performing experiments on the Steimann and Defects4J coverage matrices detailed in "Doric: Foundations for Statistical Fault Localisation". See the README.txt inside the folder for further details.

Categories:
96 Views

There are two types of data: raw EEG data recorded from the Brain-Vision system and Mat file converted by BBCI-Tool Box.

Categories:
239 Views

Supplementary material for article "An Efficient Meta-Heuristic for Multi-objective Flexible Job Shop Inverse Scheduling Problem"

Categories:
2123 Views

The fifth-generation cellular networks (5G)has been proposed as a solution for the accelerating growth in data traffic. As part of 5G, millimetre-wave (mmWave) is suggested as one of the potential spectrum candidates due to the vastly available bandwidth. Accordingly, both indoor and outdoor propagation measurements on mmWave have been widely conducted over the recent years. These field measurements were heavily dependent on utilizing expensive channel-sounders and tools.

Categories:
517 Views

Pages