A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

An axiomatization of the nucleolus of the assignment game

[cat] En el domini dels jocs bilaterals d’assignació, es presenta una axiomàtica del nucleolus com l´unica solució que compleix les propietats de consistència respecte del joc derivat definit per Owen (1992) i monotonia de les queixes dels sectors respecte de la seva cardinalitat. Com a conseqüència obtenim una caracterització geomètrica del nucleolus mitjançant una propietat de bisecció més forta que la que satisfan els punts del kernel (Maschler et al, 1979).

An axiomatization of the nucleolus of the assignment game

[cat] En el domini dels jocs bilaterals d’assignació, es presenta una axiomàtica del nucleolus com l´unica solució que compleix les propietats de consistència respecte del joc derivat definit per Owen (1992) i monotonia de les queixes dels sectors respecte de la seva cardinalitat. Com a conseqüència obtenim una caracterització geomètrica del nucleolus mitjançant una propietat de bisecció més forta que la que satisfan els punts del kernel (Maschler et al, 1979).

Decision making techniques with similarity measures and OWA operators

We analyse the use of the ordered weighted average (OWA) in decision-making giving special attention to business and economic decision-making problems. We present several aggregation techniques that are very useful for decision-making such as the Hamming distance, the adequacy coefficient and the index of maximum and minimum level. We suggest a new approach by using immediate weights, that is, by using the weighted average and the OWA operator in the same formulation. We further generalize them by using generalized and quasi-arithmetic means. We also analyse the applicability of the OWA operator in business and economics and we see that we can use it instead of the weighted average. We end the paper with an application in a business multi-person decision-making problem regarding production management

Decision making techniques with similarity measures and OWA operators

We analyse the use of the ordered weighted average (OWA) in decision-making giving special attention to business and economic decision-making problems. We present several aggregation techniques that are very useful for decision-making such as the Hamming distance, the adequacy coefficient and the index of maximum and minimum level. We suggest a new approach by using immediate weights, that is, by using the weighted average and the OWA operator in the same formulation. We further generalize them by using generalized and quasi-arithmetic means. We also analyse the applicability of the OWA operator in business and economics and we see that we can use it instead of the weighted average. We end the paper with an application in a business multi-person decision-making problem regarding production management

Elements crisipians en àlgebres d-completes i àlgebres de Sales

El autor estudia los elementos de comportamiento clásico, o crisipianos, en álgebras d-completas (introducidas por él mismo como el sustrato algebraico de las lógicas completas) y en álgebras de Sales (sustrato algebraico de las lógicas multivaloradas). Da caracterizaciones de estos elementos en ambos casos. Estudia la relación de dichos elementos con los espectros irreducible, primo y completamente irreducible. Además obtiene que el conjunto de elementos crisipianos de un álgebra de Sales es una subálgebra y es un álgebra de Abbott (o de implicación).

Indicators for the characterization of discrete Choquet integrals

Ordered weighted averaging (OWA) operators and their extensions are powerful tools used in numerous decision-making problems. This class of operator belongs to a more general family of aggregation operators, understood as discrete Choquet integrals. Aggregation operators are usually characterized by indicators. In this article four indicators usually associated with the OWA operator are extended to discrete Choquet integrals: namely, the degree of balance, the divergence, the variance indicator and Renyi entropies. All of these indicators are considered from a local and a global perspective. Linearity of indicators for linear combinations of capacities is investigated and, to illustrate the application of results, indicators of the probabilistic ordered weighted averaging -POWA- operator are derived. Finally, an example is provided to show the application to a specific context.

The connection between distortion risk measures and ordered weighted averaging operators

Distortion risk measures summarize the risk of a loss distribution by means of a single value. In fuzzy systems, the Ordered Weighted Averaging (OWA) and Weighted Ordered Weighted Averaging (WOWA) operators are used to aggregate a large number of fuzzy rules into a single value. We show that these concepts can be derived from the Choquet integral, and then the mathematical relationship between distortion risk measures and the OWA and WOWA operators for discrete and finite random variables is presented. This connection offers a new interpretation of distortion risk measures and, in particular, Value-at-Risk and Tail Value-at-Risk can be understood from an aggregation operator perspective. The theoretical results are illustrated in an example and the degree of orness concept is discussed.

