A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification

This paper addresses the issue of specifying, simulating, and verifying reactive systems in rewriting logic. It presents an executable semantics for probabilistic, timed, and spatial concurrent constraint programming ---here called stochastic and spatial concurrent constraint systems (SSCC)--- in the rewriting logic semantic framework. The approach is based on an enhanced and generalized model of concurrent constraint programming (CCP) where computational hierarchical spaces can be assigned to belong to agents. The executable semantics faithfully represents and operationally captures the highly concurrent nature, uncertain behavior, and spatial and epistemic characteristics of reactive systems with flow of information. In SSCC, timing attributes ---represented by stochastic duration--- can be associated to processes, and exclusive and independent probabilistic choice is also supported. SMT solving technology, available from the Maude system, is used to realize the underlying constraint system of SSCC with quantifier-free formulas over integers and reals. This results in a fully executable real-time symbolic specification that can be used for quantitative analysis in the form of statistical model checking. The main features and capabilities of SSCC are illustrated with examples throughout the paper. This contribution is part of a larger research effort aimed at making available formal analysis techniques and tools, mathematically founded on the CCP approach, to the research community.Comment: arXiv admin note: text overlap with arXiv:1805.0743

Los imaginarios sociales sobre el infierno en la pintura de Hernando de la Cruz, 1629

En 1629, Hernando de la Cruz, guía espiritual de Mariana de Jesús, pintó para la iglesia jesuítica de Quito un cuadro de gran formato sobre el Infierno. El lienzo se colocó a la entrada del templo, frente a la Gloria de los predestinados, pintada en un formato similar, por el mismo autor. Estos fueron los lienzos más grandes del edificio y se ubicaron a la entrada del mismo. Esta tesis intentará responder porqué de entre todos los temas religiosos, los jesuitas quiteños escogieron representar al infierno como la vista principal de entrada a su iglesia. Para ello, explora el contexto de producción y circulación de la imagen infernal, indaga en las prácticas de la sociedad quiteña que pudieron influir en la decisión jesuítica. Luego, se aborda el imaginario jesuítico sobre la noción de condena eterna en su época; así como el papel de la Compañía de Jesús como productora de esta representación y de una forma particular de mirar e interpretar esta pintura, acompañándola de usos religiosos como la confesión o la penitencia. Finalmente, se analizará la pintura en relación tanto con las prácticas sociales quiteñas, como con los imaginarios jesuíticos del fuego eterno. En esta tesis utiliza como fuentes a historias ejemplares, sermones, pinturas y textos catequéticos producidos entre 1600 y 1697. Para abordarlas utiliza la metodología de la historia contextual del arte y de la nueva historia cultural. De esta manera ensaya una interpretación del universo de significación de la pintura de Hernando de la Cruz

Estudio de mutantes del virus colombiano tipo A de la fiebre aftosa.

El objetivo básico del trabajo es proporcionar un sistema eficaz en la determinación del espectro entigénico, variabilidad, heterogeneidad, cobertura inmunológica y estabilidad antigénica, por pasajes continuos en cultivo celular BHK de los virus colombianos tipo A de la fiebre aftosa. Se seleccionaron 6 cepas, teniendo en cuenta la importancia epidemiológica, las características antigénicas originales observadas y su utulización como cepas vacunales. Se determinó la clasificación serológica y grado de cobertura inmunológica de las cepas del subtipo A27 frente a cepas homólogas y heterólogas de subtipo. La cepa A27-8046 mostró un mayor grado de cobertura frente a cepas homólogas y frente al subtipo serológico A Sabana/74-7510. No se obtuvieron diferencias antigénicas considerables entre el subtipo A27 y A Sabana/74 y frente al subtipo A18 utilizando la prueba de Indice C de Lucam. Se buscó establecer si las cepas virales seleccionadas mantenían en la progenie las características originales. Fué así como con las cepas A6304 y A8480 se observaron cambios en las características antigénicas originales debidas posiblemente a selección de poblaciones virales en cultivos celulares. La progenie aislada de las placas pertenecientes a las cepas A6000, A8046 y A8480, mostraron características similares al virus parental y segregaciones con características antigénicas altamente relacionadas con los subtipos A Sabana/74, A24 y 32. Lo anterior indica la existencia de cepas con componentes antigénicos diversos, producto de un intercambio de material genético o estructural. Situación similar puede presentarse en el campo por la variabilidad del virus, la actividad de varios subtipos, el estado de portadores y la deficiente inmunización de la población bovinaGanado de doble propósito-Ganaderia doble propositoMaestría en CienciasMaestrí

Evidence-based management (ABE): fundamentals and application to problem solving. A methodological review and presentation of research findings

