|
|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
一覧: タイトル
検索結果: 68-88 / 919.
| 発行日 | タイトル |
著者 |
|---|
| 17-Apr-2019 | Blind Monaural Singing Voice Separation Using Rank-1 Constraint Robust Principal Component Analysis and Vocal Activity Detection | Li, Feng; Akagi, Masato |
| 21-Jun-2013 | Bounding the Number of Reduced Trees, Cographs, and Series-Parallel Graphs by Compression | Uno, Takeaki; Uehara, Ryuhei; Nakano, Shin-ichi |
| 2013 | Building high-accuracy thermal simulation for evaluation of thermal comfort in real houses | Nguyen, Hoaison; Makino, Yoshiki; Lim, Azman Osman; Tan, Yasuo; Shinoda, Yoichi |
| Dec-2003 | Call-by-Need Reduction for Membership Conditional Term Rewriting Systems | Ogawa, Mizuhito |
| 23-Apr-2021 | The CARESSES Randomised Controlled Trial: Exploring the Health-Related Impact of Culturally Competent Artificial Intelligence Embedded Into Socially Assistive Robots and Tested in Older Adult Care Homes | Papadopoulos, Chris; Castro, Nina; Nigath, Abiha; Davidson, Rosemary; Faulkes, Nicholas; Menicatti, Roberto; Khaliq, Ali Abdul; Recchiuto, Carmine; Battistuzzi, Linda; Randhawa, Gurch; Merton, Len; Kanoria, Sanjeev; Chong, Nak-Young; Kamide, Hiroko; Hewson, David; Sgorbissa, Antonio |
| 20-Mar-2020 | The CARESSES study protocol: testing and evaluating culturally competent socially assistive robots among older adults residing in long term care homes through a controlled experimental trial | Papadopoulos, Chris; Hill, Tetiana; Battistuzzi, Linda; Castro, Nina; Nigath, Abiha; Randhawa, Gurch; Merton, Len; Kanoria, Sanjeev; Kamide, Hiroko; Chong, Nak-Young; Hewson, David; Davidson, Rosemary; Sgorbissa, Antonio |
| 2016 | A case study: SOFL + model checking for OSEK/VDX application | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| 30-Oct-2014 | Categorical characterizations of the natural numbers require primitive recursion | Kolodziejczyk, Leszek Aleksander; Yokoyama, Keita |
| 2014 | Cell-Paths in Mono- and Bichromatic Line Arrangements in the Plane | Aichholzer, Oswin; Cardinal, Jean; Hackl, Thomas; Hurtado, Ferran; Korman, Matias; Pilz, Alexander; Silveira, Rodrigo; Uehara, Ryuhei; Valtr, Pavl; Birgit Vogtenhuber; Emo Welzl |
| Sep-2000 | Channel Identification and Sequential Sequence Estimation Using Antenna Array for Broad-Band Mobile Communications | Matsumoto, Tadashi |
| 1-Dec-2002 | Characterization and Computation of Steiner Routing Based on Elmore's Delay Model | TAYU, Satoshi; KANEKO, Mineo |
| 2001 | Characterization of Elliptic Curve Traces under FR-reduction | Miyaji, Atsuko; Nakabayashi, Masaki; Takano, Shunzo |
| 1992 | Chew's theorem revisited - uniquely normalizing property of nonlinear term rewriting systems | Ogawa, Mizuhito |
| 2-Jul-2010 | A ciphertext-policy attribute-based encryption scheme with constant ciphertext length | Emura, Keita; Miyaji, Atsuko; Omote, Kazumasa; Nomura, Akito; Soshi, Masakazu |
| 2009 | A Ciphertext-Policy Attribute-Based Encryption Scheme with Constant Ciphertext Length | Emura, Keita; Miyaji, Atsuko; Nomura, Akito; Omote, Kazumasa; Soshi, Masakazu |
| 16-Aug-2011 | Classification of change detection and change blindness from near-infrared spectroscopy signals | Tanaka, Hirokazu; Katura, Takusige |
| 25-Aug-2015 | Classification of Precedents by Modeling Tool for Action and Epistemic State: DEMO | Goto, Tetsuji; Tojo, Satoshi |
| 2009 | Clause Splitting with Conditional Random Fields | Nguyen, Vinh Van; Nguyen, Minh Le; Shimazu, Akira |
| 2010 | Co-Z Addition Formulæ and Binary Ladders on Elliptic Curves | Goundar, Raveen Ravinesh; Joye, Marc; Miyaji, Atsuko |
| 5-Dec-2014 | Cognitive Similarity Grounded by Tree Distance from the Analysis of K.265/300e | Hirata, Keiji; Tojo, Satoshi; Hamanaka, Masatoshi |
| 18-Feb-2003 | A Collaborative Multi-site Teleoperation over an ISDN | Chong, Nak Young; Kotoku, Tetsuo; Ohba, Kohtaro; Komoriya, Kiyoshi; Tanie, Kazuo; Oaki, Junji; Hashimoto, Hideaki; Ozaki, Fumio; Maeda, Katsuhiro; Matsuhira, Nobuto |
|
