Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs

Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs

Motivated by a tight connection between Joyal's combinatorial species and quantitative models of linear logic, this paper introduces weighted generalised species (or weighted profunctors), where weights are morphisms of a given symmetric monoidal closed category (SMCC). For each SMCC W, we show...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Tsukada, T, Asada, K, Ong, C
Fformat:	Conference item
Cyhoeddwyd:	Association for Computing Machinery 2018

Eitemau Tebyg

Stabilized profunctors and stable species of structures
gan: Marcelo Fiore, et al.
Cyhoeddwyd: (2024-02-01)

Profunctor optics: Modular data accessors
gan: Pickering, M, et al.
Cyhoeddwyd: (2017)

Profunctor optics, a categorical update
gan: Clarke, B, et al.
Cyhoeddwyd: (2024)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
gan: Wenjie Du, et al.
Cyhoeddwyd: (2022-12-01)

Convex language semantics for nondeterministic probabilistic automata
gan: Van Heerdt, G, et al.
Cyhoeddwyd: (2018)

Trace and Testing Metrics on Nondeterministic Probabilistic Processes
gan: Valentina Castiglioni
Cyhoeddwyd: (2018-08-01)

Sulfo-SMCC Prevents Annealing of Taxol-Stabilized Microtubules In Vitro.
gan: Meenakshi Prabhune, et al.
Cyhoeddwyd: (2016-01-01)

Design of smart neonatal health monitoring system using SMCC
gan: Debashis De, et al.
Cyhoeddwyd: (2016-09-01)

On complexity of veri¯cation of nondeterministic probabilistic multiagent systems
gan: M. K. Valiev, et al.
Cyhoeddwyd: (2010-12-01)

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
gan: Marco Bernardo, et al.
Cyhoeddwyd: (2014-03-01)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
gan: Valentina Castiglioni, et al.
Cyhoeddwyd: (2018-06-01)

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
gan: Marco Bernardo, et al.
Cyhoeddwyd: (2013-06-01)

Quantum and classical structures in nondeterministic computation
gan: Pavlovic, D
Cyhoeddwyd: (2009)

Fault tolerant quantum computation with nondeterministic gates.
gan: Li, Y, et al.
Cyhoeddwyd: (2010)

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
gan: Natsuki Urabe, et al.
Cyhoeddwyd: (2017-09-01)

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
gan: Marco Bernardo, et al.
Cyhoeddwyd: (2011-08-01)

What you needa know about Yoneda: Profunctor optics and the Yoneda lemma
gan: Boisseau, G, et al.
Cyhoeddwyd: (2018)

Non-steroidal Anti-inflammatory Drugs Ranking by Nondeterministic Assessments of Probabilistic Type
gan: Madalina luiza MOLDOVEANU, et al.
Cyhoeddwyd: (2012-09-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-01-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

NONDETERMINISTIC DECISION RULES
gan: Piotr Paszek
Cyhoeddwyd: (2015-04-01)

A Nondeterministic Minimization Algorithm
gan: Caprile, Bruno, et al.
Cyhoeddwyd: (2004)

Bicategorical semantics for nondeterministic computation
gan: Vicary, J, et al.
Cyhoeddwyd: (2013)

A Creative Nondeterministic Computability
gan: A M Anisov
Cyhoeddwyd: (2009-09-01)

Taylor expansions and catastrophes/
gan: 406876 Poston, T., et al.
Cyhoeddwyd: (1976)

Nondeterministic Time and Space Complexity Classes
gan: Seiferas, Joel Irvin
Cyhoeddwyd: (2023)

Residuality and Learning for Nondeterministic Nominal Automata
gan: Joshua Moerman, et al.
Cyhoeddwyd: (2022-02-01)

Simplifying Nondeterministic Finite Cover Automata
gan: Cezar Câmpeanu
Cyhoeddwyd: (2014-05-01)

D2-SYNCHRONIZATION IN NONDETERMINISTIC AUTOMATA
gan: Hanan Shabana
Cyhoeddwyd: (2018-12-01)

Deriving checking sequences for nondeterministic FSMs
gan: Anton Ermakov
Cyhoeddwyd: (2018-10-01)

Nondeterministic State Complexity of Positional Addition
gan: Galina Jirásková, et al.
Cyhoeddwyd: (2009-07-01)

Computing the weight of subtasks in state minimization of nondeterministic finite automata by the branch and bound method
gan: M.E. Abramyan
Cyhoeddwyd: (2021-09-01)

Unified framework for quantum classification
gan: Nhat A. Nghiem, et al.
Cyhoeddwyd: (2021-07-01)

Taylor’s Expansion for Composite Functions
gan: Le Thi Phuong Ngoc, et al.
Cyhoeddwyd: (2013-01-01)

Reachability problems in nondeterministic polynomial maps on the integers
gan: Ko, SK, et al.
Cyhoeddwyd: (2018)