 | 2011 |
|---|
| 85 |       | Kiyoshi Akama,
Ekawit Nantajeewarawat,
Hidekatsu Koike:
Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics.
ICSECS (3) 2011: 702-716 |
| 84 | | Omar Abdul-Rahman,
Masaharu Munetomo,
Kiyoshi Akama:
Multi-Level Autonomic Architecture for the Management of Virtualized Application Environments in Cloud Platforms.
IEEE CLOUD 2011: 754-755 |
| 83 | | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
Advanced genetic algorithm to solve MINLP problems over GPU.
IEEE Congress on Evolutionary Computation 2011: 318-325 |
| 82 | | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
Optimization of parallel Genetic Algorithms for nVidia GPUs.
IEEE Congress on Evolutionary Computation 2011: 803-811 |
| 81 |  | Kiyoshi Akama,
Ekawit Nantajeewarawat:
Meaning-preserving Skolemization.
KEOD 2011: 322-327 |
| 80 | | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
Solving Extremely Difficult MINLP Problems Using Adaptive Resolution Micro-GA with Tabu Search.
LION 2011: 203-217 |
| 79 | | Omar Abdul-Rahman,
Masaharu Munetomo,
Kiyoshi Akama:
An improved binary-real coded genetic algorithm for real parameter optimization.
NaBIC 2011: 149-156 |
| 78 | | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
A Framework for Cloud Embedded Web Services Utilized by Cloud Applications.
SERVICES 2011: 265-271 |
| 2010 |
|---|
| 77 | | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
A Bayesian Optimization Algorithm for De Novo ligand design based docking running over GPU.
IEEE Congress on Evolutionary Computation 2010: 1-8 |
| 76 | | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
A Light Framework for the Unified Representation and Execution of Variant Tasks in a Grid Based Environment.
PDPTA 2010: 658-664 |
| 75 | | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
The design, usage, and performance of GridUFO: A Grid based Unified Framework for Optimization.
Future Generation Comp. Syst. 26(4): 633-644 (2010) |
| 2009 |
|---|
| 74 | | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm.
PDCAT 2009: 457-462 |
| 73 | | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework.
Genetic Programming and Evolvable Machines 10(4): 391-415 (2009) |
| 2008 |
|---|
| 72 | | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Empirical investigations on parallel competent genetic algorithms.
GECCO 2008: 1073-1080 |
| 71 | | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
Model for dynamic grain sizing through compound parallelization for an optimization problem solving grid application.
GRID 2008: 316-321 |
| 70 | | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
SOAG: Service Oriented Architectured Grids and adoption of application specific QoS attributes.
GRID 2008: 346-351 |
| 69 | | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE.
HPCC 2008: 131-138 |
| 68 | | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing.
HPCC 2008: 897-902 |
| 67 | | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
A General Service-Oriented Grid Computing Framework for Global Optimization Problem Solving.
IEEE SCC (2) 2008: 563-566 |
| 66 | | Courtney Powell,
Kiyoshi Akama,
Toshihiro Wakatsuki:
Conceptual Modelling and Program Generation for Dynamic Interactive Systems.
PDCAT 2008: 285-294 |
| 65 | | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
Parallel GEAs with Linkage Analysis over Grid.
Linkage in Evolutionary Computation 2008: 159-187 |
| 64 | | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
A Network Design Problem by a GA with Linkage Identification and Recombination for Overlapping Building Blocks.
Linkage in Evolutionary Computation 2008: 441-459 |
| 63 | | Masaharu Munetomo,
Naoya Murao,
Kiyoshi Akama:
Introducing assignment functions to Bayesian optimization algorithms.
Inf. Sci. 178(1): 152-163 (2008) |
| 2007 |
|---|
| 62 | | Masaharu Munetomo,
Yuta Satake,
Kiyoshi Akama:
An Intelligent Scatter with Estimation of Distribution for Tabu Search.
EUROCAST 2007: 465-472 |
| 61 | | Masaharu Munetomo,
Asim Munawar,
Kiyoshi Akama:
A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search.
EUROCAST 2007: 473-480 |
| 60 | | Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
Optimization problem solving framework employing GAs with linkage identification over a grid environment.
IEEE Congress on Evolutionary Computation 2007: 1191-1198 |
| 59 | | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
A network design problem by a GA with linkage identification and recombination for overlapping building blocks.
IEEE Congress on Evolutionary Computation 2007: 349-356 |
| 58 | | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing.
PDCAT 2007: 167-168 |
| 57 | | Hidekatsu Koike,
Kiyoshi Akama,
Chiharu Ishikawa,
Nagatomo Nakamura,
Shinya Watanabe:
Toward a software development model for automatic marking software.
SIGUCCS 2007: 190-193 |
| 56 | | Masaru Tezuka,
Masaharu Munetomo,
Kiyoshi Akama:
Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem.
Evolutionary Computation in Dynamic and Uncertain Environments 2007: 417-434 |
| 55 | | Kiyoshi Akama,
Ekawit Nantajeewarawat:
State-Transition Computation Models and Program Correctness Thereon.
JACIII 11(10): 1250-1261 (2007) |
| 54 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Hidekatsu Koike,
Katsunori Miura:
Infinite Computation in the Equivalent Transformation Model.
JACIII 11(2): 176-186 (2007) |
| 53 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Katsunori Miura,
Takahiko Ishikawa:
Constraint Solving Specializations for Equality on an Interval-Variable Domain.
JACIII 11(2): 210-219 (2007) |
| 52 | | Ekawit Nantajeewarawat,
Kiyoshi Akama,
Hidekatsu Koike:
Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules.
JACIII 11(5): 478-490 (2007) |
| 2006 |
|---|
| 51 | | Kiyoshi Akama,
Ekawit Nantajeewarawat,
Hidekatsu Koike:
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method.
Ershov Memorial Conference 2006: 41-54 |
| 50 | | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
A crossover for complex building blocks overlapping.
GECCO 2006: 1337-1344 |
| 49 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Toshihiro Wakatsuki:
Equivalent Transformation Rules as Components of Programs.
ICICIC (2) 2006: 282-287 |
| 48 | | Hidekatsu Koike,
Kiyoshi Akama,
Hiko Morita,
Katsunori Miura:
Using an automatic marking system for programming courses.
SIGUCCS 2006: 173-178 |
| 47 | | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Linkage Identification by Fitness Difference Clustering.
Evolutionary Computation 14(4): 383-409 (2006) |
| 46 | | Kiyoshi Akama,
Ekawit Nantajeewarawat:
Formalization of the Equivalent Transformation Computation Model.
JACIII 10(3): 245-259 (2006) |
| 45 | | Pongtawat Chippimolchai,
Kiyoshi Akama,
Vilas Wuwongse:
Semantic Query Optimization: Correctness and Control.
JACIII 10(3): 270-280 (2006) |
| 44 | | Hidekatsu Koike,
Kiyoshi Akama,
Hiroshi Mabuchi:
Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model.
JACIII 10(3): 302-311 (2006) |
| 43 | | Yoshinori Shigeta,
Kiyoshi Akama,
Hiroshi Mabuchi,
Hidekatsu Koike:
Converting Constraint Handling Rules to Equivalent Transformation Rules.
JACIII 10(3): 339-348 (2006) |
| 42 | | Itaru Takarajima,
Kiyoshi Akama,
Ikumi Imani,
Hiroshi Mabuchi:
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model.
JACIII 10(3): 349-361 (2006) |
| 2005 |
|---|
| 41 | | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Linkage identification for real-valued loci by fitness difference classification.
Congress on Evolutionary Computation 2005: 1317-1324 |
| 40 | | Masaharu Munetomo,
Naoya Murao,
Kiyoshi Akama:
Empirical studies on parallel network construction of Bayesian optimization algorithms.
Congress on Evolutionary Computation 2005: 1524-1531 |
| 39 | | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Population Sizing of Dependency Detection by Fitness Difference Classification.
FOGA 2005: 282-299 |
| 38 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Hidekatsu Koike,
Takahiko Ishikawa:
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain.
IC-AI 2005: 627-636 |
| 37 | | Hidekatsu Koike,
Takahiko Ishikawa,
Kiyoshi Akama,
Masaki Chiba,
Katsunori Miura:
Developing an e-learning System which enhances students' academic motivation.
SIGUCCS 2005: 147-150 |
| 36 | | Chutiporn Anutariya,
Vilas Wuwongse,
Kiyoshi Akama:
XML Declarative Description with First-Order Logical Constraints.
Computational Intelligence 21(2): 130-156 (2005) |
| 2004 |
|---|
| 35 | | Masaru Tezuka,
Masaharu Munetomo,
Kiyoshi Akama:
Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms.
GECCO (2) 2004: 222-233 |
| 34 | | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Modeling Dependencies of Loci with String Classification According to Fitness Differences.
GECCO (2) 2004: 246-257 |
| 33 | | Hidemi Ogasawara,
Kiyoshi Akama,
Yoshinori Shigeta:
Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems.
IC-AI 2004: 306-309 |
| 32 | | Yoshinori Shigeta,
Kiyoshi Akama,
Pongtawat Chippimolchai,
Takahiko Ishikawa:
A Comparison of Constraint Handling Rules with Equivalent Transformation Rules.
MSV/AMCS 2004: 345-351 |
| 31 | | Itaru Takarajima,
Kiyoshi Akama,
Yoshinori Shigeta,
Ikumi Imani:
Equivalent Transformation Computation Model.
MSV/AMCS 2004: 391-398 |
| 30 | | Masaharu Munetomo,
Naoya Murao,
Kiyoshi Akama:
Empirical Investigations on Parallelized Linkage Identification.
PPSN 2004: 322-331 |
| 29 | | Nimit Pattanasri,
Vilas Wuwongse,
Kiyoshi Akama:
XET as a Rule Language for Consistency Maintenance in UML.
RuleML 2004: 200-204 |
| 28 | | Ekawit Nantajeewarawat,
Vilas Wuwongse,
Chutiporn Anutariya,
Kiyoshi Akama,
Surapa Thiemjarus:
Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory.
Int. J. Intell. Syst. 19(1-2): 89-98 (2004) |
| 27 | | Hidehiro Kobayashi,
Masaharu Munetomo,
Kiyoshi Akama,
Yoshiharu Sato:
Designing a distributed algorithm for bandwidth allocation with a genetic algorithm.
Systems and Computers in Japan 35(3): 37-45 (2004) |
| 2003 |
|---|
| 26 | | Masaharu Munetomo,
Naoya Murao,
Kiyoshi Akama:
A Parallel Genetic Algorithm Based on Linkage Identification.
GECCO 2003: 1222-1233 |
| 25 | | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification.
GECCO 2003: 1616-1617 |
| 24 | | Vilas Wuwongse,
Kiyoshi Akama,
Chutiporn Anutariya,
Ekawit Nantajeewarawat:
A Data Model for XML Databases.
J. Intell. Inf. Syst. 20(1): 63-80 (2003) |
| 23 | | Takahiko Ishikawa,
Kiyoshi Akama,
Hiroshi Mabuchi:
How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm.
JACIII 7(3): 260-267 (2003) |
| 22 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Takahiko Ishikawa,
Hidekatsu Koike:
Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation.
JACIII 7(3): 306-314 (2003) |
| 2002 |
|---|
| 21 | | Yuichi Yamamoto,
Kiyoshi Akama,
Masaharu Munetomo,
Takahiko Ishikawa:
A Foundation for Algorithm Generation by Transforming Meta-Descriptions.
FSKD 2002: 712- |
| 20 | | E. Boyd,
Kiyoshi Akama,
Takahiko Ishikawa,
Hidekatsu Koike:
Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation.
IC-AI 2002: 1040-1046 |
| 19 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Takahiko Ishikawa,
Y. Yamamoto:
Framework for Synthesis by Unfolding of Declarative Programs.
IC-AI 2002: 1060-1066 |
| 18 | | Kiyoshi Akama,
Hiroshi Mabuchi,
Takahiko Ishikawa,
E. Boyd:
A Basic Framework for Infinite Computation.
IC-AI 2002: 1080-1086 |
| 17 | | Kiyoshi Akama,
Ekawit Nantajeewarawat,
Hidekatsu Koike:
Program Synthesis Based on the Equivalent Transformation Computation Model.
LOPSTR 2002: 278-279 |
| 16 | | Kiyoshi Akama,
Chutiporn Anutariya,
Vilas Wuwongse,
Ekawit Nantajeewarawat:
Query Formulation and Evaluation of XML Databases.
WITASI 2002: 273-288 |
| 2001 |
|---|
| 15 | | Chutiporn Anutariya,
Vilas Wuwongse,
Kiyoshi Akama,
Ekawit Nantajeewarawat:
RDF Declarative Description (RDD): A Language for Metadata.
Dublin Core Conference 2001: 1-8 |
| 14 | | Kiyoshi Akama,
Hidekatsu Koike,
Hiroshi Mabuchi:
A Theoretical Foundation of Program Synthesis by Equivalent Transformation.
Ershov Memorial Conference 2001: 131-139 |
| 13 | | Kiyoshi Akama,
Hidekatsu Koike,
Hiroshi Mabuchi:
Equivalent Transformation by Safe Extension of Data Structures.
Ershov Memorial Conference 2001: 140-148 |
| 12 | | Chutiporn Anutariya,
Vilas Wuwongse,
Kiyoshi Akama,
Vichit Wattanapailin:
Semantic Web Modeling and Programming with XDD.
SWWS 2001: 161-180 |
| 11 | | Chutiporn Anutariya,
Vilas Wuwongse,
Kiyoshi Akama,
Vichit Wattanapailin:
Semantic Web Modeling and Programming with XDD.
The Emerging Semantic Web 2001 |
| 10 | | Vilas Wuwongse,
Kiyoshi Akama,
Chutiporn Anutariya,
Ekawit Nantajeewarawat:
A Data Model for XML Databases.
Web Intelligence 2001: 237-246 |
| 9 | | Kiyoshi Akama,
Ekawit Nantajeewarawat,
Hidekatsu Koike:
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation.
Electr. Notes Theor. Comput. Sci. 59(4): 255-270 (2001) |
| 8 | | Vilas Wuwongse,
Chutiporn Anutariya,
Kiyoshi Akama,
Ekawit Nantajeewarawat:
XML Declarative Description: A Language for the Semantic Web.
IEEE Intelligent Systems 16(3): 54-65 (2001) |
| 7 | | Chutiporn Anutariya,
Vilas Wuwongse,
Kiyoshi Akama,
Ekawit Nantajeewarawat:
RDF Declarative Description (RDD): A Language for Metadata.
J. Digit. Inf. 2(2): (2001) |
| 2000 |
|---|
| 6 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Hidekatsu Koike,
Yoshinori Shigeta:
Synthesis of Conversion Rules by Expanding Knowledge Representation.
Artificial Intelligence and Soft Computing 2000: 434-440 |
| 5 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Yoshinori Shigeta,
Hidekatsu Koike:
Semantic Interpretation by Rule-based Equivalent Transformation.
Artificial Intelligence and Soft Computing 2000: 472-478 |
| 4 | | Yoshinori Shigeta,
Kiyoshi Akama,
Hidekatsu Koike,
Hiroshi Mabuchi:
Unreachability for a Class of Rewriting Systems using Two Homomorphisms.
Artificial Intelligence and Soft Computing 2000: 494-500 |
| 3 | | Chutiporn Anutariya,
Vilas Wuwongse,
Ekawit Nantajeewarawat,
Kiyoshi Akama:
Towards a Foundation for XML Document Databases.
EC-Web 2000: 324-333 |
| 2 | | Kiyoshi Akama,
Hiroshi Mabuchi,
Eiichi Miyamoto:
A theoretical foundation for solving "no-solution" problems by abstraction.
Systems and Computers in Japan 31(1): 1-10 (2000) |
| 1986 |
|---|
| 1 | | Kiyoshi Akama:
Inheritance Hierarchy Mechanism in Prolog.
LP 1986: 12-21 |
Data released under the ODC-BY 1.0 license — See also our legal information page