Algorithmic applications of XPCR

Abstract  An emerging trend in DNA computing consists of the algorithmic analysis of new molecular biology technologies, and in general
of more effective tools to tackle computational biology problems. An algorithmic understanding of the int…

Abstract  

An emerging trend in DNA computing consists of the algorithmic analysis of new molecular biology technologies, and in general
of more effective tools to tackle computational biology problems. An algorithmic understanding of the interaction between
DNA molecules becomes the focus of some research which was initially addressed to solve mathematical problems by processing
data within biomolecules. In this paper a novel mechanism of DNA recombination is discussed, that turned out to be a good
implementation key to develop new procedures for DNA manipulation (Franco et al., DNA extraction by cross pairing PCR, 2005; Franco et al., DNA recombination by XPCR, 2006; Manca and Franco, Math Biosci 211:282–298, 2008). It is called XPCR as it is a variant of the polymerase chain reaction (PCR), which was a revolution in molecular biology
as a technique for cyclic amplification of DNA segments. A few DNA algorithms are proposed, that were experimentally proven
in different contexts, such as, mutagenesis (Franco, Biomolecular computing—combinatorial algorithms and laboratory experiments,
2006), multiple concatenation, gene driven DNA extraction (Franco et al., DNA extraction by cross pairing PCR, 2005), and generation of DNA libraries (Franco et al., DNA recombination by XPCR, 2006), and some related ongoing work is outlined.

  • Content Type Journal Article
  • Pages 805-819
  • DOI 10.1007/s11047-010-9199-8
  • Authors
    • Giuditta Franco, Department of Computer Science, University of Verona, Strada Le Grazie 15, 37134 Verona, Italy
    • Vincenzo Manca, Department of Computer Science, University of Verona, Strada Le Grazie 15, 37134 Verona, Italy

Towards a neighborhood simplification of tile systems: From Moore to quasi-linear dependencies

Abstract  Self-assembly is the process by which objects aggregate independently and form complex structures. One of the theoretical
frameworks in which the process of self-assembly can be embedded and formally studied is that of tile systems…

Abstract  

Self-assembly is the process by which objects aggregate independently and form complex structures. One of the theoretical
frameworks in which the process of self-assembly can be embedded and formally studied is that of tile systems. A Wang tile
is a square unit, with glues on its edges, attaching to other tiles which have matching glues, and forming larger and larger
structures. In this paper we concentrate over two basic, but essential, self-assembling structures done by Wang tiles. The
first one, called ribbon, is a non-self-crossing wire-like structure, in which successive tiles are adjacent along an edge,
and where tiles are glued to their predecessor and successor by use of matching glues. The second one, called zipper, is a
similar contiguous structure, only that here, all touching tiles must have matching glues on their abutting edges, independently
of their position in the structure. In case of Wang tiles, it has been shown that these two structures are equivalent. Here
we generalize this result for the case when the tiles have eight glues, four on their edges and four on their corners. Thus
we show that an eight neighborhood dependency, namely the Moore neighborhood, can be simulated by a quasi-linear dependency.

  • Content Type Journal Article
  • Pages 103-117
  • DOI 10.1007/s11047-010-9193-1
  • Authors
    • Eugen Czeizler, Department of Information Technologies, Åbo Akademi University, Turku, 20520 Finland
    • Lila Kari, Department of Computer Science, University of Western Ontario, London, ON N6A 5B7, Canada

Evolutionary and population dynamics of 3 parents differential evolution (3PDE) using self-adaptive tuning methodologies

Abstract  Differential Evolution is known for its simplicity and effectiveness as an evolutionary optimizer. In recent years, many researchers
have focused on the exploration of Differential Evolution (DE). The objective of this paper is to …

Abstract  

