This paper shows an application of Type-reduction algorithms for computing the steady state of an Interval Type-2 Fuzzy Markov Chain (IT2FM). The IT2FM approach is an extension of the scope of a Type-1 fuzzy markov chain ...

Refinement types are an effective language-based verification technique. However, as any expressive typing discipline, its strength is its weakness, imposing sometimes undesired rigidity. Guided by abstract interpretation, ...

The reactions between 2-chloro-5-nitro pyrimidine with a serie of α-nucleophile derivatives were kinetically evaluated. The kinetic study was carried out in aqueous media and the data shown an unusual split on the Brønsted ...

Refinement types allow for lightweight program verification by enriching types with logical predicates. Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: ...

We present an experiment in formally describing a programming language and its properties in constructive type theory. By constructive type theory we understand primarily the formulation of Martin Löf's set theory. ...

We study here the spike state found in mesoscopic type I superconductors whose existence is confined to the single field where the superconducting state arises from the normal state in descending field in the so-called ...

This study provides a new characterization of the switching points for generalized Hukuhara differentiable fuzzy-valued functions. New results on generalized Hukuhara differential and integral calculus for fuzzy-valued ...

We study here the spike state found in mesoscopic type I superconductors whose existence is confined to the single field where the superconducting state arises from the normal state in descending field in the so-called ...