...
机译:使用转换规则验证学习生态系统元模型
Univ Salamanca, Res Inst Educ Sci, Dept Comp Sci, GRIAL Res Grp, Paseo de Canalejas 169, E-37008 Salamanca, Spain;
Metamodel; Model driven development; Learning ecosystems; Information systems; Software engineering; Ecore; Software ecosystems; Technological ecosystems;
机译:在六个相反的生态系统中模拟土壤微生物的有机转化:MOMOS模型的验证
机译:从图变换的观察中学习最小和最大规则
机译:铁路安全规则的CPN / B方法转换框架正式验证
机译:元模型和转换规则的自动协同进化:基于搜索的方法
机译:基于DNDC的机器学习元典的美国玉米田产量,排放和温室气体管理热点动态分析
机译:miRTar2GO:一种用于细胞系特异性microRNA目标预测的基于规则的新型模型学习方法该方法集成了Ago2 CLIP-Seq和经过验证的microRNA与目标相互作用的数据
机译:基于元和基于模型的设计规则检查DSL以进行验证和验证电子电路设计
机译:交叉验证,学习集转换和泛化。