Tobias Fritz

CoRR, 2024

Hidden Markov Models and the Bayes Filter in Categorical Probability.

[BibT_eX]

[DOI]

CoRR, 2024

2023

From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness.

[BibT_eX]

[DOI]

Appl. Categorical Struct., October, 2023

Representable Markov categories and comparison of statistical experiments in categorical probability.

[BibT_eX]

[DOI]

Eigil Fjeldgren Rischel

Theor. Comput. Sci., June, 2023

Abstract Vergleichsstellensätze for Preordered Semifields and Semirings I.

[BibT_eX]

[DOI]

SIAM J. Appl. Algebra Geom., June, 2023

Free gs-Monoidal Categories and Free Markov Categories.

[BibT_eX]

[DOI]

Wendong Liang

Appl. Categorical Struct., April, 2023

Dilations and information flow axioms in categorical probability.

[BibT_eX]

[DOI]

Nicholas Gauguin Houghton-Larsen

Antonio Lorenzin

Dario Stein

Math. Struct. Comput. Sci., 2023

The d-Separation Criterion in Categorical Probability.

[BibT_eX]

[DOI]

Andreas Klingler

J. Mach. Learn. Res., 2023

Absolute continuity, supports and idempotent splitting in categorical probability.

[BibT_eX]

[DOI]

CoRR, 2023

Weakly affine monads.

[BibT_eX]

[DOI]

CoRR, 2023

Asymptotic and catalytic matrix majorization.

[BibT_eX]

[DOI]

Muhammad Usman Farooq

Erkka Haapasalo

Marco Tomamichel

CoRR, 2023

Weakly Markov Categories and Weakly Affine Monads.

[BibT_eX]

[DOI]

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

A Sub-100 Fs RMS<sub>jitter</sub> 20 GHz Fractional-N Analog PLL With a BAW Resonator Based On-Chip 2.5 GHz Reference.

[BibT_eX]

[DOI]

Sachin Kalia

Salvatore Finocchiaro

IEEE J. Solid State Circuits, 2022

Dilations and information flow axioms in categorical probability.

[BibT_eX]

[DOI]

Nicholas Gauguin Houghton-Larsen

Dario Stein

CoRR, 2022

2021

Probability, valuations, hyperspace: Three monads on top and the support as a morphism.

[BibT_eX]

[DOI]

Sharwin Rezagholi

Math. Struct. Comput. Sci., 2021

De Finetti's Theorem in Categorical Probability.

[BibT_eX]

[DOI]

CoRR, 2021

Quantum logic is undecidable.

[BibT_eX]

[DOI]

Arch. Math. Log., 2021

2020

A CMOS Temperature Stabilized 2-D Mechanical Stress Sensor With 11-bit Resolution.

[BibT_eX]

[DOI]

Umidjon Nurmetov

Ernst Müllner

Christopher M. Dougherty

Michael Szelong

Franz Kreupl

Ralf Brederlow

IEEE J. Solid State Circuits, 2020

Infinite products and zero-one laws in categorical probability.

[BibT_eX]

[DOI]

Eigil Fjeldgren Rischel

Compositionality, 2020

The Universal Property of Infinite Direct Sums in $\hbox {C}^*$-Categories and $\hbox {W}^*$-Categories.

[BibT_eX]

[DOI]

Bas Westerbaan

Appl. Categorical Struct., 2020

Monads, Partial Evaluations, and Rewriting.

[BibT_eX]

[DOI]

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

2019

Using Machine Learning for predicting area and Firmware metrics of hardware designs from abstract specifications.

[BibT_eX]

[DOI]

Lorenzo Servadei

Elena Zennaro

Keerthikumara Devarajegowda

Wolfgang Ecker

Robert Wille

Microprocess. Microsystems, 2019

A synthetic approach to Markov kernels, conditional independence, and theorems on sufficient statistics.

[BibT_eX]

[DOI]

CoRR, 2019

A CMOS Temperature Stabilized 2-Dimensional Mechanical Stress Sensor with 11-bit Resolution.

[BibT_eX]

[DOI]

Umidjon Nurmetov

Ernst Müllner

Christopher M. Dougherty

Franz Kreupl

Ralf Brederlow

Proceedings of the 2019 Symposium on VLSI Circuits, Kyoto, Japan, June 9-14, 2019, 2019

2018

Bimonoidal Structure of Probability Monads.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Stochastic order on metric spaces and the ordered Kantorovich monad.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization.

[BibT_eX]

[DOI]

Tim Netzer

Andreas Berthold Thom

SIAM J. Appl. Algebra Geom., 2017

Resource convertibility and ordered commutative monoids.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2017

A Probability Monad as the Colimit of Finite Powers.

[BibT_eX]

[DOI]

CoRR, 2017

2016

A mathematical theory of resources.

[BibT_eX]

[DOI]

Bob Coecke

Robert W. Spekkens

Inf. Comput., 2016

A Resource Theory for Work and Heat.

[BibT_eX]

[DOI]

Carlo Sparaciari

Jonathan Oppenheim

CoRR, 2016

2014

A Bayesian Characterization of Relative Entropy.

[BibT_eX]

[DOI]

John C. Baez

CoRR, 2014

2013

Entropic Inequalities and Marginal Problems.

[BibT_eX]

[DOI]

Rafael Chaves

IEEE Trans. Inf. Theory, 2013

Corrigendum to "Velocity polytopes of periodic graphs and a no-go theorem for digital physics" [Discrete Mathematics 313 (2013) 1289-1301].

[BibT_eX]

[DOI]

Discret. Math., 2013

Velocity polytopes of periodic graphs and a no-go theorem for digital physics.

[BibT_eX]

[DOI]

Discret. Math., 2013

Probabilistic models on contextuality scenarios.

[BibT_eX]

[DOI]

Anthony Leverrier

Ana Belén Sainz

Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013

2012

Virtual Logistics Lab: A Framework for Rapid Prototyping and Remote Experimentation.

[BibT_eX]

[DOI]

Proceedings of the Impact of Virtual, Remote, and Real Logistics Labs, 2012

2011

A Characterization of Entropy in Terms of Information Loss.

[BibT_eX]

[DOI]

John C. Baez

Tom Leinster

Entropy, 2011

Entropic Inequalities and the Marginal Problem

[BibT_eX]

[DOI]

Rafael Chaves

CoRR, 2011

Velocity Polytopes of Periodic Graphs

[BibT_eX]

[DOI]