| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 28-Feb-2011 | Chained Turbo Equalization for OFDM System without Guard Interval | Irawan, Ade; Anwar, Khoirul; Matsumoto, Tad |
| 6-Dec-2010 | Chained Turbo Equalization for SC-FDMA Systems without Cyclic Prefix | Zhuo, Hui; Anwar, Khoirul; Matsumoto, Tad |
| 26-Jul-2011 | A Change Support Model for Distributed Collaborative Work | Phan, Thi Thanh Huyen; Ochimizu, Koichiro |
| Sep-2000 | Channel Identification and Sequential Sequence Estimation Using Antenna Array for Broad-Band Mobile Communications | Matsumoto, Tadashi |
| May-1999 | Channel identification and sequential sequence estimation using antenna array in broadband mobile communications | Matsumoto, T. |
| Sep-2006 | Channel Measurement Data Based Performance Evaluation of Coded Space-Time SC-MMSE MIMO Turbo Equalization | Sarestoniemi, M.; Matsumoto, T.; Schneider, C.; Thoma, R.S. |
| 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 |
| Sep-2010 | Checking Roundoff Errors using Counterexample-Guided Narrowing | Ngoc, Do Thi Bich; Ogawa, Mizuhito |
