|
|
JAIST Repository >
一覧: タイトル
検索結果: 150-170 / 2076.
| 発行日 | タイトル |
著者 |
|---|
| 1-Aug-2012 | Bipartite Permutation Graphs are Reconstructible | Kiyomi, Masashi; Saitoh, Toshiki; Uehara, Ryuhei |
| 5-Jun-2024 | Bit-Flipping Helper-Assisted Lossy Communications: Performance Analyses over Fading Multiple Access Channels | Lin, Wensheng; Zribi, Amin; Asvadi, Reza; Dupraz, Elsa; Li, Lixin; Matsumoto, Tad |
| 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 |
| 28-Jun-2017 | Bridging between universAAL and ECHONET for smart home environment | Lim, Yuto; Lim, Sin Yee; Nguyen, Minh Dat; Li, Cheng; Tan, Yasuo |
| 2010 | Browsing Sport Content Through an Interactive H.264 Streaming Session | Fernández, Iván Alén; Chen, Fan; Lavigne, Fabien; Desurmont, Xavier; De Vleeschouwer, Christophe |
| 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 |
| Aug-2014 | Bumpy Pyramid Folding | Abel, Zachary R.; Demaine, Erik D.; Demaine, Martin L.; Ito, Hiro; Snoeyink, Jack; Uehara, Ryuhei |
| Jan-2007 | Cache Memory Architecture for Leakage Energy Reduction | Tanaka, Kiyofumi |
| 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 |
| 9-May-1998 | Categorical foundations of modularisation for multi-paradigm | Diaconescu, Razvan; Stefaneas, Petros |
| Aug-2013 | 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 I.; Uehara, Ryuhei; Vogtenhuber, Birgit; Welzl, Emo |
| 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 |
| 2015 | CEO problem based analysis of D2D cooperative user pairing | He, Xin; Juntti, Markku; Zhou, Xiaobo; Komulainen, Petri; Matsumoto, Tad |
| Mar-2009 | A Certificate Revocable Anonymous Authentication Scheme with Designated Verifier | Emura, Keita; Miyaji, Atsuko; Omote, Kazumasa |
| May-2010 | Chained Turbo Equalization for Block Transmission without Guard Interval | Anwar, Khoirul; Zhou, Hui; Matsumoto, Tad |
| 8-Mar-2012 | Chained Turbo Equalization for Multiuser SIMO-OFDM Systems without Cyclic Prefix | Irawan, Ade; Anwar, Khoirul; Matsumoto, Tad |
|
