Real-time Task-Splitting scheduling algorithms framework

Nos dias de hoje, os sistemas de tempo real crescem em importância e complexidade. Mediante a passagem do ambiente uniprocessador para multiprocessador, o trabalho realizado no primeiro não é completamente aplicável no segundo, dado que o nível de complexidade difere, principalmente devido à existência de múltiplos processadores no sistema. Cedo percebeu-se, que a complexidade do problema não cresce linearmente com a adição destes. Na verdade, esta complexidade apresenta-se como uma barreira ao avanço científico nesta área que, para já, se mantém desconhecida, e isto testemunha-se, essencialmente no caso de escalonamento de tarefas. A passagem para este novo ambiente, quer se trate de sistemas de tempo real ou não, promete gerar a oportunidade de realizar trabalho que no primeiro caso nunca seria possível, criando assim, novas garantias de desempenho, menos gastos monetários e menores consumos de energia. Este último fator, apresentou-se desde cedo, como, talvez, a maior barreira de desenvolvimento de novos processadores na área uniprocessador, dado que, à medida que novos eram lançados para o mercado, ao mesmo tempo que ofereciam maior performance, foram levando ao conhecimento de um limite de geração de calor que obrigou ao surgimento da área multiprocessador. No futuro, espera-se que o número de processadores num determinado chip venha a aumentar, e como é óbvio, novas técnicas de exploração das suas inerentes vantagens têm de ser desenvolvidas, e a área relacionada com os algoritmos de escalonamento não é exceção. Ao longo dos anos, diferentes categorias de algoritmos multiprocessador para dar resposta a este problema têm vindo a ser desenvolvidos, destacando-se principalmente estes: globais, particionados e semi-particionados. A perspectiva global, supõe a existência de uma fila global que é acessível por todos os processadores disponíveis. Este fato torna disponível a migração de tarefas, isto é, é possível parar a execução de uma tarefa e resumir a sua execução num processador distinto. Num dado instante, num grupo de tarefas, m, as tarefas de maior prioridade são selecionadas para execução. Este tipo promete limites de utilização altos, a custo elevado de preempções/migrações de tarefas. Em contraste, os algoritmos particionados, colocam as tarefas em partições, e estas, são atribuídas a um dos processadores disponíveis, isto é, para cada processador, é atribuída uma partição. Por essa razão, a migração de tarefas não é possível, acabando por fazer com que o limite de utilização não seja tão alto quando comparado com o caso anterior, mas o número de preempções de tarefas decresce significativamente. O esquema semi-particionado, é uma resposta de caráter hibrido entre os casos anteriores, pois existem tarefas que são particionadas, para serem executadas exclusivamente por um grupo de processadores, e outras que são atribuídas a apenas um processador. Com isto, resulta uma solução que é capaz de distribuir o trabalho a ser realizado de uma forma mais eficiente e balanceada. Infelizmente, para todos estes casos, existe uma discrepância entre a teoria e a prática, pois acaba-se por se assumir conceitos que não são aplicáveis na vida real. Para dar resposta a este problema, é necessário implementar estes algoritmos de escalonamento em sistemas operativos reais e averiguar a sua aplicabilidade, para caso isso não aconteça, as alterações necessárias sejam feitas, quer a nível teórico quer a nível prá

CHEMICAL CHARACTERIZATION AND EVALUATION OF ANTIBACTERIAL, ANTIFUNGAL, ANTIMYCOBACTERIAL, AND CYTOTOXIC ACTIVITIES OF Talinum paniculatum

