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
タイトルの先頭数文字を入力して移動:   

検索結果: 1260-1280 / 2073.

前ページ 次ページ
発行日タイトル 著者
Sep-2004 Reduced complexity MIMO turbo equalization for STTrC-codesVeselinovic, N.; Matsumoto, T.
1-Feb-2010 Reducibility of operation symbols in term rewriting systems and its application to behavioral specificationsNakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi
1-Jan-2017 Refined Construction of RC4 Key Setting in WPAIto, Ryoma; Miyaji, Atsuko
1-Jun-2016 Refined RC4 key correlations of internal states in WPAIto, Ryoma; Miyaji, Atsuko
6-Nov-2012 Relating Bishop's function spaces to neighbourhood spacesIshihara, Hajime
6-Mar-2019 Relationship between discomfort sound and its physical correlatesTakahashi, Yumiko; Akagi, Masato
17-Oct-1995 A relationship between the number of negations and the circuit sizeTanaka, Keisuke; Nishino, Tetsuro; 田中, 圭介; 西野, 哲朗; タナカ, ケイスケ; ニシノ, テツロウ
18-Jan-1994 The relative size of greedy independent sets in sparse and bounded-degree graphsHalldorsson, Magnus M.; Radhakrishnan, Jaikumar
Sep-2013 Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance MechanismsPham, Thanh-Trung; Defago, Xavier
15-May-2014 Reliability prediction for component-based software systems: Dealing with concurrent and propagating errorsPham, Thanh-Trung; Defago, Xavier; Huynh, Quyet-Thang
1-Dec-2001 Reliable Data Routing for Spatial-Temporal TMR Multiprocessor SystemsKANEKO, Mineo
Jul-2008 Reordering Phrase-based machine translation over chunksNguyen, Vinh Van; Nguyen, Thai Phuong; Shimazu, Akira; Nguyen, Minh Le
26-Jul-2017 Rep-cubes: Unfolding and Dissection of CubesXu, Dawei; Horiyama, Takashi; Uehara, Ryuhei
UnsetReport of Wireless Access & Multiple Antenna TechnologiesWolf, Albrecht; Festag, Andreas; Hou, Jiancao; Yi, Na; Hussain, Iqbal; Jiang, Weiwei; Matsumoto, Tad; He, Jiguang; Editor: Albrecht Wolf
1-Mar-2016 rERA: An optimization algorithm of task dependency graph for schedulingCheng, Zhuo; Tan, Yasuo; Lim, Yuto
2-Jun-2004 Resource Management and Scheduling in Grid ComputingYuanyuan, Zhang; Shen, Hong
1-Jul-2001 Results of Link-Level Simulations Using Field Measurement Data for an FTDL-Spatial/ MLSE-Temporal EqualizerYAMADA, Takefumi; TOMISATO, Shigeru; MATSUMOTO, Tadashi; TRAUTWEIN, Uwe
15-Jun-2016 Reverse mathematical bounds for the Termination TheoremSteila, Silvia; Yokoyama, Keita
27-Oct-2012 Reverse mathematics and Peano categoricitySimpson, Stephen G.; Yokoyama, Keita
17-Oct-2015 Revising a Labelled Sequent Calculus for Public Announcement LogicNomura, Shoshin; Sano, Katsuhiko; Tojo, Satoshi
15-Sep-2008 Revisited (Hyper)-Elliptic Curve Scalar Multiplication with a Fixed PointMiyaji, Atsuko; Mizosoe, Kenji
前ページ 次ページ

 


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