Extending FuzAtAnalyzer to approach the management of classical negation

FuzAtAnalyzer was conceived as a Java framework which goes beyond of classical tools in formal concept analysis. Specifically, it successfully incorporated the management of uncertainty by means of methods and tools from the area of fuzzy formal concept analysis. One limitation of formal concept analysis is that they only consider the presence of properties in the objects (positive attributes) as much in fuzzy as in crisp case. In this paper, a first step in the incorporation of negations is presented. Our aim is the treatment of the absence of properties (negative attributes). Specifically, we extend the framework by including specific tools for mining knowledge combining crisp positive and negative attributes.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Package Leaflet Corpus as a Learning Resource for Teaching French-Spanish Specialized Translation

The aim of this paper is to evaluate the compilation of a corpus of package leaflets of medicines for human use as a versatile teaching resource for the French-Spanish specialized translation classroom. Firstly, we establish the curricular context of the Degree in Translation and Interpreting in Spain to contextualize the competences required by the EHEA. Then, we show the methodology followed to compile a bilingual corpus of French and Spanish package leaflets and its potential application in specialized translation training.El presente trabajo tiene por objetivo la presentación de un corpus de prospectos de medicamentos para el uso humano como recurso didáctico versátil en el aula de traducción especializada para la combinación lingüística francés-español. En primer lugar, se realiza una aproximación a la situación actual del Grado en Traducción e Interpretación en España para contextualizar las competencias requeridas por el EEES. A continuación, se muestran los aspectos metodológicos de la compilación de un corpus bilingüe de prospectos farmacéuticos francés-español y su uso potencial en el aula de traducción especializada.

Globalización, funcionalidad económica y estructura urbana en Guadalajara, 1990-2000

Este trabajo tiene como propósito analizar las transformaciones que experimentaron la funcionalidad económica y la estructura urbana de la zona conurbada de Guadalajara (ZCG) en la última década del siglo XX, en el marco del proceso de globalización. Partimos del supuesto de que la integración de la economía de esta metrópoli a dicho fenómeno contribuye a que asuma las funciones de plataforma de exportación de la industria globalizada y de centro de distribución regional de mercancías producidas en otros países1. Buscamos hacer una aportación distinta a la “nueva geografía urbana” (Sassen 1999), en la que la ciudad global se ha convertido en el epicentro y escenario protagónico de la globalización. En este trabajo el objeto de estudio no es la ciudad global, sino una de ellas que ocupan una posición periférica y tienen una cobertura subnacional y local, como ocurre con la ZCG. Aquí evaluaremos el alcance económico y territorial de dicho fenómeno en una ciudad de la periferia económica.Peer Reviewe

From an implicational system to its corresponding D-basis

Closure system is a fundamental concept appearing in several areas such as databases, formal concept analysis, artificial intelligence, etc. It is well-known that there exists a connection between a closure operator on a set and the lattice of its closed sets. Furthermore, the closure system can be replaced by a set of implications but this set has usually a lot of redundancy inducing non desired properties. In the literature, there is a common interest in the search of the mini- mality of a set of implications because of the importance of bases. The well-known Duquenne-Guigues basis satisfies this minimality condition. However, several authors emphasize the relevance of the optimality in order to reduce the size of implications in the basis. In addition to this, some bases have been defined to improve the computation of closures relying on the directness property. The efficiency of computation with the direct basis is achieved due to the fact that the closure is computed in one traversal. In this work, we focus on the D-basis, which is ordered-direct. An open problem is to obtain it from an arbitrary implicational system, so it is our aim in this paper. We introduce a method to compute the D-basis by means of minimal generators calculated using the Simplification Logic for implications.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Supported by Grants TIN2011-28084 and TIN2014-59471-P of the Science and Innovation Ministry of Spain, which is co-financed by the European Social Fund

Integrated and interactive 4D system for archaeological stratigraphy

