Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Cellular automaton

Related publications (24)

Luminescent Bimetallic Lanthanide Bioprobes for Cellular Imaging with Excitation in the Visible-Light Range

Jean-Claude Bünzli, Caroline Vandevyver, Anne-Sophie Chauvin, Frédéric Gumy, Bo Song

A series of homoditopic ligands H2LCX (X=4–6) has been designed to self-assemble with lanthanide ions (LnIII), resulting in neutral bimetallic helicates of overall composition [Ln2ACHTUNGTRENUNG(LCX)3] with the aim of testing the influence of substituents ...

2009

Interpretation of neuronal response properties with simplified neuron models

Laurent Badel

Computational neuroscience is a branch of the neurosciences that attempts to elucidate the principles underlying the operation of neurons with the help of mathematical modeling. In contrast with a number of fields pursuing a tightly related goal, such as m ...

EPFL2009

Antichains For The Automata-Based Approach To Model-Checking

We propose and evaluate antichain algorithms to solve the universality and language inclusion problems for nondeterministic Buchi automata, and the emptiness problem for alternating Buchi automata. To obtain those algorithms, we establish the existence of ...

2009

Robust safety of timed automata

Timed automata are governed by an idealized semantics that assumes a perfectly precise behavior of the clocks. The traditional semantics is not robust because the slightest perturbation in the timing of actions may lead to completely different behaviors of ...

Springer US2008