Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Chromosome polymorphism in Ctenomys minutus (Rodentia-Octodontidae)

A sample of 101 specimens of Ctenomys minutus was collected along its geographic range. Eight karyotypes (2n = 42, 45, 46a, 46b, 47, 48, 49 and 50) were found. The chromosome polymorphisms were due to Robertsonian rearrangements and tandem fusions. The distribution of polymorphisms indicated three population blocks: northern (2n = 49 and 50), central (2n = 46a, 47, and 48) and southern (2n = 42, 45, and 46b). These findings suggest that this species is undergoing a speciation process due to geographic isolation.

Microsatellite instability and cytogenetic survey in myeloid leukemias

Microsatellites are short tandem repeat sequences dispersed throughout the genome. Their instability at multiple genetic loci may result from mismatch repair errors and it occurs in hereditary nonpolyposis colorectal cancer. This instability is also found in many sporadic cancers. In order to evaluate the importance of this process in myeloid leukemias, we studied five loci in different chromosomes of 43 patients, 22 with chronic myelocytic leukemia (CML) in the chronic phase, 7 with CML in blast crisis, and 14 with acute myeloid leukemia (AML), by comparing leukemic DNA extracted from bone marrow and constitutional DNA obtained from buccal epithelial cells. Only one of the 43 patients (2.1%), with relapsed AML, showed an alteration in the allele length at a single locus. Cytogenetic analysis was performed in order to improve the characterization of leukemic subtypes and to determine if specific chromosome aberrations were associated with the presence of microsatellite instability. Several chromosome aberrations were observed, most of them detected at diagnosis and during follow-up of the patients, according to current literature. These findings suggest that microsatellite instability is an infrequent genetic event in myeloid leukemias, adding support to the current view that the mechanisms of genomic instability in solid tumors differ from those observed in leukemias, where specific chromosome aberrations seem to play a major role.

Control of the rat angiotensin I converting enzyme gene by CRE-like sequences

We characterized the role of potential cAMP-responsive elements (CRE) in basal and in induced angiotensin converting enzyme (ACE) gene promoter activity in order to shed light on the regulation of somatic ACE expression. We identified stimulators and repressors of basal expression between 122 and 288 bp and between 415 and 1303 bp upstream from the transcription start site, respectively, using a rabbit endothelial cell (REC) line. These regions also contained elements associated with the response to 8BrcAMP. When screening for CRE motifs we found pCRE, a proximal sequence between 209 and 222 bp. dCRE, a distal tandem of two CRE-like sequences conserved between rats, mice and humans, was detected between 834 and 846 bp. Gel retardation analysis of nuclear extracts of REC indicated that pCRE and dCRE bind to the same protein complexes as bound by a canonical CRE. Mutation of pCRE and dCRE in REC established the former as a positive element and the latter as a negative element. In 293 cells, a renal cell line, pCRE and dCRE are negative regulators. Co-transfection of ATF-2 or ATF-2 plus c-Jun repressed ACE promoter activity, suggesting that the ACE gene is controlled by cellular stress. Although mapping of cAMP responsiveness was consistent with roles for pCRE and dCRE, mutation analysis indicated that they were not required for cAMP responsiveness. We conclude that the basal activity of the somatic ACE promoter is controlled by proximal and distal CREs that can act as enhancers or repressors depending on the cell context.

Effect of Helicobacter pylori infection and acid blockade by lansoprazole on clarithromycin bioavailability

The effect of proton pump inhibitors and Helicobacter pylori infection on the bioavailability of antibiotics is poorly understood. We determined the effects of 5-day oral administration of 60 mg lansoprazole on the bioavailability of clarithromycin in individuals with and without H. pylori infection. Thirteen H. pylori-infected and 10 non-infected healthy volunteers were enrolled in a study with an open-randomized two-period crossover design and a 21-day washout period between phases. Plasma concentrations of clarithromycin in subjects with and without lansoprazole pre-treatment were measured by liquid chromatography coupled to a tandem mass spectrometer. Clarithromycin Cmax and AUC0-10 h were significantly reduced after lansoprazole administration. In addition, lansoprazole treatment of the H. pylori-positive group resulted in a statistically significant greater reduction in Cmax (40 vs 15%) and AUC0-10 h (30 vs 10%) compared to lansoprazole-treated H. pylori-negative subjects. Thus, treatment with lansoprazole for 5 days reduced bioavailability of clarithromycin, irrespective of H. pylori status. This reduction, however, was even more pronounced in H. pylori-infected individuals.

