...
机译:参数不确定性下基因网络的时态逻辑分析
genetic engineering; temporal logic; uncertain systems; abstract systems; abstraction process; discrete abstractions; gene networks; genetic regulatory networks; parameter uncertainty; piecewise-multiafflne differential equations; temporal logic analysis; transient;
机译:参数不确定性下基因网络的时态逻辑分析
机译:通过时间逻辑对基因调控网络进行定性分析
机译:线性时态逻辑对基因网络的模块化分析
机译:网络图案线性时间逻辑对基因网络稳态的近似分析
机译:使用组件和系统可靠性分析来考虑地下水-地表水耦合模型中的参数不确定性和时间变异性。
机译:具有时滞和参数不确定性的脉冲复数值神经网络的鲁棒稳定性分析
机译:参数不确定下基因网络的时态逻辑分析
机译:网络流量分析的时态逻辑。