机译:基于正则表达式特征推导时间序列约束的通用范围
TASC LS2N IMT Atlantique, F-44307 Nantes, France;
TASC LS2N IMT Atlantique, F-44307 Nantes, France;
Univ Coll Cork, Insight Ctr Data Analyt, Cork, Ireland;
Global constraints; Time-series constraints; Sharp bounds; Quantitative regular expressions; Regular programming;
机译:Z3str2:高效的字符串,正则表达式和长度约束求解器
机译:基于Landsat时间序列和LiDAR条带样本的美国东部地上森林生物量的特定地点和一般空间模型评估
机译:具有时间序列基因表达数据的约束的多目标进化三角形
机译:时间序列约束的边界和胶粘约束的系统推导
机译:超越正则:与扩展正则表达式匹配的模式。
机译:使用受限布尔网络和时间序列数据基于约束的基因相互作用分析
机译:基于正则表达式特征推导时间序列约束的通用范围
机译:基于规则晶格渗流和等效介质理论的随机二维poisson裂缝网络渗透率的解析表达式。