Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Influence of climate on clinical diagnostic dry eye tests: pilot study

Purpose. To analyze dry eye disease (DED) tests and their consistency in similar nonsymptomatic population samples living in two geographic locations with different climates (Continental vs. Atlantic). Methods. This is a pilot study including 14 nonsymptomatic residents from Valladolid (Continental climate, Spain) and 14 sex-matched and similarly aged residents from Braga (Atlantic climate, Portugal); they were assessed during the same season (spring) of two consecutive years. Phenol red thread test, conjunctival hyperemia, fluorescein tear breakup time, corneal and conjunctival staining, and Schirmer test were evaluated on three different consecutive visits. Reliability was assessed using the intraclass correlation coefficient and weighted kappa (J) coefficient for quantitative and ordinal variables, respectively. Results. Fourteen subjects were recruited in each city with a mean (TSD) age of 63.0 (T1.7) and 59.1 (T0.9) years (p = 0.08) in Valladolid and Braga, respectively. Intraclass correlation coefficient and J values of the tests performed were below 0.69 and 0.61, respectively, for both samples, thus showing moderate to poor reliability. Subsequently, comparisons were made between the results corresponding to the middle and higher outdoor relative humidity (RH) visit in each location as there were no differences in mean temperature (p Q 0.75) despite RH values significantly differing (p e 0.005). Significant (p e 0.05) differences were observed between Valladolid and Braga samples on tear breakup time (middle RH visit, 2.76 T 0.60 vs. 5.26 T 0.64 seconds; higher RH visit, 2.61 T 0.32 vs. 5.78 T 0.88 seconds) and corneal (middle RH, 0.64 T 0.17 vs. 0.14 T 0.10; higher RH, 0.60 T 0.22 vs. 0.0 T 0.0) and conjunctival staining (middle RH, 0.61 T 0.17 vs. 0.14 T 0.08; higher RH, 0.57 T 0.15 vs. 0.18 T 0.09). Conclusions. This pilot study provides initial evidence to support that DED test outcomes assessing the ocular surface integrity and tear stability are climate dependent. Future large-sample studies should support these outcomes also in DED patients. This knowledge is fundamental for multicenter clinical trials. Lack of consistency in diagnostic clinical tests for DED was also corroborated. (Optom Vis Sci 2015;92:e284Ye289)

Scarless laparoscopic repair of epigastric hernia in children

Background Despite the small size of the incision, the scar left by open repair of epigastric hernia in children is unaesthetic. Few laparoscopic approaches to epigastric hernia repair have been previously proposed, but none has gain wide acceptance from pediatric surgeons. In this study, we present our experience with a scarless laparo- scopic approach using a percutaneous suturing technique for epigastric hernia repair in children. Methods Ten consecutive patients presenting with epi- gastric hernia 15 mm or further from the umbilicus were submitted to laparoscopic hernia repair. A 5-mm 308-angle laparoscope is introduced through a umbilical trocar and a 3-mm laparoscopic dissector is introduced through a stab incision in the right flank. After opening and dissecting the parietal peritoneum, the fascial defect is identified and closed using 2–0 polyglactin thread through a percutaneous suturing technique. Intraoperative and postoperative clinical data were collected. Results All patients were successfully submitted to la- paroscopic epigastric hernia repair. Median age at surgery was 79 months old and the median distance from the um- bilicus to the epigastric defect was 4 cm. Operative time ranged from 35 to 75 min. Every hernia was successfully closed without any incidents. Follow-up period ranges from 2 to 12 months. No postoperative complications or recurrence was registered. No scar was visible in these patients. Conclusion This scarless laparoscopic technique for epi- gastric hernia repair is safe and reliable. We believe this technique might become gold standard of care in the near future.

Notas sôbre a meiose de pachylis (Hemipt-Coreidae)

