Más sobre equivalencias lógicas y distancias entre procesos

Esta tesis se enmarca en el amplio campo de la teoría de la concurrencia. Más específicamente, nos centramos en el estudio de las relaciones de similitud entre procesos concurrentes. Comenzamos estudiando la bisimulación, considerada la más importante de estas relaciones, y vemos después cómo podemos extender nuestros resultados al resto de las semánticas de procesos estudiadas durante las últimas décadas. En particular, nuestra contribución a la comunidad científica, se centra en dos puntos principales: – El desarrollo de una caracterización lógica uniforme de las semánticas de procesos: proponemos un esquema lógico común (enmarcado en la conocida lógica modal de Hennessy-Milner) e incluimos las diferentes semánticas en este esquema, enfatizando las diferencias y similitudes entre ellas, que se presentan del modo más claro posible. – La presentación de una nueva noción de distancia, tanto entre procesos finitos como infinitos: la misma se diferencia de las anteriormente propuestas en su carácter global, que acumula las diferencias que aportan los distintos cómputos, en lugar de quedarnos con la máxima de ellas...

Memoria sobre la fiebre amarilla observada en España desde la entrada del presente siglo hasta el dia de hoy : en que se considera esta enfermedad como exótica, esencialmente contagiosa y trasportable por sus semilla á largas distancias.

Mode of access: Internet.

Colección de tablas de longitudes y ausiliares astronómicas para calcular la longitud por distancias lunares y por el método más breve y sencillo que se conoce hasta el día ... /

Mode of access: Internet.

Escasas distancias registradas a altas velocidades de desplazamientos en los partidos de rugby : ¿nos indican que se juega a baja intensidad?

En el siguiente artículo reflexionaremos sobre las escasas distancias registradas a velocidades de desplazamiento >a los 18 km/h por jugadores de rugby. Estos valores se desprenden de datos empíricos, cuantificación de las mismas, a través de la utilización de un GPS 1 en un total de veintiún (N=21) jugadores pertenecientes a la Unión de Rugby de Buenos Aires (URBA) que juegan en el grupo I. Además de mostrar los datos propios brindados por el GPS y teniendo en cuenta que en el rugby hay acciones físicas muy demandantes, donde no se moviliza la masa corporal propia (peso corporal) o son situaciones realizadas a bajas velocidades de desplazamiento, se partirá de las siguientes preguntas: ¿se realizan acciones de alta intensidad en este deporte? Y si no hay grandes distancias realizadas a altas velocidades de desplazamiento: ¿esto nos indicaría que se juega a baja intensidad?

Escasas distancias registradas a altas velocidades de desplazamientos en los partidos de rugby : ¿nos indican que se juega a baja intensidad?

En el siguiente artículo reflexionaremos sobre las escasas distancias registradas a velocidades de desplazamiento >a los 18 km/h por jugadores de rugby. Estos valores se desprenden de datos empíricos, cuantificación de las mismas, a través de la utilización de un GPS 1 en un total de veintiún (N=21) jugadores pertenecientes a la Unión de Rugby de Buenos Aires (URBA) que juegan en el grupo I. Además de mostrar los datos propios brindados por el GPS y teniendo en cuenta que en el rugby hay acciones físicas muy demandantes, donde no se moviliza la masa corporal propia (peso corporal) o son situaciones realizadas a bajas velocidades de desplazamiento, se partirá de las siguientes preguntas: ¿se realizan acciones de alta intensidad en este deporte? Y si no hay grandes distancias realizadas a altas velocidades de desplazamiento: ¿esto nos indicaría que se juega a baja intensidad?

Escasas distancias registradas a altas velocidades de desplazamientos en los partidos de rugby : ¿nos indican que se juega a baja intensidad?

En el siguiente artículo reflexionaremos sobre las escasas distancias registradas a velocidades de desplazamiento >a los 18 km/h por jugadores de rugby. Estos valores se desprenden de datos empíricos, cuantificación de las mismas, a través de la utilización de un GPS 1 en un total de veintiún (N=21) jugadores pertenecientes a la Unión de Rugby de Buenos Aires (URBA) que juegan en el grupo I. Además de mostrar los datos propios brindados por el GPS y teniendo en cuenta que en el rugby hay acciones físicas muy demandantes, donde no se moviliza la masa corporal propia (peso corporal) o son situaciones realizadas a bajas velocidades de desplazamiento, se partirá de las siguientes preguntas: ¿se realizan acciones de alta intensidad en este deporte? Y si no hay grandes distancias realizadas a altas velocidades de desplazamiento: ¿esto nos indicaría que se juega a baja intensidad?

