ANALYSIS OF THE APPLICATIONS OF THE ELECTRONIC HEALTH CARD IN GERMANY

The electronic health card (EHC) is presently being introduced in Germany, however in a much slower pace than originally anticipated and planned. For an evaluation of the applications of EHC a doctor´s practice of a dentist was chosen as reference practice. To analyze the direct effect of the EHC, a process analysis was made of the actual and future EHC processes. For exploring potential user acceptance a patient survey including 49 patients was conducted. The benefits for all involved parties were observable. Based on these analyses, some conclusions are drawn for the improvement of the EHC introduction in Germany

Automatic Verification of Application-Tailored OSEK Kernels

The OSEK industrial standard governs the design of embedded real-time operating systems in the automotive domain. We report on efforts to develop verification methods for OSEK-conformant compilers, specifically of a code generator that weaves system calls and application code using a static configuration file, producing a stand-alone application that incorporates the relevant parts of the kernel. Our methodology involves two verification steps: On the one hand, we extract an OS-application interaction graph during the compilation phase and verify that it conforms to the standard, in particular regarding prioritized scheduling and interrupt handling. To this end, we generate from the configuration file a temporal specification of standard-conformant behaviour and model check the arising formulas on a labelled transition system extracted from the interaction graph. On the other hand, we verify that the actual generated code conforms to the interaction graph; this is done by graph isomorphism checking of the interaction graph against a dynamically-explored state-transition graph of the generated system

What Do Nectarivorous Bats Like? Nectar Composition in Bromeliaceae With Special Emphasis on Bat-Pollinated Species

Floral nectar is the most important reward for pollinators and an integral component of the pollination syndrome. Nectar research has mainly focused on sugars or amino acids, whereas more comprehensive studies on the nectar composition of closely related plant species with different pollination types are rather limited. Nectar composition as well as concentrations of sugars, amino acids, inorganic ions, and organic acids were analyzed for 147 species of Bromeliaceae. This plant family shows a high diversity in terms of floral morphology, flowering time, and predominant pollination types (trochilophilous, trochilophilous/entomophilous, psychophilous, sphingophilous, chiropterophilous). Based on the analyses, we examined the relationship between nectar traits and pollination type in this family. Nectar of all analyzed species contained high amounts of sugars with different proportions of glucose, fructose, and sucrose. The total concentrations of amino acids, inorganic cations, and anions, or organic acids were much lower. The analyses revealed that the sugar composition, the concentrations of inorganic cations and anions as well as the concentration of malate in nectar of bat-pollinated species differed significantly from nectar of species with other pollination types. Flowers of bat-pollinated species contained a higher volume of nectar, which results in a total of about 25-fold higher amounts of sugar in bat-pollinated species than in insect-pollinated species. This difference was even higher for amino acids, inorganic anions and cations, and organic acids (between 50 and 100-fold). In general, bat-pollinated plant species invest large amounts of organic and inorganic compounds for their pollinators. Furthermore, statistical analyses reveal that the characteristics of nectar in Bromeliaceae are more strongly determined by the pollinator type rather than by taxonomic groups or phylogenetic relations. However, a considerable part of the variance cannot be explained by either of the variables, which means that additional factors must be responsible for the differences in the nectar composition

Dimerization of Tetherin Is Not Essential for Its Antiviral Activity against Lassa and Marburg Viruses

Tetherin (also known as BST2, CD317 or HM1.24) has recently been reported to inhibit a wide range of viruses. However, the antiviral mechanism of action of tetherin has not been determined. Both ends of the tetherin molecule are associated with the plasma membrane and it forms a homodimer. Therefore, a model in which progeny virions are retained on the cell surface by dimer formation between tetherin molecules on the viral envelope and plasma membrane has been proposed as the antiviral mechanism of action of this molecule. To investigate this possibility, we examined the correlation between dimerization and antiviral activity of tetherin in Lassa and Marburg virus-like particle production systems using tetherin mutants deficient in dimer formation. However, the tetherin mutant with complete loss of dimerization activity still showed apparent antiviral activity, indicating that dimerization of tetherin is not essential for its antiviral activity. This suggests that tetherin retains progeny virions on the cell surface by a mechanism other than dimerization

Substitution of the myristoylation signal of human immunodeficiency virus type 1 Pr55Gag with the phospholipase C-δ1 pleckstrin homology domain results in infectious pseudovirion production

