paper
Presenting with Quantitative Inequational Theories
Todd Schmid
quantitative financearxiv
Description
It came to the attention of myself and the coauthors of (S., Rozowski, Silva, Rot, 2022) that a number of process calculi can be obtained by algebraically presenting the branching structure of the transition systems they specify. Labelled transition systems, for example, branch into sets of transitions, terms in the free semilattice generated by the transitions. Interpreting equational theories in the category of sets has undesirable limitations, and we would like to have more examples of presen...
Similar Books
paper
Quantitative mode stability for the wave equation on the Kerr-Newman spacetime
Damon Civin
Quantitative mode stability for the wave equation on the Kerr-Newman spacetime
paper
Risk-Aware Objective-Based Forecasting in Inertia Management
Haipeng Zhang, Ran Li, Yan Chen, Zhongda Chu, Mingyang Sun
Risk-Aware Objective-Based Forecasting in Inertia Management
paper
Chainalysis: Geography of Cryptocurrency 2023
Chainalysis
Chainalysis: Geography of Cryptocurrency 2023
paper
Periodicity in Cryptocurrency Volatility and Liquidity
Peter Reinhard Hansen, Chan Kim, Wade Kimbrough
Periodicity in Cryptocurrency Volatility and Liquidity
paper
Impact of Geometric Uncertainty on the Computation of Abdominal Aortic Aneurysm Wall Strain
Saeideh Sekhavat, Mostafa Jamshidian, Adam Wittek, Karol Miller
Impact of Geometric Uncertainty on the Computation of Abdominal Aortic Aneurysm Wall Strain
paper
Simulation-based Bayesian inference with ameliorative learned summary statistics -- Part I
Getachew K. Befekadu
Simulation-based Bayesian inference with ameliorative learned summary statistics -- Part I