Parameterized model counting for string and numeric constraints

机译：用于字符串和数字约束的参数化模型

代理获取

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

页面导航

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

著录项

作者
Abdulbaki Aydin; William Eiers; Lucas Bang; Tegan Brennan; Miroslav Gavrilov; Tevfik Bultan; Fang Yu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Numerically Stable Moment Matching for Linear Systems Parameterized by Polynomials in Multiple Variables With Applications to Finite Element Models of Microwave Structures [J] . Farle O., Dyczij-Edlinger R. Antennas and Propagation, IEEE Transactions on . 2010,第11期

机译：多项式多项式参数化线性系统的数值稳定矩匹配及其在微波结构有限元模型中的应用
2. APS -Joint Fall 2017 Meeting of the Texas Section of the APS, Texas Section of the AAPT, and Zone 13 of the Society of Physics Students- Event - Recent observational constraints with figures of merit on the parameters of a variety of cosmological models, including some growth index parameterizations and comparisons using AIC and BIC methods [J] . Andrew Chang, Dr. Jacob Moldenhauer, Craig Nakutis Bulletin of the American Physical Society . 2017,第16期

机译：APS-APS得克萨斯分校，AAPT得克萨斯分校和物理学生学会第13区的2017年秋季联合会议-事件-近期在各种宇宙学模型参数上的优值受到观测限制使用AIC和BIC方法进行一些增长指数参数化和比较
3. Extensively Parameterized Mutation-Selection Models Reliably Capture Site-Specific Selective Constraint [J] . Spielman Stephanie J., Wilke Claus O. Molecular biology and evolution . 2016,第11期

机译：广泛参数化的突变选择模型可以可靠地捕获特定地点的选择性约束
4. Automata-Based Model Counting for String Constraints [C] . Abdulbaki Aydin, Lucas Bang, Tevfik Bultan International conference on computer aided verification . 2015

机译：基于自动机的字符串约束模型计数
5. Automata-based Model Counting String Constraint Solver for Vulnerability Analysis. [D] . Aydin, Abdulbaki. 2017

机译：基于自动机的模型计算字符串约束求解器，用于漏洞分析。
6. Extensively Parameterized Mutation–Selection Models Reliably Capture Site-Specific Selective Constraint [O] . Stephanie J. Spielman, Claus O. Wilke -1

机译：广泛参数化的突变选择模型可以可靠地捕获针对特定地点的选择性约束
7. Automata-Based Model Counting for String Constraints [O] . Abdulbaki Aydin, Lucas Bang, Tevfik Bultan 2015

机译：基于自动机的模型计数字符串约束

Parameterized model counting for string and numeric constraints

著录项

引文网络

相似文献

相关主题

期刊订阅