La teoría de la dirección de empresas y sus investigaciones son guías para resolución de problemas en las organizaciones. Como en otras muchas ocasiones, la administración de empresas tiene que acudir a otras disciplinas científicas en busca de apoyo para hacer frente a las nuevas cuestiones que van surgiendo. Generalmente se ha recurrido a asimilaciones conceptuales de otros campos de conocimiento como las matemáticas, la psicología, la ingeniería, etc. Pero la mejor prueba que permite encontrar una solución a la cuestión planteada en base a la investigación científica, se encuentra en la práctica médica. En la realidad se recurre habitualmente a la intuición para descifrar las situaciones conflictivas o a la opinión de otros, desarrollando acciones correctivas, generalmente nuevas, cuyos resultados dan lugar a nuevo conocimiento (Argyris y Schön, 1978). Este comportamiento no permite aprovechar el conocimiento generado. En los años sesenta del pasado siglo XX, se comenzó a desarrollar en el ámbito médico británico, canadiense y americano (aunque de manera incipiente por todo el mundo) una filosofía que sirve como fundamentación científica para las decisiones clínicas. La Medicina Basada en la Evidencia. En este trabajo se sientan las bases para integrar esa filosofía en la dirección de empresas, haciéndola operativa y prestando particular atención a su aplicación en la resolución de problemas, denominada Administración Basada en la Evidencia.The theory of business management and its researches are guidelines for resolving problems in the organizations. It is not a learning source when a member finds an unknown problem. As on many other occasions, corporate management has to go to other scientific disciplines for support to deal with new issues as they arise. In the field of problem solving and conceptual assimilations have occurred in other fields of knowledge such as mathematics, psychology, engineering, etc. But the best proof that we can find a solution to the question based on scientific research is in medical practice. To find the solution normally we can appeal against to your intuition or to others opinion, developing corrective actions, mostly new, whose results lead to new knowledge (Argyris y Schön, 1978). This behavior does not allow making the most of the generated knowledge. Years ago, a philosophy that serves as the scientific basis for clinical decisions is being developed in the medical field British, Canadian and American (although in an incipient worldwide way) for clinical decisions. The Evidence Based Medicine. In this work the bases lay to integrate that philosophy in business management, making it operational and paying particular attention to their application in resolving problems, it is called EvidenceBased Management

Anthropomorphic image as origins of ancestor´s”Caves”. The stele -menhir of Anta do Telhal, Arraiolos, Évora, Portugal

It is a fact that in Europe menhirs, stelae and statues and their origin, configuration, and maintenance in funerary megalithic spaces play an important role. The wealth and variety of antrompomorphic expressions in the Portuguese Alentejo form an interesting case study. The documentation of the engraved Anta de Telhal stele-menhir opens a new line of investigation. This is useful to reflect on the connectivity between open and closed architectures in Southern European megalithism. The movements of stones between them indicate a longue durée process, of which the manipulation of images on the ancestral stones is one of the clearest arguments for the creation of the past’s ideology

Diagnóstico y plan preventivo de Higiene y Seguridad del Trabajo en la empresa de servicios de encomiendas Rápides S.A, SER localizada en la ciudad de Managua.

Presenta un diagnóstico y plan preventivo de Higiene y Seguridad del Trabajo en el cual se presentan un conjunto de medidas para controlar los accidentes y enfermedades profesionales que pudieran provocarse debido a los diferentes riesgos presentes en la empresa

Aplicación de un estudio y formulación de una estrategia de mercado en la empresa PAYCA de Nicaragua

Tesis (Licenciatura en Administración de Empresas)--Universidad Americana, Managua, 2005Este proyecto diseña una estrategia de Mercado mediante el uso de las técnicas de análisis de mercadeo que contribuya a una mayor participación y competitividad en el mercado nacional de la empresa Payca de Nicaragua

Caracterización antigénica de placas del virus tipo A de la fiebre aftosa.

Se determinó el espectro antigénico para conocer el grado de cobertura inmunológica de los virus vacunales y se definió una metodología para establecer los grados de variación antigénica de las cepas actuantes en el campo. Fueron tomadas 6 cepas del virus tipo A de diferentes regiones del país: A24 Boyacá/71-6000, A27 Guajira/71-6304, A24 Sabanas/74-7510, A27 Cundinamarca/75-8046, A Antioquia/76-8381 y A Córdoba/76-8480. Los resultados mostraron que la cepa A24 Boyacá/71-6000 fué estable respecto al componente antigénico. La cepa A27 Guajira/71-6304 presentó características antigénicas estables en todos los clones aislados. La cepa A24 Sabana/174-7510 mostró características antigénicas similares con alta especificidad frente al suero homólogo de cepa y un considerable grado de fijación con el suero del subtipo A24. Para la cepa A27 Cundinamarca/75-8046, se observó alto grado de identidad antigénica con el subtipo A27. En el caso de la cepa A Antioquia/76-8381 las poblaciones virales de los clones tomados presentaron altas relaciones antigénicas con los sueros de los subtipos A24 y A Sabana/74. Los estudios aplicados a la cepa A Córdoba/76-8480 mostraron poblaciones antigénicas variables. Se concluye que a nivel de campo existen varias cepas virales del tipo A relacionadas antigénicamente con diferentes subtipos, lo cual exige mantener una vigilancia permanente de las características de las cepas utilizadas en vacunas, frente a nuevas cepas aisladas en el campo, aplicando parámetros inmunológicosGanado de doble propósito-Ganaderia doble proposit

Arqueologia de Transição: O Mundo Funerário

Actas do II Congresso Internacional Sobre Arqueologia de Transição (29 de Abril a 1 de Maio 2013