Spermatogonial chromosomes of Pachylis laticornis and Pachylis pharaonis begin anaphasic movement with both ends turned toward the same pole, maintaining this form util they reach the poles. This is a proof that they are provided with one kinetochore at each end. Additional proof for a longitudinal division of each longitudinal half of the anaphase chromosomes of the primary sper- matocytes is presented against the idea of a previous end-toend pairing at metaphase. The longitudinal split of the chromosomes of the secondary spermatocytes which used to be considered as tertiary split is therefore a true secondary split. The heterochromosome in both species passes undivided to one pole in the first division of the spermatocyte. In Pachylis laticornis it appears connected with the poles by means of two fibrils detached from each extremity, what may be considered as indicating a rather premature longitudinal spliting. The behavior of the heterochromosome of Pachylis pharaonis is highly interesting and affords one of the most beautiful evidences in favour of the dicentricity of the chromosomes. Really, in metaphase the heterochromosome appears at the equator of the cell with a more or less round shape. In the beginning of anaphase it becomes fusiform. As anaphase proceeds it distends itself between the autosomal plates forming a long fusiform bridge or sends toward the plates a thick chromosomal thread. The bulky part of the heterochromosome as it passes to one side it reincorporates the substance of the thread in this side. The thread in the other side, which becomes generally thiner, is left with its kinetochore in the cell at this side. The heterochromosome therefore becomes terminally monocentric in the first division of the spermatocyte. Some figures, however, suggest that the heterochromossome from time to time may pass with both kinetochores to one of the cells, as ordinarily happens in the case of Pachylis laticornis. Summing up, other things apart the behavior of the heterochromosome in both species studied here puts out of doubt the question of the existence of two terminally located kinetochores.

Amor i literatura: dos conceptes per a la creació d'una novel·la

Treball de recerca realitzat per una alumna d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit cientí­fic del Jovent l'any 2009. L'amor, l'etern tema en el món literari és el protagonista de la temàtica en què se centra el projecte però, des de les primeres mostres literàries fins l'actualitat són infinites les creacions aparegudes. El treball s'ha centrat en algunes que són una digna representació de l'amor literari en cada època i en diverses parts de la literatura universal. Fins aquí un plantejament que no s'alunya de cap model realitzat dins de la temàtica de la literatura comparada. Però per solucionar la manca d'un fil conductor es va crear una novel·la que és la que guia aquest treball. Així es mostra el que una persona pot extreure llegint diverses obres d'amor literari, i no només sobre teories generals, sinó també d'opinions i pròpies emocions que provoca l'experiència de lectura. De la mà d en Marco, un jove veronès, i la seva vella amiga, la bibliotecària Sophie, es guia al lector a través d'un viatge que sorgeix de les primeres mostres d'amor escrit i arriba fins als nostres dies.

Immune system's role in viral encephalitis.

Viral infections can be a major thread for the central nervous system (CNS), therefore, the immune system must be able to mount a highly proportionate immune response, not too weak, which would allow the virus to proliferate, but not too strong either, to avoid collateral damages. Here, we aim at reviewing the immunological mechanisms involved in the host defense in viral CNS infections. First, we review the specificities of the innate as well as the adaptive immune responses in the CNS, using several examples of various viral encephalitis. Then, we focus on three different modes of interactions between viruses and immune responses, namely human Herpes virus-1 encephalitis with the defect in innate immune response which favors this disease; JC virus-caused progressive multifocal leukoencephalopathy and the crucial role of adaptive immune response in this example; and finally, HIV infection with the accompanying low grade chronic inflammation in the CNS in some patients, which may be an explanation for the presence of cognitive disorders, even in some well-treated HIV-infected patients. We also emphasize that, although the immune response is generally associated with viral replication control and limited cellular death, an exaggerated inflammatory reaction can lead to tissue damage and can be detrimental for the host, a feature of the immune reconstitution inflammatory syndrome (IRIS). We will briefly address the indication of steroids in this situation.

Alineamiento de secuencias genéticas en procesadores multicore

Este trabajo analiza el rendimiento del algoritmo de alineamiento de secuencias conocido como Needleman-Wunsch, sobre 3 sistemas de cómputo multiprocesador diferentes. Se analiza y se codifica el algoritmo serie usando el lenguaje de programación C y se plantean una serie de optimizaciones con la finalidad de minimizar el volumen y el tiempo de cómputo. Posteriormente, se realiza un análisis de las prestaciones del programa sobre los diferentes sistemas de cómputo. En la segunda parte del trabajo, se paraleliza el algoritmo serie y se codifica ayudándonos de OpenMP. El resultado son dos variantes del programa que difieren en la relación entre la cantidad de cómputo y la de comunicación. En la primera variante, la comunicación entre procesadores es poco frecuente y se realiza tras largos periodos de ejecución (granularidad gruesa). En cambio, en la segunda variante las tareas individuales son relativamente pequeñas en término de tiempo de ejecución y la comunicación entre los procesadores es frecuente (granularidad fina). Ambas variantes se ejecutan y analizan en arquitecturas multicore que explotan el paralelismo a nivel de thread. Los resultados obtenidos muestran la importancia de entender y saber analizar el efecto del multicore y multithreading en el rendimiento.

Factores de rendimiento en entornos multicore