SUMMARY In this study, the bioactivity of Talinum paniculatum was evaluated, a plant widely used in folk medicine. The extract from the T. paniculatum leaves (LE) was obtained by percolation with ethanol-water and then subjecting it to liquid-liquid partitions, yielding hexane (HX), ethyl acetate (EtOAc), butanol (BuOH), and aqueous (Aq) fractions. Screening for antimicrobial activity of the LE and its fractions was evaluated in vitro through broth microdilution method, against thirteen pathogenic and non-pathogenic microorganisms, and the antimycobacterial activity was performed through agar diffusion assay. The cytotoxic concentrations (CC90) for LE, HX, and EtOAc were obtained on BHK-21 cells by using MTT reduction assay. The LE showed activity against Serratia marcescens and Staphylococcus aureus, with Minimum Inhibitory Concentration (MIC) values of 250 and 500 µg/mL, respectively. Furthermore, HX demonstrated outstanding activity against Micrococcus luteus and Candida albicans with a MIC of 31.2 µg/mL in both cases. The MIC for EtOAc also was 31.2 µg/mL against Escherichia coli. Conversely, BuOH and Aq were inactive against all tested microorganisms and LE proved inactive against Mycobacterium tuberculosisand Mycobacterium bovisas well. Campesterol, stigmasterol, and sitosterol were the proposed structures as main compounds present in the EF and HX/EtOAc fractions, evidenced by mass spectrometry. Therefore, LE, HX, and EtOAc from T. paniculatumshowed potential as possible sources of antimicrobial compounds, mainly HX, for presenting low toxicity on BHK-21 cells with excellent Selectivity Index (SI = CC90/MIC) of 17.72 against C. albicans.

Spatiotemporal mechanisms for actomyosin ring assembly and contraction in budding yeast cell division

Dissertation presented to obtain the Ph.D degree in Molecular Medicine

A system’s approach to cache hierarchy-aware decomposition of data-parallel computations

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Viajar no Feminino – As palavras das Imagens: Viagem de Egéria à Terra Santa, séc. IV

Egéria was a 4th century A.D. nun who undertook a long journey from her homeland, the roman province of Gallaecia, to the Near East. Her itinerary, which described the segment between Mount Sinai and Constantinople, revealed the enthusiasm which graced her original decision to embark on the journey, and the determination with which she faced every stage. She kept a Diary throughout her journey. Probably, it constitutes one of the first known Travel Diaries. Her reports describe her observations and the splendor of the Christian cult sites. Her text is affectionately dedicated to her fellow nuns that remained in the West of the Empire, keeping their uniting bond strong. Our study aims to search all references to visited sites in Egéria’s text, as the information contained therein serves as a precious descriptor of their locations, spatial organization and environment. Egéria visits unique, historical sites, which will influence her writing style. She is, in fact, a pilgrim to a recently created historical site, The Holy Land. Egéria lived during a fundamental historical and artistic Framework, that of the architectural forms of expression of the First Christianity. Her words can be translated into images, as a partitions script, a visualization of lights and ambiences, and a testimonial of places that no longer exist. We hope to see, in Egéria’s written work, the images she observed, for her words are images. We expect a complementary approach among the research methods given by Archeology, composed by Architecture and explained by the sensible text from Egéria’s journey - a religious and artistic journey written from a powerful feminine point of view.

Lightweight adjustable partition system: evaluation of resistance to horizontal loads and functional failure from impacts

This paper presents and discusses the results of the serviciability and use condition tests carried on an innovative solution for partitions, designated AdjustMembrane developed within a research project. The proposed system is a modular non-loadbearing wall, tensioned between the pavements and ceiling slabs, which are used as anchoring elements. It allows several advantages, related with the weight reduction to achieve a good sustainable performance, such as the reduction of construction costs, energy, and materials, and it is easy to recycle and to reuse, allowing self-construction. Apart from a general presentation of the partition technology, this paper presents and discusses the results of experimental tests carried out. From the results obtained, it is possible to conclude that the solution fulfils the requirements for this typology of wall in terms of resistance to horizontal loads induced by soft and hard body impacts.

Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.

Shellability of noncrossing partition lattices

We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type Dn and those of exceptional type and rank at least three.

Improved temporal resolution for functional studies with reduced number of segments with three-dimensional echo planar imaging.