No evidence of association of MUC-1 genetic polymorphism with embryo implantation failure

Pregnancy loss can be caused by several factors involved in human reproduction. Although up to 50% of cases remain unexplained, it has been postulated that the major cause of failed pregnancy is an error of embryo implantation. Transmembrane mucin-1 (MUC-1) is a glycoprotein expressed on the endometrial cell surface which acts as a barrier to implantation. The gene that codes for this molecule is composed of a polymorphic tandem repeat of 60 nucleotides. Our objective was to determine if MUC-1 genetic polymorphism is associated with implantation failure in patients with a history of recurrent abortion. The study was conducted on 10 women aged 25 to 35 years with no history of successful pregnancy and with a diagnosis of infertility. The control group consisted of 32 patients aged 25 to 35 years who had delivered at least two full-term live children and who had no history of abortions or fetal losses. MUC-1 amplicons were obtained by PCR and observed on agarose and polyacrylamide gel after electrophoresis. Statistical analysis showed no significant difference in the number of MUC-1 variable number of tandem repeats between these groups (P > 0.05). Our results suggest that there is no effect of the polymorphic MUC-1 sequence on the implantation failure. However, the data do not exclude MUC-1 relevance during embryo implantation. The process is related to several associated factors such as the mechanisms of gene expression in the uterus, specific MUC-1 post-translational modifications and appropriate interactions with other molecules during embryo implantation.

Meditationes sancti evangelii 20

Arkit: A-B4.

Do Caucasian and Asian clocks tick differently?

The Period 3 and Clock genes are important components of the mammalian molecular circadian system. Studies have shown association between polymorphisms in these clock genes and circadian phenotypes in different populations. Nevertheless, differences in the pattern of allele frequency and genotyping distribution are systematically observed in studies with different ethnic groups. To investigate and compare the pattern of distribution in a sample of Asian and Caucasian populations living in Brazil, we evaluated two well-studied polymorphisms in the clock genes: a variable number of tandem repeats (VNTR) in PER3 and a single nucleotide polymorphism (SNP) in CLOCK. The aim of this investigation was to search for clues about human evolutionary processes related to circadian rhythms. We selected 109 Asian and 135 Caucasian descendants. The frequencies of the shorter allele (4 repeats) in the PER3 gene and the T allele in the CLOCK gene among Asians (0.86 and 0.84, respectively) were significantly higher than among Caucasians (0.69 and 0.71, respectively). Our results directly confirmed the different distribution of these polymorphisms between the Asian and Caucasian ethnic groups. Given the genetic differences found between groups, two points became evident: first, ethnic variations may have implications for the interpretation of results in circadian rhythm association studies, and second, the question may be raised about which evolutionary conditions shaped these genetic clock variations.

Proteomic analysis of cytosolic proteins associated with petite mutations in Candida glabrata

The incidence of superficial or deep-seated infections due to Candida glabrata has increased markedly, probably because of the low intrinsic susceptibility of this microorganism to azole antifungals and its relatively high propensity to acquire azole resistance. To determine changes in the C. glabrata proteome associated with petite mutations, cytosolic extracts from an azole-resistant petite mutant of C. glabrata induced by exposure to ethidium bromide, and from its azole-susceptible parent isolate were compared by two-dimensional polyacrylamide gel electrophoresis. Proteins of interest were identified by peptide mass fingerprinting or sequence tagging using a matrix-assisted laser desorption/ionization tandem time-of-flight mass spectrometer. Tryptic peptides from a total of 160 Coomassie-positive spots were analyzed for each strain. Sixty-five different proteins were identified in the cytosolic extracts of the parent strain and 58 in the petite mutant. Among the proteins identified, 10 were higher in the mutant strain, whereas 23 were lower compared to the parent strain. The results revealed a significant decrease in the enzymes associated with the metabolic rate of mutant cells such as aconitase, transaldolase, and pyruvate kinase, and changes in the levels of specific heat shock proteins. Moreover, transketolase, aconitase and catalase activity measurements decreased significantly in the ethidium bromide-induced petite mutant. These data may be useful for designing experiments to obtain a better understanding of the nuclear response to impairment of mitochondrial function associated with this mutation in C. glabrata.