Este documento refleja el estudio de investigación para la detección de factores que afectan al rendimiento en entornos multicore. Debido a la gran diversidad de arquitecturas multicore se ha definido un marco de trabajo, que consiste en la adopción de una arquitectura específica, un modelo de programación basado en paralelismo de datos, y aplicaciones del tipo Single Program Multiple Data. Una vez definido el marco de trabajo, se han evaluado los factores de rendimiento con especial atención al modelo de programación. Por este motivo, se ha analizado la librería de threads y la API OpenMP para detectar aquellas funciones sensibles de ser sintonizadas al permitir un comportamiento adaptativo de la aplicación al entorno, y que dependiendo de su adecuada utilización han de mejorar el rendimiento de la aplicación.

Juli Cèsar, tirà i visionari? : l'esfondrament de la República romana

Aquest treball emmarca la vida de Juli Cèsar en el procés d'esfondrament de la República romana i la guerra civil. La seva vida n'és el fil conductor. També hi ha anàlisis descontextualitzades d'aquesta vida (la lluita entre optimates i populares, els mandats extraordinaris, la figura dels tribuns de la plebs i l'imperialisme romà), necessaris per a entendre aquest pas de República a Principat.

Electron cryo-microscopy reveals mechanism of action of propranolol on artificial membranes.

The pharmacological activity of several amphiphilic drugs is often related to their ability to interact with biological membranes. Propranolol is an efficient multidrug resistance (MDR) modulator; it is a nonselective beta-blocker and is thought to reduce hypertension by decreasing the cardiac frequency and thus blood pressure. It is used in drug delivery studies in order to treat systemic hypertension. We are interested in the interaction of propranolol with artificial membranes, as liposomes of controllable size are used as biocompatible and protective structures to encapsulate labile molecules, such as proteins, nucleic acids or drugs, for pharmaceutical, cosmetic or chemical applications. We present here a study of the interaction of propranolol, a cationic surfactant, with pure egg phosphatidylcholine (EPC) vesicles. The gradual transition from liposome to micelle of EPC vesicles in the presence of propranolol was monitored by time-resolved electron cryo-microscopy (cryo-EM) under different experimental conditions. The liposome-drug interaction was studied with varying drug/lipid (D/L) ratios and different stages were captured by direct thin-film vitrification. The time-series cryo-EM data clearly illustrate the mechanism of action of propranolol on the liposome structure: the drug disrupts the lipid bilayer by perturbing the local organization of the phospholipids. This is followed by the formation of thread-like micelles, also called worm-like micelles (WLM), and ends with the formation of spherical (globular) micelles. The overall reaction is slow, with the process taking almost two hours to be completed. The effect of a monovalent salt was also investigated by repeating the lipid-surfactant interaction experiments in the presence of KCl as an additive to the lipid/drug suspension. When KCl was added in the presence of propranolol the overall reaction was the same but with slower kinetics, suggesting that this monovalent salt affects the general lipid-to-micelle transition by stabilizing the membrane, presumably by binding to the carbonyl chains of the phosphatidylcholine.

Gestión de proyectos : enfoque más comercial de la fase de definición de un proyecto informático

El desarrollo de este Trabajo, identificado por los diferentes capítulos que lo componen, se ha definido siguiendo un hilo conductor que nos permite desgranar la Gestión de Proyectos informáticos, y de esta manera poder hacer una mejor penetración en su fase de definición, para poder aportar mejoras en su enfoque más comercial.Esta fase engloba áreas tales como definir el objeto del proyecto, fijar objetivos, acordar presupuestos, etc., es decir, esta fase de definición del proyecto representa su mismo fundamento. Por lo tanto, la manera en qué se lleve a cabo, marcará la pauta para el resto del proyecto. Profundizando en la gestión de Proyectos podemos evidenciar que la fase de definición se puede considerar una de las fases más importante de cualquier proyecto. A menos que se lleve a cabo correctamente, el proyecto tiene pocas probabilidades de éxito.Por lo tanto, el planteamiento de este Trabajo, está basado en un guión que da una visión general de la Gestión de Proyectos, para posteriormente profundizar en el enfoque más comercial de la fase de definición, de una manera natural.

Opioids and the skin--where do we stand?