PURPOSE: To introduce a new k-space traversal strategy for segmented three-dimensional echo planar imaging (3D EPI) that encodes two partitions per radiofrequency excitation, effectively reducing the number excitations used to acquire a 3D EPI dataset by half. METHODS: The strategy was evaluated in the context of functional MRI applications for: image quality compared with segmented 3D EPI, temporal signal-to-noise ratio (tSNR) (the ability to detect resting state networks compared with multislice two-dimensional (2D) EPI and segmented 3D EPI, and temporal resolution (the ability to separate cardiac- and respiration-related fluctuations from the desired blood oxygen level-dependent signal of interest). RESULTS: Whole brain images with a nominal voxel size of 2 mm isotropic could be acquired with a temporal resolution under half a second using traditional parallel imaging acceleration up to 4× in the partition-encode direction and using novel data acquisition speed-up of 2× with a 32-channel coil. With 8× data acquisition speed-up in the partition-encode direction, 3D reduced excitations (RE)-EPI produced acceptable image quality without introduction of noticeable additional artifacts. Due to increased tSNR and better characterization of physiological fluctuations, the new strategy allowed detection of more resting state networks compared with multislice 2D-EPI and segmented 3D EPI. CONCLUSION: 3D RE-EPI resulted in significant increases in temporal resolution for whole brain acquisitions and in improved physiological noise characterization compared with 2D-EPI and segmented 3D EPI. Magn Reson Med 72:786-792, 2014. © 2013 Wiley Periodicals, Inc.

Compositional amalgamations and balances: a critical approach

The amalgamation operation is frequently used to reduce the number of parts of compositional data but it is a non-linear operation in the simplex with the usual geometry,the Aitchison geometry. The concept of balances between groups, a particular coordinate system designed over binary partitions of the parts, could be an alternative to theamalgamation in some cases. In this work we discuss the proper application of bothconcepts using a real data set corresponding to behavioral measures of pregnant sows

An information theoretic framework for image segmentation

In this paper, an information theoretic framework for image segmentation is presented. This approach is based on the information channel that goes from the image intensity histogram to the regions of the partitioned image. It allows us to define a new family of segmentation methods which maximize the mutual information of the channel. Firstly, a greedy top-down algorithm which partitions an image into homogeneous regions is introduced. Secondly, a histogram quantization algorithm which clusters color bins in a greedy bottom-up way is defined. Finally, the resulting regions in the partitioning algorithm can optionally be merged using the quantized histogram

CD8beta endows CD8 with efficient coreceptor function by coupling T cell receptor/CD3 to raft-associated CD8/p56(lck) complexes.

The extraordinary sensitivity of CD8+ T cells to recognize antigen impinges to a large extent on the coreceptor CD8. While several studies have shown that the CD8beta chain endows CD8 with efficient coreceptor function, the molecular basis for this is enigmatic. Here we report that cell-associated CD8alphabeta, but not CD8alphaalpha or soluble CD8alphabeta, substantially increases the avidity of T cell receptor (TCR)-ligand binding. To elucidate how the cytoplasmic and transmembrane portions of CD8beta endow CD8 with efficient coreceptor function, we examined T1.4 T cell hybridomas transfected with various CD8beta constructs. T1.4 hybridomas recognize a photoreactive Plasmodium berghei circumsporozoite (PbCS) peptide derivative (PbCS (4-azidobezoic acid [ABA])) in the context of H-2K(d), and permit assessment of TCR-ligand binding by TCR photoaffinity labeling. We find that the cytoplasmic portion of CD8beta, mainly due to its palmitoylation, mediates partitioning of CD8 in lipid rafts, where it efficiently associates with p56(lck). In addition, the cytoplasmic portion of CD8beta mediates constitutive association of CD8 with TCR/CD3. The resulting TCR-CD8 adducts exhibit high affinity for major histocompatibility complex (MHC)-peptide. Importantly, because CD8alphabeta partitions in rafts, its interaction with TCR/CD3 promotes raft association of TCR/CD3. Engagement of these TCR/CD3-CD8/lck adducts by multimeric MHC-peptide induces activation of p56(lck) in rafts, which in turn phosphorylates CD3 and initiates T cell activation.

Selective inhibition of CTL activation by a dipalmitoyl-phospholipid that prevents the recruitment of signaling molecules to lipid rafts.

Antigen-specific T-cell activation implicates a redistribution of plasma membrane-bound molecules in lipid rafts, such as the coreceptors CD8 and CD4, the Src kinases Lek and Fyn, and the linker for activation of T cells (LAT), that results in the formation of signaling complexes. These molecules partition in lipid rafts because of palmitoylation of cytoplasmic, membrane proximal cysteines, which is essential for their functional integrity in T-cell activation. Here, we show that exogenous dipalmitoyl-phosphatidylethanolamine (DPPE), but not the related unsaturated dioleoyl-phosphatidylethanolamine (DOPE), partitions in lipid rafts. DPPE inhibits activation of CD8(+) T lymphocytes by sensitized syngeneic antigen-presenting cells or specific major histocompatibility complex (MHC) peptide tetramers, as indicated by esterase release and intracellular calcium mobilization. Cytotoxic, T lymphocyte (CTL)-target cell conjugate formation is not affected by DPPE, indicating that engagement of the T-cell receptor by its cognate ligand is intact in lipid-treated cells. In contrast to other agents known to block raft-dependent signaling, DPPE efficiently inhibits the MHC peptide-induced recruitment of palmitoylated signaling molecules to lipid rafts and CTL activation without affecting cell viability or lipid raft integrity.

Evaluation of Different Methods to Calculate Heavy-Truck VMT, Final Report, December 2004

Reliable estimates of heavy-truck volumes are important in a number of transportation applications. Estimates of truck volumes are necessary for pavement design and pavement management. Truck volumes are important in traffic safety. The number of trucks on the road also influences roadway capacity and traffic operations. Additionally, heavy vehicles pollute at higher rates than passenger vehicles. Consequently, reliable estimates of heavy-truck vehicle miles traveled (VMT) are important in creating accurate inventories of on-road emissions. This research evaluated three different methods to calculate heavy-truck annual average daily traffic (AADT) which can subsequently be used to estimate vehicle miles traveled (VMT). Traffic data from continuous count stations provided by the Iowa DOT were used to estimate AADT for two different truck groups (single-unit and multi-unit) using the three methods. The first method developed monthly and daily expansion factors for each truck group. The second and third methods created general expansion factors for all vehicles. Accuracy of the three methods was compared using n-fold cross-validation. In n-fold cross-validation, data are split into n partitions, and data from the nth partition are used to validate the remaining data. A comparison of the accuracy of the three methods was made using the estimates of prediction error obtained from cross-validation. The prediction error was determined by averaging the squared error between the estimated AADT and the actual AADT. Overall, the prediction error was the lowest for the method that developed expansion factors separately for the different truck groups for both single- and multi-unit trucks. This indicates that use of expansion factors specific to heavy trucks results in better estimates of AADT, and, subsequently, VMT, than using aggregate expansion factors and applying a percentage of trucks. Monthly, daily, and weekly traffic patterns were also evaluated. Significant variation exists in the temporal and seasonal patterns of heavy trucks as compared to passenger vehicles. This suggests that the use of aggregate expansion factors fails to adequately describe truck travel patterns.

Silver space-time trellis-coded modulation

Silver Code (SilC) was originally discovered in [1–4] for 2×2 multiple-input multiple-output (MIMO) transmission. It has non-vanishing minimum determinant 1/7, slightly lower than Golden code, but is fast-decodable, i.e., it allows reduced-complexity maximum likelihood decoding [5–7]. In this paper, we present a multidimensional trellis-coded modulation scheme for MIMO systems [11] based on set partitioning of the Silver Code, named Silver Space-Time Trellis Coded Modulation (SST-TCM). This lattice set partitioning is designed specifically to increase the minimum determinant. The branches of the outer trellis code are labeled with these partitions. Viterbi algorithm is applied for trellis decoding, while the branch metrics are computed by using a sphere-decoding algorithm. It is shown that the proposed SST-TCM performs very closely to the Golden Space-Time Trellis Coded Modulation (GST-TCM) scheme, yetwith a much reduced decoding complexity thanks to its fast-decoding property.