The digitization of some of the processes carried out in an archaeological excavation is changing the way of working at the site. Today, new technologies coexist with traditional methodologies. The study of stratigraphy can combine drawings of profiles and plans, the Harris Matrix diagram, as well as digitized files that perform a complete record of the stratigraphic sequence. However, this information is usually unaggregated from the rest of the information system that makes up the archaeological record. In this paper, we present an integrated software tool and the associated methodology to record, store, visualize and analyze the 3D stratigraphy of a site. The implementation uses spatial databases to store information of a heterogeneous nature and game engines for the visualization and interaction with this information. During the excavation process, the strata are scanned using the Tof technology, which is available in many smartphones. The resulting 3D model of the stratum, once uploaded to the software system, allows us to visualize the sequence of strata incorporating the findings into their original arrangement. Some additional tools, such as the scrollbar, help to perform a temporal analysis of the site. The result is a 4D interactive stratigraphy tool, which together with the Harris Matrix, complements the archaeological record and facilitates the work to archaeologists. This methodology also allows to speed up the on-site work and the subsequent analysis, while improving the user experience with the 3D archaeological site replica.CRUE-CSICSpringer NatureSpanish GovernmentEuropean Commission TIN2017-84968-

CAISL: Simplification Logic for Conditional Attribute Implications

In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a more suitable way for automated reasoning than the one based on Armstrong’s Axioms. We also present an automated method to prove the derivability of a CAI from a set of CAI s.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Gestión de cadena de suministros y calidad de servicio en la empresa Martínez Contratistas e Ingeniería S.A, San Juan de Lurigancho-2018

La presente investigación titulada “Gestión de Cadena de suministros y calidad de servicio en la empresa Martínez Contratistas e Ingeniería S.A, San Juan de Lurigancho-2018”, cuyo objetivo es determinar la relación que existe entre Gestión de Cadena de suministros y calidad de servicio en la empresa Martínez Contratistas e Ingeniería S.A, San Juan de Lurigancho-2018, esta investigación es de tipo aplicada ya que se desea darle una solución a los problemas hallados con un nivel de investigación tipo descriptivo- correlacional con un diseño no experimental, aquellos instrumentos fueron validados a criterios de expertos y determinados, su confiabilidad mediante Alpha de Cronbach y se aplicó el paquete estadístico SPSS24. Se tomó las teorías de Ballou (2009) y Parasuraman (1984). Para poder medir toda Gestión de Cadena de suministros y calidad de servicio en la empresa Martínez Contratistas e Ingeniería S.A, San Juan de Lurigancho se tomó a una población de 30 colaboradores, Se interpretó y se analizó la variable Gestión de Cadena de suministros, indicando que es muy Bueno. Asimismo, se analizó la variable calidad de servicio indicando que es muy bueno. Además, en cuanto a los resultados en los análisis estadísticos alcanzados con la prueba Rho Spearman se logró una correlación moderada en un 0.831**, lo cual demuestra que una Gestión de Cadena de suministros bien planteado conlleva a una excelente calidad de servicio

Comparative Exoproteome Analysis of Streptococcus suis Human Isolates

The swine pathogen Streptococcus suis is a Gram-positive bacterium which causes infections in pigs, with an impact in animal health and in the livestock industry, and it is also an important zoonotic agent. During the infection process, surface and secreted proteins are essential in the interaction between microorganisms and their hosts. Here, we report a comparative proteomic analysis of the proteins released to the extracellular milieu in six human clinical isolates belonging to the highly prevalent and virulent serotype 2. The total secreted content was precipitated and analyzed by GeLC-MS/MS. In the six strains, 144 proteins assigned to each of the categories of extracellular or surface proteins were identified, as well as 680 predicted cytoplasmic proteins, many of which are putative moonlighting proteins. Of the nine predicted signal peptide-I secreted proteins, seven had relevant antigenic potential when they were analyzed through bioinformatic analysis. This is the first work comparing the exoproteome fraction of several human isolates of this important pathogen