Takeshi Matsumoto

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 10

Top Topics

Deformable Registration

Motion Recognition

Portfolio Optimization

Top Venues

Publications

Yuki Uehara, Naoki Nishimura, Yilin Li, Jie Yang, Deddy Jobson, Koya Ohashi, Takeshi Matsumoto, Noriyoshi Sukegawa, Yuichi Takano
Robust portfolio optimization model for electronic coupon allocation. CoRR (2024)
Yuki Uehara, Shunnosuke Ikeda, Naoki Nishimura, Koya Ohashi, Yilin Li, Jie Yang, Deddy Jobson, Xingxia Zha, Takeshi Matsumoto, Noriyoshi Sukegawa, Yuichi Takano
Fast solution to the fair ranking problem using the Sinkhorn algorithm. CoRR (2024)
Qinhao Wang, Amir Masoud Gharehbaghi, Takeshi Matsumoto, Masahiro Fujita
High-Level Engineering Change Through Programmable Datapath and SMT Solvers. ISCAS (2019)
Ryotaro Konoike, Keijiro Suzuki, Takashi Inoue, Takeshi Matsumoto, Teruo Kurahashi, Ayahito Uetake, Kazumasa Takabayashi, Suguru Akiyama, Shigeaki Sekiguchi, Kazuhiro Ikeda, Shu Namiki, Hitoshi Kawashima
Lossless Operation of SOA-Integrated Silicon Photonics Switch for 8 × 32-Gbaud 16-QAM WDM Signals. OFC (2018)
Takeshi Matsumoto, Teruo Kurahashi, Ryotaro Konoike, Ken Tanizawa, Keijiro Suzuki, Ayahito Uetake, Kazumasa Takabayashi, Kazuhiro Ikeda, Hitoshi Kawashima, Suguru Akiyama, Shigeaki Sekiguchi
In-line Optical Amplification for Silicon Photonics Platform by Flip-Chip Bonded InP-SOAs. OFC (2018)
Hideki Toda, Takeshi Matsumoto, Takeuchi Hiroya
Experimental Study of Ankle Joint Pushing Mechanism Concerning About the Horizontal Movement of Talus. J. Robotics Mechatronics 29 (2) (2017)
Ryosuke Higashi, Toshihiro Sera, Hisashi Naito, Takeshi Matsumoto, Masao Tanaka
Pulmonary kinematic analysis with non-rigid deformable registration for detecting localised emphysema. Comput. methods Biomech. Biomed. Eng. Imaging Vis. 5 (2) (2017)
Yuichi Kobayashi, Takeshi Matsumoto, Wataru Takano, Dirk Wollherr, Volker Gabler
Motion recognition by natural language including success and failure of tasks for co-working robot with human. AIM (2017)
Takeshi Matsumoto, Daichi Goto
Effect of low-intensity whole-body vibration on bone defect repair and associated vascularization in mice. Medical Biol. Eng. Comput. 55 (12) (2017)
Takeshi Matsumoto, Teruo Kurahashi, Ken Tanizawa, Keijiro Suzuki, Ayahito Uetake, Kazumasa Takabayashi, Kazuhiro Ikeda, Hitoshi Kawashima, Suguru Akiyama
In-line optical amplification for Si waveguides on 1×8 splitter and selector by flip-chip bonded InP-SOAs. OFC (2016)
Takeuchi Hiroya, Hideki Toda, Takeshi Matsumoto
Proposal of an ankle joint bending machine using exoskeleton support from foot to hip. ROBIO (2015)
Shridhar Choudhary, Amir Masoud Gharehbaghi, Takeshi Matsumoto, Masahiro Fujita
Trace signal selection methods for post silicon debugging. VLSI-SoC (2015)
S. Tanaka, Takeshi Matsumoto, Teruo Kurahashi, M. Matsuda, Ayahito Uetake, S. Sekiguchi, Y. Tanaka, K. Morito
Flip-chip-bonded, 8-wavelength AlGaInAs DFB laser array operable up to 70°C for silicon WDM interconnects. ECOC (2014)
Satoshi Jo, Takeshi Matsumoto, Masahiro Fujita
SAT-based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions. IPSJ Trans. Syst. LSI Des. Methodol. 7 (2014)
Masahiro Fujita, Takeshi Matsumoto, Satoshi Jo
FOF: Functionally Observable Fault and its ATPG techniques. VLSI-SoC (2013)
Will X. Y. Li, Shridhar Chaudhary, Ray C. C. Cheung, Takeshi Matsumoto, Masahiro Fujita
Fast simulation of Digital Spiking Silicon Neuron model employing reconfigurable dataflow computing. FPT (2013)
Kosuke Oshima, Takeshi Matsumoto, Masahiro Fujita
Hardware implementation of BLTL property checkers for acceleration of statistical model checking. ICCAD (2013)
Kosuke Oshima, Takeshi Matsumoto, Masahiro Fujita
Debugging Methods Through Identification of Appropriate Functions for Internal Gates. VLSI-SoC (Selected Papers) (2013)
Masahiro Fujita, Satoshi Jo, Shohei Ono, Takeshi Matsumoto
Partial synthesis through sampling with and without specification. ICCAD (2013)
Satoshi Jo, Amir Masoud Gharehbaghi, Takeshi Matsumoto, Masahiro Fujita
Rectification of advanced microprocessors without changing routing on FPGAs (abstract only). FPGA (2013)
Kosuke Oshima, Takeshi Matsumoto, Masahiro Fujita
A debugging method for gate level circuit designs by introducing programmability. VLSI-SoC (2013)
Satoshi Jo, Amir Masoud Gharehbaghi, Takeshi Matsumoto, Masahiro Fujita
Debugging processors with advanced features by reprogramming LUTs on FPGA. FPT (2013)
Shohei Ono, Takeshi Matsumoto, Masahiro Fujita
Automatic assertion extraction in gate-level simulation using GPGPUs. ICCD (2012)
Satoshi Jo, Takeshi Matsumoto, Masahiro Fujita
SAT-Based Automatic Rectification and Debugging of Combinational Circuits with LUT Insertions. Asian Test Symposium (2012)
Takeshi Matsumoto, Shohei Ono, Masahiro Fujita
An efficient method to localize and correct bugs in high-level designs using counterexamples and potential dependence. VLSI-SoC (2012)
Yeonbok Lee, Takeshi Matsumoto, Masahiro Fujita
On-chip dynamic signal sequence slicing for efficient post-silicon debugging. ASP-DAC (2011)
Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
Multi-Level Bounded Model Checking with Symbolic Counterexamples. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2011)
Yeonbok Lee, Takeshi Matsumoto, Masahiro Fujita
An Automatic Method of Mapping I/O Sequences of Chip Execution onto High-level Design for Post-Silicon Debugging. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2011)
Takeshi Matsumoto, Tasuku Nishihara, Masahiro Fujita
Performance Estimation with Automatic False-Path Detection for System-Level Designs. IPSJ Trans. Syst. LSI Des. Methodol. 3 (2010)
Masahiro Fujita, Hideo Tanida, Fei Gao, Tasuku Nishihara, Takeshi Matsumoto
Synthesis and formal verification of on-chip protocol transducers through decomposed specification. ISQED (2010)
Yeonbok Lee, Takeshi Matsumoto, Masahiro Fujita
Generation of I/O sequences for a high-level design from those in post-silicon for efficient post-silicon debugging. ICCD (2010)
William Newman, David Franzel, Takeshi Matsumoto, Richard Leibbrandt, Trent W. Lewis, Martin H. Luerssen, David M. W. Powers
Hybrid world object tracking for a virtual teaching agent. IJCNN (2010)
Yeonbok Lee, Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
A Post-Silicon Debug Support Using High-Level Design Description. Asian Test Symposium (2009)
Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath. IEICE Trans. Inf. Syst. (5) (2009)
Masahiro Fujita, Takeshi Matsumoto, Hiroaki Yoshida
A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams. ICSOFT (SE/MUSE/GSDCA) (2008)
Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
Multi-level Bounded Model Checking to detect bugs beyond the bound. HLDVT (2008)
Yoshihisa Kojima, Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
An Interactive Verification and Debugging Environment by Concrete/Symbolic Simulations for System-Level Designs. ATS (2008)
Takeshi Matsumoto, Daisuke Ando, Tasuku Nishihara, Masahiro Fujita
Development and Verification of a Collaborative Printing Environment. C5 (2007)
Toru Hyakutake, Takeshi Matsumoto, Shinichiro Yanase
Lattice Boltzmann simulation of blood cell behavior at microvascular bifurcations. Math. Comput. Simul. 72 (2-6) (2006)
Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita
Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis. HLDVT (2006)
Yuki Suga, Chihiro Endo, Daizo Kobayashi, Takeshi Matsumoto, Shigeki Sugano, Tetsuya Ogata
Adaptive Human-Robot Interaction System using Interactive EC. IROS (2006)
Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita
Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. ISQED (2006)
Takeshi Matsumoto, Hiroshi Saito, Masahiro Fujita
An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2005)
Takeshi Matsumoto, David M. W. Powers, Geoff A. Jarrad
Application of search algorithms to natural language processing. ALTA (2003)