- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j24 |      | Omar Arif Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama: An adaptive parameter binary-real coded genetic algorithm for constraint optimization problems: Performance analysis and estimation of optimal control parameters. Inf. Sci. 233: 54-86 (2013) |
| c66 | | Kiyoshi Akama, Ekawit Nantajeewarawat: Correctness of Solving Query-Answering Problems Using Satisfiability Solvers. ACIIDS (1) 2013: 404-413 |
| 2012 | ||
| c65 | | Kiyoshi Akama, Ekawit Nantajeewarawat: A Delayed Splitting Bottom-Up Procedure for Model Generation. Australasian Conference on Artificial Intelligence 2012: 481-492 |
| c64 | | Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama: Toward a Genetic Algorithm Based Flexible Approach for the Management of Virtualized Application Environments in Cloud Platforms. ICCCN 2012: 1-9 |
| 2011 | ||
| c63 | | 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 |
| c62 | | 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 |
| c61 | | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama: Optimization of parallel Genetic Algorithms for nVidia GPUs. IEEE Congress on Evolutionary Computation 2011: 803-811 |
| c60 |  | |
| c59 | | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike: Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics. ICSECS (3) 2011: 702-716 |
| c58 | | 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 |
| c57 | | Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama: An improved binary-real coded genetic algorithm for real parameter optimization. NaBIC 2011: 149-156 |
| c56 | | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama: A Framework for Cloud Embedded Web Services Utilized by Cloud Applications. SERVICES 2011: 265-271 |
| 2010 | ||
| j23 | | 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) |
| c55 | | 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 |
| c54 | | 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 |
| 2009 | ||
| j22 | | 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) |
| c53 | | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama: Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm. PDCAT 2009: 457-462 |
| 2008 | ||
| j21 | | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama: Introducing assignment functions to Bayesian optimization algorithms. Inf. Sci. 178(1): 152-163 (2008) |
| c52 | | 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 |
| c51 | | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama: Empirical investigations on parallel competent genetic algorithms. GECCO 2008: 1073-1080 |
| c50 | | 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 |
| c49 | | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama: SOAG: Service Oriented Architectured Grids and adoption of application specific QoS attributes. GRID 2008: 346-351 |
| c48 | | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama: Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE. HPCC 2008: 131-138 |
| c47 | | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama: A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing. HPCC 2008: 897-902 |
| c46 | | Courtney Powell, Kiyoshi Akama, Toshihiro Wakatsuki: Conceptual Modelling and Program Generation for Dynamic Interactive Systems. PDCAT 2008: 285-294 |
| p3 | | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama: Parallel GEAs with Linkage Analysis over Grid. Linkage in Evolutionary Computation 2008: 159-187 |
| p2 | | 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 |
| 2007 | ||
| j20 | | Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Katsunori Miura: Infinite Computation in the Equivalent Transformation Model. JACIII 11(2): 176-186 (2007) |
| j19 | | Hiroshi Mabuchi, Kiyoshi Akama, Katsunori Miura, Takahiko Ishikawa: Constraint Solving Specializations for Equality on an Interval-Variable Domain. JACIII 11(2): 210-219 (2007) |
| j18 | | Ekawit Nantajeewarawat, Kiyoshi Akama, Hidekatsu Koike: Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules. JACIII 11(5): 478-490 (2007) |
| j17 | | Kiyoshi Akama, Ekawit Nantajeewarawat: State-Transition Computation Models and Program Correctness Thereon. JACIII 11(10): 1250-1261 (2007) |
| c45 | | 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 |
| c44 | | 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 |
| c43 | | Masaharu Munetomo, Yuta Satake, Kiyoshi Akama: An Intelligent Scatter with Estimation of Distribution for Tabu Search. EUROCAST 2007: 465-472 |
| c42 | | Masaharu Munetomo, Asim Munawar, Kiyoshi Akama: A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search. EUROCAST 2007: 473-480 |
| c41 | | 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 |
| c40 | | Hidekatsu Koike, Kiyoshi Akama, Chiharu Ishikawa, Nagatomo Nakamura, Shinya Watanabe: Toward a software development model for automatic marking software. SIGUCCS 2007: 190-193 |
| p1 | | 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 |
| 2006 | ||
| j16 | | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama: Linkage Identification by Fitness Difference Clustering. Evolutionary Computation 14(4): 383-409 (2006) |
| j15 | | Kiyoshi Akama, Ekawit Nantajeewarawat: Formalization of the Equivalent Transformation Computation Model. JACIII 10(3): 245-259 (2006) |
| j14 | | Pongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse: Semantic Query Optimization: Correctness and Control. JACIII 10(3): 270-280 (2006) |
| j13 | | 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) |
| j12 | | Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike: Converting Constraint Handling Rules to Equivalent Transformation Rules. JACIII 10(3): 339-348 (2006) |
| j11 | | 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) |
| c39 | | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike: Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. Ershov Memorial Conference 2006: 41-54 |
| c38 | | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama: A crossover for complex building blocks overlapping. GECCO 2006: 1337-1344 |
| c37 | | Hiroshi Mabuchi, Kiyoshi Akama, Toshihiro Wakatsuki: Equivalent Transformation Rules as Components of Programs. ICICIC (2) 2006: 282-287 |
| c36 | | Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura: Using an automatic marking system for programming courses. SIGUCCS 2006: 173-178 |
| c35 | | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama: Theoretical and Empirical Investigations on Difficulty in Structure Learning by Estimation of Distribution Algorithms. SMC 2006: 209-214 |
| c34 | | Masaharu Munetomo, Yuta Satake, Kiyoshi Akama: Enhancing Model-building Efficiency in Extended Compact Genetic Algorithms. SMC 2006: 2362-2367 |
| 2005 | ||
| j10 | | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama: XML Declarative Description with First-Order Logical Constraints. Computational Intelligence 21(2): 130-156 (2005) |
| c33 | | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama: Linkage identification for real-valued loci by fitness difference classification. Congress on Evolutionary Computation 2005: 1317-1324 |
| c32 | | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama: Empirical studies on parallel network construction of Bayesian optimization algorithms. Congress on Evolutionary Computation 2005: 1524-1531 |
| c31 | | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama: Population Sizing of Dependency Detection by Fitness Difference Classification. FOGA 2005: 282-299 |
| c30 | | 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 |
| c29 | | Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura: Developing an e-learning System which enhances students' academic motivation. SIGUCCS 2005: 147-150 |
| c28 | | Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa: Problem solving by equivalent transformation of negative constraints. SMC 2005: 357-363 |
| 2004 | ||
| j9 | | 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) |
| j8 | | 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) |
| c27 | | Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama: Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms. GECCO (2) 2004: 222-233 |
| c26 | | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama: Modeling Dependencies of Loci with String Classification According to Fitness Differences. GECCO (2) 2004: 246-257 |
| c25 | | Hidemi Ogasawara, Kiyoshi Akama, Yoshinori Shigeta: Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems. IC-AI 2004: 306-309 |
| c24 | | Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa: A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. MSV/AMCS 2004: 345-351 |
| c23 | | Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani: On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model. MSV/AMCS 2004: 391-398 |
| c22 | | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama: Empirical Investigations on Parallelized Linkage Identification. PPSN 2004: 322-331 |
| c21 | | Nimit Pattanasri, Vilas Wuwongse, Kiyoshi Akama: XET as a Rule Language for Consistency Maintenance in UML. RuleML 2004: 200-204 |
| 2003 | ||
| j7 | | Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi: How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. JACIII 7(3): 260-267 (2003) |
| j6 | | 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) |
| j5 | | Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat: A Data Model for XML Databases. J. Intell. Inf. Syst. 20(1): 63-80 (2003) |
| c20 | | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama: A Parallel Genetic Algorithm Based on Linkage Identification. GECCO 2003: 1222-1233 |
| c19 | | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama: Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification. GECCO 2003: 1616-1617 |
| 2002 | ||
| c18 | | Yuichi Yamamoto, Kiyoshi Akama, Masaharu Munetomo, Takahiko Ishikawa: A Foundation for Algorithm Generation by Transforming Meta-Descriptions. FSKD 2002: 712- |
| c17 | | E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike: Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. IC-AI 2002: 1040-1046 |
| c16 | | Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto: Framework for Synthesis by Unfolding of Declarative Programs. IC-AI 2002: 1060-1066 |
| c15 | | Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd: A Basic Framework for Infinite Computation. IC-AI 2002: 1080-1086 |
| c14 | | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike: Program Synthesis Based on the Equivalent Transformation Computation Model. LOPSTR 2002: 278-279 |
| c13 | | Kiyoshi Akama, Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat: Query Formulation and Evaluation of XML Databases. WITASI 2002: 273-288 |
| 2001 | ||
| j4 | | 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) |
| j3 | | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat: RDF Declarative Description (RDD): A Language for Metadata. J. Digit. Inf. 2(2) (2001) |
| j2 | | 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) |
| c12 | | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat: RDF Declarative Description (RDD): A Language for Metadata. Dublin Core Conference 2001: 1-8 |
| c11 | | Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi: A Theoretical Foundation of Program Synthesis by Equivalent Transformation. Ershov Memorial Conference 2001: 131-139 |
| c10 | | Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi: Equivalent Transformation by Safe Extension of Data Structures. Ershov Memorial Conference 2001: 140-148 |
| c9 | | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin: Semantic Web Modeling and Programming with XDD. SWWS 2001: 161-180 |
| c8 | | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin: Semantic Web Modeling and Programming with XDD. The Emerging Semantic Web 2001 |
| c7 | | Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat: A Data Model for XML Databases. Web Intelligence 2001: 237-246 |
| 2000 | ||
| j1 | | 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) |
| c6 | | Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta: Synthesis of Conversion Rules by Expanding Knowledge Representation. Artificial Intelligence and Soft Computing 2000: 434-440 |
| c5 | | Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike: Semantic Interpretation by Rule-based Equivalent Transformation. Artificial Intelligence and Soft Computing 2000: 472-478 |
| c4 | | 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 |
| c3 | | Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat, Kiyoshi Akama: Towards a Foundation for XML Document Databases. EC-Web 2000: 324-333 |
| 1986 | ||
| c2 | | |
| 1979 | ||
| c1 | | |
Data released under the ODC-BY 1.0 license — See also our legal information page