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.
Programmableweb
We apply the AES Encryption algorithm and the Lempel Ziv(LZ) Compression algorithms on each data record and record the times. Then we apply combinations of AES and LZ on the data records - namely AES(LZ()) and LZ(AES()). We record the 4 times and derive scatter plots.
Context: Multiple types of processing units (e.g., CPUs, GPUs and FPGAs) can be used jointly to achieve better performance in computational systems. However, these units are built with fundamentally different characteristics and demand attention especially towards software deployment.
Reliability paremeters for UHVDC
The data set provided source code in C on how to compute Collatz dynamics by automata in terms of residue classes. It also includes algorithms implemented by C codes that can output residue classes by inputting reduced dynamics. The formular for computing a residue class for a given reduced dynamics is as follows:
Function $Invrs(\cdot)$.
$Invrs: c \rightarrow rs$ takes as input \\
$c=O$ or \\
$c=I^{p_1}O^{q_1}I^{p_2}O^{q_2}...I^{p_n}O^{q_n} \in \{I,O\}^{\geq 2},$ $p_i,q_i\in \mathbb{N}^*, i=1,2,...,n, n \in \mathbb{N}^*$\\
Once the three courses for the three learning scenarios - C# OOP programming, Sphero Edu visual programming and VEDILS authoring tool - were taught, the three student groups were asked to indicate using a scale between one and four - to avoid the selection of neutral options - their perception of the clarity and the interest of the exposition (CL and IT indicators), as well as the time spent studying the course contents (ST indicator).
AIM: Population aging is a worldwide phenomenon leading to increased life expectancy without necessarily meaning more years of autonomous life. Frailty is characterized by diminished strength, resistance and physiological function that increase vulnerability leading to dependency and mortality. While frailty diagnoses requires a clinical assessment of the patients overall health including at least five different criteria, the relationship among them it is little explored.
# of original news:30；
# of candidate news:25899；
# of reprinted news (no source label):4234 (537)
The whole data set will be published after the acceptance of our paper via the same url as shown in the paper.
When using PackageRank software to analyze our data set, please do not change the name of the .net files.
The .net file has the following format:
Node count: *Vertices count
Node List:
number "node name"
EX: 1 "org.apache.tools.ant.taskdefs.optional.sitraka"
Arc List:
node1 node2 weight
EX: 1 2 3
This dataset is from the paper "Metamorphic Relations for Enhancing System Understanding and Use" by Zhi Quan Zhou, Liqun Sun, Tsong Yueh Chen, and Dave Towey, accepted for publication in IEEE Transactions on Software Engineering.
We study a reverse problem - given a reduced dynamics or partial dynamics, can we compute a residue class who presents that dynamics.
We design a computer program that can randomly generate extremely large integers and output their original dynamics. The source code is txpo10b.c. The bit length of integers can be defined by Macro (named MAXLEN) in source code. The number of randomly generated integers can be set by inputting argument. The program can output the original dynamics of a starting integer in terms of “-” presenting (3*x+1)/2 and “0” presenting x/2. This data can be used for observing the relation between the count of “-” and the count of “0”.
Currently, the largest integer being verified for Collatz conjecture is about 2^60 . To verify whether extremely large integers such as 2^{100000}-1 can return 1, we design a new algorithm. This dedicated algorithm can change numerical computation into bit or charter computation, hence, original dynamics for extremely large integer without upper bound can be computed.
Data from 17 open source software projects was analysed with DWT in order to find similar sequences of values of metrics extracted from revision control systems. The dates for stages and cycles for the projects are listed as well as the terms used in different time periods. The dataset is used to indentify topic flows in the cycles determined by DWT analysis of the source code.
We design a computer program that can output reduced dynamics for odd integers with 4k+3, e.g, [3-99999999]. Outputting (reduced) dynamics for much larger integers are also possible. The source code in C is txpo9.c. There are 5 options in arguments for more flexible output. Those data can reveal the properties of reduced dynamics. The most important are ratio and period.
Computational modelling of metabolic processes has proven to be a useful approach to formulate our knowledge and improve our understanding of core biochemical systems that are crucial to maintain cellular functions. Recently, it has become evident that metabolism is not only responsible for generating the required energy and controlling the abundance of metabolites within a cell, but also has an important role in and influence on cellular fate specification.
We provide results of "Robust Visual Tracking Based on Adaptive Extraction and Enhancement of Correlation Filter" on OTB2015 dataset, including the results of proposed tracker with HOG, HOGCN, and deep CNN features.
Vibration data collected from handpump handles in Kwale, Kenya.
800x600 Normal 0 7.8 磅 0 2 false false false EN-US ZH-CN X-NONE MicrosoftInternetExplorer4
The data is reduced Collatz dynamics that is denoted by occurred (3*x+1)/2 represented by "-'' and x/2 represented by "0", during the process from a starting integer to the first integer less than the starting integer. The format is: starting integer, binary representation, the count of (3*x+1)/2, the count of x/2, the reduced dynamics represented by "-'' and "0", the ratio - the count of x/2 over the count of (3*x+1)/2.