Differential Evolution is known for its simplicity and effectiveness as an evolutionary optimizer. In recent years, many researchers
have focused on the exploration of Differential Evolution (DE). The objective of this paper is to show the evolutionary and
population dynamics for the empirical testing on 3-Parents Differential Evolution (3PDE) for unconstrained function optimization
(Teng et al. 2007). In this paper, 50 repeated evolutionary runs for each of 20 well-known benchmarks were carried out to test the proposed
algorithms against the original 4-parents DE algorithm. As a result of the observed evolutionary dynamics, 3PDE-SAF performed
the best among the preliminary proposed algorithms that included 3PDE-SACr and 3PDE-SACrF. Subsequently, 3PDE-SAF is chosen
for the self-adaptive population size for testing dynamic population sizing methods using the absolute (3PDE-SAF-Abs) and
relative (3PDE-SAF-Rel) population size encodings. The final result shows that 3PDE-SAF-Rel produced a better performance
and convergence overall compared to all the other proposed algorithms, including the original DE. In terms of population dynamics,
the population size in 3PDE-SAF-Abs exhibited disadvantageously high dynamics that caused less efficient results. On the other
hand, the population size in 3PDE-SAF-Rel was observed to be approximately constant at ten times the number of variables being
optimized, hence giving a better and more stable performance.

  • Content Type Journal Article
  • Pages 507-526
  • DOI 10.1007/s11047-010-9194-0
  • Authors
    • Teng Nga Sing, Evolutionary Computing Laboratory, School of Engineering and IT, Unversiti Malaysia Sabah, Kota Kinabalu, Sabah Malaysia
    • Jason Teo, Evolutionary Computing Laboratory, School of Engineering and IT, Unversiti Malaysia Sabah, Kota Kinabalu, Sabah Malaysia

GPEM 11(2) now available online

The second issue of volume 11 of Genetic Programming and Evolvable Machines is now available online. This is Part 2 of the special issue on parallel and distributed evolutionary algorithms, and it contains the following articles:”Guest editorial: speci…

The second issue of volume 11 of Genetic Programming and Evolvable Machines is now available online. This is Part 2 of the special issue on parallel and distributed evolutionary algorithms, and it contains the following articles:

“Guest editorial: special issue on parallel and distributed evolutionary algorithms, part two”
by Marco Tomassini and Leonardo Vanneschi
“An ensemble-based evolutionary framework for coping with distributed intrusion detection”
by Gianluigi Folino, Clara Pizzuti and Giandomenico Spezzano
“Deployment of parallel linear genetic programming using GPUs on PC and video game console platforms”
by Garnett Wilson and Wolfgang Banzhaf
“Simdist: a distribution system for easy parallelization of evolutionary computation”
by Boye Annfelt Høverstad
“Variable population size and evolution acceleration: a case study with a parallel evolutionary algorithm”
by Ting Hu, Simon Harding and Wolfgang Banzhaf
“EvAg: a scalable peer-to-peer evolutionary algorithm”
by J. L. J. Laredo, A. E. Eiben, M. van Steen and J. J. Merelo

GECCO-2010 competitions

ACM SIGEVO Genetic and Evolutionary Computation Conference (GECCO-2010) features three important competitions:

Evolutionary art competition
GPUs for genetic and evolutionary computation
Simulated car racing competition 2010

The submission deadlines…

ACM SIGEVO Genetic and Evolutionary Computation Conference (GECCO-2010) features three important competitions:

  • Evolutionary art competition
  • GPUs for genetic and evolutionary computation
  • Simulated car racing competition 2010

The submission deadlines for all competitions are in June 2010. For more information, visit GECCO-2010 Competitions page.

Autonomous experimental design optimization of a flapping wing

Abstract  Applying evolutionary computation to the optimization of aerodynamic properties of shapes and structures usually involves
computational fluid dynamics simulations. The simulation of the physical properties of a possible solution ha…

Abstract  

Applying evolutionary computation to the optimization of aerodynamic properties of shapes and structures usually involves
computational fluid dynamics simulations. The simulation of the physical properties of a possible solution has various advantages.
However, like in all simulations various restrictions and simplifications exist even for the most advanced simulation methods.
Furthermore, the high computational demand very often does not allow high fidelity simulations together with numerical optimization
methods. In this paper, we present an approach to combine evolutionary algorithms with physical measurements in order to allow
an experiment-based evaluation of solutions. In this way, we can overcome the limitations connected to simulations of physical
environments. We present the approach for a set-up in which the geometry of a flapping wing is optimized in order to find
optimal configurations for various quality criteria.

  • Content Type Journal Article
  • Pages 23-47
  • DOI 10.1007/s10710-010-9107-0
  • Authors
    • Markus Olhofer, Honda Research Institute Europe GmbH, Offenbach/Main, Germany
    • Dilyana Yankulova, Control Theory and Robotics Lab, Technical University of Darmstadt, Darmstadt, Germany
    • Bernhard Sendhoff, Honda Research Institute Europe GmbH, Offenbach/Main, Germany

State BL-algebras

