首页> 外文OA文献 >Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes

【2h】

Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes

机译：用于代数最强大的后期后的算法和多项式杂物中最弱的前提

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Michele Boreale;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODES [J] . Michele Boreale Science of Computer Programming . 2020,第Jul1期

机译：多项式ODES中代数最强后置条件和最弱先决条件的完整算法
2. Binding affinities of 438 HLA proteins to complete proteomes of seven pandemic viruses and distributions of strongest and weakest HLA peptide binders in populations worldwide [J] . HLA. . 2020,第3期

机译：438 HLA蛋白质的结合亲和力在全世界群体中完成七分裂病毒和最强和最弱的HLA肽粘合剂的蛋白质蛋白质
3. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms [J] . Kaminski Benjamin Lucien, Katoen Joost-Pieter, Matheja Christoph, Journal of the Association for Computing Machinery . 2018,第5期

机译：随机算法预期运行时间的最弱前提推理
4. Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S [C] . Michele Boreale International conference on current trends in theory and practice of computer science . 2018

机译：多项式ODE'S中代数最强后置条件和最弱前提的完整算法
5. A Differential Algebra Approach to Commuting Polynomial Vector Fields and to Parameter Identifiability in ODE Models [D] . Thompson, Peter A. 2019

机译：ODE模型中多项式矢量场交换和参数可识别性的微分代数方法
6. ALGEBRAIC CHARACTERIZATION OF POLYNOMIALS WHOSE ZEROS LIE IN CERTAIN ALGEBRAIC DOMAINS [O] . R. E. Kalman 1969

机译：零代数域中的ZEROS LIE的多项式的代数刻画
7. Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ode's [O] . Boreale, Michele 2017

机译：代数最强后置条件和最弱的完整算法多项式ode中的前提条件

Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes

著录项

引文网络

相似文献

相关主题

期刊订阅