research
∙
11/21/2021
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs
Formalization of mathematics is the process of digitizing mathematical k...
share
research
∙
04/16/2021
Word2rate: training and evaluating multiple word embeddings as statistical transitions
Using pretrained word embeddings has been shown to be a very effective w...
research
∙
03/08/2020
Dependently Typed Knowledge Graphs
Reasoning over knowledge graphs is traditionally built upon a hierarchy ...
research
∙
11/25/2019
Biologically Plausible Sequence Learning with Spiking Neural Networks
Motivated by the celebrated discrete-time model of nervous activity outl...
research
∙
11/21/2017
Variational Probability Flow for Biologically Plausible Training of Deep Neural Networks
The quest for biologically plausible deep learning is driven, not just b...
research
∙
02/23/2016
Mobile Big Data Analytics Using Deep Learning and Apache Spark
The proliferation of mobile devices, such as smartphones and Internet of...
research
∙
11/15/2015
Deep Activity Recognition Models with Triaxial Accelerometers
Despite the widespread installation of accelerometers in almost all mobi...
research
∙
08/02/2015
Toward a Robust Sparse Data Representation for Wireless Sensor Networks
Compressive sensing has been successfully used for optimized operations ...
research
∙
12/29/2014
