Towards a Unified Framework for Declarative Structured Communications

We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduce a declarative interpretation of the language for structured communications proposed by Honda, Vasconcelos, and Kubo. Distinguishing features of our approach are: the possibility of including partial information (constraints) in the session model; the use of explicit time for reasoning about session duration and expiration; a tight correspondence with logic, which formally relates session execution and linear-time temporal logic formulas

Presentations of transversal valuated matroids

Once this article is published by the JLMS, the Elements version will need to bear a statement of the following form: "This is the accepted version of the following article: FULL CITE, which has been published in final form at [Link to final article]"Once this article is published by the JLMS, the Elements version will need to bear a statement of the following form: "This is the accepted version of the following article: FULL CITE, which has been published in final form at [Link to final article]

Controlling local thermal gradients at molecular scales with Janus nanoheaters.

The generation and control of heat transport with nanoparticles is an essential objective of thermoplasmonics. Janus nanoparticles consisting of dissimilar materials with contrasting interfacial Kapitza conductance provide a route to control heat transport at the nanoscale. Here we use the recently introduced Atomistic Nodal Approach to map the surface temperature and Kapitza conductance of Janus nanoparticles to individual atoms. We show that the transition in the thermal transport properties between the hydrophobic and hydrophilic interfaces is exceptionally abrupt, occurring over length scales below 1 nm. We demonstrate the generality of this result using coarse-grained and all-atom models of gold nanoparticles. Further, we show how this behaviour provides a route to sustain significant temperature differences, on the order of tens of degrees for μW heat rates, between adjacent molecular layers attached to heated gold nanoparticles. Our work provides fundamental insight into nanoscale heat transport and a principle to design heterogeneous Janus nanoparticles for thermal transport applications

Array based genotyping of medicinal plants from the genera Salvia and Echinacea

One of the main problems of the medicinal herb industry is quality control, since an accurate identification of the herbs is crucial. DNA based markers offer a possibility for accurate identification of medicinal herbs by their genetic composition, which is not affected by agricultural and environmental factors. In this study, an innovative technique called ‘Subtracted Diversity Array’ (SDA) was used to genotype two important medicinal herbs Salvia and Echinacea. The constructed Salvia-specific array was not only capable of fingerprint 15 Salvia species but it was also able to differentiate populations of S. miltiorrhiza which is one of the most popular medicinal herbs in China (used in the treatment of cardiovascular and cerebrovascular diseases). Similarly, the Echinacea-specific array was also able to fingerprint 27 accessions from five different species of this genus. Furthermore, the SDA was able to isolate highly polymorphic sequences some of which were found to be correlated with chemical and morphological profiles obtained from previous studies. The results show that the SDA is not only able to fingerprint effectively species and lines of Salvia and Echinacea but it is a useful technique to find potential DNA markers for non-model plants that could assist in marker assisted selection of future plant breeding programs

Mathematics Teaching Assistants’ Community-Building Activities During Remote Instruction

The need to build community in mathematics learning spaces was exacerbated by the COVID-19 pandemic. This study examined the community-building efforts of mathematics TAs during a dynamically uncertain period and how they engaged in pandemic-sensemaking to make sense of and adapt their community-building efforts for remote instruction. We found that TAs engaged in various community-building activities through the synchronous and asynchronous interactions afforded by the design of the course (e.g., during sections, in office hours), and pandemic-sensemaking enabled them to better understand students’ challenges and adapt their efforts to attend to the challenges with building community

Norma 9000: 22000, ventajas y desventajas en procesos biotecnológicos en la industria de alimentos

Graficas, cronogramasLas normas de estandarización ISO han sido establecidas mundialmente para obtener una calidad estándar en las cual todos los países que tengan la necesidad de obtener materias primas, de otros, tengan la confianza que al momento de adquirirlas, están cumplan con ciertos estándares. Estas normas han evolucionado en todas las industrias hasta llegar a la alimenticia, generando en ella no simplemente la necesidad de obtener productos con calidad, sino además de mejorar continuamente hasta crear alimentos que además de alimentar puedan regenerar la salud de aquellos que los consuman. Esta necesidad ha hecho implementar la norma ISO 22000 en cada proceso, generando con la norma en las industrias que la han implantado, desarrollo o inconvenientes en cada una de ellas.No Abstrac

Epr and magnetic properties on lacamno manganites

