Related papers: Reflections on Monadic Lenses
We use the basic expected properties of the Gray tensor product of $(\infty,2)$-categories to study (co)lax natural transformations. Using results of Riehl-Verity and Zaganidis we identify lax transformations between adjunctions and monads…
Many systems of interest to control engineering can be modeled by linear complementarity problems. We introduce a new notion of equivalence between linear complementarity problems that sets the basis to translate the powerful tools of…
We consider isomorphism between the idempotent measure monad based on the maximum and the addition operations and the idempotent measure monad based on the maximum and the multiplication operations. A one of the consequences of this result…
We study homomorphisms on the algebra of analytic functions of bounded type on a Banach space. When the domain space lacks symmetric regularity, we show that in every fiber of the spectrum there are evaluations (in higher duals) which do…
Coproducts of monads on Set have arisen in both the study of computational effects and universal algebra. We describe coproducts of consistent monads on Set by an initial algebra formula, and prove also the converse: if the coproduct…
Conventional word embeddings represent words with fixed vectors, which are usually trained based on co-occurrence patterns among words. In doing so, however, the power of such representations is limited, where the same word might be…
Fusions are a simple way of combining logics. For normal modal logics, fusions have been investigated in detail. In particular, it is known that, under certain conditions, decidability transfers from the component logics to their fusion.…
Multi-modal machine translation aims at translating the source sentence into a different language in the presence of the paired image. Previous work suggests that additional visual information only provides dispensable help to translation,…
We use functions of a bicomplex variable to unify the existing constructions of harmonic morphisms from a 3-dimensional Euclidean or pseudo-Euclidean space to a Riemannian or Lorentzian surface. This is done by using the notion of…
Linear mixed-effects models are a central analytical tool for modeling hierarchical and longitudinal data, as they allow simultaneous representation of fixed and random sources of variation. In practice, inference for such models is most…
One of the bottlenecks that limit the transition of transformation-optics devices from concepts to practical use is the non-unit magnetic permeability generally required from a mathematical transformation. Simple renormalization of…
A GBDT version of the B\"acklund-Darboux transformation for a non-isospectral canonical system is considered. Applications to multiplicative integrals and their limit values, to characteristic matrix functions and to linear similarity…
Linear complementarity problems provide a powerful framework to model nonsmooth phenomena in a variety of real-world applications. In dynamical control systems, they appear coupled to a linear input-output system in the form of linear…
Recent work has documented striking heterogeneity in the performance of state-of-the-art vision language models (VLMs), including both multimodal language models and text-to-image models. These models are able to describe and generate a…
This thesis deals with the specification and construction of syntax and operational semantics of a programming language. We work with a general notion of signature for specifying objects of a given category as initial objects in a suitable…
Multimodal representation learning is fundamentally about transforming incomparable modalities into comparable representations. While prior research primarily focused on explicitly aligning these representations through targeted learning…
We consider parametric linear programming problems with multiple objective functions depending linearly on some parameter. Both parametric (single-objective) linear programming and (non-parametric) multi-objective linear programming are…
Microscopy and optical imaging are drastically limited by the inhomogeneities encountered by the light while propagating from the object of interest to the detection system. In this context, adaptive optics and wavefront manipulation are…
Light beams can be symmetric under different transformations: translations, rotations, mirror symmetries, duality transformations, etc. In this thesis, a systematic way of characterizing these symmetries is presented. Then, it is shown that…
Infrared and visible image fusion aim to integrate modality strengths for visually enhanced, informative images. Visible imaging in real-world scenarios is susceptible to dynamic environmental brightness fluctuations, leading to texture…