Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Pointwise estimates for the Bergman kernel of the weighted Fock space

We prove upper pointwise estimates for the Bergman kernel of the weighted Fock space of entire functions in $L^{2}(e^{-2\phi}) $ where $\phi$ is a subharmonic function with $\Delta\phi$ a doubling measure. We derive estimates for the canonical solution operator to the inhomogeneous Cauchy-Riemann equation and we characterize the compactness of this operator in terms of $\Delta\phi$.

On the foundations of well-being economics and policy

When one wishes to implement public policies, there is a previous need of comparing different actions and valuating and evaluating them to assess their social attractiveness. Recently the concept of well-being has been proposed as a multidimensional proxy for measuring societal prosperity and progress; a key research topic is then on how we can measure and evaluate this plurality of dimensions for policy decisions. This paper defends the thesis articulated in the following points: 1. Different metrics are linked to different objectives and values. To use only one measurement unit (on the grounds of the so-called commensurability principle) for incorporating a plurality of dimensions, objectives and values, implies reductionism necessarily. 2. Point 1) can be proven as a matter of formal logic by drawing on the work of Geach about moral philosophy. This theoretical demonstration is an original contribution of this article. Here the distinction between predicative and attributive adjectives is formalised and definitions are provided. Predicative adjectives are further distinguished into absolute and relative ones. The new concepts of set commensurability and rod commensurability are introduced too. 3. The existence of a plurality of social actors, with interest in the policy being assessed, causes that social decisions involve multiple types of values, of which economic efficiency is only one. Therefore it is misleading to make social decisions based only on that one value. 4. Weak comparability of values, which is grounded on incommensurability, is proved to be the main methodological foundation of policy evaluation in the framework of well-being economics. Incommensurability does not imply incomparability; on the contrary incommensurability is the only rational way to compare societal options under a plurality of policy objectives. 5. Weak comparability can be implemented by using multi-criteria evaluation, which is a formal framework for applied consequentialism under incommensurability. Social Multi-Criteria Evaluation, in particular, allows considering both technical and social incommensurabilities simultaneously.

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).

The representation of EFL teachers’ views on the role of English as a Lingua Franca

El creciente número de hablantes no nativos de inglés en el mundo constituye la base a partir de la cual se han hecho recientes afirmaciones alrededor de la necesidad de enfatizar el papel del inglés como lingua franca en las clases de inglés. Este artículo investiga la visión de los profesores catalanes de inglés al respecto mediante un cuestionario centrado en aspectos como la preferencia de profesores nativos o no nativos, el conocimiento cultural idóneo para el profeso- rado de inglés, y la variedad de inglés escogida. Los resultados indican que el profesorado está influido por la supremacía del hablante nativo y una visión del inglés todavía restringida a las comunidades de hablantes nativos, con algunas diferencias significativas encontradas entre distintos grupos de profesores.

Cat(0) and Cat (-1) dimensions of torsion free

We show that a particular free-by-cyclic group has CAT(0) dimension equal to 2, but CAT(-1) dimension equal to 3. We also classify the minimal proper 2-dimensional CAT(0) actions of this group; they correspond, up to scaling, to a 1-parameter family of locally CAT(0) piecewise Euclidean metrics on a fixed presentation complex for the group. This information is used to produce an infinite family of 2-dimensional hyperbolic groups, which do not act properly by isometries on any proper CAT(0) metric space of dimension 2. This family includes a free-by-cyclic group with free kernel of rank 6.

Catalonia’s participation in calls of the EU 7th Framework Programme for RTD. Period 2007-2009

English translation of the Executive summary of the report “Catalonia’s participation in calls of the EU 7th Framework Programme for RTD. Period 2007-2009” drawn up by researchers of the AQR Research Group – Research Institute of Applied Economics (IREA) of the University of Barcelona. It aims to find out the reality of the Catalonia’s participation in the EU 7th Framework Programme, the main European financial instrument for research during the period 2007-2009.

