-
Chapter and Conference Paper
Modeling a Big Medical Data Cognitive System with N-Ary Formal Concept Analysis
The dramatic explosion of huge number of heterogeneous medical data in smart healthcare, is leading to many difficulties on both obtaining the intelligence, cognition and natural interactions between doctors a...
-
Chapter and Conference Paper
Computing Periods \(\ldots \)
A period is the difference between the volumes of two semi-algebraic sets. Recent research has located their worst-case complexity in low levels of the Grzegorczyk Hierarchy. The present work introduces, analyzes...
-
Chapter and Conference Paper
Axiomatic Reals and Certified Efficient Exact Real Computation
We introduce a new axiomatization of the constructive real numbers in a dependent type theory. Our main motivation is to provide a sound and simple to use backend for verifying algorithms for exact real number...
-
Chapter and Conference Paper
Certified Computation of Nondeterministic Limits
The computational content of constructive metric completeness is the operator that computes limits of Cauchy sequences. It can be used to construct certified programs that compute interesting transcendental re...
-
Chapter and Conference Paper
Verified Exact Real Computation with Nondeterministic Functions and Limits
The problems of computing limit points nondeterministically from sequences of nondeterministic real numbers appear ubiquitously in exact real computation along with root-finding of real and complex functions. ...