The common ectodermal origin of the skin and nervous systems can be expected to predict likely interactions in the adult. Over the last couple of decades much progress has been made to elucidate the nature of these interactions, which provide multidirectional controls between the centrally located brain and the peripherally located skin and immune system. The opioid system is an excellent example of such an interaction and there is growing evidence that opioid receptors (OR) and their endogenous opioid agonists are functional in different skin structures, including peripheral nerve fibres, keratinocytes, melanocytes, hair follicles and immune cells. Greater knowledge of these skin-associated opioid interactions will be important for the treatment of chronic and acute pain and pruritus. Topical treatment of the skin with opioid ligands is particularly attractive as they are active with few side effects, especially if they cannot cross the blood-brain barrier. Moreover, cutaneous activation of the opioid system (e.g. by peripheral nerves, cutaneous and immune cells, especially in inflamed and damaged skin) can influence cell differentiation and apoptosis, and thus may be important for the repair of damaged skin. While many of the pieces of this intriguing puzzle remain to be found, we attempt in this review to weave a thread around available data to discuss how the peripheral opioid system may impact on different key players in skin physiology and pathology.

Using petri nets to specify and execute missions for autonomous underwater vehicles

This paper presents the design and implementation of a mission control system (MCS) for an autonomous underwater vehicle (AUV) based on Petri nets. In the proposed approach the Petri nets are used to specify as well as to execute the desired autonomous vehicle mission. The mission is easily described using an imperative programming language called mission control language (MCL) that formally describes the mission execution thread. A mission control language compiler (MCL-C) able to automatically translate the MCL into a Petri net is described and a real-time Petri net player that allows to execute the resulting Petri net onboard an AUV are also presented

Flota de arrastre de fondo de menor escala en la Región Tumbes

Los problemas críticos de la pesquería de arrastre de menor escala, son las capturas de ejemplares juveniles, alta presencia de descartes, pesca incidental o accesoria y conflictos con los pescadores artesanales que usan redes de enmalle cortineras. En toda la zona de estudio, los índices de captura por unidad de esfuerzo (CPUE) fue 142,4 kg/h y 477,5 kg/lance, bycatch por unidad de esfuerzo (BPUE) fue 27,2 kg/h y 91,1 kg/lance. Los mayores CPUE fueron en la zona sur dentro de las 5 mn con 199,0 kg/h y 617,8 kg/lance. La composición de la captura relativa al peso estuvo dominada por el falso volador (Prionotus stephanophrys, 24,6%) y carajito (Diplectrum conceptione, 21,4%). Las especies incidentales más importantes fueron espejo (Selene peruviana, 9,8%), bereche (Larimus pacificus, 9,3%), cachema (Cynoscion analis, 4,0%), chiri (Peprilus medius, 2,9%), lenguado de boca chica (Etropus ectenes, 2,5%), doncella (Hemanthias peruanus, 2,1%). El descarte fue 19,1% de la captura, los principales recursos fueron merluza (Merluccius gayi peruanus, 39,1%), lengüeta (Symphurus sechurae, 10,9%), morena (Muraena clepsidra, 4,9%), pez hojita (Chloroscombrus orqueta, 4,8%), otras especies 31,5% (incluyendo restos de peces y equinodermos). El índice de impacto al ecosistema marino fue de 3,7 (1: no favorable al 10: favorable). Por lo que es un arte de pesca no amigable con el ecosistema marino que no debe usarse dentro del área costera

Control d'una bobinadora automàtica

Un dels problemes típics de regulació en el camp de l’automatització industrial és el control de velocitat lineal d’entrada del fil a les bobines, ja que com més gruix acumulem a igual velocitat de rotació de la bobina s’augmenta notablement la velocitat lineal d’entrada del fil, aquest desajust s’ha de poder compensar de forma automàtica per aconseguir una velocitat d’entrada constant. Aquest problema de regulació de velocitats és molt freqüent i de difícil control a la indústria on intervé el bobinat d’algun tipus de material com cablejat, fil, paper, làmines de planxa, tubs, etc... Els dos reptes i objectius principals són, primer, la regulació de la velocitat de rotació de la bobina per aconseguir una velocitat lineal del fil d’entrada, i segon, mitjançant el guiatge de l’alimentació de fil a la bobina, aconseguir un repartiment uniforme de cada capa de fil. El desenvolupament consisteix amb l’automatització i control d’una bobinadora automàtica mitjançant la configuració i programació de PLC’s, servomotors i encoders. Finalment es farà el muntatge pràctic sobre una bancada per verificar i simular el seu correcte funcionament que ha de donar solució a aquests problemes de regulació de velocitats. Com a conclusions finals s’han aconseguit els objectius i una metodologia per fer una regulació de velocitats de rotació per bobines, amb accionaments de servomotors amb polsos, i a nivell de coneixements he aconseguit dominar les aplicacions d’aquest tipus d’accionaments aplicats a construccions mecàniques.