K.MIURA@OUC

The special secret of making dreams come true can be summarized in four C’s. They are Curiosity, Confidence, Courage, and Constancy. –Walt Disney

研究業績

by Katsunori MIURA in  小樽商大  

[キーワード]
  • 等価変換 (Equivalent transformation)
  • プログラム合成 (Program synthesis)
  • クラウドサービス (Cloud services)
  • 最適化 (Optimization)
[業績 (論文誌, 国際会議)]
  1. Automatic Proof of Logical Equivalences belonging to the ES Class using Confluence Search incorporating Slicing, 2023.12
  2. Many-Constraint and Many-Objective optimization with Bias Index for Intercloud Multi-Workflow Resource Provisioning, 2022.11
  3. Optimal answer generation by equivalent transformation incorporating multi-objective genetic algorithm, 2022.3
  4. Generation of Logical Equivalences belonging to the C2LE Class applied to Program Synthesis based on Equivalent Transformation, 2021.8
  5. Constrained Multi-objective Optimization Method for Practica Scientific Workflow Resource Selection, 2019.3
  6. Optimal and Feasible Cloud Resource Configurations Generation Method for Genomic Analytics Applications, 2018.12
  7. Towards a Small Diverse Pareto-optimal Solutions Set Generator for Multi-objective Optimization Problems, 2018.7
  8. Optimal Cloud Resource Selection Method Considering Hard and Soft Constraints and Multiple Conflicting, 2018.7
  9. Cloud Resource Selection based on PLS for deploying Optimal Infrastructures for Genomic Analytics Applications, 2017.12
  10. A Predicate Logic-defined Specification Method for Systems Deployed by Intercloud Brokerages, 2016.4
  11. Intercloud Brokerages based on PLS Method for deploying Infrastructures for Big Data Analytics, 2016.12
  12. ET-based Bidirectional Search for proving Formulas in the Class ES, 2014.12
  13. Proof of Unsatisfiability of Atom Sets based on Computation by Equivalent Transformation Rules, 2013.11
  14. Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalence for Program Synthesis, 2013.6
  15. Generation Method for Correct Parallel Programs based on Equivalent Transformation, 2012.11
  16. Generating Functionality-based Rules for Program Construction, 2009.9
  17. Creation of ET Rules from Logical Formulas representing Equivalent Relations, 2009.2
  18. Generating Speq Rules based on Automatic Proof of Logical Equivalence, 2008
  19. Construction of Equivalent Transformation Rules from Logical Equivalence, 2007.12
  20. Creation of ET Rules via Logical Equivalence, 2007.9
  21. Constraint Solving Specialization for Equality on an Interval-Variable Domain, 2007
  22. Infinite Computation in the Equivalent Transformation Model, 2007
  23. Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence, 2006.12
  24. The Squeeze Method -A Method for Program Construction in the Equivalent Transformation Computation Model, 2005

Share