Electron paramagnetic resonance (EPR) and AC Susceptibility measurements were carried out as a function of temperature on La0,7Ca0,3MnO3 polycrystalline samples. The samples displayed a transition from paramagnetic-insulator to ferromagnetic-metal at Tc around 261K. Tc was determined from the inverse of the real part of a.c. susceptibility (1/X’) vs temperature, which follows a simple Curie-Weiss behavior. The inverse of the EPR intensity also follows a Curie-Weiss type behavior down toTEPR = 253 K.. The structure of the samples as determined by X-Ray diffraction (XRD) corresponds to a single perovskite phase with orthorhombic unit cell.Electron paramagnetic resonance (EPR) and AC Susceptibility measurements were carried out as a function of temperature on La0,7Ca0,3MnO3 polycrystalline samples. The samples displayed a transition from paramagnetic-insulator to ferromagnetic-metal at Tc around 261K. Tc was determined from the inverse of the real part of a.c. susceptibility (1/X’) vs temperature, which follows a simple Curie-Weiss behavior. The inverse of the EPR intensity also follows a Curie-Weiss type behavior down toTEPR = 253 K.. The structure of the samples as determined by X-Ray diffraction (XRD) corresponds to a single perovskite phase with orthorhombic unit cell

Algunas consideraciones sobre el canal del crédito y la transmisión de tasas de interés en Colombia

Para un Banco Central (BC), es importante identificar los mecanismos por los cuales las medidas de política monetaria afectan sus objetivos finales, bien sea de crecimiento, inflación o empleo. Dichos mecanismos son llamados canales de transmisión, entendiéndolos como aquellos procesos y caminos mediante los cuales las decisiones de política de un BC afectan las variables finales mencionadas. Uno de los canales de transmisión que identifica la teoría económica es el de crédito bancario. Según ésta teoría, los incrementos (descensos) en las tasas de interés de intervención del BC, se trasladan a las tasas de mercado de igual y mayor plazo (tanto de captación como de colocación), generando un descenso (incremento) en la demanda de crédito y, como resultado, los beneficiarios reducen (aumentan) el consumo y la inversión, produciendo una caída (aumento) en la demanda agregada y en los precios2. No obstante, el razonamiento es válido si se cumplen dos supuestos: i) que no exista otra fuente de financiación alternativa que sea sustituta perfecta del crédito bancario y, ii) que dentro del balance de los bancos, no haya otro activo que sea sustituto perfecto del crédito a las empresas. En la medida que estos supuestos no se cumplan, la transmisión de las tasas de intervención del BC hacia las de mercado es menor, el canal del crédito pierde eficiencia, y se hace más difícil para un BC obtener sus objetivos de inflación a través de éste canal de transmisión. En este contexto, el presente trabajo tiene como objetivo detectar los efectos que generan los cambios en las tasas de interés de intervención del Banco de la República (BR) sobre las diferentes tasas de interés del sistema financiero: activas y pasivas3. Es importante aclarar que el alcance de este trabajo es limitado, ya que sólo pretende encontrar las relaciones que existen entre dichas tasas, sin llegar hasta al efecto final que pueda tener sobre la demanda agregada y la inflación. No obstante, las conclusiones del documento puedan servir como punto de partida para un estudio más amplio sobre el canal de crédito. Para tal efecto, en la segunda sección se hace un breve resumen sobre los objetivos y metas de la política monetaria y el canal de crédito bancario. En la tercera se da una descripción de la evolución de los activos del sistema financiero, análisis que permite evaluar si la cartera y los títulos en poder del los bancos son sustitutos imperfectos. También se muestra la evolución de la emisión de los títulos de las principales empresas del sector real, para observar si hay una sustitución de financiamiento por parte de dichas empresas. En la cuarta sección se describen las diferentes tasas de interés que existen en Colombia y se plantea una hipótesis sobre el mecanismo de transmisión de las tasas de intervención del BR hacia las de mercado. Usando la metodología de modelos VAR se valida dicha hipótesis. En la última sección se concluye.

Diversidad de mariposas (Lepidoptera, Papilionoidea) y su relación con el paisaje de alta montaña en los Andes nororientales de Colombia

