Other
This dataset contains the information about 305 shared web hosting providers, their uptime, response time, number of servers and sites for the period of the previous 3 months (08/14/2018 – 11/11/018).
- Categories:
167 Views
The Geomagnetic field can be used for classifying different landmark locations inside a big building.
- Categories:
463 Views
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}^*$\\
- Categories:
134 Views
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).
- Categories:
244 Views
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
Meaning: from node 1 to node 2 with weight 3
- Categories:
185 Views
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.
- Categories:
153 Views
We study a reverse problem - given a reduced dynamics or partial dynamics, can we compute a residue class who presents that dynamics.
- Categories:
114 Views
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”.
- Categories:
123 Views
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. By this algorithm, we thus design computer program that can output original dynamics for extremely large integers without upper-bound such as 2^{100000}-1, which is the largest integer being verified until now.
- Categories:
185 Views