The matrix domain (MA) of human immunodeficiency virus type 1 Pr55Gag is covalently modified with a myristoyl group that mediates efficient viral production. However, the role of myristoylation, particularly in the viral entry process, remains uninvestigated. This study replaced the myristoylation signal of MA with a well-studied phosphatidylinositol 4,5-biphosphate-binding plasma membrane (PM) targeting motif, the phospholipase C-δ1 pleckstrin homology (PH) domain. PH–Gag–Pol PM targeting and viral production efficiencies were improved compared with Gag–Pol, consistent with the estimated increases in Gag–PM affinity. Both virions were recovered in similar sucrose density-gradient fractions and had similar mature virion morphologies. Importantly, PH–Gag–Pol and Gag–Pol pseudovirions had almost identical infectivity, suggesting a dispensable role for myristoylation in the virus life cycle. PH–Gag–Pol might be useful in separating the myristoylation-dependent processes from the myristoylation-independent processes. This the first report demonstrating infectious pseudovirion production without myristoylated Pr55Gag

Efficient Production of HIV-1 Virus-Like Particles from a Mammalian Expression Vector Requires the N-Terminal Capsid Domain

It is now well accepted that the structural protein Pr55Gag is sufficient by itself to produce HIV-1 virus-like particles (VLPs). This polyprotein precursor contains different domains including matrix, capsid, SP1, nucleocapsid, SP2 and p6. In the present study, we wanted to determine by mutagenesis which region(s) is essential to the production of VLPs when Pr55Gag is inserted in a mammalian expression vector, which allows studying the protein of interest in the absence of other viral proteins. To do so, we first studied a minimal Pr55Gag sequence called Gag min that was used previously. We found that Gag min fails to produce VLPs when expressed in an expression vector instead of within a molecular clone. This failure occurs early in the cell at the assembly of viral proteins. We then generated a series of deletion and substitution mutants, and examined their ability to produce VLPs by combining biochemical and microscopic approaches. We demonstrate that the matrix region is not necessary, but that the efficiency of VLP production depends strongly on the presence of its basic region. Moreover, the presence of the N-terminal domain of capsid is required for VLP production when Gag is expressed alone. These findings, combined with previous observations indicating that HIV-1 Pr55Gag-derived VLPs act as potent stimulators of innate and acquired immunity, make the use of this strategy worth considering for vaccine development

Cloning and Characterization of the Antiviral Activity of Feline Tetherin/BST-2

Human Tetherin/BST-2 has recently been identified as a cellular antiviral factor that blocks the release of various enveloped viruses. In this study, we cloned a cDNA fragment encoding a feline homolog of Tetherin/BST-2 and characterized the protein product. The degree of amino acid sequence identity between human Tetherin/BST-2 and the feline homolog was 44.4%. Similar to human Tetherin/BST-2, the expression of feline Tetherin/BST-2 mRNA was inducible by type I interferon (IFN). Exogenous expression of feline Tetherin/BST-2 efficiently inhibited the release of feline endogenous retrovirus RD-114. The extracellular domain of feline Tetherin/BST-2 has two putative N-linked glycosylation sites, N79 and N119. Complete loss of N-linked glycosylation by introduction of mutations into both sites resulted in almost complete abolition of its antiviral activity. In addition, feline Tetherin/BST-2 was insensitive to antagonism by HIV-1 Vpu, although the antiviral activity of human Tetherin/BST-2 was antagonized by HIV-1 Vpu. Our data suggest that feline Tetherin/BST-2 functions as a part of IFN-induced innate immunity against virus infection and that the induction of feline Tetherin/BST-2 in vivo may be effective as a novel antiviral strategy for viral infection

The p12 Domain Is Unstructured in a Murine Leukemia Virus p12-CAN Gag Construct

The Gag polyproteins of gammaretroviruses contain a conserved p12 domain between MA and CA that plays critical roles in virus assembly, reverse transcription and nuclear integration. Here we show using nuclear magnetic resonance, that p12 is unstructured in a Moloney murine leukemia virus (MMLV) Gag fragment that includes the N-terminal domain of CA (p12-CAN). Furthermore, no long range interactions were observed between the domains, as has been previously predicted. Flexibility appears to be a common feature of Gag “late” domains required for virus release during budding. Residues near the N-terminus of CAN that form a β-hairpin in the mature CA protein are unfolded in p12-CAN, consistent with proposals that hairpin formation helps trigger capsid assembly