Diversitat de papallones (Lepidoptera, Papilionoidea) i la seva relació amb el paisatge d’alta muntanya als Andes nord-orientals de Colòmbia La regió andina es caracteritza per acollir una gran varietat d’ecosistemes entre els quals es compten les característiques zones d’alta muntanya, que mostren processos de transformació del sòl accelerats que han convertit els boscos natius en zones agrícoles i ramaderes, la qual cosa ha ocasionant un declivi de la diversitat biològica regional. L’ús d’indicadors de diversitat és adequat per avaluar els canvis en els paisatges d’alta muntanya i les papallones són un dels grups més importants per determinar els canvis que es produeixen en els diferents tipus d’ambients. A l’àrea d’estudi es van establir dotze punts de mostreig als complexos d’erms d’Almorzadero, Santurbán i Tamá de la regió nord-oriental de Colòmbia. Durant la fase de mostreig es van practicar captures d’individus adults de papallones en transsectes de 100 x 4 m en un gradient altitudinal de 500 m. Es van registrar 69 espècies, pertanyents a cinc famílies. Els valors de diversitat de la comunitat de papallones diürnes van variar a les diferents cobertures vegetals associades a cada transsecte. Així, les àrees amb cobertura vegetal conservada (per exemple, bosc dens, arbustos i matolls i erm i suberm) van presentar els valors més alts de diversitat, mentre que les zones amb cobertura alterada (per exemple, bosc fragmentat, pastures i àrees agrícoles) van presentar els valors de diversitat més baixos. Les anàlisis d’estructura de comunitats evidencien que les espècies de papallones endèmiques estan associades a àrees fragmentades a les zones d’alta muntanya. Aquest estudi és el primer del seu tipus que estableix canvis en la diversitat de les papallones en zones d’alta muntanya del nord-est de Colòmbia i s’ha fet amb el propòsit de generar estratègies de conservació en llocs que presenten un alt grau d’endemisme i diversitat.Diversity of butterflies (Lepidoptera, Papilionoidea) and their relationship with the highlands’ landscape in the northeastern Andes of Colombia The Andean region harbors a great variety of ecosystems, including the characteristic high mountain zones. The biological diversity in these zones, however, is declining as the result of changes in land use, particularly the introduction of agriculture and cattle ranching. Changes in the high mountain landscape can be appropriately monitored using diversity indicators such as butterflies, one of the most important indicator species. We chose twelve sampling points in the paramo (high altitude moor) complexes Almorzadero, Santurbán and El Tamá, located in the northeastern region of Colombia to collect adult butterflies within transects of 100 x 4 m, along an altitudinal gradient of 500 m. We recorded 69 species, from five families. Diversity values of the diurnal butterfly communities varied among  the different areas of vegetation coverage associated with each transect. Conserved vegetation coverage (i.e. dense forest, scrublands and scrublands, and paramo and subparamo) showed the highest values of diversity, while  perturbed coverage (i.e. fragmented forests, pastures and agriculture areas) presented the lowest values of diversity. Analysis of the community structure showed that endemic butterfly species were associated with fragmented areas in the high mountains. Findings from this study, the first of its kind to determine changes in butterfly diversity in highlands in northeastern Colombia, may help to generate conservation strategies in places where there is high endemism and diversityLa región andina se caracteriza por albergar una gran variedad de ecosistemas entre los que se cuentan las características zonas de alta montaña, que muestran acelerados procesos de transformación del suelo que han convertido los bosques nativos en zonas agrícolas y ganaderas ocasionando un declive de la diversidad biológica regional. El empleo de indicadores de diversidad es adecuado para evaluar los cambios en los paisajes de alta montaña, siendo las mariposas uno de los grupos más importantes para determinar los cambios que se producen en los diferentes tipos de ambientes. En el área de estudio se establecieron doce puntos de muestreo en los complejos de páramos del Almorzadero, Santurbán y Tamá de la región nororiental de Colombia. Durante la fase de muestreo se realizaron capturas de individuos adultos de mariposas en transectos de 100 x 4 m en un gradiente altitudinal de 500 m. Se registraron 69 especies, pertenecientes a cinco familias. Los valores de diversidad de la comunidad de mariposas diurnas variaron en las diferentes coberturas vegetales asociadas a cada transecto. Así, las áreas con cobertura vegetal conservada (por ejemplo, bosque denso, arbustos y matorrales y páramo y subpáramo) presentaron los valores más altos de diversidad, mientras que las zonas con cobertura alterada (por ejemplo, bosque fragmentado, pastos y áreas agrícolas) presentaron los valores de diversidad más bajos. Los análisis de estructura de comunidades evidencian que las especies de mariposas endémicas están asociadas a áreas fragmentadas en las zonas de alta montaña. Este estudio es el primero de su tipo que establece cambios en la diversidad de las mariposas en zonas de alta montaña del nordeste de Colombia y se ha realizado con el propósito de generar estrategias de conservación en lugares que presentan un alto grado de endemismo y diversidad