机译:LPV系统的合并全球和本地识别方法**本研究由科学研究(FWOVLAANDEREN)基金通过项目G.0002.11,由Ku Leuven-Bof PFV / 10/002工程中优秀优化级优化(OPTEC),并由比利时人员在比利时州,总理职位,科学政策规划(IAP VII,DYSCO)发起的。 Goele Pipeleers是研究基金会佛兰德斯(FWO - Vlaanderen)的博士后研究员。
机译:无奇怪的延迟差分 - 代数和中性类型系统之间的联系* *比利时联邦科学政策办公室的环境景点波兰人计划的支持,由Ku Leuven工程中心Optec的优化,研究基金会的优化支持-Clanders,由项目Ucocos由欧洲工会资助的Marie Sklodowska-Curie Grant协议中的研究和创新计划提供资金No.675080.Alexey Egorov致谢Saint-Petersburg州立大学的研究资助9.42.1396.2015。