A Lower Bound For Reversible Automata

Pierre-Cyrille Héam

Displaying similar documents to “A Lower Bound For Reversible Automata”

A simple proof of the characterization of functions of low Aviles Giga energy on a ball regularity

Andrew Lorent (2012)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

The Aviles Giga functional is a well known second order functional that forms a model for blistering and in a certain regime liquid crystals, a related functional models thin magnetized films. Given Lipschitz domain ⊂ ℝ the functional is $I_{ϵ} (u) = \frac{1}{2} {^{\int}}_{Ω} ϵ^{-1} {|1 - {|Du|}^{2}|}^{2} + ϵ {|D^{2} u|}^{2} d z$ where belongs to the subset of functions in $W_{0}^{2, 2} (Ω)$ whose gradient (in the sense of trace) satisfies ()· = 1 where is...

On the formal first cocycle equation for iteration groups of type II

Harald Fripertinger, Ludwig Reich (2012)

ESAIM: Proceedings

Similarity:

Let x be an indeterminate over ℂ. We investigate solutions $\begin{matrix} α (s, x) = \sum_{n \geq 0} α_{n} (s) x^{n}, \end{matrix}$ α _n : ℂ → ℂ, n ≥ 0, of the first cocycle equation $\begin{matrix} α (s + t, x) = α (s, x) α (t, F (s, x)), s, t \in, (Co 1) \end{matrix}$ in ℂ [[x]], the ring of formal power series over ℂ, where (F(s,x))_{s ∈ ℂ...}

On the helix equation

Mohamed Hmissi, Imene Ben Salah, Hajer Taouil (2012)

ESAIM: Proceedings

Similarity:

This paper is devoted to the helices processes, i.e. the solutions H : ℝ × Ω → ℝ^d , (t, ω) ↦ H(t, ω) of the helix equation $\begin{matrix} H (0,ω) = 0; H (s + t,ω) = H (s, Φ (t,ω)) + H (t,ω) \end{matrix}$ where Φ : ℝ × Ω → Ω, (t, ω) ↦ Φ(t, ω) is a dynamical...