Abstract  The concept of a state MV-algebra was firstly introduced by Flaminio and Montagna (An algebraic approach to states on MV-algebras.
In: Novák V (ed) Fuzzy logic 2, proceedings of the 5th EUSFLAT conference, September 11–14, Ostra…

Abstract  

The concept of a state MV-algebra was firstly introduced by Flaminio and Montagna (An algebraic approach to states on MV-algebras.
In: Novák V (ed) Fuzzy logic 2, proceedings of the 5th EUSFLAT conference, September 11–14, Ostrava, vol II, pp 201–206, 2007; Int J Approx Reason 50:138–152, 2009) as an MV-algebra with internal state as a unary operation. Di Nola and Dvurečenskij (Ann Pure Appl Logic 161:161–173, 2009a; Math Slovaca 59:517–534, 2009b) gave a stronger version of a state MV-algebra. In the present paper, we introduce the notion of a state BL-algebra, or more
precisely, a BL-algebra with internal state. We present different types of state BL-algebras, like strong state BL-algebras
and state-morphism BL-algebras, and we study some classes of state BL-algebras. In addition, we give a sample of important
examples of state BL-algebras and present some open problems.

  • Content Type Journal Article
  • DOI 10.1007/s00500-010-0571-5
  • Authors
    • Lavinia Corina Ciungu, Polytechnical University of Bucharest Splaiul Independenţei 113 Bucharest Romania
    • Anatolij Dvurečenskij, Slovak Academy of Sciences Mathematical Institute Štefánikova 49 814 73 Bratislava Slovakia
    • Marek Hyčko, Slovak Academy of Sciences Mathematical Institute Štefánikova 49 814 73 Bratislava Slovakia

Quantum security in wireless sensor networks

Abstract  Security in sensor networks, though an important issue for widely available wireless networks, has been studied less extensively
than other properties of these networks, such as, for example, their reliability. The few security sch…

Abstract  

Security in sensor networks, though an important issue for widely available wireless networks, has been studied less extensively
than other properties of these networks, such as, for example, their reliability. The few security schemes proposed so far
are based on classical cryptography. In contrast, the present paper develops a new security solution, based on quantum cryptography.
The scheme developed here comes with the advantages quantum cryptography has over classical cryptography, namely, effectively
unbreakable keys and therefore effectively unconditionally secure messages. Our security system ensures privacy of the measured
data field in the presence of an intruder who listens to messages broadcast in the field.

  • Content Type Journal Article
  • DOI 10.1007/s11047-010-9190-4
  • Authors
    • Naya Nagy, School of Computing, Queen’s University, Kingston, ON K7L 3N6, Canada
    • Marius Nagy, School of Computing, Queen’s University, Kingston, ON K7L 3N6, Canada
    • Selim G. Akl, School of Computing, Queen’s University, Kingston, ON K7L 3N6, Canada

On discrete models and immunological algorithms for protein structure prediction

Abstract  Discrete models for protein structure prediction embed the protein amino acid sequence into a discrete spatial structure,
usually a lattice, where an optimal tertiary structure is predicted on the basis of simple assumptions relati…

Abstract  

Discrete models for protein structure prediction embed the protein amino acid sequence into a discrete spatial structure,
usually a lattice, where an optimal tertiary structure is predicted on the basis of simple assumptions relating to the hydrophobic–hydrophilic
character of amino acids in the sequence and to relevant interactions for free energy minimization. While the prediction problem
is known to be NP complete even in the simple setting of Dill’s model with a 2D-lattice, a variety of bio-inspired algorithms
for this problem have been proposed in the literature. Immunological algorithms are inspired by the kind of optimization that
immune systems perform when identifying and promoting the replication of the most effective antibodies against given antigens.
A quick, state-of-the-art survey of discrete models and immunological algorithms for protein structure prediction is presented
in this paper, and the main design and performance features of an immunological algorithm for this problem are illustrated
in a tutorial fashion.

  • Content Type Journal Article
  • Pages 91-102
  • DOI 10.1007/s11047-010-9196-y
  • Authors
    • Vincenzo Cutello, Department of Mathematics and Computer Science, University of Catania, Catania, Italy
    • Giuseppe Morelli, Department of Mathematics and Computer Science, University of Catania, Catania, Italy
    • Giuseppe Nicosia, Department of Mathematics and Computer Science, University of Catania, Catania, Italy
    • Mario Pavone, Department of Mathematics and Computer Science, University of Catania, Catania, Italy
    • Giuseppe Scollo, Department of Mathematics and Computer Science, University of Catania, Catania, Italy