The variety generated by semi-Heyting chains

Abstract  The purpose of this paper was to investigate the structure of semi-Heyting chains and the variety

CSH
generated by them. We determine the number of non-isomorphic n-element semi-Heyting chains. As a contribution to the study of t…

Abstract  

The purpose of this paper was to investigate the structure of semi-Heyting chains and the variety

CSH

generated by them. We determine the number of non-isomorphic n-element semi-Heyting chains. As a contribution to the study of the lattice of subvarieties of

CSH,

we investigate the inclusion relation between semi-Heyting chains. Finally, we provide equational bases for

CSH

and for the subvarieties of

CSH

introduced in [5].

  • Content Type Journal Article
  • DOI 10.1007/s00500-010-0604-0
  • Authors
    • M. Abad, Universidad Nacional del Sur Departamento de Matemática 8000 Bahía Blanca Argentina
    • J. M. Cornejo, Universidad Nacional del Sur Departamento de Matemática 8000 Bahía Blanca Argentina
    • J. P. Díaz Varela, Universidad Nacional del Sur Departamento de Matemática 8000 Bahía Blanca Argentina

GP (by any name) on RadioLab

Hod Lipson and Michael Schmidt were on the ever-entertaining RadioLab (in the last segment of this show on “Limits”), discussing their remarkable work on “Distilling Free-Form Natural Laws from Experimental Data” that was published in Science last year…

Hod Lipson and Michael Schmidt were on the ever-entertaining RadioLab (in the last segment of this show on “Limits”), discussing their remarkable work on “Distilling Free-Form Natural Laws from Experimental Data” that was published in Science last year. Although I don’t think they call it GP explicitly in the radio show or even in the main Science article, GP is central to their work, as is explained in detail in the article’s Supporting Online Material (links to Science are not free).

A review of the nondeterministic waiting time algorithm

