"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
A "chance" is an event or a situation significant for making a decision in a complex environment. Since we organized a session of Chance Discovery in KES 2000, the basic...
An irregular wavelet frame has the form W(ψ, Λ) = {a−1/2 ψ(x a − b)}(a,b)∈Λ, where ψ ∈ L2 (R) and Λ is an arbitrary sequence of points in the affine group A = R+ × ...