From probabilistic bisimulation to representation learning via metrics
From probabilistic bisimulation to representation learning via metrics
2024年2月12日
ox.ac.uk
Branching time and abstraction in bisimulation semantics | Journal of the ACM
Branching time and abstraction in bisimulation semantics | Journal of the ACM
2 个月之前
acm.org
Bisimulation as path type for guarded recursive types | Proceedings of the ACM on Programming Languages
Bisimulation as path type for guarded recursive types | Proceedings of the ACM on Programming Languages
5 个月之前
acm.org
Bisimulation as path type for guarded recursive types | Proceedings of the ACM on Programming Languages
Bisimulation as path type for guarded recursive types | Proceedings of the ACM on Programming Languages
2020年2月19日
acm.org
Hacking nondeterminism with induction and coinduction | Communications of the ACM
Hacking nondeterminism with induction and coinduction | Communications of the ACM
2020年1月5日
acm.org
Symbolic bisimulation for open and parameterized systems | Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Symbolic bisimulation for open and parameterized systems | Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
2020年1月20日
acm.org
Edit distance modulo bisimulation | Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Edit distance modulo bisimulation | Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
2019年12月31日
acm.org
Checking NFA equivalence with bisimulations up to congruence | ACM SIGPLAN Notices
2020年4月15日
acm.org
Bisimulation for quantum processes | ACM SIGPLAN Notices
2011年1月26日
acm.org
49:18
Approximate Bi-Simulation Bridging CS and Control by George J. Pappas @ CDC 2011
已浏览 28 次2023年3月4日
bilibilitang_edu
Trustworthy Runtime Verification via Bisimulation (Experience Report) | Proceedings of the ACM on Programming Languages
2023年8月31日
acm.org
Hacking nondeterminism with induction and coinduction | Communications of the ACM
2015年1月28日
acm.org
Bisimulation for quantum processes | Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
2020年5月10日
acm.org
Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete
2020年12月12日
tib.eu
BiS、日比谷野音ワンマン"ESCAPE from BiSimulation"から「TOUCH ME」ライヴ映像公開
2023年2月11日
skream.jp
The marriage of bisimulations and Kripke logical relations | Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
2019年12月29日
acm.org
Bis - Bisimulation
已浏览 1102.9万 次2013年3月13日
discogs.com
Bis - Bisimulation
2013年3月13日
discogs.com
BiS - BiSimulation
已浏览 849.4万 次2013年3月13日
discogs.com
今揉めるアイドルBiS、真冬のスク水LIVE!!
2013年2月18日
ameblo.jpアニカンSTAFF
Reachability Analysis of the Domain Name System | Proceedings of the ACM on Programming Languages
2025年1月9日
acm.org
5:46
【试听课】第2章第7节-BSIM模型提参技术详解三
已浏览 1368 次2025年3月27日
bilibili懒小木
0:40
BISSIM8.0怎么进行3D仿真
11 个月之前
douyin.com
53:15
双准BIC模式以及古斯汉森位移（GH shift）COMSOL仿真教程
已浏览 7199 次2024年8月22日
bilibiliopti-simulation
1:36:05
bizsim综合培训
已浏览 8097 次2023年1月20日
bilibili睡衣麻辣串先生
3:40
【试听课】第2章第8节-BSIM中的CV模型提参技术
已浏览 930 次2025年4月15日
bilibili懒小木
4:17
SPICE课程更新：第2章第6节-BSIM模型提参技术详解二（试听视频）
已浏览 2744 次2025年3月18日
bilibili懒小木
强化学习论文分享2022-10-06
已浏览 1786 次2022年10月8日
bilibili北交INSIS强化学习组
展开