Efectos de la microestructura sobre la transmisión de neutrones en materiales de interés nuclear.

Cuando un haz policromático de neutrones pasa a través de un material, los neutrones de distintas longitudes de onda son atenuados en formas muy diferentes. Como resultado, el espectro de energía del haz de neutrones cambia cuando una muestra es colocada frente el haz. Un análisis detallado del cociente de intensidad entre los haces de transmitido e incidente puede proporcionar una gran cantidad de información acerca de la estructura cristalina y microestructura de la muestra, definidas a través de la sección eficaz total del material. Para neutrones térmicos y sub-térmicos, el ordenamiento y movimiento de los átomos a escala microscópica define en forma precisa la dependencia de esta magnitud con la energía del neutrón incidente. Así, la variación con la energía de la sección eficaz total de los sólidos debido a la estructura de los átomos para distancias entre 0,1 y 100 Å se encuentra bien establecida, y es explotada en el estudio de estructuras cristalinas y de los movimientos vibracionales y rotacionales. Como contrapartida, el efecto de la estructura mesoscópica de los materiales, esto es para dimensiones entre 0,1 y 100 µm, sobre la sección eficaz total ha sido mucho menos estudiado, a pesar de provocar cambios profundos en esta magnitud. En esta Tesis estudiamos y formalizamos la dependencia de la sección eficaz total con características microestructurales tales como la porosidad, y la distribución de tamaños y orientaciones de los granos que componen los materiales, y desarrollamos modelos teóricos a partir de las características microestructurales de muestras de interés nuclear con diferente microestructura. Estos modelos permiten describir la contribuci ón de la componente elástica coherente de la seción eficaz total sobre los espectros de transmisión de neutrones e introducen parámetros como la cantidad de cristales que conforman el material, su estructura cristalina, parámetros de red, mosaicidad, estructura de poros u orientación preferencial de granos, para describir la sección total de materiales monocristalinos o policristalinos. En todos los casos, los modelos desarrollados fueron implementados en una biblioteca basada en el lenguaje computacional MATLAB y fueron comparados con secciones eficaces totales obtenidas en experimentos de transmisión de neutrones realizados en el Departamento de Física de Neutrones del Centro Atómico Bariloche y en ISIS Facility, Reino Unido. Los novedosos modelos microestructurales propuestos describen fielmente los experimentos desarrollados sobre muestras con distinta microestructura, lo que permite el empleo de los mismos en un código de refinamiento sobre los datos experimentales. Aquí, desarrollamos herramientas computacionales que ajustan por cuadrados mínimos no lineales los modelos paramétricos representativos de cada microestructura, sobre la sección eficaz total o la transmisión experimental, para determinar parámetros microestructurales de la muestra a partir de experimentos de transmisión de neutrones con resolución en longitud de onda. Los resultados son de particular relevancia para la interpretación y el análisis cuantitativo de las imágenes realizadas por la técnica de radiografía neutrónica con resolución en energía, que ha recibido un gran impulso en años recientes.

Efectos de la microestructura sobre la transmisión de neutrones en materiales de interés nuclear.

Cuando un haz policromático de neutrones pasa a través de un material, los neutrones de distintas longitudes de onda son atenuados en formas muy diferentes. Como resultado, el espectro de energía del haz de neutrones cambia cuando una muestra es colocada frente el haz. Un análisis detallado del cociente de intensidad entre los haces de transmitido e incidente puede proporcionar una gran cantidad de información acerca de la estructura cristalina y microestructura de la muestra, definidas a través de la sección eficaz total del material. Para neutrones térmicos y sub-térmicos, el ordenamiento y movimiento de los átomos a escala microscópica define en forma precisa la dependencia de esta magnitud con la energía del neutrón incidente. Así, la variación con la energía de la sección eficaz total de los sólidos debido a la estructura de los átomos para distancias entre 0,1 y 100 Å se encuentra bien establecida, y es explotada en el estudio de estructuras cristalinas y de los movimientos vibracionales y rotacionales. Como contrapartida, el efecto de la estructura mesoscópica de los materiales, esto es para dimensiones entre 0,1 y 100 µm, sobre la sección eficaz total ha sido mucho menos estudiado, a pesar de provocar cambios profundos en esta magnitud. En esta Tesis estudiamos y formalizamos la dependencia de la sección eficaz total con características microestructurales tales como la porosidad, y la distribución de tamaños y orientaciones de los granos que componen los materiales, y desarrollamos modelos teóricos a partir de las características microestructurales de muestras de interés nuclear con diferente microestructura. Estos modelos permiten describir la contribuci ón de la componente elástica coherente de la seción eficaz total sobre los espectros de transmisión de neutrones e introducen parámetros como la cantidad de cristales que conforman el material, su estructura cristalina, parámetros de red, mosaicidad, estructura de poros u orientación preferencial de granos, para describir la sección total de materiales monocristalinos o policristalinos. En todos los casos, los modelos desarrollados fueron implementados en una biblioteca basada en el lenguaje computacional MATLAB y fueron comparados con secciones eficaces totales obtenidas en experimentos de transmisión de neutrones realizados en el Departamento de Física de Neutrones del Centro Atómico Bariloche y en ISIS Facility, Reino Unido. Los novedosos modelos microestructurales propuestos describen fielmente los experimentos desarrollados sobre muestras con distinta microestructura, lo que permite el empleo de los mismos en un código de refinamiento sobre los datos experimentales. Aquí, desarrollamos herramientas computacionales que ajustan por cuadrados mínimos no lineales los modelos paramétricos representativos de cada microestructura, sobre la sección eficaz total o la transmisión experimental, para determinar parámetros microestructurales de la muestra a partir de experimentos de transmisión de neutrones con resolución en longitud de onda. Los resultados son de particular relevancia para la interpretación y el análisis cuantitativo de las imágenes realizadas por la técnica de radiografía neutrónica con resolución en energía, que ha recibido un gran impulso en años recientes.

