|
JAIST Repository >
一覧: タイトル
検索結果: 1020-1040 / 18128.
発行日 | タイトル |
著者 |
7-Mar-2007 | Counterexample Discovery with a Combination of Induction and Bounded Model Checking | Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi |
Sep-2016 | Counterexample-guided abstraction refinement for points-to analysis of object-oriented programs | Vu, Quang Vinh; ゔ, くあん ゔぃん |
17-Nov-2021 | Counterproductive knowledge behavior in volunteer work: perspectives from the theory of planned behavior and well-being theory | Shirahada, Kunio; Zhang, Yixin |
Jun-2008 | Counting the number of independent sets in chordal graphs | Okamoto, Yoshio; Uno, Takeaki; Uehara, Ryuhei |
Dec-2015 | Coupling between pore formation and phase separation in charged lipid membranes | Himeno, Hiroki; Ito, Hiroaki; Higuchi, Yuji; Hamada, Tsutomu; Shimokawa, Naofumi; Takagi, Masahiro |
Dec-2018 | Covalent Organic Frameworks Design, Synthesis and Application in Electrochemical Catalysis | Jiang, Weiming; ちゃん, うぇいみん |
Feb-2013 | Coverage with k-Transmitters in the Presence of Obstacles | Ballinger, Brad; Benbernou, Nadia; Bose, Prosenjit; Damian, Mirela; Demaine, Erik D.; Dujmović, Vida; Flatland, Robin; Hurtado, Ferran; Iacono, John; Lubiw, Anna; Morin, Pat; Sacristán, Vera; Souvaine, Diane; Uehara, Ryuuhei |
24-Nov-2024 | Covering Codes as Near-Optimal Quantizers for Distributed Hypothesis Testing Against Independence | Khaledian, Fatemeh; Asvadi, Reza; Dupraz, Elsa; Matsumoto, Tad |
Sep-2005 | Covert Communication Through JPEG-Compressed Images | Qing, Gong |
31-Oct-2020 | COVID-19 環境下の社会の変化による科学技術を基盤としたビジネスへの影響 | 大原, 高秋 |
30-Oct-2021 | COVID-19からの経済回復を目指す産学官連携 : 京都府北部地域および大阪府立大学での事例 | 井端, 雅一 |
31-Oct-2020 | COVID-19で加速するオー プンサイエンスと政策 | 林, 和弘 |
31-Oct-2020 | COVID-19と全学技術センター | 古賀, 和司; 髙濵, 謙太朗 |
31-Oct-2020 | COVID-19と女性エンジニア活生分科会(JWSE)の挑戦 | 吉祥, 瑞枝 |
Sep-2024 | COVID-19による混乱状況下での日次需要予測のためのハイブリッドモデルに関する研究: タイ王国における電力消費量の予測応用 | Lalitpat, Aswanuwath; らりぱっと, あさわぬわっと |
31-Oct-2020 | COVID-19に関する米中の国際共同研究についての分析 | 松本, 久仁子 |
30-Oct-2021 | COVID-19パンデミックが製品開発プロセス・成果に与えた影響業務継続計画の有効性を中心に | 濱岡, 豊 |
31-Oct-2020 | Covid19 対策「日本モデル」の限界 | 濱岡, 豊 |
Mar-2001 | COセンサー機能を有する転写調節因子CooAの構造と機能 | 中川, 絵美; なかがわ, えみ |
Mar-1998 | COセンサー能を有する転写調節因子CooAの構造と機能 | 大久保, 敬; おおくぼ, けい |
18-Oct-2010 | CPG based Self-adapting Multi-DOF Robotic Arm Control | Yang, Woosung; Bae, Ji-Hun; Oh, Yonghwan; Chong, Nak Young; You, Bum-Jae; Oh, Sang-Rok |
|