Dip. di Informatica, Univ. di Torino, Corso Svizzera 185, 10149 Torino, Italy;
ambient calculi; type systems for security; local type checking; dynamic exchange of rights;
机译:使用局部模式滤波器和动态应变测量,在环境振动下基于数据的自动化损伤定位:实验应用
机译:环境环境中移动机器人定位的强大集合方法
机译:基于IGMM的移动用户与周围无线电信号的共定位
机译:移动式环境的动态和本地输入
机译:使用环境声噪声的水下航行器机动群的自定位
机译:树突慢动态启用局部皮质活动与噪声背景输入移动和固定模式之间切换
机译:移动环境的动态和本地键入