Determinación de carbohidratos totales en bebidas analcohólicas consumidas por adolescentes en la ciudad de Cuenca y Nabón

Este trabajo presenta la determinación del contenido de carbohidratos totales en treinta bebidas analcohólicas altamente consumidas por adolescentes escolarizados de la ciudad de Cuenca y Nabón, por medio de la cual se identificaron las bebidas analcohólicas con el más alto contenido calórico que se consumen localmente y se realizó una comparación con lo declarado en sus respectivas etiquetas. Esta cuantificación se realizó mediante el método de Dubois, aplicado sin clarificación previa y utilizando la curva de calibración de sacarosa como patrón. Debido a la alta concentración de carbohidratos en las bebidas se realizaron diluciones sucesivas de cada muestra, para posteriormente aplicar el método de Dubois: a 1 mLde muestra diluida se añadió 500 µL de fenol y 2,5 mL de ácido sulfúrico concentrado; luego de una incubación en baño de hielo por 30 minutos, se realizó la medición de absorbancias en el espectrofotómetro a una longitud de onda de 490 nm. Tras los cálculos utilizando la curva de calibración, los resultados se expresaron en mg/L y en mg de carbohidratos totales por porción de bebida analcohólica (240 mL). De los resultados obtenidos se identificó al jugo FACUNDO NÉCTAR DE GUAYABA, la COLADA DE AVENA Y DE MAICENA, y el PULP NÉCTAR DE MANGO como aquellas con la concentración más elevada de carbohidratos totales. También se descartó la existencia de una relación entre la concentración de azúcar y el costo de la bebida (r=0,21; R2=0,012).Finalmente no se encontró una diferencia significativa entre los resultados obtenidos y los indicados en las etiquetas (t-test, P=0,19). El método utilizado en el análisis presenta varias ventajas como es la rapidez, sensibilidad a bajas concentraciones de azúcar, los reactivos son baratos y estables, entre otras. Además que las interferencias que presenta pueden ser evitadas sin ningún problema.

Determinación de coliformes totales y E. Coli en muestras de lechuga expendidas en cuatro mercados de la ciudad de Cuenca

A nivel mundial, existe una tendencia hacia el mayor consumo de frutas y hortalizas, motivada por una creciente preocupación de adoptar una dieta más equilibrada. Sin embargo su imagen de alimentos sanos las excluyen de toda sospecha cuando existen problemas de salud debido a la ingestión de alimentos. El objetivo de la presente tesis fue determinar la presencia de coliformes totales y E. coli en lechugas variedad Iceberg que se expenden en cuatro mercados de la ciudad de Cuenca. Los resultados obtenidos sirvieron como aporte al Departamento de Higiene y Control de Mercados del Ilustre Municipio de Cuenca. Este estudio fue de tipo descriptivo longitudinal. Se analizó un total de 96 muestras por duplicado y se realizó la determinación de coliformes totales y Escherichiacoli, mediante la técnica de placas PetrifilmTM. El grado de contaminación de las lechugas fue tolerable ya que solo el 1% de las muestras estuvo contaminada con niveles no aceptables de coliformes totales y el 6,25% con niveles no aceptables de E. coli, según la Recopilación Internacional de Normas Microbiológicas de los Alimentos y Asimilados de Pablo Moragas y col. Además, no se encontró ninguna relación significativa entre el mercado y el lugar de producción con el grado de contaminación de las lechugas. A pesar de la baja prevalencia de contaminación encontrada, la presencia de indicadores de contaminación fecal sugiere que las lechugas podrían tener una inadecuada calidad microbiológica, representando una fuente de ETAs, si la contaminación no es controlada mediante buenas prácticas de higiene

