Zobrazeno 1 - 10
of 56
pro vyhledávání: '"preservation of equations"'
If a monad $T$ is monoidal, then operations on a set $X$ can be lifted canonically to operations on $TX$. In this paper we study structural properties under which $T$ preserves equations between those operations. It has already been shown that any mo
Externí odkaz:
http://arxiv.org/abs/2001.06348
Publikováno v:
Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), 77:1-77:14. Dagstuhl : Schloss Dagstuhl
STARTPAGE=77:1;ENDPAGE=77:14;ISSN=1868-8969;TITLE=Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), pp. 77:1-77:14
STARTPAGE=77:1;ENDPAGE=77:14;ISSN=1868-8969;TITLE=Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), pp. 77:1-77:14
If a monad $T$ is monoidal, then operations on a set $X$ can be lifted canonically to operations on $TX$. In this paper we study structural properties under which $T$ preserves equations between those operations. It has already been shown that any mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b69c101f268bb2238794fc718b20795
Multiple Pseudo-Siamese Network with Supervised Contrast Learning for Medical Multi-modal Retrieval.
Publikováno v:
ACM Transactions on Multimedia Computing, Communications & Applications; May2024, Vol. 20 Issue 5, p1-23, 23p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Cook, Byron, Podelski, Andreas, Fecher, Harald, Huth, Michael
Publikováno v:
Verification, Model Checking & Abstract Interpretation (978-3-540-69735-0); 2007, p167-181, 15p
Autor:
Bellomo, Anna1 (AUTHOR) a.bellomo@uva.nl
Publikováno v:
Philosophia Mathematica. Oct2021, Vol. 29 Issue 3, p366-391. 26p.
Publikováno v:
Journal of Fish Biology; Apr2006, Vol. 68 Issue 4, p991-1001, 11p, 1 Diagram, 4 Charts, 2 Graphs
Autor:
OLEKSOWICZ, MICHAŁ
Publikováno v:
Philosophy of Science / Filozofia Nauki; 2021, Vol. 29 Issue 4, p57-82, 26p
Publikováno v:
Journal of Applied Physics; 2014, Vol. 115 Issue 17, p174903-1-174903-6, 6p
Publikováno v:
Proceedings of the Royal Society B: Biological Sciences; 2/24/2021, Vol. 288 Issue 1945, p1-10, 10p
Autor:
Hansoul, Georges, Teheux, Bruno
Publikováno v:
Contributions to Algebra & Geometry; Dec2020, Vol. 61 Issue 4, p627-647, 21p