| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kiyoshi Akama, Ekawit Nantajeewarawat |
Meaning-preserving Skolemization.  |
KEOD  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike |
Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics. |
ICSECS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama |
An improved binary-real coded genetic algorithm for real parameter optimization. |
NaBIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
A Framework for Cloud Embedded Web Services Utilized by Cloud Applications. |
SERVICES |
2011 |
DBLP DOI BibTeX RDF |
Cloud applications, Web services |
| 1 | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
Optimization of parallel Genetic Algorithms for nVidia GPUs. |
IEEE Congress on Evolutionary Computation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama |
Advanced genetic algorithm to solve MINLP problems over GPU. |
IEEE Congress on Evolutionary Computation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama |
Multi-Level Autonomic Architecture for the Management of Virtualized Application Environments in Cloud Platforms. |
IEEE CLOUD |
2011 |
DBLP DOI BibTeX RDF |
Service Oriented Architcure (SOA), Utlity Computing, Virtualization, Autonomic Computing |
| 1 | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama |
Solving Extremely Difficult MINLP Problems Using Adaptive Resolution Micro-GA with Tabu Search. |
LION |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama |
Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm. |
PDCAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama |
Introducing assignment functions to Bayesian optimization algorithms. |
Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama |
Parallel GEAs with Linkage Analysis over Grid. |
Linkage in Evolutionary Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
Empirical investigations on parallel competent genetic algorithms. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
parallelization, linkage |
| 1 | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
A General Service-Oriented Grid Computing Framework for Global Optimization Problem Solving. |
IEEE SCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama |
A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama |
Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Courtney Powell, Kiyoshi Akama, Toshihiro Wakatsuki |
Conceptual Modelling and Program Generation for Dynamic Interactive Systems. |
PDCAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
SOAG: Service Oriented Architectured Grids and adoption of application specific QoS attributes. |
GRID |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiyoshi Akama, Ekawit Nantajeewarawat |
State-Transition Computation Models and Program Correctness Thereon. |
JACIII |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Mabuchi, Kiyoshi Akama, Katsunori Miura, Takahiko Ishikawa |
Constraint Solving Specializations for Equality on an Interval-Variable Domain. |
JACIII |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ekawit Nantajeewarawat, Kiyoshi Akama, Hidekatsu Koike |
Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules. |
JACIII |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Katsunori Miura |
Infinite Computation in the Equivalent Transformation Model. |
JACIII |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaharu Munetomo, Yuta Satake, Kiyoshi Akama |
An Intelligent Scatter with Estimation of Distribution for Tabu Search. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
tabu search, estimation of distribution algorithms, extended compact genetic algorithm |
| 1 | Masaharu Munetomo, Asim Munawar, Kiyoshi Akama |
A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
GRID computing, evolutionary algorithms, problem-solving environment |
| 1 | Hidekatsu Koike, Kiyoshi Akama, Chiharu Ishikawa, Nagatomo Nakamura, Shinya Watanabe |
Toward a software development model for automatic marking software. |
SIGUCCS |
2007 |
DBLP DOI BibTeX RDF |
software development, educational technology, e-learning system, automatic marking |
| 1 | Kiyoshi Akama, Ekawit Nantajeewarawat |
Formalization of the Equivalent Transformation Computation Model. |
JACIII |
2006 |
DBLP BibTeX RDF |
|
| 1 | Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi |
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model. |
JACIII |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike |
Converting Constraint Handling Rules to Equivalent Transformation Rules. |
JACIII |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse |
Semantic Query Optimization: Correctness and Control. |
JACIII |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi |
Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model. |
JACIII |
2006 |
DBLP BibTeX RDF |
|
| 1 | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
Linkage Identification by Fitness Difference Clustering. |
Evolutionary Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
A crossover for complex building blocks overlapping. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
crossover, building blocks, linkage |
| 1 | Hiroshi Mabuchi, Kiyoshi Akama, Toshihiro Wakatsuki |
Equivalent Transformation Rules as Components of Programs. |
ICICIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike |
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura |
Using an automatic marking system for programming courses. |
SIGUCCS |
2006 |
DBLP DOI BibTeX RDF |
large-scale class, educational technology, e-learning system, grading, automatic marking |
| 1 | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama |
XML Declarative Description with First-Order Logical Constraints. |
Computational Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa |
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. |
IC-AI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama |
Empirical studies on parallel network construction of Bayesian optimization algorithms. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
Linkage identification for real-valued loci by fitness difference classification. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
Population Sizing of Dependency Detection by Fitness Difference Classification. |
FOGA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura |
Developing an e-learning System which enhances students' academic motivation. |
SIGUCCS |
2005 |
DBLP DOI BibTeX RDF |
large-scale class, educational technology, e-learning system, automatic marking |
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hidehiro Kobayashi, Masaharu Munetomo, Kiyoshi Akama, Yoshiharu Sato |
Designing a distributed algorithm for bandwidth allocation with a genetic algorithm. |
Systems and Computers in Japan |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama |
Empirical Investigations on Parallelized Linkage Identification. |
PPSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama |
Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms. |
GECCO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
Modeling Dependencies of Loci with String Classification According to Fitness Differences. |
GECCO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hidemi Ogasawara, Kiyoshi Akama, Yoshinori Shigeta |
Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems. |
IC-AI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani |
Equivalent Transformation Computation Model. |
MSV/AMCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa |
A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. |
MSV/AMCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nimit Pattanasri, Vilas Wuwongse, Kiyoshi Akama |
XET as a Rule Language for Consistency Maintenance in UML. |
RuleML |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi |
How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. |
JACIII |
2003 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike |
Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. |
JACIII |
2003 |
DBLP BibTeX RDF |
|
| 1 | Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat |
A Data Model for XML Databases. |
J. Intell. Inf. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama |
A Parallel Genetic Algorithm Based on Linkage Identification. |
GECCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification. |
GECCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto |
Framework for Synthesis by Unfolding of Declarative Programs. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike |
Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd |
A Basic Framework for Infinite Computation. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yuichi Yamamoto, Kiyoshi Akama, Masaharu Munetomo, Takahiko Ishikawa |
A Foundation for Algorithm Generation by Transforming Meta-Descriptions. |
FSKD |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kiyoshi Akama, Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat |
Query Formulation and Evaluation of XML Databases. |
WITASI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike |
Program Synthesis Based on the Equivalent Transformation Computation Model. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike |
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat |
RDF Declarative Description (RDD): A Language for Metadata. |
J. Digit. Inf. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Vilas Wuwongse, Chutiporn Anutariya, Kiyoshi Akama, Ekawit Nantajeewarawat |
XML Declarative Description: A Language for the Semantic Web. |
IEEE Intelligent Systems |
2001 |
DBLP DOI BibTeX RDF |
XML Declarative Description, Semantic Web, RDF, XML document, RDF Schema |
| 1 | Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi |
A Theoretical Foundation of Program Synthesis by Equivalent Transformation. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi |
Equivalent Transformation by Safe Extension of Data Structures. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat |
A Data Model for XML Databases. |
Web Intelligence |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat |
RDF Declarative Description (RDD): A Language for Metadata. |
Dublin Core Conference |
2001 |
DBLP BibTeX RDF |
|
| 1 | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin |
Semantic Web Modeling and Programming with XDD. |
The Emerging Semantic Web |
2001 |
DBLP BibTeX RDF |
|
| 1 | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin |
Semantic Web Modeling and Programming with XDD. |
SWWS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Kiyoshi Akama, Hiroshi Mabuchi, Eiichi Miyamoto |
A theoretical foundation for solving "no-solution" problems by abstraction. |
Systems and Computers in Japan |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinori Shigeta, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi |
Unreachability for a Class of Rewriting Systems using Two Homomorphisms. |
Artificial Intelligence and Soft Computing |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta |
Synthesis of Conversion Rules by Expanding Knowledge Representation. |
Artificial Intelligence and Soft Computing |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike |
Semantic Interpretation by Rule-based Equivalent Transformation. |
Artificial Intelligence and Soft Computing |
2000 |
DBLP BibTeX RDF |
|
| 1 | Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat, Kiyoshi Akama |
Towards a Foundation for XML Document Databases. |
EC-Web |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiyoshi Akama |
Inheritance Hierarchy Mechanism in Prolog. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")