Sciweavers

1902 search results - page 22 / 381
» Differential Dynamic Logics
Sort
View
ISCAS
2007
IEEE
115views Hardware» more  ISCAS 2007»
14 years 1 months ago
Design of Multi-Directional Multi-Scroll Chaotic Attractors Based on Fractional Differential Systems
Abstract— A novel approach is proposed for generating multidirectional multi-scroll chaotic attractors from the fractional differential systems, including one-directional (1-D) n...
Weihua Deng, Jinhu Lu
EUROGP
2010
Springer
172views Optimization» more  EUROGP 2010»
13 years 11 months ago
Geometric Differential Evolution on the Space of Genetic Programs
Abstract. Geometric Differential Evolution (GDE) is a very recently introduced formal generalization of traditional Differential Evolution (DE) that can be used to derive specific ...
Alberto Moraglio, Sara Silva
IJIT
2004
13 years 9 months ago
Synthesis of Logic Circuits Using Fractional-Order Dynamic Fitness Functions
This paper analyses the performance of a genetic algorithm using a new concept, namely a fractional-order dynamic fitness function, for the synthesis of combinational logic circuit...
Cecília Reis, José António Te...
CADE
2001
Springer
14 years 8 months ago
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
Bernhard Beckert, Steffen Schlager
BMCBI
2007
167views more  BMCBI 2007»
13 years 7 months ago
A stochastic differential equation model for transcriptional regulatory networks
Background: This work explores the quantitative characteristics of the local transcriptional regulatory network based on the availability of time dependent gene expression data se...
Adriana Climescu-Haulica, Michelle D. Quirk