Ralph Sarkis | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Valeria Vignudelli
6 publications
Matteo Mio
6 publications
Daniela Petri{ş}an
1 publication

research

∙ 04/27/2023

Universal Algebra for Generalised Metric Spaces

We study in this work a generalisation of the framework of quantitative ...

0 Matteo Mio, et al. ∙

research

∙ 01/22/2022

Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning

The framework of quantitative equational logic has been successfully app...

0 Matteo Mio, et al. ∙

research

∙ 06/25/2021

Semialgebras and Weak Distributive Laws

Motivated by recent work on weak distributive laws and their application...

0 Daniela Petri{ş}an, et al. ∙

research

∙ 12/01/2020

Combining nondeterminism, probability, and termination: equational and metric reasoning

We study monads resulting from the combination of nondeterministic and p...

0 Matteo Mio, et al. ∙