机译:大理-动态逻辑,新趋势和应用
Univ Fed Rio de Janeiro Inst Matemat PESC COPPE Rio De Janeiro Brazil;
U Aveiro Dept Math CIDMA Aveiro Portugal;
机译:单回路逻辑求解器的逻辑:由于对与恶劣环境相关的风险的意识不断增强,工业过程行业正在经历功能性过程安全应用的动态增长。
机译:单环逻辑求解器的逻辑:由于对与敌对环境相关的风险的认识提高了,工业过程行业在功能过程安全应用中经历了动态增长
机译:超滤和基于对流的透析方式:ESRD患者肾脏替代治疗的新趋势和应用。
机译:陈述和询问的动态逻辑:探究性动态模态研究
机译:用于识别和分析情绪状态的多模态,上下文和连续动态,以及在医疗保健中的应用。
机译:利用动态刺激对基于VEP的BCI应用中的新模式:引入基于准周期性和混沌VEP的BCI
机译:动态逻辑。新趋势和应用
机译:动态红外成像的模式与临床应用。