Sciweavers

1902 search results - page 22 / 381
» Differential Dynamic Logics
Sort
View
ISCAS
2007
IEEE
115views Hardware» more  ISCAS 2007»
15 years 6 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»
15 years 3 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
15 years 1 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
16 years 3 days 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»
14 years 11 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