Research output per year
Research output per year
- 36 results
Search results
-
2023
Automatic Generation of Evaluation Courses for Car Navigation Systems Via Combinatorial Optimization
Tomita, K., Kojima, K., Saito, S., Iwami, T., Matsumoto, R., Haba, R. & Ohzeki, M., 2023 Apr 11, In: SAE Technical Papers.Research output: Contribution to journal › Conference article › peer-review
-
2022
Compressed sensing based on QUBO formulation
Kudo, K., 2022 Mar 28, In: Journal of Physics: Conference Series. 2207, 1, 012033.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Citation (Scopus) -
Computing cohomology intersection numbers of GKZ hypergeometric systems
Matsubara-Heo, S. J., 2022 Feb 15, In: Proceedings of Science. 383, 013.Research output: Contribution to journal › Conference article › peer-review
Open Access4 Citations (Scopus) -
Disease-Detection Based on AI Ear Tag Using Body-Conducted Sounds in Pigs
Tsuchiya, K., Ishimitsu, S., Okada, N., Yumoto, S., Mikami, O., Inoue, H., Ishida, M. & Tanaka, D., 2022, In: Proceedings of the International Congress on Acoustics.Research output: Contribution to journal › Conference article › peer-review
-
2020
A note on the reconstruction of a 3D-3C velocity field for box turbulence
Sasaki, E. & Ohzeki, M., 2020 Jun 10, In: Journal of Physics: Conference Series. 1522, 1, 012023.Research output: Contribution to journal › Conference article › peer-review
Open Access -
2019
Effects without monads: Non-determinism Back to the Meta Language
Kiselyov, O., 2019 May 16, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 294, p. 15-40 26 p.Research output: Contribution to journal › Conference article › peer-review
Open Access4 Citations (Scopus) -
2018
Eff directly in OCaml
Kiselyov, O. & Sivaramakrishnan, K. C., 2018 Dec 31, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 285, p. 23-58 36 p.Research output: Contribution to journal › Conference article › peer-review
Open Access12 Citations (Scopus) -
Sparse modeling for Quantum Monte-Carlo simulation
Ohzeki, M., 2018 Jun 27, In: Journal of Physics: Conference Series. 1036, 1, 012020.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Citations (Scopus) -
2017
Generating code with polymorphic let a ballad of value restriction, copying and sharing
Kiselyov, O., 2017 Feb 7, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 241, p. 1-22 22 p.Research output: Contribution to journal › Conference article › peer-review
Open Access3 Citations (Scopus) -
Specialization of generic array accesses after inlining (system description)
Tokuda, R., Sumii, E. & Abe, A., 2017 Feb 7, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 241, p. 45-53 9 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
2016
Answer-type modification without tears: Prompt-passing style translation for typed delimited-control operators
Kobori, I., Kameyama, Y. & Kiselyov, O., 2016 Jun 19, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 212, p. 36-52 17 p.Research output: Contribution to journal › Conference article › peer-review
Open Access6 Citations (Scopus) -
Event-chain Monte Carlo algorithm for continuous spin systems and its application
Nishikawa, Y. & Hukushima, K., 2016 Sept 16, In: Journal of Physics: Conference Series. 750, 1, 012014.Research output: Contribution to journal › Conference article › peer-review
Open Access4 Citations (Scopus) -
Stochastic gradient method with accelerated stochastic dynamics
Ohzeki, M., 2016 Apr 6, In: Journal of Physics: Conference Series. 699, 1, 012019.Research output: Contribution to journal › Conference article › peer-review
Open Access5 Citations (Scopus) -
2015
A simple and practical Linear Algebra Library interface with static size checking
Abe, A. & Sumii, E., 2015 Dec 5, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 198, p. 1-21 21 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Citations (Scopus) -
Mathematical understanding of detailed balance condition violation and its application to Langevin dynamics
Ohzeki, M. & Ichiki, A., 2015 Sept 3, In: Journal of Physics: Conference Series. 638, 1, 012003.Research output: Contribution to journal › Conference article › peer-review
Open Access15 Citations (Scopus) -
Trace-based approach to editability and correspondence analysis for bidirectional graph transformations
Hidaka, S., Billes, M., Tran, Q. M. & Matsuda, K., 2015, In: CEUR Workshop Proceedings. 1396, p. 51-65 15 p.Research output: Contribution to journal › Conference article › peer-review
3 Citations (Scopus) -
2014
Efficient POC-based correspondence detection method for multi-channel images
Tsuchida, M., Sakai, S., Ito, K., Kashino, K., Yamato, J. & Aoki, T., 2014, In: Final Program and Proceedings - IS and T/SID Color Imaging Conference. 2014-January, January, p. 113-118 6 p.Research output: Contribution to journal › Conference article › peer-review
1 Citation (Scopus) -
2013
Belief propagation with multipoint correlations and its application to inverse problem
Ohzeki, M., 2013, In: Journal of Physics: Conference Series. 473, 1, 012005.Research output: Contribution to journal › Conference article › peer-review
Open Access5 Citations (Scopus) -
Comparison of different wall boundary treatments for preconditioning method coupled with building-cube method
Qi, S., Furusawa, T., Yamamoto, S. & Nakahashi, K., 2013, In: Procedia Engineering. 61, p. 298-305 8 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Citations (Scopus) -
2011
Implementing explicit and finding implicit sharing in embedded DSLs
Kiselyov, O., 2011 Sept 1, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 66, p. 210-225 16 p.Research output: Contribution to journal › Conference article › peer-review
Open Access3 Citations (Scopus) -
2010
A grammar-based approach to invertible programs
Matsuda, K., Mu, S. C., Hu, Z. & Takeichi, M., 2010, In: Lecture Notes in Computer Science. 6012 LNCS, p. 448-467 20 p.Research output: Contribution to journal › Conference article › peer-review
Open Access21 Citations (Scopus) -
Limitations of Applicative Bisimulation (Preliminary Report)
Koutavas, V., Levy, P. B. & Sumii, E., 2010, In: Dagstuhl Seminar Proceedings. 10351Research output: Contribution to journal › Conference article › peer-review
-
2007
An on-chip cache design for vector processors
Musa, A., Sato, Y., Egawa, R., Takizawa, H., Okabe, K. & Kobayashi, H., 2007, In: Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 17-23 7 p.Research output: Contribution to journal › Conference article › peer-review
8 Citations (Scopus) -
A power-aware shared cache mechanism based on locality assessment of memory reference for CMPs
Kotera, I., Egawa, R., Takizawa, H. & Kobayashi, H., 2007, In: Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT. p. 113-120 8 p.Research output: Contribution to journal › Conference article › peer-review
3 Citations (Scopus) -
2005
A bisimulation for type abstraction and recursion
Sumii, E. & Pierce, B. C., 2005, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 63-74 12 p.Research output: Contribution to journal › Conference article › peer-review
Open Access14 Citations (Scopus) -
2004
A bisimulation for dynamic sealing
Sumii, E. & Pierce, B. C., 2004, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 31, p. 161-172 12 p.Research output: Contribution to journal › Conference article › peer-review
18 Citations (Scopus) -
A bisimulation for dynamic sealing
Sumii, E. & Pierce, B. C., 2004 Jan, In: ACM SIGPLAN Notices. 39, 1, p. 161-172 12 p.Research output: Contribution to journal › Conference article › peer-review
27 Citations (Scopus) -
Architecture of a stereo matching VLSI processor based on hierarchically parallel memory access
Hariyama, M., Sasaki, H. & Kameyama, M., 2004, In: Midwest Symposium on Circuits and Systems. 2, p. II245-II247Research output: Contribution to journal › Conference article › peer-review
9 Citations (Scopus) -
2003
Design of a digital reaction-diffusion system for restoring blurred fingerprint images
Ito, K., Aoki, T. & Higuchi, T., 2003, In: Proceedings - IEEE International Symposium on Circuits and Systems. 4, p. IV77-IV80Research output: Contribution to journal › Conference article › peer-review
-
Regular expression types for strings in a text processing language
Tabuchi, N., Sumii, E. & Yonezawa, A., 2003 Feb, In: Electronic Notes in Theoretical Computer Science. 75, p. 95-113 19 p.Research output: Contribution to journal › Conference article › peer-review
Open Access8 Citations (Scopus) -
2000
On type II codes over F4
Betsumiya, K., Gulliver, T. A., Harada, M. & Munemasa, A., 2000, In: IEEE International Symposium on Information Theory - Proceedings. p. 141 1 p.Research output: Contribution to journal › Conference article › peer-review
-
1998
A generalized deadlock-free process calculus
Sumii, E. & Kobayashi, N., 1998, In: Electronic Notes in Theoretical Computer Science. 16, 3, p. 225-247 23 p.Research output: Contribution to journal › Conference article › peer-review
Open Access21 Citations (Scopus) -
1997
Navier-Stokes analysis of unsteady transonic flows through gas turbine cascades with and without coolant ejection
Tanumaa, T., Shibukawa, N. & Yamamoto, S., 1997, In: American Society of Mechanical Engineers (Paper).Research output: Contribution to journal › Conference article › peer-review
4 Citations (Scopus) -
1996
Decoupled modified-bit cache
Takahashi, M., Oba, N., Kobayashi, H. & Nakamura, T., 1996, In: Conference Proceedings - International Phoenix Conference on Computers and Communications. p. 136-143 8 p.Research output: Contribution to journal › Conference article › peer-review
-
Hierarchical parallel processing system for the multipass-rendering method
Kobayashi, H., Yamauchi, H., Toh, Y. & Nakamura, T., 1996, In: IEEE Symposium on Parallel and Distributed Processing - Proceedings. p. 62-67 6 p.Research output: Contribution to journal › Conference article › peer-review
1 Citation (Scopus) -
1995
Multiresolutional piecewise-linear image decompositions: Quantization error propagation and design of `stable' compression schemes
Kiselyov, O. & Fisher, P., 1995, In: Proceedings of the Data Compression Conference. p. 470 1 p.Research output: Contribution to journal › Conference article › peer-review