Brzozowski goes concurrent - A kleene theorem for pomset languages

Concurrent Kleene Algebra (CKA) is a mathematical formalism to study programs that exhibit concurrent behaviour. As with previous extensions of Kleene Algebra, characterizing the free model is crucial in order to develop the foundations of the theory and potential applications. For CKA, this has been an open question for a few years and this paper makes an important step towards an answer. We present a new automaton model and a Kleene-like theorem that relates a relaxed version of CKA to series-parallel pomset languages, which are a natural candidate for the free model. There are two substantial differences with previous work: from expressions to automata, we use Brzozowski derivatives, which enable a direct construction of the automaton; from automata to expressions, we provide a syntactic characterization of the automata that denote valid CKA behaviours

Indexing and retrieval of multimodal lecture recordings from open repositories for personalized access in modern learning settings

An increasing number of lecture recordings are available to complement face-to face and the more conventional content-based e-learning approaches. These recordings provide additional channels for remote students and time-independent access to the lectures. Many universities offer even complete series of recordings of hundreds of courses which are available for public access and this service provides added value for users outside the university. The lecture recordings show the use of a great variety of media or modalities (such as video, audiom lecture media, presentation behaviour) and formats. Insofar, none of the existing systems and services have sufficient retrieval functionality or support appropriate interfaces to enable searching for lecture recordings over several repositories. This situation has motivated us to initiate research on a lecture recording indexing and retrieval system for knowledge transfer and learning activities in various settings. This system is built on our former experiences and prototypes developed within the MISTRAL research project. In this paper we outline requirements for an enhanced lecture recording retrieval system, introduce our solution and prototype, and discuss the initial results and findings

Equivalence checking for weak bi-kleene algebra∗

Pomset automata are an operational model of weak bi-Kleene algebra, which describes programs that can fork an execution into parallel threads, upon completion of which execution can join to resume as a single thread. We characterize a fragment of pomset automata that admits a decision procedure for language equivalence. Furthermore, we prove that this fragment corresponds precisely to series-rational expressions, i.e., rational expressions with an additional operator for bounded parallelism. As a consequence, we obtain a new proof that equivalence of series-rational expressions is decidable

Kleene algebra with observations

Kleene algebra with tests (KAT) is an algebraic framework for reasoning about the control flow of sequential programs. Generalising KAT to reason about concurrent programs is not straightforward, because axioms native to KAT in conjunction with expected axioms for concurrency lead to an anomalous equation. In this paper, we propose Kleene algebra with observations (KAO), a variant of KAT, as an alternative foundation for extending KAT to a concurrent setting. We characterise the free model of KAO, and establish a decision procedure w.r.t. its equational theory

Ethyl (2Z)-2-(3-methoxy­benzyl­idene)-7-methyl-3-oxo-5-phenyl-2,3-dihydro-5H-1,3-thia­zolo[3,2-a]pyrimidine-6-carboxyl­ate

In the title compound, C24H22N2O4S, the central pyrimidine ring is significantly puckered, assuming a conformation inter­mediate between a boat and a screw boat. The nearly planar thia­zole ring (r.m.s. deviation = 0.0258 Å) is fused with the pyriamidine ring, making a dihedral angle of 9.83 (7)°. The carboxyl group is in an extended conformation with an anti-periplanar orientation with respect to the dihydropyrimidine ring. The benzene ring linked at the chiral C atom is perpendicular to the pyrimidine ring [dihedral angle = 85.21 (8)°] whereas the phenyl ring is nearly coplanar, making a dihedral angle of 13.20 (8)°. An intra­molecular C—H⋯S hydrogen bond is observed. The crystal packing is influenced by weak inter­molecular C—H⋯π inter­actions and π–π stacking between the thia­zole and phenyl rings [centroid–centroid distance = 3.9656 (10) Å], which stack the mol­ecules along the c axis

