-
-
-
-
-
-
-
YAGL Public
A Javascript graph library for the Babylonjs 3D Framework
-
TIS Public
Thoracic Identification System (TIS): TIS is a tool used to test the effectiveness of thoracic signals (ECG and carotid pulse) as a biometric.
MATLAB Other UpdatedMay 12, 2017 -
Thoracic-Data-2015 Public
Thoracic pulse data from 15 subjects collected before and after exercise in 2015 using a laser Doppler vibrometer.
UpdatedOct 27, 2016 -
ChewTPTP Public
ChewTPTP, written in c, is a refutationally complete and sound automated theorem prover for first order theorems.
C++ UpdatedSep 29, 2016 -
Spectrum Public
Spectrum is a first-order logic theorem prover, written in C++, that implements SIG-Res, an inference system that couples together SInst-Gen and ordered resolution into a single inference system.
-
{{ message }}