We study the interplay between dependent types and computational effects, two im-portant areas of modern programming language research. On the one hand, dependenttypes underlie proof assistants such as Coq and functional programming languagessuch as Agda, Idris, and F*, providing programmers a means for encoding detailedspecifications of program behaviour using types. On the...

Recurrent neural networks (RNNs) have been shown to be very effective for many sequential prediction problems such as speech recognition, machine translation, part-of-speech tagging, and others. The best variant is typically a bidirectional RNN that learns representation for a sequence by performing a forward and a backward pass through the entire sequence. However, unlike unidirectional RNNs, ...

Anti genic analysis of mycobacteria by agar-diffusion, first reported by Parlett and Youmans ( 14 ), has been developed by many investigators ( 15, 16, 22) and applied to serologic identification and classification of mycobacteria. Recently, Fukui et aZ. (10) reported that an antigen of M. Zepraemllrium may be identical with the avian y antigen. However, little is known regardin g the antigenic...

This paper deals with density and regression estimation problems for functional data. Using wavelet bases for Hilbert spaces of functions, we develop a new adaptive procedure based on wavelet thresholding. We provide theoretical results on its asymptotic performances.

In order to satisfy the equivalence principle, any mechanism proposed to gravitationally explain the Pioneer anomaly, in the form in which it is presently known from the so-far analyzed Pioneer 10/11 data, cannot leave out of consideration its impact on the motion of the planets of the Solar System as well, especially those orbiting in the regions in which the anomalous behavior of the Pioneer ...

An example of discontinuity of the energy-momentum tensor moving at superluminal velocity is discussed. It is shown that the gravita-tional Mach cone is formed. The power spectrum of the corresponding Cherenkov radiation is evaluated.

in  cite{gl}, b. gerla and i. leuc{s}tean introduced the notion of similarity on mv-algebra. a similarity mv-algebra is an mv-algebra endowed with a binary operation $s$ that verifies certain additional properties. also, chirtec{s} in cite{c}, study the notion of similarity on l ukasiewicz-moisil algebras. in particular, strong similarity l ukasiewicz-moisil algebras were defined. in this paper...