JAIST Repository >

一覧: タイトル

移動先: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
タイトルの先頭数文字を入力して移動:   

検索結果: 538-558 / 2073.

前ページ 次ページ
発行日タイトル 著者
1-Aug-1997 Extra theory morphisms for institutions : logical semantics for multi-paradigm languagesDiaconescu, Razvan
5-Aug-2002 Extracting threads from concurrent objects for the design of embedded systemsOkazaki, Mitsutaka; Aoki, Toshiaki; Katayama, Takuya
2011 Extremely Low Recombination Velocity on Crystalline Silicon Surfaces Realized by Low-Temperature Impurity Doping in Cat-CVD TechnologyHayakawa, 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 ModelLi, Yongwei; Tao, Jianhua; Erickson, Donna; Liu, Bin; Akagi, Masato
May-1992 Facsimile Signal Transmission Using WORM-ARQ in TDMA Cellular SystemIto, S.; Sawai, K.; Uebayashi, S.; Matsumoto, T.
10-Sep-2024 Factor Graph-based Technique for Trajectory Tracking of Target with High MobilityJiang, Lei; Keerativoranan, Nopphon; Matsumoto, Tad; Takada, Jun-ichi
18-Sep-2016 Factors affecting sentiment prediction of malay news headlines using machine learning approachesAlfred, Rayner; Wong, Wei Yee; Lim, Yuto; Obit, Joe Henry
28-Apr-2017 Fading Correlations for Wireless Cooperative Communications: Diversity and Coding GainsQian, 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 GridCharoen, Prasertsak; Sioutis, Marios; Javaid, Saher; Lim, Yuto; Tan, Yasuo
23-Apr-2007 A Family of License LanguagesArimoto, Yasuhito; Bjorner, Dines; Chen, Xiaoyi; Xiang, Jianwen
Sep-1997 A family of substructural implicational logicsKashima, Ryo; Kamide, Norihiro
17-Sep-1998 A family of substructural logics with restricted/generalized structural rulesKamide, Norihiro; 上出, 哲広; カミデ, ノリヒロ
16-May-2016 Fast Radiation Mapping and Unknown Multiple Sources Localization using Topographic Contour Map and Incremental Density EstimationNewaz, Abdullah Al Redwan; Jeong, Sungmoon; LEE, Hosun; Ryu, Hyejeong; Chong, Nak Young; Mason, Matthew T.
2016 Fast Radioactive Hotspot Localization Using a UAVNewaz, Abdullah Al Redwan; Jeong, Sungmoon; Chong, Nak Young
2010 Faster Computation of the Robinson-Foulds Distance between Phylogenetic NetworksAsano, Tetsuo; Jansson, Jesper; Sadakane, Kunihiko; Uehara, Ryuhei; Valiente, Gabriel
20-Feb-2015 Fault and Byzantine Tolerant Self-stabilizing Mobile Robots GatheringDefago, Xavier; Potop-Butucaru, Maria Gradinariu; Stephane Messika, Julien Clement; Raipin-Parvedy, Philippe
7-Dec-1995 Fault tolerant software in parallel logic programming languagesSugino, Eiji; Yokota, Haruo; 杉野, 栄二; 横田, 治夫; スギノ, エイジ; ヨコタ, ハルオ
2006 Fault-Tolerant and Self-stabilizing Mobile Robots Gathering : Feasibility StudyDefago, Xavier; Gradinariu, Maria; Messika, Stephane; Raipin-Parvedy, Philippe
26-Sep-2008 Fault-tolerant Flocking in a k-bounded Asynchronous SystemSouissi, Samia; Yang, Yan; Defago, Xavier
1-Dec-2004 Fault-tolerant group membership protocols using physical robot messengersYared, Rami; Defago, Xavier; Katayama, Takuya
前ページ 次ページ

 


お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)