Mycoplasma pneumoniae is an atypical bacterium that causes respiratory illnesses in humans, including pharyngitis, tracheobronchitis, and community-acquired pneumonia (CAP). It has also been directly linked to reactive airway disease, asthma, and extrapulmonary pathologies. During its colonization, M. pneumoniae expresses a unique ADP-ribosylating and vacuolating cytotoxin designated community-...

Technologies such as CUDA and OpenCL have popularized the usage of graphics cards (GPUs) for general purpose programming, often with impressive performance gains. However, using such cards for speeding up XML Databases processing is yet to be fully explored. XML databases offer much flexibility for Web-oriented systems. Nonetheless, such flexibility comes at a considerable computational cost. T...

The potential impact of smart cards is examined in the context of a standard model of direct and indirect taxation. The distinction between the two types of tax is made in terms of the information required to implement them. Electronic cards in general are understood as devices for enriching and certifying information related to individuals and transactions. Smart cards are a subclass of these ...

We study the Gilbert-Shannon-Reeds model for riffle shuffles and ask ’How many times must a deck of cards be shuffled for the deck to be in close to random order?’. In 1992, Bayer and Diaconis gave a solution which gives exact and asymptotic results for all decks of practical interest, e.g. a deck of 52 cards. But what if one only cares about the colors of the cards or disregards the suits focu...

K eyw ord s: verification, theorem proving, cyclic scheduling, sim ulation, PVS 1 In tr o d u ctio n Form al m ethods provide the kind of rigor in software engineering th a t is needed to move the software developm ent process to a level com parably to o ther engi­ neering professions. There are m any kinds of formal m ethods th a t can be employed a t different stages of the developm ent proce...

MODELING AND ANALYZING INTEGRATED POLICIES Michael McDougall Carl A. Gunter and Rajeev Alur Smart card technology has advanced to the point where computerized cards the size of credit cards can hold multiple interacting programs. These multi-applet cards are beginning to be exploited by business and government in security, transport and financial applications. We conduct a thorough analysis of ...