The Category-Theoretic Solution of Recursive Domain Equations

Recursive specifications of domains plays a crucial role in denotational semantics as developed by Scott and Strachey and their followers. The purpose of the present paper is to set up a categorical framework in which the known techniques for solving these equations find a natural place. The idea is to follow the well-known analogy between partial orders and categories, generalizing from least fixed-points of continuous functions over cpos to initial ones of continuous functors over $\omega $-categories. To apply these general ideas we introduce Wand's ${\bf O}$-categories where the morphism-sets have a partial order structure and which include almost all the categories occurring in semantics. The idea is to find solutions in a derived category of embeddings and we give order-theoretic conditions which are easy to verify and which imply the needed categorical ones. The main tool is a very general form of the limit-colimit coincidence remarked by Scott. In the concluding section we outline how compatibility considerations are to be included in the framework. A future paper will show how Scott's universal domain method can be included too.

Comparative molecular population genetics of phycoerythrin locus in Prochlorococcus

As the only remainder type of phycobiliproteins in Prochlorococcus, the actual role of phycoerythrin still remains unknown. Previous studies revealed that two different forms of phycoerythrin gene were found in two ecotypes of Prochlorococcus that are specifically adapted to either high light (HL) or low light (LL) conditions. Here we analyze patterns of phycoerythrin nucleotide variation in the HL- and LL-Prochlorococcus populations. Our analyses reveal a significantly greater number of non-synonymous fixed substitutions in peB and peA than expected based on interspecific comparisons. This pattern of excess non-synonymous fixed substitutions is not seen in other five phycoerythrin-related genes (peZ/V/Y/T/S). Several neutrality statistical tests indicate an excess of rare frequency polymorphisms in the LL-Prochlorococcus data, but an excess of intermediate frequency polymorphisms in the HL-Prochlorococcus data. Distributions of the positively selected sites identified using the likelihood ratio test, when mapped onto the phycoerythrin tertiary structure, reveal that HL- and LL-phycoerythrin should be under different selective patterns. These findings may provide insights into the likely role of selection at the phycoerythrin locus and motivate further research to unveil the function of phycoerythrin in Prochlorococcus.

P2BES. Desarrollo de proyectos integrales orientados al desarrollo temprano de productos. Caso del “Elder Assistant”

La enseñanza utilizando proyectos es una metodología activa de aprendizaje de gran eficiencia. En la Universidad Europea se ha lanzado con éxito la implantación de proyectos integrales que abarcan varias asignaturas de un mismo curso como una herramienta poderosa de enseñanza. Uno de los posibles pasos futuros de esta metodología es que estos proyectos sirvan para el desarrollo temprano de productos o de prototipos, lo que podríamos llamar Product and Project Based Engineering School o P2BES. En este artículo se narran las experiencias obtenidas en el caso de un prototipo concreto, un sistema básico de asistencia a ancianos llamado “Elder Assistant”. En este artículo también se han identificado un conjunto de aspectos a evaluar sobre el rol del profesor en este tipo de proyectos.

Human papillomavirus detection in women with and without human immunodeficiency virus infection in Colombia

Background: HIV infection leads to a decreasing immune response, thereby facilitating the appearance of other infections, one of the most important ones being HPV. However, studies are needed for determining associations between immunodeficiency caused by HIV and/or the presence of HPV during the course of cervical lesions and their degree of malignancy. This study describes the cytological findings revealed by the Papanicolaou test, laboratory characteristics and HPV molecular profile in women with and without HIV infection. Methods: A total of 216 HIV-positive and 1,159 HIV-negative women were invited to participate in the study; PCR was used for the molecular detection of HPV in cervical samples. Statistical analysis (such as percentages, Chi-square test and Fisher's exact test when applicable) determined human papillomavirus (HPV) infection frequency (single and multiple) and the distribution of six types of high-risk-HPV in women with and without HIV infection. Likewise, a logistic regression model was run to evaluate the relationship between HIV-HPV infection and different risk factors. Results: An association was found between the frequency of HPV infection and infection involving 2 or more HPV types (also known as multiple HPV infection) in HIV-positive women (69.0% and 54.2%, respectively); such frequency was greater than that found in HIV-negative women (44.3% and 22.7%, respectively). Statistically significant differences were observed between both groups (p = 0.001) regarding HPV presence (both in infection and multiple HPV infection). HPV-16 was the most prevalent type in the population being studied (p = 0.001); other viral types had variable distribution in both groups (HIV-positive and HIV-negative). HPV detection was associated with <500 cell/mm(3) CD4-count (p = 0.004) and higher HIV-viral-load (p = 0.001). HPV-DNA detection, <200 cell/mm(3) CD4-count (p = 0.001), and higher HIV-viral-load (p = 0.001) were associated with abnormal cytological findings. Conclusions: The HIV-1 positive population in this study had high multiple HPV infection prevalence. The results for this population group also suggested a greater association between HPV-DNA presence and cytological findings. HPV detection, together with low CD4 count, could represent useful tools for identifying HIV-positive women at risk of developing cervical lesions.

Cuaderno de diseño regional occidente departamento de Cauca.

190 hojas.

Asesoría en diseño textil a los artesanos de los municipios de Guateque, Tenza, La capilla, San Mateo y Boavita en el departamento de Boyacá.

[40] hojas : ilustraciones, fotografías.

Asesoría de diseño en los oficios de tejeduría en el municipio de San Agustín, inspecciones Obando y Estrecho, inspección La Jagua del municipio de Garzón y Vereda Belén del municipio La Plata: cestería, trabajos en bambú y cuero en el municipio de San Agustín, sombrería en los municipios de Suaza, Acevedo y Palermo, departamento del Huila.

[60] hojas : ilustraciones, fotografías.

Informe de Viaje. Municipios de Sogamoso y Tota Departamento de Boyacá.

12 hojas : ilustraciones.

Asesoría en el mejoramiento, rediseño y desarrollo de productos en los oficios de muñequería en tela y amero de maíz, retazos en yute, bordados, títeres y cestería en calceta de plátano, ciudad de Ibagué, departamento del Tolima.

10 hojas.