Determinación de la calidad microbiológica del agua de 2 playas: El Tunco y El Sunzal, ubicadas en el departamento de La Libertad, El Salvador

Se utilizó al grupo de bacterias coliformes totales, fecales, Escherichia coli, el recuento de bacterias heterótrofas, la presencia – ausencia de los géneros Pseudomonas y Vibrios para determinar la calidad microbiológica del agua de las playas El Tunco y El Sunzal ubicadas en el departamento de La Libertad. Se realizaron 3 muestreos en cada una de las playas durante los meses de septiembre a diciembre del 2011, abarcando el final de la época lluviosa, la transición y el inicio de la época seca. En total se obtuvieron 54 muestras de agua, 27 por playa. Se estableció una red de estaciones ubicadas en cada sitio de muestreo, 3 por playa y cada estación se muestreo 3 puntos mar adentro a distancias de 10, 20 y 30 metros desde la orilla de la costa. El mayor registro de valores que se obtuvo del recuento de coliformes totales en ambas playas fue de 160,900 NMP/100ml y un menor valor de este grupo de 200 NMP/100ml. Para el grupo de coliformes fecales se registró un valor máximo de 34,000 NMP/100ml. La bacteria Escherichia coli se registró un recuento máximo de 33,000 NMP/100ml y para el recuento de las heterótrofas se registró un valor máximo sobresaliente en las dos playas de 13,000 UFC/100ml, resaltando que la mayoría de los promedios elevados se registraron en la playa El Tunco, además; se registraron en la playa el Tunco las siguientes bacterias: Pseudomona aeruginosa, en 10 muestras, Vibrio alginolyticus en 26 muestras y Vibrio parahaemolyticus en 14 muestras. En el Zunzal: Pseudomona aeruginosa en 20 muestras, Vibrio alginolyticus en 27 muestras y Vibrio parahaemolyticus en 12 muestras. Concluyendo que las playas El Tunco y El Sunzal, no entran dentro de los límites máximos permisibles por la norma mexicana para aguas de uso recreacional, ambas por los resultados obtenidos en el final de época lluviosa, la transición y el inicio de la época seca.

Caracterización microestructural y fisicoquímica de las partículas suspendidas totales (PST) colectadas en un punto de la ciudad de Monterrey.

En este proyecto de tesis se presentan los resultados de la carectización microestructural morfológica y composición fisicoquímica de las partículas suspendidas totales (PST) colectadas en la cuidad de Monterrey.

Informe de ventas totales Expoartesanías 2016.

12 hojas : ilustraciones, gráficos estadísticos.

Evaluación del establecimiento de Moringa oleífera Lam. (Marango) en un sistema de cercas viva en la Finca Santa Rosa - UNA, Managua, Nicaragua

Con el objetivo de evaluar el establecimiento de Moringa oleífera en un sistema de cercas viva, se llevo a cabo un experimento, se realizó en la Finca Santa Rosa perteneciente a la Universidad Nacional Agraria. El estudio se realizo entre Octubre del 2012 y Mayo del 2013. Dos distancias de siembra (1.5 y 2 m) plantadas bajo un diseño de Bloques Completos al Azar fueron evaluadas como tratamientos; a los cuales se les determinaron los siguientes variables: número de yemas y rebrotes, longitud de rebrotes y sobrevivencia de la especie. No se encontraron diferencias significativas entre los tratamientos, para la sobrevivencia al final del estudio; los valores correspondieron al 25.78% para la distancia 2m y 29.69% para la distancia 1.5m. La producción de yemas en la especie mantuvo una tendencia positiva durante el periodo de estudio. No se encontraron diferencias estadísticas para la variable número de rebrotes; demostrando que la producción de rebrotes en la plantación fue relativamente pobre con valores de 3 rebrotes en promedio. Valores medios de 6.27 cm de crecimiento en la longitud de rebrotes, y no determinándose diferencias significativas entre las distancias comparadas. Se concluye que se pueden utilizar las dos distancias de siembra con M. oleífera como postes vivo en cercas perimetrales de áreas de pastoreo; siempre y cuando el establecimiento coincida con la época lluviosa y el manejo sea eficiente.