EVOLUTION OF DEGENERATE PAIRS OF BOUND STATES IN THE CONTINUUM WITH BROKEN SYMMETRY


Certification of Prefixed Tableau Proofs for Modal Logic

Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based on them) have been presented.This work falls within BALDING CLIPPER the general project of establishing a common specification language in order to certify proofs given

read more


Fuzzy Morphological Polynomial Image Representation

A novel signal representation using fuzzy mathematical morphology is developed.We take advantage of the optimum fuzzy fitting and the efficient implementation of morphological operators to Boxers extract geometric information from signals.The new representation provides results analogous to those given by the polynomial transform.Geometrical decomp

read more