The Transmembrane Isoform of Plasmodium falciparum MAEBL Is Essential for the Invasion of Anopheles Salivary Glands

Malaria transmission depends on infective stages in the mosquito salivary glands. Plasmodium sporozoites that mature in midgut oocysts must traverse the hemocoel and invade the mosquito salivary glands in a process thought to be mediated by parasite ligands. MAEBL, a homologue of the transmembrane EBP ligands essential in merozoite invasion, is expressed abundantly in midgut sporozoites. Alternative splicing generates different MAEBL isoforms and so it is unclear what form is functionally essential. To identify the MAEBL isoform required for P. falciparum (NF54) sporozoite invasion of salivary glands, we created knockout and allelic replacements each carrying CDS of a single MAEBL isoform. Only the transmembrane form of MAEBL is essential and is the first P. falciparum ligand validated as essential for invasion of Anopheles salivary glands. MAEBL is the first P. falciparum ligand experimentally determined to be essential for this important step in the life cycle where the vector becomes infectious for transmitting sporozoites to people. With an increasing emphasis on advancing vector-based transgenic methods for suppression of malaria, it is important that this type of study, using modern molecular genetic tools, is done with the agent of the human disease. Understanding what P. falciparum sporozoite ligands are critical for mosquito transmission will help validate targets for vector-based transmission-blocking strategies

Microwave Assisted Synthesis of Py-Im Polyamides

Microwave synthesis was utilized to rapidly build Py-Im polyamides in high yields and purity using Boc-protection chemistry on Kaiser oxime resin. A representative polyamide targeting the 5′-WGWWCW-3′ (W = A or T) subset of the consensus Androgen and Glucocorticoid Response Elements was synthesized in 56% yield after 20 linear steps and HPLC purification. It was confirmed by Mosher amide derivatization of the polyamide that a chiral α-amino acid does not racemize after several additional coupling steps

Ethyl 4-(2-bromo-5-fluoro­phen­yl)-6-methyl-1-phenyl-2-thioxo-1,2,3,4-tetra­hydro­pyrimidine-5-carboxyl­ate

In the title mol­ecule, C20H18BrFN2O2S, the pyrimidine ring adopts a flattened envelope conformation. The halogenated benzene ring is orthogonal to the planar part of the pyrimidine ring [dihedral angle = 89.05 (4)°], while the other phenyl ring is oriented at an angle of 85.14 (5)°. The ethoxy group is disordered over two orientations with site occpancies of ca 0.869 (4) and 0.131 (4). Intra­molecular C—H⋯Br and C—H⋯O hydrogen bonds generate S(5) and S(6) ring motifs. The crystal structure is stabilized by inter­molecular N—H⋯S, C—H⋯F, C—H⋯O and C—H⋯Br hydrogen bonds

Institutional Experience with Voriconazole Compared with Liposomal Amphotericin B as Empiric Therapy for Febrile Neutropenia

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/90034/1/phco.27.7.970.pd

Transcriptomics and proteomics reveal two waves of translational repression during the maturation of malaria parasite sporozoites.

Plasmodium sporozoites are transmitted from infected mosquitoes to mammals, and must navigate the host skin and vasculature to infect the liver. This journey requires distinct proteomes. Here, we report the dynamic transcriptomes and proteomes of both oocyst sporozoites and salivary gland sporozoites in both rodent-infectious Plasmodium yoelii parasites and human-infectious Plasmodium falciparum parasites. The data robustly define mRNAs and proteins that are upregulated in oocyst sporozoites (UOS) or upregulated in infectious sporozoites (UIS) within the salivary glands, including many that are essential for sporozoite functions in the vector and host. Moreover, we find that malaria parasites use two overlapping, extensive, and independent programs of translational repression across sporozoite maturation to temporally regulate protein expression. Together with gene-specific validation experiments, these data indicate that two waves of translational repression are implemented and relieved at different times during sporozoite maturation, migration and infection, thus promoting their successful development and vector-to-host transition