default search action
Hiroaki Yoshida
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j23]Akihisa Okada, Keisuke Otaki, Tadayoshi Matsumori, Hiroaki Yoshida, Kotaro Terada, Nozomu Togawa:
QUBO Formulation Using Sequence Pair With Search Space Restriction for Rectangle Packing Problem. IEEE Access 12: 156627-156638 (2024) - [i13]Daisuke Inoue, Yuji Ito, Takahito Kashiwabara, Norikazu Saito, Hiroaki Yoshida:
An Uncertainty-aware, Mesh-free Numerical Method for Kolmogorov PDEs. CoRR abs/2405.05626 (2024) - [i12]Shihori Koyama, Daisuke Inoue, Hiroaki Yoshida, Kazuyuki Aihara, Gouhei Tanaka:
Predicting unobserved climate time series data at distant areas via spatial correlation using reservoir computing. CoRR abs/2406.03061 (2024) - [i11]Daisuke Inoue, Hiroshi Yamashita, Kazuyuki Aihara, Hiroaki Yoshida:
AMPIC: Adaptive Model Predictive Ising Controller for large-scale urban traffic signals. CoRR abs/2406.03690 (2024) - 2023
- [j22]Akihisa Okada
, Hiroaki Yoshida
Design Optimization of Noise Filter Using Quantum Annealer. IEEE Access 11: 44343-44349 (2023) - [j21]Keisuke Otaki, Akihisa Okada
Experimental study on the information disclosure problem: Branch-and-bound and QUBO solver. Frontiers Appl. Math. Stat. 9 (2023) - [j20]Daisuke Inoue
Partially Centralized Model-Predictive Mean Field Games for controlling multi-agent systems. IFAC J. Syst. Control. 24: 100217 (2023) - [i10]Daisuke Inoue, Yuji Ito, Takahito Kashiwabara, Norikazu Saito, Hiroaki Yoshida:
Convergence Analysis of the Upwind Difference Methods for Hamilton-Jacobi-Bellman Equations. CoRR abs/2301.06415 (2023) - 2022
- [c38]Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad:
SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. ICSE 2022: 1932-1944 - [i9]Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad:
SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. CoRR abs/2202.10451 (2022) - [i8]Daisuke Inoue, Yuji Ito, Takahito Kashiwabara, Norikazu Saito, Hiroaki Yoshida:
A Fictitious-play Finite-difference Method for Linearly Solvable Mean Field Games. CoRR abs/2204.07278 (2022) - [i7]Norihiro Oyama, Noriko N. Ishizaki, Satoshi Koide, Hiroaki Yoshida:
Deep generative model super-resolves spatially correlated multiregional climate data. CoRR abs/2209.12433 (2022) - 2021
- [j19]Daisuke Inoue
Optimal Transport-Based Coverage Control for Swarm Robot Systems: Generalization of the Voronoi Tessellation-Based Method. IEEE Control. Syst. Lett. 5(4): 1483-1488 (2021) - [c37]Daisuke Inoue, Yuji Ito, Hiroaki Yoshida:
Optimal Transport-based Coverage Control for Swarm Robot Systems: Generalization of the Voronoi Tessellation-based Method. ACC 2021: 3032-3037 - [c36]Rohan Bavishi, Shadaj Laddad
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. ASE 2021: 129-141 - [c35]Hiyori Yoshikawa, Tomoya Iwakura, Kimi Kaneko, Hiroaki Yoshida, Yasutaka Kumano, Kazutaka Shimada, Rafal Rzepka, Patrycja Swieczkowska:
Tell Me What You Read: Automatic Expertise-Based Annotator Assignment for Text Annotation in Expert Domains. RANLP 2021: 1575-1585 - [c34]Daisuke Inoue
Model Predictive Mean Field Games for Controlling Multi-Agent Systems. SMC 2021: 982-987 - [i6]Gouhei Tanaka, Tadayoshi Matsumori, Hiroaki Yoshida, Kazuyuki Aihara:
Reservoir Computing with Diverse Timescales for Prediction of Multiscale Dynamics. CoRR abs/2108.09446 (2021) - [i5]Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad:
Elixir: Effective object-oriented program repair. CoRR abs/2112.10915 (2021) - 2020
- [j18]Shihori Koyama
Separation of pedestrian counter flows with an array of obstacles. Artif. Life Robotics 25(4): 529-536 (2020) - [c33]Hiroaki Yoshida, Rohan Bavishi, Keisuke Hotta, Yusuke Nemoto, Mukul R. Prasad, Shinji Kikuchi:
Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations. ICSE (Companion Volume) 2020: 53-56 - [i4]Daisuke Inoue, Hiroaki Yoshida:
Model Predictive Control for Finite Input Systems using the D-Wave Quantum Annealer. CoRR abs/2001.01400 (2020) - [i3]Daisuke Inoue, Akihisa Okada, Tadayoshi Matsumori, Kazuyuki Aihara, Hiroaki Yoshida:
Traffic Signal Optimization on a Square Lattice using the D-Wave Quantum Annealer. CoRR abs/2003.07527 (2020) - [i2]Daisuke Inoue, Hiroaki Yoshida:
Optimal Coverage Control for Swarm Robot Systems using a Mean Field Game. CoRR abs/2004.07994 (2020) - [i1]Daisuke Inoue, Yuji Ito, Hiroaki Yoshida:
Optimal Transport-based Coverage Control for Swarm Robot Systems: Generalization of the Voronoi Tessellation-based Method. CoRR abs/2011.08337 (2020)
2010 – 2019
- 2019
- [c32]Daisuke Inoue
Distributed Range-based Localization for Swarm Robot Systems using Sensor-fusion Technique. SENSORNETS 2019: 13-22 - [c31]Rohan Bavishi, Hiroaki Yoshida, Mukul R. Prasad:
Phoenix: automated data-driven synthesis of repairs for static analysis violations. ESEC/SIGSOFT FSE 2019: 613-624 - [c30]Daisuke Inoue
Stochastic Self-organizing Control for Swarm Robot Systems. ICSI (1) 2019: 405-416 - 2018
- [c29]Ripon K. Saha, Hiroaki Yoshida, Mukul R. Prasad, Susumu Tokumoto, Kuniharu Takayama, Isao Nanba:
Elixir: an automated repair tool for Java programs. ICSE (Companion Volume) 2018: 77-80 - [c28]Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid:
Accelerating Search-Based Program Repair. ICST 2018: 227-238 - [c27]Ripon K. Saha, Yingjun Lyu, Wing Lam, Hiroaki Yoshida, Mukul R. Prasad:
Bugs.jar: a large-scale, diverse dataset of real-world Java bugs. MSR 2018: 10-13 - 2017
- [j17]Hiroaki Yoshida:
A Dissipation of Relative Entropy by Diffusion Flows. Entropy 19(1): 9 (2017) - [j16]Nobuyuki Ohmori
Noise Reduction in Swallowing Muscle Activity Measurement Based on Mixture Gaussian Distribution Model. J. Adv. Comput. Intell. Intell. Informatics 21(1): 109-118 (2017) - [j15]Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. IEEE Softw. 34(5): 30-37 (2017) - [c26]Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad:
ELIXIR: effective object oriented program repair. ASE 2017: 648-659 - [c25]Hiroaki Yamada, Kotaro Ohori, Tadashige Iwao, Akifumi Kira
Modeling and Managing Airport Passenger Flow Under Uncertainty: A Case of Fukuoka Airport in Japan. SocInfo (2) 2017: 419-430 - [c24]Shohei Yamane, Kotaro Ohori, Hiroaki Yamada, Hiroaki Yoshida, Hirokazu Anai:
Automatic and dynamic grounding method based on sensor data for agent-based simulation. WSC 2017: 4584-4585 - 2016
- [c23]Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden:
MuVM: Higher Order Mutation Analysis Virtual Machine for C. ICST 2016: 320-329 - [c22]Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh
FSX: fine-grained incremental unit test generation for C/C++ programs. ISSTA 2016: 106-117 - [c21]Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
Anti-patterns in search-based program repair. SIGSOFT FSE 2016: 727-738 - [c20]Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs. SIGSOFT FSE 2016: 1052-1056 - 2015
- [c19]Hideaki Mizuhashi, Masayoshi Kamijo, Hiroaki Yoshida, Harumi Tamaki:
Investigation of Comfort of Uniform Shirt Made of Cellulose Considering Environmental Load. CISIM 2015: 527-538 - [c18]Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh
Generating Succinct Test Cases Using Don't Care Analysis. ICST 2015: 1-10 - 2014
- [j14]Hiroaki Yoshida
Coupled lattice Boltzmann method for simulating electrokinetic flows: A localized scheme for the Nernst-Plank model. Commun. Nonlinear Sci. Numer. Simul. 19(10): 3570-3590 (2014) - [j13]Hiroaki Yoshida, Masayuki Wakizaka, Shigeru Yamashita, Masahiro Fujita:
An Energy-Efficient Patchable Accelerator and Its Design Methods. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 97-A(12): 2507-2517 (2014) - [j12]Hiroaki Yoshida
Lattice Boltzmann method for the convection-diffusion equation in curvilinear coordinate systems. J. Comput. Phys. 257: 884-900 (2014) - 2012
- [j11]Miku Hirata, Aya Nemoto, Hiroaki Yoshida:
An Integral Representation of the Relative Entropy. Entropy 14(8): 1469-1477 (2012) - [c17]Masahiro Fujita, Hiroaki Yoshida:
Post-silicon patching for verification/debugging with high-level models and programmable logic. ASP-DAC 2012: 232-237 - [c16]Hratch Mangassarian, Hiroaki Yoshida, Andreas G. Veneris, Shigeru Yamashita, Masahiro Fujita:
On error tolerance and Engineering Change with Partially Programmable Circuits. ASP-DAC 2012: 695-700 - [c15]Masahiro Fujita, Hiroaki Yoshida:
Post-silicon debugging targeting electrical errors with patchable controllers (abstract only). FPGA 2012: 271 - [c14]Masayuki Wakizaka, Hiroaki Yoshida, Yuko Hara-Azumi, Shigeru Yamashita:
A redundant wire addition method for Patchable Accelerator. ICECS 2012: 552-555 - 2011
- [j10]Hiroaki Yoshida, Masahiro Fujita:
Performance-Constrained Transistor Sizing for Different Cell Count Minimization. Inf. Media Technol. 6(1): 1-11 (2011) - [j9]Hiroaki Yoshida, Masahiro Fujita:
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability. Inf. Media Technol. 6(2): 286-295 (2011) - [j8]Hiroaki Yoshida, Masahiro Fujita:
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability. IPSJ Trans. Syst. LSI Des. Methodol. 4: 70-79 (2011) - [c13]Hiroaki Yoshida, Masahiro Fujita:
An energy-efficient patchable accelerator for post-silicon engineering changes. CODES+ISSS 2011: 13-20 - 2010
- [j7]Hiroaki Yoshida
Multiple-relaxation-time lattice Boltzmann model for the convection and anisotropic diffusion equation. J. Comput. Phys. 229(20): 7774-7795 (2010) - [j6]Hiroaki Yoshida, Masahiro Fujita:
Performance-Constrained Transistor Sizing for Different Cell Count Minimization. J. Inf. Process. 18: 252-262 (2010)
2000 – 2009
- 2009
- [j5]Shanghua Gao, Hiroaki Yoshida, Kenshu Seto, Satoshi Komatsu, Masahiro Fujita:
Interconnect-Aware Pipeline Synthesis for Array-Based Architectures. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(6): 1464-1475 (2009) - [c12]Hiroaki Yoshida, Masahiro Fujita:
Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences. ISQED 2009: 366-370 - 2008
- [j4]Kazuo Aoki, Pierre Degond
A Diffusion Model for Rarefied Flows in Curved Channels. Multiscale Model. Simul. 6(4): 1281-1316 (2008) - [c11]Hiroaki Yoshida, Masahiro Fujita:
Performance-Constrained Different Cell Count Minimization for Continuously-Sized Circuits. DATE 2008: 1099-1102 - [c10]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: 240-245 - 2007
- [j3]Fujine Yano, Hiroaki Yoshida:
Some set partition statistics in non-crossing partitions and generating functions. Discret. Math. 307(24): 3147-3160 (2007) - 2006
- [j2]Hiroaki Yoshida, Makoto Ikeda, Kunihiro Asada:
A Structural Approach for Transistor Circuit Synthesis. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(12): 3529-3537 (2006) - [c9]Hiroaki Yoshida, Mitsunori Tada, Masaaki Mochimaru:
3D Finite Element Analysis of the frictional behavior of the human fingertip. EMBC 2006: 91-94 - [c8]Mitsunori Tada, Hiroaki Yoshida, Masaaki Mochimaru:
Geometric Modeling of Living Tissue for Subject-Specific Finite Element Analysis. EMBC (Supplement) 2006: 6639-6642 - [c7]Hiroaki Yoshida, Makoto Ikeda, Kunihiro Asada:
Exact Minimum Logic Factoring via Quantified Boolean Satisfiability. ICECS 2006: 1065-1068 - 2005
- [j1]Ulkuhan Ekinciel, Hiroaki Yamaoka, Hiroaki Yoshida, Makoto Ikeda, Kunihiro Asada:
A Performance Driven Module Generator for a Dual-Rail PLA with Embedded 2-Input Logic Cells. IEICE Trans. Inf. Syst. 88-D(6): 1159-1167 (2005) - [c6]Hiroaki Yoshida, Makoto Ikeda, Kunihiro Asada:
An algebraic approach for transistor circuit synthesis. ICECS 2005: 1-4 - 2004
- [c5]Hiroaki Yoshida, Kaushik De, Vamsi Boppana:
Accurate pre-layout estimation of standard cell characteristics. DAC 2004: 208-211 - 2002
- [c4]Hiroaki Yoshida, Hiroaki Yamaoka, Makoto Ikeda, Kunihiro Asada:
Logic synthesis for PLA with 2-input logic elements. ISCAS (3) 2002: 373-376 - [c3]Mayumi Oto, Masami Takata, Hiroaki Yoshida, Kazuki Joe:
A Quantum Algorithm for Searching Web Communities. PDPTA 2002: 260-268 - [c2]Hiroaki Yoshida, Hiroaki Yamaoka, Makoto Ikeda, Kunihiro Asada:
Logic Synthesis for AND-XOR-OR Type Sense-Amplifying PLA. ASP-DAC/VLSI Design 2002: 166-171 - [c1]Hiroaki Yoshida, Motohiro Sera, Masao Kubo, Masahiro Fujita:
Simultaneous Circuit Transformation and Routing. ASP-DAC/VLSI Design 2002: 479-483
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: