発行日 | タイトル |
著者 |
1-Aug-1997 | Extra theory morphisms for institutions : logical semantics for multi-paradigm languages | Diaconescu, Razvan |
5-Aug-2002 | Extracting threads from concurrent objects for the design of embedded systems | Okazaki, Mitsutaka; Aoki, Toshiaki; Katayama, Takuya |
2011 | Extremely Low Recombination Velocity on Crystalline Silicon Surfaces Realized by Low-Temperature Impurity Doping in Cat-CVD Technology | Hayakawa, Taro; Miyamoto, Motoharu; Koyama, Koichi; Ohdaira, Keisuke; Matsumura, Hideki |
15-Oct-2021 | F_0-Noise-Robust Glottal Source and Vocal Tract Analysis Based on ARX-LF Model | Li, Yongwei; Tao, Jianhua; Erickson, Donna; Liu, Bin; Akagi, Masato |
May-1992 | Facsimile Signal Transmission Using WORM-ARQ in TDMA Cellular System | Ito, S.; Sawai, K.; Uebayashi, S.; Matsumoto, T. |
10-Sep-2024 | Factor Graph-based Technique for Trajectory Tracking of Target with High Mobility | Jiang, Lei; Keerativoranan, Nopphon; Matsumoto, Tad; Takada, Jun-ichi |
18-Sep-2016 | Factors affecting sentiment prediction of malay news headlines using machine learning approaches | Alfred, Rayner; Wong, Wei Yee; Lim, Yuto; Obit, Joe Henry |
28-Apr-2017 | Fading Correlations for Wireless Cooperative Communications: Diversity and Coding Gains | Qian, Shen; He, Jiguang; Juntti, Markku; Matsumoto, Tad |
2001 | Failure of Pareto-Based MOEAS: Does Non-Dominated Really Mean Near to Optimal? | Ikeda, Kokolo; Kita, Hajime; Kobayashi, Shigenobu |
Aug-2018 | Fair Billing Mechanism for Energy Consumption Scheduling with User Deviation in the Smart Grid | Charoen, Prasertsak; Sioutis, Marios; Javaid, Saher; Lim, Yuto; Tan, Yasuo |
23-Apr-2007 | A Family of License Languages | Arimoto, Yasuhito; Bjorner, Dines; Chen, Xiaoyi; Xiang, Jianwen |
Sep-1997 | A family of substructural implicational logics | Kashima, Ryo; Kamide, Norihiro |
17-Sep-1998 | A family of substructural logics with restricted/generalized structural rules | Kamide, Norihiro; 上出, 哲広; カミデ, ノリヒロ |
16-May-2016 | Fast Radiation Mapping and Unknown Multiple Sources Localization using Topographic Contour Map and Incremental Density Estimation | Newaz, Abdullah Al Redwan; Jeong, Sungmoon; LEE, Hosun; Ryu, Hyejeong; Chong, Nak Young; Mason, Matthew T. |
2016 | Fast Radioactive Hotspot Localization Using a UAV | Newaz, Abdullah Al Redwan; Jeong, Sungmoon; Chong, Nak Young |
2010 | Faster Computation of the Robinson-Foulds Distance between Phylogenetic Networks | Asano, Tetsuo; Jansson, Jesper; Sadakane, Kunihiko; Uehara, Ryuhei; Valiente, Gabriel |
20-Feb-2015 | Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering | Defago, Xavier; Potop-Butucaru, Maria Gradinariu; Stephane Messika, Julien Clement; Raipin-Parvedy, Philippe |
7-Dec-1995 | Fault tolerant software in parallel logic programming languages | Sugino, Eiji; Yokota, Haruo; 杉野, 栄二; 横田, 治夫; スギノ, エイジ; ヨコタ, ハルオ |
2006 | Fault-Tolerant and Self-stabilizing Mobile Robots Gathering : Feasibility Study | Defago, Xavier; Gradinariu, Maria; Messika, Stephane; Raipin-Parvedy, Philippe |
26-Sep-2008 | Fault-tolerant Flocking in a k-bounded Asynchronous System | Souissi, Samia; Yang, Yan; Defago, Xavier |
1-Dec-2004 | Fault-tolerant group membership protocols using physical robot messengers | Yared, Rami; Defago, Xavier; Katayama, Takuya |