Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Miguel Couceiro is active.

Publication


Featured researches published by Miguel Couceiro.


Fuzzy Sets and Systems | 2010

Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices

Miguel Couceiro; Jean-Luc Marichal

We give several characterizations of discrete Sugeno integrals over bounded distributive lattices, as particular cases of lattice polynomial functions, that is, functions which can be represented in the language of bounded lattices using variables and constants. We also consider the subclass of term functions as well as the classes of symmetric polynomial functions and weighted minimum and maximum functions, and present their characterizations, accordingly. Moreover, we discuss normal form representations of these functions.


Theoretical Computer Science | 2008

On a quasi-ordering on Boolean functions

Miguel Couceiro; Maurice Pouzet

It was proved few years ago that classes of Boolean functions definable by means of functional equations [O. Ekin, S. Foldes, P.L. Hammer, L. Hellerstein, Equational characterizations of boolean functions classes, Discrete Mathematics 211 (2000) 27-51], or equivalently, by means of relational constraints [N. Pippenger. Galois theory for minors of finite functions, Discrete Mathematics 254 (2002) 405-419], coincide with initial segments of the quasi-ordered set (@W,@?) made of the set @W of Boolean functions, suitably quasi-ordered. Furthermore, the classes defined by finitely many equations [O. Ekin, S. Foldes, P.L. Hammer, L. Hellerstein, Equational characterizations of boolean functions classes, Discrete Mathematics 211 (2000) 27-51] coincide with the initial segments of (@W,@?) which are definable by finitely many obstructions. The resulting ordered set (@W@?,@?) embeds into ([@w]^<^@w,@?), the set-ordered by inclusion-of finite subsets of the set @w of integers. We prove that (@W@?,@?) also embeds ([@w]^<^@w,@?). From this result, we deduce that the dual space of the distributive lattice made of finitely definable classes is uncountable. Looking at examples of finitely definable classes, we show that the classes of Boolean functions with a bounded number of essential variables are finitely definable. We provide a concrete equational characterization for each of these classes, and for the subclasses made of linear functions. We describe the classes of functions with bounded polynomial degree in terms of minimal obstructions.


Aequationes Mathematicae | 2010

Quasi-polynomial functions over bounded distributive lattices

Miguel Couceiro; Jean-Luc Marichal

In [6] the authors introduced the notion of quasi-polynomial function as being a mapping f : Xn → X defined and valued on a bounded chain X and which can be factorized as


Discrete Mathematics | 2009

Generalizations of Świerczkowski's lemma and the arity gap of finite functions

Miguel Couceiro; Erkko Lehtonen


Algebra Universalis | 2005

On Closed Sets of Relational Constraints and Classes of Functions Closed under Variable Substitutions

Miguel Couceiro; Stephan Foldes

{f(x_1,\ldots,x_n)=p(\varphi(x_1),\ldots,\varphi(x_n))}


Order | 2011

Associative Polynomial Functions over Bounded Distributive Lattices

Miguel Couceiro; Jean-Luc Marichal


International Journal of Foundations of Computer Science | 2007

On the effect of variable identification on the essential arity of functions on finite sets

Miguel Couceiro; Erkko Lehtonen

, where p is a polynomial function (i.e., a combination of variables and constants using the chain operations


Discrete Mathematics | 2012

Decompositions of functions based on arity gap

Miguel Couceiro; Erkko Lehtonen; Tamás Waldhauser


Algebra Universalis | 2012

Galois theory for sets of operations closed under permutation, cylindrification, and composition

Miguel Couceiro; Erkko Lehtonen

{\wedge}


International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2011

AXIOMATIZATIONS AND FACTORIZATIONS OF SUGENO UTILITY FUNCTIONS

Miguel Couceiro; Tamás Waldhauser

Collaboration


Dive into the Miguel Couceiro's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar

Erkko Lehtonen

University of Luxembourg

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Lucien Haddad

Royal Military College of Canada

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Bruno Teheux

University of Luxembourg

View shared research outputs
Top Co-Authors

Avatar

Jimmy Devillet

University of Luxembourg

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Stephan Foldes

Tampere University of Technology

View shared research outputs
Researchain Logo
Decentralizing Knowledge