research
∙
01/18/2022
A Computation Model with Automatic Functions and Relations as Primitive Operations
Prior work of Hartmanis and Simon (Hartmanis and Simon, 1974) and Floyd ...
share
research
∙
11/17/2021
Addition Machines, Automatic Functions and Open Problems of Floyd and Knuth
Floyd and Knuth investigated in 1990 register machines which can add, su...
research
∙
11/08/2021
Alternating Automatic Register Machines
This paper introduces and studies a new model of computation called an A...
research
∙
11/25/2020
Learnability and Positive Equivalence Relations
Prior work of Gavryushkin, Khoussainov, Jain and Stephan investigated wh...
research
∙
07/28/2020
Construction and Usage of a Human Body Common Coordinate Framework Comprising Clinical, Semantic, and Spatial Ontologies
The National Institutes of Health's (NIH) Human Biomolecular Atlas Progr...
research
∙
07/15/2020
A Faster Exact Algorithm to Count X3SAT Solutions
The Exact Satisfiability problem, XSAT, is defined as the problem of fin...
research
∙
04/09/2020
Capsules for Biomedical Image Segmentation
Our work expands the use of capsule networks to the task of object segme...
research
∙
02/28/2020
Neural Network Segmentation of Interstitial Fibrosis, Tubular Atrophy, and Glomerulosclerosis in Renal Biopsies
Glomerulosclerosis, interstitial fibrosis, and tubular atrophy (IFTA) ar...
research
∙
10/03/2019
A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT
X3SAT is the problem of whether one can satisfy a given set of clauses w...
research
∙
01/15/2019
Random Subgroups of Rationals
This paper introduces and studies a notion of algorithmic randomness for...
research
∙
12/18/2018