Naoki Nishida - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2021

Estimating Beverage Preference Based on Subjective Emotional Reactions and EEG ActivityKuangzhe Xu, Kenji Katahira, Yoichi Yamazaki, Fan Zhang, Naoki Nishida, Yuichiro Tamai, Naoyuki Matsuzaki, Noriko Nagata. apsipa 2021: 366-372 [doi]

2020

SOANets: Encoder-decoder based Skeleton Orientation Alignment Network for White Cane User Recognition from 2D Human Skeleton SequenceNaoki Nishida, Yasutomo Kawanishi, Daisuke Deguchi, Ichiro Ide, Hiroshi Murase, Jun Piao. visapp 2020: 435-443 [doi]

BioHackathon 2015: Semantics of data for life sciences and reproducible researchRutger A. Vos, Toshiaki Katayama, Hiroyuki Mishima, Shin Kawano, Shuichi Kawashima, Jin-Dong Kim, Yuki Moriya, Toshiaki Tokimatsu, Atsuko Yamaguchi, Yasunori Yamamoto, Hongyan Wu, Peter Amstutz, Erick Antezana, Nobuyuki P. Aoki, Kazuharu Arakawa, Jerven T. Bolleman, Evan E. Bolton, Raoul Jean Pierre Bonnal, Hidemasa Bono, Kees Burger, Hirokazu Chiba, Kevin Bretonnel Cohen, Eric W. Deutsch, Jesualdo Tomás Fernández-Breis, Gang Fu, Takatomo Fujisawa, Atsushi Fukushima, Alexander García Castro, Naohisa Goto, Tudor Groza, Colin Hercus, Robert Hoehndorf, Kotone Itaya, Nick S. Juty, Takeshi Kawashima, Jee-Hyub Kim, Akira R. Kinjo, Masaaki Kotera, Kouji Kozaki, Sadahiro Kumagai, Tatsuya Kushida, Thomas Lütteke, Masaaki Matsubara, Joe Miyamoto, Attayeb Mohsen, Hiroshi Mori, Yuki Naito, Takeru Nakazato, Jeremy NguyenXuan, Kozo Nishida, Naoki Nishida, Hiroyo Nishide, Soichi Ogishima, Tazro Ohta, Shujiro Okuda, Benedict Paten, Jean-Luc Perret, Philip Prathipati, Pjotr Prins, Núria Queralt-Rosinach, Daisuke Shinmachi, Shinya Suzuki, Tsuyosi Tabata, Terue Takatsuki, Kieron R. Taylor, Mark Thompson 0002, Ikuo Uchiyama, Bruno Vieira, Chih-Hsuan Wei, Mark D. Wilkinson, Issaku Yamada, Ryota Yamanaka, Kazutoshi Yoshitake, Akiyasu C. Yoshizawa, Michel Dumontier, Kenjiro Kosaki, Toshihisa Takagi. f1000research, 9:136, 2020. [doi]

2016

Proving inductive validity of constrained inequalitiesTakahiro Nagao, Naoki Nishida. ppdp 2016: 50-61 [doi]

2014

On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using UnravelingsNaoki Nishida, Makishi Yanagisawa, Karl Gmeiner. RTA 2014: 39-50 [doi]

2013

Term Rewriting with Logical ConstraintsCynthia Kop, Naoki Nishida. frocos 2013: 343-358 [doi]

2011

Program Inversion for Tail Recursive FunctionsNaoki Nishida, Germán Vidal. RTA 2011: 283-298 [doi]

Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to LinearityNaoki Nishida, Masahiko Sakai, Toshiki Sakabe. RTA 2011: 267-282 [doi]

On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency GraphsTsubasa Sakata, Naoki Nishida, Toshiki Sakabe. wflp 2011: 138-155 [doi]

2010

Termination of narrowing via termination of rewritingNaoki Nishida, Germán Vidal. aaecc, 21(3):177-225, 2010. [doi]

Proving Injectivity of Functions via Program Inversion in Term RewritingNaoki Nishida, Masahiko Sakai. FLOPS 2010: 288-303 [doi]

2009

Goal-Directed and Relative Dependency Pairs for Proving the Termination of NarrowingJosé Iborra, Naoki Nishida, Germán Vidal. LOPSTR 2010: 52-66 [doi]

Completion after Program Inversion of Injective FunctionsNaoki Nishida, Masahiko Sakai. ENTCS, 237:39-56, 2009. [doi]

2007

Transformation for Refining Unraveled Conditional Term Rewriting SystemsNaoki Nishida, Tomohiro Mizutani, Masahiko Sakai. ENTCS, 174(10):75-95, 2007. [doi]

2005

Partial Inversion of Constructor Term Rewriting SystemsNaoki Nishida, Masahiko Sakai, Toshiki Sakabe. RTA 2005: 264-278 [doi]

2003

Narrowing-based simulation of term rewriting systems with extra variablesNaoki Nishida, Masahiko Sakai, Toshiki Sakabe. ENTCS, 86(3):52-69, 2003. [doi]

Sign in or sign up to see more results.

runs on WebDSL