A Write-Based Solver for SAT Modulo the Theory of Arrays

The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solver for arrays in the context of the DPLL(T) approach to SMT. The main characteristics of our solver are: (i) no translation of writes into reads is needed, (ii) there is no axiom instantiation, and (iii) the T-solver interacts with the Boolean engine by asking to split on equality literals between indices. As far as we know, this is the first accurate description of an array solver integrated in a state-of-the-art SMT solver and, unlike most state-of-the-art solvers, it is not based on a lazy instantiation of the array axioms. Moreover, it is very competitive in practice, specially on problems that require heavy reasoning on array literals

Competència cultural i artística

Partim de la convicció basada en les evidències que la competència cultural i artística és fonamental en la formació dels estudiants. A més, aquesta competència no es pot garantir sense que els docents estiguin preparats en aquestes competències: cultural (intercultural), emocional/sensible, crítica, investigadora, comunicativa, creativa, didàctica i inclusiva de l’art (des de l’art, per mitjà de l’art i per l’art). És per aquest motiu que encetem el discurs «entre la realitat i el desig», sintetitzant en poques pàgines no pas allò que és, sinó més aviat allò que podria ser: renunciar a disgregar i jerarquitzar els sabers, i apostar per un paradigma educatiu que valori les competències que transcendeixen una disciplina. La competència cultural i artística està connectada necessàriament amb les altres competències bàsiques: la lògica/matemàtica (representació de l’espai, com a mínim), la comunicativa (de què forma part i molt vinculada a la tecnològica), i, com és obvi, les de l’àmbit de valors personals i de ciutadania i les de l’àmbit cultural i social. Perquè tot això pugui materialitzar-se, també hi ha algunes condicions elementals i relativament fàcils d’oferir que tot just apuntem

Reconocimiento y representación digital de la notación matemática manual

El trabajo muestra un estudio comparativo de las soluciones que plantean diferentes soluciones comerciales y/o libres para la adecuación o no a su integración en un entorno como es el campus virtual de la UOC. Para esto se ha elaborado una lista de indicadores clave y más adelante se ha hecho una valoración de la integración en el entorno UOC, relacionando los indicadores anteriores con los requerimientos de la UOC. Investigando previamente cuales son estos. Por último se ha comprobado y corroborado la posible integración de la solución elegida al campus virtual, con el desarrollo de una pequeña aplicación web.

La enseñanza de estrategias de resolución de problemas matemáticos en la ESO: un ejemplo concreto

Within this article is included a description and justification of a didactical sequence to improve the learning of problem solving strategies of Secondary Education students. The design of the didactical sequence is guided by four principles: a) to context the activities and problems to solve in students’ every day practices; b) to use teaching methods that show the problem solving processes; c) to design didactical materials in order to guide strategies such as selection, organisation and control; d) to facilitate the co-operative learning of problem solving strategies.

Concepciones y creencias de los profesores universitarios de matemáticas acerca de la enseñanza de las ecuaciones diferenciales

La investigación que aquí presentamos es una aproximación a las concepciones y creencias de los profesores universitarios de matemáticas acerca de la enseñanza de las ecuaciones diferenciales en estudios científico-experimentales. A parte de los intentos por caracterizar a cada profesor en términos de sus concepciones y creencias, y de establecer el nivel de coherencia y consistencia de éstas, a partir de los resultados del análisis se explica la persistencia de la utilización de métodos tradicionales de enseñanza. Las diferencias y similitudes entre las concepciones y creencias de cada profesor, y el nivel de coherencia demostrado nos han permitido establecer tres grupos de profesores, a los que hemos denominado I, II y III.