References of "Couceiro, Miguel 40020437"      in Complete repository Arts & humanities   Archaeology   Art & art history   Classical & oriental studies   History   Languages & linguistics   Literature   Performing arts   Philosophy & ethics   Religion & theology   Multidisciplinary, general & others Business & economic sciences   Accounting & auditing   Production, distribution & supply chain management   Finance   General management & organizational theory   Human resources management   Management information systems   Marketing   Strategy & innovation   Quantitative methods in economics & management   General economics & history of economic thought   International economics   Macroeconomics & monetary economics   Microeconomics   Economic systems & public economics   Social economics   Special economic topics (health, labor, transportation…)   Multidisciplinary, general & others Engineering, computing & technology   Aerospace & aeronautics engineering   Architecture   Chemical engineering   Civil engineering   Computer science   Electrical & electronics engineering   Energy   Geological, petroleum & mining engineering   Materials science & engineering   Mechanical engineering   Multidisciplinary, general & others Human health sciences   Alternative medicine   Anesthesia & intensive care   Cardiovascular & respiratory systems   Dentistry & oral medicine   Dermatology   Endocrinology, metabolism & nutrition   Forensic medicine   Gastroenterology & hepatology   General & internal medicine   Geriatrics   Hematology   Immunology & infectious disease   Laboratory medicine & medical technology   Neurology   Oncology   Ophthalmology   Orthopedics, rehabilitation & sports medicine   Otolaryngology   Pediatrics   Pharmacy, pharmacology & toxicology   Psychiatry   Public health, health care sciences & services   Radiology, nuclear medicine & imaging   Reproductive medicine (gynecology, andrology, obstetrics)   Rheumatology   Surgery   Urology & nephrology   Multidisciplinary, general & others Law, criminology & political science   Civil law   Criminal law & procedure   Criminology   Economic & commercial law   European & international law   Judicial law   Metalaw, Roman law, history of law & comparative law   Political science, public administration & international relations   Public law   Social law   Tax law   Multidisciplinary, general & others Life sciences   Agriculture & agronomy   Anatomy (cytology, histology, embryology...) & physiology   Animal production & animal husbandry   Aquatic sciences & oceanology   Biochemistry, biophysics & molecular biology   Biotechnology   Entomology & pest control   Environmental sciences & ecology   Food science   Genetics & genetic processes   Microbiology   Phytobiology (plant sciences, forestry, mycology...)   Veterinary medicine & animal health   Zoology   Multidisciplinary, general & others Physical, chemical, mathematical & earth Sciences   Chemistry   Earth sciences & physical geography   Mathematics   Physics   Space science, astronomy & astrophysics   Multidisciplinary, general & others Social & behavioral sciences, psychology   Animal psychology, ethology & psychobiology   Anthropology   Communication & mass media   Education & instruction   Human geography & demography   Library & information sciences   Neurosciences & behavior   Regional & inter-regional studies   Social work & social policy   Sociology & social sciences   Social, industrial & organizational psychology   Theoretical & cognitive psychology   Treatment & clinical psychology   Multidisciplinary, general & others     Showing results 1 to 20 of 51 1 2 3     A complete classification of equational classes of threshold functions included in clonesCouceiro, Miguel ; Lehtonen, Erkko ; Schölzel, Karsten in RAIRO : Operations Research = Recherche Opérationnelle (2015), 49(1), 3966Detailed reference viewed: 72 (2 UL) Set-reconstructibility of Post classesCouceiro, Miguel ; Lehtonen, Erkko ; Schölzel, Karsten in Discrete Applied Mathematics (2015), 187Detailed reference viewed: 52 (1 UL) Hypomorphic Sperner systems and non-reconstructible functionsCouceiro, Miguel ; Lehtonen, Erkko ; Schölzel, Karsten in Order (2014)A reconstruction problem is formulated for Sperner systems, and infinite families of non-reconstructible Sperner systems are presented. This has an application to a reconstruction problem for functions of ... [more ▼]A reconstruction problem is formulated for Sperner systems, and infinite families of non-reconstructible Sperner systems are presented. This has an application to a reconstruction problem for functions of several arguments and identification minors. Sperner systems being representations of certain monotone functions, infinite families of non-reconstructible functions are thus obtained. The clones of Boolean functions are completely classified in regard to reconstructibility. [less ▲]Detailed reference viewed: 102 (27 UL) Parametrized arity gapCouceiro, Miguel ; Lehtonen, Erkko ; Waldhauser, Tamás in Order : A Journal on the Theory of Ordered Sets and its Applications (2013), 30(2), 557-572We propose a parametrized version of arity gap. The parametrized arity gap gap(f,l) of a function f: Aⁿ → B measures the minimum decrease in the number of essential variables of f when l consecutive ... [more ▼]We propose a parametrized version of arity gap. The parametrized arity gap gap(f,l) of a function f: Aⁿ → B measures the minimum decrease in the number of essential variables of f when l consecutive identifications of pairs of essential variables are performed. We determine gap(f,l) for an arbitrary function f and a positive integer l. We also propose other variants of arity gap and discuss further problems pertaining to the effect of identification of variables on the number of essential variables of functions. [less ▲]Detailed reference viewed: 30 (2 UL) Additive decomposability of functions over abelian groupsCouceiro, Miguel ; Lehtonen, Erkko ; Waldhauser, Tamás in International Journal of Algebra & Computation (2013), 23(3), 643-662Abelian groups are classified by the existence of certain additive decompositions of group-valued functions of several variables.Detailed reference viewed: 118 (3 UL) A Solution to a Problem of D. Lau: Complete Classification of Intervals in the Lattice of Partial Boolean ClonesSchölzel, Karsten ; Couceiro, Miguel ; Haddad, Lucien et alin Multiple-Valued Logic (ISMVL), 2013 IEEE 43rd International Symposium on (2013)The following natural problem, first considered by D. Lau, has been tackled by several authors recently: Let C be a total clone on 2 := {0, 1}. Describe the interval I(C) of all partial clones on 2 whose ... [more ▼]The following natural problem, first considered by D. Lau, has been tackled by several authors recently: Let C be a total clone on 2 := {0, 1}. Describe the interval I(C) of all partial clones on 2 whose total component is C. We establish some results in this direction and combine them with previous ones to show the following dichotomy result: For every total clone C on 2, the set I(C) is either finite or of continuum cardinality. [less ▲]Detailed reference viewed: 73 (2 UL) Locally monotone Boolean and pseudo-Boolean functionsCouceiro, Miguel ; Marichal, Jean-Luc ; Waldhauser, Tamás in Discrete Applied Mathematics (2012), 160(12), 1651-1660We propose local versions of monotonicity for Boolean and pseudo-Boolean functions: say that a pseudo-Boolean (Boolean) function is p-locally monotone if none of its partial derivatives changes in sign on ... [more ▼]We propose local versions of monotonicity for Boolean and pseudo-Boolean functions: say that a pseudo-Boolean (Boolean) function is p-locally monotone if none of its partial derivatives changes in sign on tuples which differ in less than p positions. As it turns out, this parameterized notion provides a hierarchy of monotonicities for pseudo-Boolean (Boolean) functions. Local monotonicities are shown to be tightly related to lattice counterparts of classical partial derivatives via the notion of permutable derivatives. More precisely, p-locally monotone functions are shown to have p-permutable lattice derivatives and, in the case of symmetric functions, these two notions coincide. We provide further results relating these two notions, and present a classification of p-locally monotone functions, as well as of functions having p-permutable derivatives, in terms of certain forbidden "sections", i.e., functions which can be obtained by substituting constants for variables. This description is made explicit in the special case when p=2. [less ▲]Detailed reference viewed: 92 (3 UL) Aczélian n-ary semigroupsCouceiro, Miguel ; Marichal, Jean-Luc in Semigroup Forum (2012), 85(1), 81-90We show that the real continuous, symmetric, and cancellative n-ary semigroups are topologically order-isomorphic to additive real n-ary semigroups. The binary case (n=2) was originally proved by Aczél ... [more ▼]We show that the real continuous, symmetric, and cancellative n-ary semigroups are topologically order-isomorphic to additive real n-ary semigroups. The binary case (n=2) was originally proved by Aczél (1949); there symmetry was redundant. [less ▲]Detailed reference viewed: 132 (18 UL) On the Poset of Computation Rules for Nonassociative CalculusCouceiro, Miguel ; Grabisch, Michelin Order : A Journal on the Theory of Ordered Sets and its Applications (2012), 30(1), 269-288Detailed reference viewed: 48 (0 UL) Intersections of Finitely Generated Maximal Partial ClonesCouceiro, Miguel ; Haddad, Lucienin Journal of Multiple-Valued Logic & Soft Computing (2012), 19(1-3), 85-94Let A be a finite non-singleton set. For A ={0, 1} we show that the set of all self-dual monotonic partial functions is a not finitely generated partial clone on {0, 1} and that it contains a family of ... [more ▼]Let A be a finite non-singleton set. For A ={0, 1} we show that the set of all self-dual monotonic partial functions is a not finitely generated partial clone on {0, 1} and that it contains a family of partial subclones of continuum cardinality. Moreover, for |A| ≥ 3, we show that there are pairs of finitely generated maximal partial clones whose intersection is a not finitely generated partial clone on A. [less ▲]Detailed reference viewed: 17 (0 UL) Polynomial functions over bounded distributive latticesCouceiro, Miguel ; Marichal, Jean-Luc in Journal of Multiple-Valued Logic & Soft Computing (2012), 18(3-4), 247-256Let $L$ be a bounded distributive lattice. We give several characterizations of those $L^n \to L$ mappings that are polynomial functions, i.e., functions which can be obtained from projections and ... [more ▼]Let $L$ be a bounded distributive lattice. We give several characterizations of those $L^n \to L$ mappings that are polynomial functions, i.e., functions which can be obtained from projections and constant functions using binary joins and meets. Moreover, we discuss the disjunctive normal form representations of these polynomial functions. [less ▲]Detailed reference viewed: 65 (12 UL) Quasi-Lovász extensions and their symmetric counterpartsCouceiro, Miguel ; Marichal, Jean-Luc in Greco, S.; Bouchon-Meunier, B.; Coletti, G. (Eds.) et al Advances on Computational Intelligence, Part IV, 14th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV (2012)We introduce the concept of quasi-Lov\'asz extension as being a mapping $f\colon I^n\to\R$ defined over a nonempty real interval $I$ containing the origin, and which can be factorized as $f(x_1,\ldots,x_n ... [more ▼]We introduce the concept of quasi-Lov\'asz extension as being a mapping$f\colon I^n\to\R$defined over a nonempty real interval$I$containing the origin, and which can be factorized as$f(x_1,\ldots,x_n)=L(\varphi(x_1),\ldots,\varphi(x_n))$, where$L$is the Lov\'asz extension of a pseudo-Boolean function$\psi\colon\{0,1\}^n\to\R$(i.e., the function$L\colon\R^n\to\R$whose restriction to each simplex of the standard triangulation of$[0,1]^n$is the unique affine function which agrees with$\psi$at the vertices of this simplex) and$\varphi\colon I\to\R$is a nondecreasing function vanishing at the origin. These functions appear naturally within the scope of decision making under uncertainty since they subsume overall preference functionals associated with discrete Choquet integrals whose variables are transformed by a given utility function. To axiomatize the class of quasi-Lov\'asz extensions, we propose generalizations of properties used to characterize the Lov\'asz extensions, including a comonotonic version of modularity and a natural relaxation of homogeneity. A variant of the latter property enables us to axiomatize also the class of symmetric quasi-Lov\'asz extensions, which are compositions of symmetric Lov\'asz extensions with$1\$-place nondecreasing odd functions. [less ▲]Detailed reference viewed: 71 (0 UL) Commuting polynomial operations of distributive latticesBehrisch, Mike; Couceiro, Miguel ; Kearnes, Keith A. et alin Order : A Journal on the Theory of Ordered Sets and its Applications (2012), 29(2), 245-269We describe which pairs of distributive lattice polynomial operations commute.Detailed reference viewed: 65 (0 UL) Galois theory for sets of operations closed under permutation, cylindrification and compositionCouceiro, Miguel ; Lehtonen, Erkko in Algebra Universalis (2012), 67(3), 273-297A set of operations on A is shown to be the set of linear term operations of some algebra on A if and only if it is closed under permutation of variables, addition of inessential variables, and ... [more ▼]A set of operations on A is shown to be the set of linear term operations of some algebra on A if and only if it is closed under permutation of variables, addition of inessential variables, and composition, and if it contains all projections. A Galois framework is introduced to describe the sets of operations that are closed under the operations mentioned above, not necessarily containing all projections. The dual objects of this Galois connection are systems of pointed multisets, and the Galois closed sets of dual objects are described accordingly. Moreover, the closure systems associated with this Galois connection are shown to be uncountable (even if the closed sets of operations are assumed to contain all projections). [less ▲]Detailed reference viewed: 98 (1 UL) The arity gap of order-preserving functions and extensions of pseudo-Boolean functionsCouceiro, Miguel ; Lehtonen, Erkko ; Waldhauser, Tamás in Discrete Applied Mathematics (2012), 160(4-5), 383-390The aim of this paper is to classify order-preserving functions according to their arity gap. Noteworthy examples of order-preserving functions are the so-called aggregation functions. We first explicitly ... [more ▼]The aim of this paper is to classify order-preserving functions according to their arity gap. Noteworthy examples of order-preserving functions are the so-called aggregation functions. We first explicitly classify the Lovász extensions of pseudo-Boolean functions according to their arity gap. Then we consider the class of order-preserving functions between partially ordered sets, and establish a similar explicit classification for this function class. [less ▲]Detailed reference viewed: 75 (4 UL) Gap vs. pagCouceiro, Miguel ; Lehtonen, Erkko ; Waldhauser, Tamás in 42nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2012) (2012)We propose a parametrized version of arity gap. The parametrized arity gap gap(f,l) of a function f: Aⁿ→B measures the minimum decrease in the number of essential variables of f when l consecutive ... [more ▼]We propose a parametrized version of arity gap. The parametrized arity gap gap(f,l) of a function f: Aⁿ→B measures the minimum decrease in the number of essential variables of f when l consecutive identifications of pairs of essential variables are performed. We determine gap(f,l) for an arbitrary function f and a positive integer l. We also propose other variants of arity gap and discuss further problems pertaining to the effect of identification of variables on the number of essential variables of functions. [less ▲]Detailed reference viewed: 33 (0 UL) A Survey on Intersections of Maximal Partial Clones of Boolean Partial FunctionsCouceiro, Miguel ; Haddad, Lobnain Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on (2012)We survey known results and present some new ones about intersections of maximal partial clones on a 2-element set.Detailed reference viewed: 48 (0 UL) Decompositions of functions based on arity gapCouceiro, Miguel ; Lehtonen, Erkko ; Waldhauser, Tamás in Discrete Mathematics (2012), 312(2), 238-247We study the arity gap of functions of several variables defined on an arbitrary set A and valued in another set B. The arity gap of such a function is the minimum decrease in the number of essential ... [more ▼]We study the arity gap of functions of several variables defined on an arbitrary set A and valued in another set B. The arity gap of such a function is the minimum decrease in the number of essential variables when variables are identified. We establish a complete classification of functions according to their arity gap, extending existing results for finite functions. This classification is refined when the codomain B has a group structure, by providing unique decomposition into sums of functions of a prescribed form. As an application of the unique decompositions, in the case of finite sets we count, for each n and p, the number of n-ary functions that depend on all of their variables and have arity gap p. [less ▲]Detailed reference viewed: 75 (3 UL) Hierarchies of local monotonicities and lattice derivatives for Boolean and pseudo-Boolean functionsCouceiro, Miguel ; Marichal, Jean-Luc ; Waldhauser, Tamás in Miller, D. Michael; Gaudet, Vincent C. (Eds.) 42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012 (2012)In this paper we report recent results in [1] concerning local versions of monotonicity for Boolean and pseudo-Boolean functions: say that a pseudo-Boolean (Boolean) function is p-locally monotone if each ... [more ▼]In this paper we report recent results in [1] concerning local versions of monotonicity for Boolean and pseudo-Boolean functions: say that a pseudo-Boolean (Boolean) function is p-locally monotone if each of its partial derivatives keeps the same sign on tuples which differ on less than p positions. As it turns out, this parameterized notion provides a hierarchy of monotonicities for pseudo-Boolean (Boolean) functions. Local monotonicities are tightly related to lattice counterparts of classical partial derivatives via the notion of permutable derivatives. More precisely, p-locally monotone functions have p-permutable lattice derivatives and, in the case of symmetric functions, these two notions coincide. We provide further results relating these two notions, and present a classification of p-locally monotone functions, as well as of functions having p-permutable derivatives, in terms of certain forbidden “sections”, i.e., functions which can be obtained by substituting variables for constants. This description is made explicit in the special case when p=2. [less ▲]Detailed reference viewed: 89 (2 UL) An ordinal approach to risk measurementCardin, Marta; Couceiro, Miguel in Mathematical and Statistical Methods for Actuarial Sciences and Finance (2012)In this short note, we aim at a qualitative framework for modeling multivariate risk. To this extent, we consider completely distributive lattices as underlying universes, and make use of lattice ... [more ▼]In this short note, we aim at a qualitative framework for modeling multivariate risk. To this extent, we consider completely distributive lattices as underlying universes, and make use of lattice functions to formalize the notion of risk measure. Several properties of risk measures are translated into this general setting, and used to provide axiomatic characterizations. Moreover, a notion of quantile of a lattice-valued random variable is proposed, which is shown to retain several desirable properties of its real-valued counterpart. [less ▲]Detailed reference viewed: 61 (1 UL) 1 2 3