Regulación del proceso de secado de embutidos crudos-curados mediante la aplicación de lógica borrosa (fuzzy logic)

El presente proyecto tenía como objetivo final el desarrollo de un sistema de control basado en Lógica Fuzzy que permita que el proceso de secado tenga una regulación continua y con una menor dependencia de la experiencia del personal experto, evitando además la formación de encostrado. Asimismo, se plantearon una serie de objetivos parciales, cuya consecución permitiría, además de alcanzar el objetivo final descrito, obtener un conocimiento científico adicional. Por ello, a continuación se resumen los resultados en relación con los objetivos parciales propuestos. Como paso previo, antes de abordar los objetivos planteados se diseñó y construyó un equipo experimental de secado, donde se controló de forma precisa la temperatura, la humedad relativa y la velocidad del aire.

A Classification of Tools for Learning Logic

A table showing a comparison and classification of tools (intelligent tutoring systems) for e-learning of Logic at a college level.

The Decision on Turkish EU accession in December 2002: The logic of anarchy, collective action problems and rhetorical action

Studies of the EU accession of the East and Central European Countries have stressed the importance of neo-liberal institutionalism as an explanation for Member State preferences. In this paper it is argued that Member States’ preferences over Turkish EU accession are better explained by power politics and neo-realism. It seems therefore that Turkey’s way to the EU follows another path than the East and Central Countries. Turkish accession raises the question of the EU’s role in a uni-polar world order – whether the EU should develop into an independent actor on the world stage or not. However, when it comes to the interaction among the Member States in order to decide on when to open accession negotiations with Turkey the constitutive values of the EU seriously modify the outcome that pure power politics would have let to.

Elaboració d'indicadors sobre SAGE Logic Class

El treball desenvolupat ha consistit en analitzar el sistema d'informació Logic Class sota la perspectiva de la necessitat de construir un sistema d'indicadors (quadre de comandament operatiu) que integri informació de les diferents fonts de dades.

The glucose transporter 4 FQQI motif is necessary for Akt Substrate of 160-Kilodalton-dependent plasma membrane translocation but not Golgi-localized g-ear-containing Arf-binding protein-dependent entry into the insulin-responsive storage compartment.

Newly synthesized glucose transporter 4 (GLUT4) enters into the insulin-responsive storage compartment in a process that is Golgi-localized γ-ear-containing Arf-binding protein (GGA) dependent, whereas insulin-stimulated translocation is regulated by Akt substrate of 160 kDa (AS160). In the present study, using a variety of GLUT4/GLUT1 chimeras, we have analyzed the specific motifs of GLUT4 that are important for GGA and AS160 regulation of GLUT4 trafficking. Substitution of the amino terminus and the large intracellular loop of GLUT4 into GLUT1 (chimera 1-441) fully recapitulated the basal state retention, insulin-stimulated translocation, and GGA and AS160 sensitivity of wild-type GLUT4 (GLUT4-WT). GLUT4 point mutation (GLUT4-F5A) resulted in loss of GLUT4 intracellular retention in the basal state when coexpressed with both wild-type GGA and AS160. Nevertheless, similar to GLUT4-WT, the insulin-stimulated plasma membrane localization of GLUT4-F5A was significantly inhibited by coexpression of dominant-interfering GGA. In addition, coexpression with a dominant-interfering AS160 (AS160-4P) abolished insulin-stimulated GLUT4-WT but not GLUT4-F5A translocation. GLUT4 endocytosis and intracellular sequestration also required both the amino terminus and large cytoplasmic loop of GLUT4. Furthermore, both the FQQI and the SLL motifs participate in the initial endocytosis from the plasma membrane; however, once internalized, unlike the FQQI motif, the SLL motif is not responsible for intracellular recycling of GLUT4 back to the specialized compartment. Together, we have demonstrated that the FQQI motif within the amino terminus of GLUT4 is essential for GLUT4 endocytosis and AS160-dependent intracellular retention but not for the GGA-dependent sorting of GLUT4 into the insulin-responsive storage compartment.

A Classification of Tools for Learning Logic

A table showing a comparison and classification of tools (intelligent tutoring systems) for e-learning of Logic at a college level.

Power supply noise and logic error probability

Voltage fluctuations caused by parasitic impedances in the power supply rails of modern ICs are a major concern in nowadays ICs. The voltage fluctuations are spread out to the diverse nodes of the internal sections causing two effects: a degradation of performances mainly impacting gate delays anda noisy contamination of the quiescent levels of the logic that drives the node. Both effects are presented together, in thispaper, showing than both are a cause of errors in modern and future digital circuits. The paper groups both error mechanismsand shows how the global error rate is related with the voltage deviation and the period of the clock of the digital system.

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.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

La Sociedad de Beneficencia de Señoras del Rosario: 160 años en manos de mujeres rosarinas (25 de junio de 1854-25 de junio 2014)

Las Señoras del Rosario inauguraron su Sociedad de Beneficencia el 25 de junio de 1854. El objetivo de las mujeres rosarinas fue garantizar la supervivencia de los enfermos y de las enfermas de la sociedad civil, y por ello decidieron crear un hospital en la zona más alejada del núcleo urbano, que hoy corresponde a la zona macrocéntrica de la ciudad. Esta Sociedad fue la primera de la República Argentina que se dedicó a la atención de la salud, y por ello en octubre del año siguiente las socias decidieron fundar el primer Hospital de Caridad de la ciudad destinado a los habitantes carentes de recursos y no militares de profesión.