Influence of eNOS gene polymorphism on cardiometabolic parameters in response to physical training in postmenopausal women

The health-promoting effects of exercise training (ET) are related to nitric oxide (NO) production and/or its bioavailability. The objective of this study was to determine whether single nucleotide polymorphism of the endothelial NO synthase (eNOS) gene at positions -786T>C, G894T (Glu298Asp) and at the variable number of tandem repeat (VNTR) Intron 4b/a would interfere with the cardiometabolic responses of postmenopausal women submitted to physical training. Forty-nine postmenopausal women were trained in sessions of 30-40 min, 3 days a week for 8 weeks. Genotypes, oxidative stress status and cardiometabolic parameters were then evaluated in a double-blind design. Both systolic and diastolic blood pressure values were significantly reduced after ET, which was genotype-independent. However, women without eNOS gene polymorphism at position -786T>C (TT genotype) and Intron 4b/a (bb genotype) presented a better reduction of total cholesterol levels (-786T>C: before = 213 ± 12.1, after = 159.8 ± 14.4, Δ = -24.9% and Intron 4b/a: before = 211.8 ± 7.4, after = 180.12 ± 6.4 mg/dL, Δ = -15%), and LDL cholesterol (-786T>C: before = 146.1 ± 13.3, after = 82.8 ± 9.2, Δ = -43.3% and Intron 4b/a: before = 143.2 ± 8, after = 102.7 ± 5.8 mg/dL, Δ = -28.3%) in response to ET compared to those who carried the mutant allele. Superoxide dismutase activity was significantly increased in trained women whereas no changes were observed in malondialdehyde levels. Women without eNOS gene polymorphism at position -786T>C and Intron 4b/a showed a greater reduction of plasma cholesterol levels in response to ET. Furthermore, no genotype influence was observed on arterial blood pressure or oxidative stress status in this population.

Association of MICA gene polymorphisms with liver fibrosis in schistosomiasis patients in the Dongting Lake region

Major histocompatibility complex class I chain-related A (MICA) is a highly polymorphic gene located within the MHC class I region of the human genome. Expressed as a cell surface glycoprotein, MICA modulates immune surveillance by binding to its cognate receptor on natural killer cells, NKG2D, and its genetic polymorphisms have been recently associated with susceptibility to some infectious diseases. We determined whether MICA polymorphisms were associated with the high rate of Schistosoma parasitic worm infection or severity of disease outcome in the Dongting Lake region of Hunan Province, China. Polymerase chain reaction-sequence specific priming (PCR-SSP) and sequencing-based typing (SBT) were applied for high-resolution allele typing of schistosomiasis cases (N = 103, age range = 36.2-80.5 years, 64 males and 39 females) and healthy controls (N = 141, age range = 28.6-73.3 years, 73 males and 68 females). Fourteen MICA alleles and five short-tandem repeat (STR) alleles were identified among the two populations. Three (MICA*012:01/02, MICA*017 and MICA*027) showed a higher frequency in healthy controls than in schistosomiasis patients, but the difference was not significantly correlated with susceptibility to S. japonicum infection (Pc > 0.05). In contrast, higher MICA*A5 allele frequency was significantly correlated with advanced liver fibrosis (Pc < 0.05). Furthermore, the distribution profile of MICA alleles in this Hunan Han population was significantly different from those published for Korean, Thai, American-Caucasian, and Afro-American populations (P < 0.01), but similar to other Han populations within China (P > 0.05). This study provides the initial evidence that MICA genetic polymorphisms may underlie the severity of liver fibrosis occurring in schistosomiasis patients from the Dongting Lake region.

Specific alterations in plasma proteins during depressed, manic, and euthymic states of bipolar disorder