Abstract  We provide the description for the nondeterministic waiting time (NWT) algorithm, a biochemical modeling approach based on
the membrane systems paradigm of computation. The technique provides a unique (different to Gillespie’s al…

Abstract  

We provide the description for the nondeterministic waiting time (NWT) algorithm, a biochemical modeling approach based on
the membrane systems paradigm of computation. The technique provides a unique (different to Gillespie’s algorithm or ODE modeling)
perspective on the biochemical evolution of the cell. That is, depending on the reactions and molecular multiplicities of
a given model, our simulator is capable of producing results comparable to the alternative techniques—continuous and deterministic
or discrete and stochastic. Some results for sample models are given, illustrating the differences between the NWT algorithm,
the Gillespie algorithm, and the solutions to systems of ordinary differential equations. We have previously used this simulation
technique to address issues surrounding Fas-induced apoptosis in cancerous cells and so-called latent HIV-infected cells.

  • Content Type Journal Article
  • Pages 1-11
  • DOI 10.1007/s11047-010-9195-z
  • Authors
    • John Jack, IfM Louisiana Tech University Department of Computer Science P.O. Box 10348 Ruston LA 71272 USA
    • Andrei Păun, IfM Louisiana Tech University Department of Computer Science P.O. Box 10348 Ruston LA 71272 USA
    • Alfonso Rodríguez-Patón, Universidad Politécnica de Madrid Facultad de Informática, Departamento de Inteligencia Artificial Campus de Montegancedo S/N 28660 Boadilla del Monte, Madrid Spain

Heuristic search for optimizing diffusion of influence in a social network under the resource constraint

Abstract  The diffusion of influence in a social network has been recently investigated in various fields. In this paper, we study the
problem of minimizing the expected complete influence time of a social network under the resource constrai…

Abstract  

The diffusion of influence in a social network has been recently investigated in various fields. In this paper, we study the
problem of minimizing the expected complete influence time of a social network under the resource constraint. We focus on
the case where the budget for influencing the initial target set of individuals is limited. The incremental chance model is
adopted to characterize the diffusion of influence, and a lower bound for the expected complete influence time is presented.
In order to solve the problem effectively, we modify the well-known heuristic search approach, the A* algorithm, and provide a series of strategies for designing the heuristic functions. Finally, we perform experiments to
show that the proposed algorithm generally performs better than widely used trivial heuristic methods.

  • Content Type Journal Article
  • DOI 10.1007/s00500-010-0601-3
  • Authors
    • Yaodong Ni, University of International Business and Economics School of Information Technology and Management Beijing China
    • Zhi-Qiang Liu, City University of Hong Kong School of Creative Media Hong Kong China

Pattern classification based on k locally constrained line

Abstract  A simple yet effective learning algorithm, k locally constrained line (k-LCL), is presented for pattern classification. In k-LCL, any two prototypes of the same class are extended to a constrained line (CL), through which the repres…

Abstract  

A simple yet effective learning algorithm, k locally constrained line (k-LCL), is presented for pattern classification. In k-LCL, any two prototypes of the same class are extended to a constrained line (CL), through which the representational capacity
of the training set is largely improved. Because each CL is adjustable in length, k-LCL can well avoid the “intersecting” of training subspaces in most traditional feature classifiers. Moreover, to speed up
the calculation, k-LCL classifies an unknown sample focusing only on its local CLs in each class. Experimental results, obtained on both synthetic
and real-world benchmark data sets, show that the proposed method has better accuracy and efficiency than most existing feature
line methods.

  • Content Type Journal Article
  • DOI 10.1007/s00500-010-0602-2
  • Authors
    • Jianjun Qing, Shanghai Jiao Tong University Institute of Image Processing and Pattern Recognition Shanghai China
    • Hong Huo, Shanghai Jiao Tong University Institute of Image Processing and Pattern Recognition Shanghai China
    • Tao Fang, Shanghai Jiao Tong University Institute of Image Processing and Pattern Recognition Shanghai China

A new initialization procedure for the distributed estimation of distribution algorithms

Abstract  Estimation of distribution algorithms (EDAs) are one of the most promising paradigms in today’s evolutionary computation.
In this field, there has been an incipient activity in the so-called parallel estimation of distribution al…

Abstract  

Estimation of distribution algorithms (EDAs) are one of the most promising paradigms in today’s evolutionary computation.
In this field, there has been an incipient activity in the so-called parallel estimation of distribution algorithms (pEDAs).
One of these approaches is the distributed estimation of distribution algorithms (dEDAs). This paper introduces a new initialization
mechanism for each of the populations of the islands based on the Voronoi cells. To analyze the results, a series of different
experiments using the benchmark suite for the special session on Real-parameter Optimization of the IEEE CEC 2005 conference
has been carried out. The results obtained suggest that the Voronoi initialization method considerably improves the performance
obtained from a traditional uniform initialization.

  • Content Type Journal Article
  • DOI 10.1007/s00500-010-0603-1
  • Authors
    • Santiago Muelas, Universidad Politécnica de Madrid Department of Computer Systems Architecture and Technology, Facultad de Informática Madrid Spain
    • José-María Peña, Universidad Politécnica de Madrid Department of Computer Systems Architecture and Technology, Facultad de Informática Madrid Spain
    • Antonio LaTorre, Universidad Politécnica de Madrid Department of Computer Systems Architecture and Technology, Facultad de Informática Madrid Spain
    • Víctor Robles, Universidad Politécnica de Madrid Department of Computer Systems Architecture and Technology, Facultad de Informática Madrid Spain

Scaling eCGA Model Building via Data-Intensive Computing

I just uploaded the technical report of the paper we put together for CEC 2010 on how we can scale up eCGA using a MapReduce approach. The paper, besides exploring the Hadoop implementation, it also presents some very compelling results obtained with MongoDB (a document based store able to perform parallel MapReduce tasks via sharding). […]

Related posts:

  1. Scaling Genetic Algorithms using MapReduce
  2. Data-Intensive Computing for Competent Genetic Algorithms: A Pilot Study using Meandre
  3. Data-Intensive Computing for Competent Genetic Algorithms: A Pilot Study using Meandre

I just uploaded the technical report of the paper we put together for CEC 2010 on how we can scale up eCGA using a MapReduce approach. The paper, besides exploring the Hadoop implementation, it also presents some very compelling results obtained with MongoDB (a document based store able to perform parallel MapReduce tasks via sharding). The paper is available as PDF and PS.

Abstract:
This paper shows how the extended compact genetic algorithm can be scaled using data-intensive computing techniques such as MapReduce. Two different frameworks (Hadoop and MongoDB) are used to deploy MapReduce implementations of the compact and extended com- pact genetic algorithms. Results show that both are good choices to deal with large-scale problems as they can scale with the number of commodity machines, as opposed to previous ef- forts with other techniques that either required specialized high-performance hardware or shared memory environments.

Related posts:

  1. Scaling Genetic Algorithms using MapReduce
  2. Data-Intensive Computing for Competent Genetic Algorithms: A Pilot Study using Meandre
  3. Data-Intensive Computing for Competent Genetic Algorithms: A Pilot Study using Meandre

Loopy Substructural Local Search for the Bayesian Optimization Algorithm

This paper presents a local search method for the Bayesian optimization algorithm (BOA) based on the concepts of substructural neighborhoods and loopy belief propagation. The proba- bilistic model of BOA, which automatically identifies important problem substructures, is used to define … Continue reading

This paper presents a local search method for the Bayesian optimization algorithm (BOA) based on the concepts of substructural neighborhoods and loopy belief propagation. The proba- bilistic model of BOA, which automatically identifies important problem substructures, is used to define the topology of the neighborhoods explored in local search. On the other hand, belief propagation in graphical models is employed to find the most suitable configuration of conflicting substructures. The results show that performing loopy substructural local search (SLS) in BOA can dramatically reduce the number of generations necessary to converge to optimal solutions and thus provides substantial speedups.

Model Accuracy in the Bayesian Optimization Algorithm

Evolutionary algorithms (EAs) are particularly suited to solve problems for which there is not much information available. From this standpoint, estimation of distribution algorithms (EDAs), which guide the search by using probabilistic models of the population, have brought a new … Continue reading

Evolutionary algorithms (EAs) are particularly suited to solve problems for which there is not much information available. From this standpoint, estimation of distribution algorithms (EDAs), which guide the search by using probabilistic models of the population, have brought a new view to evolutionary computation. While solving a given problem with an EDA, the user has access to a set of models that reveal probabilistic dependencies between variables, an important source of information about the problem. However, as the complexity of the used models increases, the chance of overfitting and consequently reducing model interpretability, increases as well.This paper investigates the relationship between the probabilistic models learned by the Bayesian optimization algorithm (BOA) and the underlying problem structure. The purpose of the paper is threefold. First, model building in BOA is analyzed to understand how the problem structure is learned. Second, it is shown how the selection operator can lead to model overfitting in Bayesian EDAs. Third, the scoring metric that guides the search for an adequate model structure is modified to take into account the non-uniform distribution of the mating pool generated by tournament selection. Overall, this paper makes a contribution towards understanding and improving model accuracy in BOA, providing more interpretable models to assist efficiency enhancement techniques and human researchers.

Scaling eCGA Model Building via Data-Intensive Computing

This paper shows how the extended compact genetic algorithm can be scaled using data- intensive computing techniques such as MapReduce. Two different frameworks (Hadoop and MongoDB) are used to deploy MapReduce implementations of the compact and extended com- pact genetic … Continue reading

This paper shows how the extended compact genetic algorithm can be scaled using data- intensive computing techniques such as MapReduce. Two different frameworks (Hadoop and MongoDB) are used to deploy MapReduce implementations of the compact and extended com- pact genetic algorithms. Results show that both are good choices to deal with large-scale problems as they can scale with the number of commodity machines, as opposed to previous ef- forts with other techniques that either required specialized high-performance hardware or shared memory environments.