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.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

Integrin-Specific Mechanoresponses to Compression and Extension Probed by Cylindrical Flat-Ended AFM Tips in Lung Cells

Cells from lung and other tissues are subjected to forces of opposing directions that are largely transmitted through integrin-mediated adhesions. How cells respond to force bidirectionality remains ill defined. To address this question, we nanofabricated flat-ended cylindrical Atomic Force Microscopy (AFM) tips with ~1 µm2 cross-section area. Tips were uncoated or coated with either integrin-specific (RGD) or non-specific (RGE/BSA) molecules, brought into contact with lung epithelial cells or fibroblasts for 30 s to form focal adhesion precursors, and used to probe cell resistance to deformation in compression and extension. We found that cell resistance to compression was globally higher than to extension regardless of the tip coating. In contrast, both tip-cell adhesion strength and resistance to compression and extension were the highest when probed at integrin-specific adhesions. These integrin-specific mechanoresponses required an intact actin cytoskeleton, and were dependent on tyrosine phosphatases and Ca2+ signaling. Cell asymmetric mechanoresponse to compression and extension remained after 5 minutes of tip-cell adhesion, revealing that asymmetric resistance to force directionality is an intrinsic property of lung cells, as in most soft tissues. Our findings provide new insights on how lung cells probe the mechanochemical properties of the microenvironment, an important process for migration, repair and tissue homeostasis.

Fluctuaciones de la extension del casquete glacial de la isla de Livingston (Shetland del sur) desde 1956 hasta 1996.

A partir de documentos cartográficos e imágenes de satélite se constata un 4,31% de reducción de extensión del casquete glacial de la isla Livingston desde 1956 hasta 1996. Se detecta la influencia de factores locales, fundamentalmente de tipo topogr á fico, que condicionan los avances y retrocesos del frente glacial en los diferentes sectores de la costa y se establece un modelo simple en el que se relaciona la reducción del conjunto del casquete con el calentamiento atmosférico experimentado en los últimos decenios en la zona de la Península Antártica.

A method for decision making with the OWA operator

A new method for decision making that uses the ordered weighted averaging (OWA) operator in the aggregation of the information is presented. It is used a concept that it is known in the literature as the index of maximum and minimum level (IMAM). This index is based on distance measures and other techniques that are useful for decision making. By using the OWA operator in the IMAM, we form a new aggregation operator that we call the ordered weighted averaging index of maximum and minimum level (OWAIMAM) operator. The main advantage is that it provides a parameterized family of aggregation operators between the minimum and the maximum and a wide range of special cases. Then, the decision maker may take decisions according to his degree of optimism and considering ideals in the decision process. A further extension of this approach is presented by using hybrid averages and Choquet integrals. We also develop an application of the new approach in a multi-person decision-making problem regarding the selection of strategies.

Dynamic range extension of SiPM detectors with the time-gated operation

The silicon photomultiplier (SiPM) is a novel detector technology that has undergone a fast development in the last few years, owing to its single-photon resolution and ultra-fast response time. However, the typical high dark count rates of the sensor may prevent the detection of low intensity radiation fluxes. In this article, the time-gated operation with short active periods in the nanosecond range is proposed as a solution to reduce the number of cells fired due to noise and thus increase the dynamic range. The technique is aimed at application fields that function under a trigger command, such as gated fluorescence lifetime imaging microscopy.

Diseño del controlador ”fuzzy” de un robot autónomo, a través de algoritmos genéticos

Creació d’un sistema format per un algoritme genètic que permeti dissenyar de forma automática, les dades dels valors lingüístics d’un controlador fuzzy, per a un robot amb tracció diferencial. Les dades que s’han d’obtenir han de donar-li al robot, la capacitat d’arribar a un destí, evitant els obstacles que vagi trobant al llarg del camí

Extension and evaluation of JXTA protocols for supporting reliable P2P distributed computing

Peer-reviewed

Extension of the impedance field method to the noise analysis of a semiconductor junction: Analytical approach

We present an analytical procedure to perform the local noise analysis of a semiconductor junction when both the drift and diffusive parts of the current are important. The method takes into account space-inhomogeneous and hot-carriers conditions in the framework of the drift-diffusion model, and it can be effectively applied to the local noise analysis of different devices: n+nn+ diodes, Schottky barrier diodes, field-effect transistors, etc., operating under strongly inhomogeneous distributions of the electric field and charge concentration

Extension of the impedance field method to the noise analysis of a semiconductor junction: Analytical approach

We present an analytical procedure to perform the local noise analysis of a semiconductor junction when both the drift and diffusive parts of the current are important. The method takes into account space-inhomogeneous and hot-carriers conditions in the framework of the drift-diffusion model, and it can be effectively applied to the local noise analysis of different devices: n+nn+ diodes, Schottky barrier diodes, field-effect transistors, etc., operating under strongly inhomogeneous distributions of the electric field and charge concentration