Other
None
- Categories:
88 Views
We provide a large benchmark dataset consisting of about: 3.5 million keystroke events; 57.1 million data-points for accelerometer and gyroscope each; and 1.7 million data-points for swipes. Data was collected between April 2017 and June 2017 after the required IRB approval. Data from 117 participants, in a session lasting between 2 to 2.5 hours each, performing multiple activities such as: typing (free and fixed text), gait (walking, upstairs and downstairs) and swiping activities while using desktop, phone and tablet is shared.
- Categories:
10501 Views
Traditional Static Timing Analysis (STA) assumes only single input switches at a time with the side input held at non-controlling value. This introduces unnecessary pessimism or optimism which may cause degradation of performance or chip failure. Modeling Multi-Input Switching (MIS) requires a good amount of simulations hence we provide a dataset comprising of SPICE simulations done on 2 input NAND and NOR gate.
- Categories:
273 Views
The dataset is the result of exhaustive search of primary extended 1-perfect unitrades in the 10-cube, or, equivalently, triangle-free 5-regular connected induced subgraphs of the halved 10-cube. We list representatives of all the 38 equivalence classes.
- Categories:
115 Views
This data set contains the data of intellectuall capital dimensions,firm situation and value added data of China's information technology industry.
- Categories:
90 Views
PURPOSE
-------
This data package is provided as supplementary material of the paper:
“A GPU Approach to Efficiently Reusing Constraint Proofs”, by M. Chen, G. Denaro and M. Pezzè,
submitted for evaluation to IEEE Transactions on software engineering, Nov. 2019.
STRUCTURE
---------
The data package consists of 24 files:
- a file named _README.txt: this file
- a file named _programs.txt
- 22 files named <program_name>.sexpr
- Categories:
106 Views
The dataset stores multi-carpark occupancy records in JSON format.
- Categories:
189 Views
This matlab code allows to reproduce some of the constrained and unconstrained dynamic identification techniques for open-chain robots. Below you can find an summary of the underlying research.
- Categories:
1382 Views
This dataset contains the files provided in support of the paper entitled 'Isolating Change Propagation in Software Architectures' authored by Andrew Leigh, Michel Wermelinger and Andrea Zisman of the Open University.
If you have any questions please contact: andrew.leigh@open.ac.uk the files have been shared to allow other researchers to reproduce the work. The data set includes a README file that explains the file purpose and contents in detail.
- Categories:
94 Views