机译:特刊:日本著名研究人员在超导序言中的邀请论文
机译:特邀论文:非线性波分复用光纤传输线的信息容量
机译:受邀的MMIC兼容纸的GaAs / AlGaAs电光波导调制器和开关,用于微波应用
机译:日本X射线成像光学(邀请纸)
机译:具有法向入射多层光学系统的太阳大气的软X射线/极紫外图像
机译:具有DONE算法的波前无传感器自适应光学OCT用于体内人视网膜成像已邀请
机译:行为和归纳重写(特邀演讲)11本文报道的研究得到了美国国家科学基金会(National Science Foundation)资助CCR-9901002以及日本信息促进局(IPA)的CafeOBJ项目的部分支持,这是其高级软件技术计划的一部分。可以在他们的网站(网址分别为http://www.ucsd.edu/users/{goguen,klin,grosu})上找到作者。有关BOBJ系统的更多信息,请访问http://www.ucsd.edu/groups/tatami/bobj/。注意:作者的所有论文都可以在其网站上找到,它们的网址分别为www.ucsd。 edu / users / {goguen,klin,grosu}。有关BOBJ系统的更多信息,请访问www.ucsd.edu/groups/tatami/bobj/。