Bipolar disorder (BD) is a common psychiatric mood disorder affecting more than 1-2% of the general population of different European countries. Unfortunately, there is no objective laboratory-based test to aid BD diagnosis or monitor its progression, and little is known about the molecular basis of BD. Here, we performed a comparative proteomic study to identify differentially expressed plasma proteins in various BD mood states (depressed BD, manic BD, and euthymic BD) relative to healthy controls. A total of 10 euthymic BD, 20 depressed BD, 15 manic BD, and 20 demographically matched healthy control subjects were recruited. Seven high-abundance proteins were immunodepleted in plasma samples from the 4 experimental groups, which were then subjected to proteome-wide expression profiling by two-dimensional electrophoresis and matrix-assisted laser desorption/ionization-time-of-flight/time-of-flight tandem mass spectrometry. Proteomic results were validated by immunoblotting and bioinformatically analyzed using MetaCore. From a total of 32 proteins identified with 1.5-fold changes in expression compared with healthy controls, 16 proteins were perturbed in BD independent of mood state, while 16 proteins were specifically associated with particular BD mood states. Two mood-independent differential proteins, apolipoprotein (Apo) A1 and Apo L1, suggest that BD pathophysiology may be associated with early perturbations in lipid metabolism. Moreover, down-regulation of one mood-dependent protein, carbonic anhydrase 1 (CA-1), suggests it may be involved in the pathophysiology of depressive episodes in BD. Thus, BD pathophysiology may be associated with early perturbations in lipid metabolism that are independent of mood state, while CA-1 may be involved in the pathophysiology of depressive episodes.

Development of a rapid method for the determination of antibiotic residues in honey using UPLC-ESI-MS/MS

Abstract An accurate, reliable and fast multianalyte/multiclass ultra-performance liquid chromatography–tandem mass spectrometry (UPLC–MS/MS) method was developed and validated for the simultaneous analysis of 23 pharmaceuticals, belonging to different classes amphenicols, sulfonamides, tetracyclines, in honey samples. The method developed consists of ultrasonic extraction followed by UPLC–ESI–MS/MS with electrospray ionization in both positive mode and negative mode. The influence of the extraction solvents and mobile phase composition on the sensitivity of the method, and the optimum conditions for sample weight and extraction temperature in terms of analyte recovery were extensively studied. The identification of antibiotics is fulfilled by simultaneous use of chromatographic separation using an Acquity BEH C18 (100 mm x 2.1 mm, 1.7 µm) analytical column with a gradient elution of mobile phases and tandem mass spectrometry with an electrospray ionization. Finally, the method developed was applied to the determination of target analytes in honey samples obtained from the local markets and several beekeepers in Muğla, Turkey. Ultrasonic-extraction of pharmaceuticals from honey samples is a well-established technique by UPLC–ESI–MS/MS, the uniqueness of this study lies in the simultaneous determination of a remarkable number of compounds belonging to 23 drug at the sub-nanogram per kilogram level.

Understanding the bioactivity of plant tannins: developments in analysis methods and structure-activity studies

Tannins, typically segregated into two major groups, the hydrolyzable tannins (HTs) and the proanthocyanidins (PAs), are plant polyphenolic secondary metabolites found throughout the plant kingdom. On one hand, tannins may cause harmful nutritional effects on herbivores, for example insects, and hence they work as plants’ defense against plant-eating animals. On the other hand, they may affect positively some herbivores, such as mammals, for example by their antioxidant, antimicrobial, anti-inflammatory or anticarcinogenic activities. This thesis focuses on understanding the bioactivity of plant tannins, their anthelmintic properties and the tools used for the qualitative and quantitative analysis of this endless source of structural diversity. The first part of the experimental work focused on the development of ultra-high performance liquid chromatography−tandem mass spectrometry (UHPLC-MS/MS) based methods for the rapid fingerprint analysis of bioactive polyphenols, especially tannins. In the second part of the experimental work the in vitro activity of isolated and purified HTs and their hydrolysis product, gallic acid, was tested against egg hatching and larval motility of two larval developmental stages, L1 and L2, of a common ruminant gastrointestinal parasite, Haemonchus contortus. The results indicated clear relationships between the HT structure and the anthelmintic activity. The activity of the studied compounds depended on many structural features, including size, functional groups present in the structure, and the structural rigidness. To further understand tannin bioactivity on a molecular level, the interaction between bovine serum albumin (BSA), and seven HTs and epigallocatechin gallate was examined. The objective was to define the effect of pH on the formation on tannin–protein complexes and to evaluate the stability of the formed complexes by gel electrophoresis and MALDI-TOF-MS. The results indicated that more basic pH values had a stabilizing effect on the tannin–protein complexes and that the tannin oxidative activity was directly linked with their tendency to form covalently stabilized complexes with BSA at increased pH.

RECUEIL DES ŒUVRES POÉTIQUES de Jehan Molinet. Ms. in-fol. sur papier de 201 f., demi-rel. v. f, tr. r. (Rel. du XVIIIe siècle.)

Complainte (La) de Grece