Relation for the nonequilibrium population of the interface states: effects on the bias dependence of the ideality factors

By an analysis of the exchange of carriers through a semiconductor junction, a general relationship for the nonequilibrium population of the interface states in Schottky barrier diodes has been derived. Based on this relationship, an analytical expression for the ideality factor valid in the whole range of applied bias has been given. This quantity exhibits two different behaviours depending on the value of the applied bias with respect to a critical voltage. This voltage, which depends on the properties of the interfacial layer, constitutes a new parameter to complete the characterization of these junctions. A simple interpretation of the different behaviours of the ideality factor has been given in terms of the nonequilibrium charging properties of interface states, which in turn explains why apparently different approaches have given rise to similar results. Finally, the relevance of our results has been considered on the determination of the density of interface states from nonideal current-voltage characteristics and in the evaluation of the effects of the interfacial layer thickness in metal-insulator-semiconductor tunnelling diodes.

Relation for the nonequilibrium population of the interface states: effects on the bias dependence of the ideality factors

By an analysis of the exchange of carriers through a semiconductor junction, a general relationship for the nonequilibrium population of the interface states in Schottky barrier diodes has been derived. Based on this relationship, an analytical expression for the ideality factor valid in the whole range of applied bias has been given. This quantity exhibits two different behaviours depending on the value of the applied bias with respect to a critical voltage. This voltage, which depends on the properties of the interfacial layer, constitutes a new parameter to complete the characterization of these junctions. A simple interpretation of the different behaviours of the ideality factor has been given in terms of the nonequilibrium charging properties of interface states, which in turn explains why apparently different approaches have given rise to similar results. Finally, the relevance of our results has been considered on the determination of the density of interface states from nonideal current-voltage characteristics and in the evaluation of the effects of the interfacial layer thickness in metal-insulator-semiconductor tunnelling diodes.

Prospects of doubling global wheat yields

While an adequate supply of food can be achieved at present for the current global population, sustaining this into the future will be difficult in the face of a steadily increasing population, increased wealth and a diminishing availability of fertile land and water for agriculture. This problem will be compounded by the new uses of agricultural products, for example, as biofuels. Wheat alone provides ≥20% of the calories and the protein for the world's population, and the value and need to increase the production is recognized widely. Currently, the world average wheat yield is around 3 t/ha but there is considerable variation between countries, with region-specific factors limiting yield, each requiring individual solutions. Delivering increased yields in any situation is a complex challenge that is unlikely to be solved by single approaches and a multidisciplinary integrated approach to crop improvement is required. There are three specific major challenges: increasing yield potential, protecting yield potential, and increasing resource use efficiency to ensure sustainability. Since the green revolution, yields at the farm gate have stagnated in many countries, or are increasing at less than half the rate required to meet the projected demand. In some countries, large gains can still be achieved by improvements in agronomy, but in many others the yield gains will only be achieved by further genetic improvement. In this overview, the problems and potential solutions for increased wheat yields are discussed, in the context of specific geographic regions, with a particular emphasis on China. The importance and the prospects for improvement of individual traits are presented. It is concluded that there are opportunities for yield increase but a major challenge will be avoiding a simultaneous increase in resource requirements.

Reinforcement learning utilizes proxemics: an avatar learns to manipulate the position of people in immersive virtual reality

A reinforcement learning (RL) method was used to train a virtual character to move participants to a specified location. The virtual environment depicted an alleyway displayed through a wide field-of-view head-tracked stereo head-mounted display. Based on proxemics theory, we predicted that when the character approached within a personal or intimate distance to the participants, they would be inclined to move backwards out of the way. We carried out a between-groups experiment with 30 female participants, with 10 assigned arbitrarily to each of the following three groups: In the Intimate condition the character could approach within 0.38m and in the Social condition no nearer than 1.2m. In the Random condition the actions of the virtual character were chosen randomly from among the same set as in the RL method, and the virtual character could approach within 0.38m. The experiment continued in each case until the participant either reached the target or 7 minutes had elapsed. The distributions of the times taken to reach the target showed significant differences between the three groups, with 9 out of 10 in the Intimate condition reaching the target significantly faster than the 6 out of 10 who reached the target in the Social condition. Only 1 out of 10 in the Random condition reached the target. The experiment is an example of applied presence theory: we rely on the many findings that people tend to respond realistically in immersive virtual environments, and use this to get people to achieve a task of which they had been unaware. This method opens up the door for many such applications where the virtual environment adapts to the responses of the human participants with the aim of achieving particular goals.

