Year | Month | Week | Day
« prevVenerdì, Marzo 23 2018next »
Key 1

Negative local feedbacks in Boolean networks

Speaker:
Paul Ruet (CNRS, IRIF, Université Paris-Diderot)
Quando:
23/03/2018 - 11:00
Dove:
Dipartimento di Matematica e Fisica, Università degli Studi Roma Tre, largo San Leonardo Murialdo,1 - Pal.C - AULA 311
Abstract

We shall be interested in the asymptotic dynamical properties of Boolean networks: fixed points, attractive cycles, and more general attractors. While the properties of Boolean networks without local cycle or without local positive cycle are rather well understood, recent literature raises the following two questions about networks without local negative cycle. Do they have at least one fixed point? Should all their attractors be fixed points? We give negative answers to both questions: we show that and-nets without local negative cycle may have no fixed point, and that Boolean networks without local negative cycle may have (antipodal) attractive cycles.


Key 1

Dalle prove sintattiche alle combinatorial proofs

Speaker:
Matteo Acclavio (LIX - INRIA Parsifal Team)
Quando:
23/03/2018 - 14:30
Dove:
Dipartimento di Matematica e Fisica, Università degli Studi Roma Tre, largo San Leonardo Murialdo,1 - Pal.C - AULA 311
Abstract

In questo incontro studieremo come le combinatorial proofs di Hughes possono essere utilizzate per definire una nozione di equivalenza tra dimostrazioni per la logica classica. Mostreremo poi come diversi formalismi (calcolo dei sequenti, alberi di refutazione e resolution) possano essere tradotti in combinatorial proofs e quale nozione di identità viene definita da ciascuno di essi.