We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality betwe...

Simple representations of KLR algebras can be used to realize the infinity crystal for the corresponding symmetrizable Kac-Moody algebra. It was recently shown that, in finite and affine types, certain sub-categories of “cuspidal” representations realize crystals for sub-Kac-Moody algebras. Here we put that observation on a firmer categorical footing by exhibiting a corresponding functor betwee...

This talk is based on [2]. We establish, generalizing Di Nola and Lettieri’s categorical equivalence [3], a Morita-equivalence between the theory of lattice-ordered abelian groups and that of perfect MValgebras. Further, after observing that the two theories are not bi-interpretable in the classical sense, we identify, by considering appropriate topos-theoretic invariants on their common classi...

The purpose of this study was to examine the test-retest reliability of normalization methods for the infraspinatus muscle in a group of healthy subjects. Twelve healthy subjects (male=8, female=4) performed the maximal voluntary isometric contraction (MVIC) with examiner`s resistance, MVIC with a digital tension-meter (MVIC-DT), and sub-MVIC methods. Surface electromyography (EMG) signals were...

measles virus (mv) is a highly contagious agent which causes a major health problem in developing countries. we studied the effect of buthionine sulfoximine (bso) on the replication of an aik-hdc strain of mv and its induced apoptosis in vero cell lines. methods: in this study, toxicity of bso on vero cells was investigated first, resulted in determination of sub-lethal or non-toxic concentrati...

[1] Recent experimental and modeling studies show that large quasi-static electric fields (2–20 kV/m) can be developed in a Martian or terrestrial dust devil as a result of contact electrification and charge separation of dust grains with different sizes and compositions. Electric discharging occurs when the maximum electric field reaches breakdown values ( 20 kV/m on Mars and 3 MV/m on Earth, ...

The minimum variance (MV) beamformer, also known as the Capon or minimum variance distortionless response (MVDR) beamformer, uses the recorded wavefield to compute a set of optimal weights to be applied to each sensor, before coherently adding the sensor outputs. The weights are chosen such that the variance of the output is minimized while maintaining unit gain in the view direction. The MV be...