Reinforcement learning utilizes proxemics: an avatar learns to manipulate the position of people in immersive virtual reality

A reinforcement learning (RL) method was used to train a virtual character to move participants to a specified location. The virtual environment depicted an alleyway displayed through a wide field-of-view head-tracked stereo head-mounted display. Based on proxemics theory, we predicted that when the character approached within a personal or intimate distance to the participants, they would be inclined to move backwards out of the way. We carried out a between-groups experiment with 30 female participants, with 10 assigned arbitrarily to each of the following three groups: In the Intimate condition the character could approach within 0.38m and in the Social condition no nearer than 1.2m. In the Random condition the actions of the virtual character were chosen randomly from among the same set as in the RL method, and the virtual character could approach within 0.38m. The experiment continued in each case until the participant either reached the target or 7 minutes had elapsed. The distributions of the times taken to reach the target showed significant differences between the three groups, with 9 out of 10 in the Intimate condition reaching the target significantly faster than the 6 out of 10 who reached the target in the Social condition. Only 1 out of 10 in the Random condition reached the target. The experiment is an example of applied presence theory: we rely on the many findings that people tend to respond realistically in immersive virtual environments, and use this to get people to achieve a task of which they had been unaware. This method opens up the door for many such applications where the virtual environment adapts to the responses of the human participants with the aim of achieving particular goals.

Modeling and manufacturability assessment of bistable quantum-dot cells

We have investigated the behavior of bistable cells made up of four quantum dots and occupied by two electrons, in the presence of realistic confinement potentials produced by depletion gates on top of a GaAs/AlGaAs heterostructure. Such a cell represents the basic building block for logic architectures based on the concept of quantum cellular automata (QCA) and of ground state computation, which have been proposed as an alternative to traditional transistor-based logic circuits. We have focused on the robustness of the operation of such cells with respect to asymmetries derived from fabrication tolerances. We have developed a two-dimensional model for the calculation of the electron density in a driven cell in response to the polarization state of a driver cell. Our method is based on the one-shot configuration-interaction technique, adapted from molecular chemistry. From the results of our simulations, we conclude that an implementation of QCA logic based on simple ¿hole arrays¿ is not feasible, because of the extreme sensitivity to fabrication tolerances. As an alternative, we propose cells defined by multiple gates, where geometrical asymmetries can be compensated for by adjusting the bias voltages. Even though not immediately applicable to the implementation of logic gates and not suitable for large scale integration, the proposed cell layout should allow an experimental demonstration of a chain of QCA cells.

Local noise analysis of a Schottky contact: combined thermionic-emissiondiffusion theory

A theoretical model for the noise properties of Schottky barrier diodes in the framework of the thermionic-emission¿diffusion theory is presented. The theory incorporates both the noise inducedby the diffusion of carriers through the semiconductor and the noise induced by the thermionicemission of carriers across the metal¿semiconductor interface. Closed analytical formulas arederived for the junction resistance, series resistance, and contributions to the net noise localized indifferent space regions of the diode, all valid in the whole range of applied biases. An additionalcontribution to the voltage-noise spectral density is identified, whose origin may be traced back tothe cross correlation between the voltage-noise sources associated with the junction resistance andthose for the series resistance. It is argued that an inclusion of the cross-correlation term as a newelement in the existing equivalent circuit models of Schottky diodes could explain the discrepanciesbetween these models and experimental measurements or Monte Carlo simulations.