Concept

Algèbre universelle

Publications associées (12)

Conditional Flatness, Fiberwise Localizations, And Admissible Reflections

We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial fiberwise localizatio ...

CAMBRIDGE UNIV PRESS2023

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Viktor Kuncak, Simon Guilloud

We present a quasilinear time algorithm to decide the word problem on a natural algebraic structures we call orthocomplemented bisemilattices, a subtheory of boolean algebra. We use as a base a variation of Hopcroft, Ullman and Aho algorithm for tree isomo ...

Springer2022

An effective proof of the Cartan formula: The even prime

Anibal Maximiliano Medina Mardones

The Cartan formula encodes the relationship between the cup product and the action of the Steenrod algebra in F-p-cohomology. In this work, we present an effective proof of the Cartan formula at the cochain level when the field is F-2. More explicitly, for ...

2020

Verified Functional Programming

Nicolas Charles Yves Voirol

In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language. Our system is based on a dependently-typed language and an algorithmic type checking procedure which ensures total correctness. We rely on SMT solve ...

EPFL2019

The cup product of Brooks quasimorphisms

Nicolas Monod

We prove the vanishing of the cup product of the bounded cohomology classes associated to any two Brooks quasimorphisms on the free group. This is a consequence of the vanishing of the square of a universal class for tree automorphism groups. ...

WALTER DE GRUYTER GMBH2018

The valuation criterion for normal basis generators

If L/K is a finite Galois extension of local fields, then we say that the valuation criterion VC(L/K) holds if there is an integer d such that every element x is an element of L with valuation d generates a normal basis for L/K. Answering a question of Byo ...

2012

Minimal State Representation for Open Fluid-Fluid Reaction Systems

Dominique Bonvin, Philippe Müllhaupt, Michael Amrhein, Nirav Pravinbhai Bhatt

Reaction systems are typically represented by first-principles models that describe the evolution of the states (typically concentrations, volume and temperature) by means of conservation equations of differential nature and constitutive equations of algeb ...

Ieee Computer Soc2012

Information Processing and Structure of Dynamical Networks

Ali Ajdari Rad

Networks are everywhere and we are confronted with many networks in our daily life. Networks such as Internet, World Wide Web, social, biological and economical networks have been subject to extensive studies in the last decade. The volume of publications ...

EPFL2011

Algebraic Algorithms for Vector Network Coding

Christina Fragouli, Javad Ebrahimi Boroojeni

We develop new algebraic algorithms for scalar and vector network coding. In vector network coding, the source multicasts information by transmitting vectors of length L, while intermediate nodes process and combine their incoming packets by multiplying th ...

Institute of Electrical and Electronics Engineers2011

Parametric Resonance in Time-Dependent Networks of Hopf Oscillators

Max-Olivier Hongler, Julio Rodriguez

We study a collection of limit cycle oscillators with different frequencies interacting via networks. With static networks, our specific class of models produces a frequency learning mechanism leading the collection of oscillators to ultimately adopt a sin ...

2010