942 resultados para High-Level Petri Nets


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mechanisms of antibiotic resistance were examined in nalidixic acid-resistant Salmonella enterica serovar Enteritidis field isolates displaying decreased susceptibility to ciprofloxacin and in in vitro-derived ciprofloxacin-resistant mutants (104-cip and 5408-cip). All field isolates harbored a single gyrA mutation (D87Y). Deletion of acrB and complementation with wild-type gyrA increased quinolone susceptibility. Selection for ciprofloxacin resistance was associated with the development of an additional gyrA (S83F) mutation in 104-cip, novel gyrB (E466D) and parE (V461G) mutations in 5408-cip, overexpression of acrB and decreased susceptibility to nonquinolone antibiotics in both mutants, and decreased OmpF production and altered lipopoly- saccharide in 104-cip. Complementation of mutated gyrA and gyrB with wild-type alleles restored susceptibility to quinolones in 104-cip and significantly decreased the ciprofloxacin MIC in 5408-cip. Complementation of parE had no effect on quinolone MICs. Deletion of acrB restored susceptibility to ciprofloxacin and other antibiotics tested. Both soxS and marA were overexpressed in 104-cip, and ramA was overexpressed in 5408-cip. Inactivation of each of these global regulators lowered ciprofloxacin MICs, decreased expression of acrB, and restored susceptibility to other antibiotics. Mutations were found in soxR (R20H) and in soxS (E52K) in 104-cip and in ramR (G25A) in 5408-cip. In conclusion, both efflux activity and a single gyrA mutation contribute to nalidixic acid resistance and reduced ciprofloxacin sensitivity. Ciprofloxacin resistance and decreased susceptibility to multiple antibiotics can result from different genetic events leading to development of target gene mutations, increased efflux activity resulting from differential expression of global regulators associated with mutations in their regulatory genes, and possible altered membrane permeability.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper introduces hybrid address spaces as a fundamental design methodology for implementing scalable runtime systems on many-core architectures without hardware support for cache coherence. We use hybrid address spaces for an implementation of MapReduce, a programming model for large-scale data processing, and the implementation of a remote memory access (RMA) model. Both implementations are available on the Intel SCC and are portable to similar architectures. We present the design and implementation of HyMR, a MapReduce runtime system whereby different stages and the synchronization operations between them alternate between a distributed memory address space and a shared memory address space, to improve performance and scalability. We compare HyMR to a reference implementation and we find that HyMR improves performance by a factor of 1.71× over a set of representative MapReduce benchmarks. We also compare HyMR with Phoenix++, a state-of-art implementation for systems with hardware-managed cache coherence in terms of scalability and sustained to peak data processing bandwidth, where HyMR demon- strates improvements of a factor of 3.1× and 3.2× respectively. We further evaluate our hybrid remote memory access (HyRMA) programming model and assess its performance to be superior of that of message passing.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This case study explores the experiences of a group of students (the authors) working as a tutor-less group (TLG) that developed during a web-based MEd programme. We describe the development and life cycle of the TLG, the experiences of the students and the effects on those who continued to work in a tutored environment. Members of the TLG demonstrated high levels of autonomy and group work. The relationship between the TLG and communities of practice is considered.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mammalian reoviruses exhibit a large host range and infected cells are generally killed; however, most studies examined only a few cell types and host species, and are probably not representative of all possible interactions between virus and host cell. Many questions thus remain concerning the nature of cellular factors that affect viral replication and cell death. In the present work, it was observed that replication of the classical mammalian reovirus serotype 3 Dearing in a bat epithelial cell line, Tb1.Lu, does not result in cell lysis and is rapidly reduced to very low levels. Prior uncoating of virions by chymotrypsin treatment, to generate infectious subviral particles, increased the initial level of infection but without any significant effect on further viral replication or cell survival. Infected cells remain resistant to virus reinfection and secrete an antiviral factor, most likely interferon, that is protective against the unrelated encephalomyocarditis virus. Although, the transformed status of a cell is believed to promote reovirus replication and viral “oncolysis”, resistant Tb1.Lu cells exhibit a classical phenotype of transformed cells by forming colonies in semisolid soft agar medium. Further transduction of Tb.Lu cells with a constitutively-active Ras oncogene does not seem cell growth or reovirus effect on these cells. Infected Tb1.Lu cells can produce low-level of infectious virus for a long time without any apparent effect, although these cells are resistant to reinfection. The results suggest that Tb1.Lu cells can mount an unusual antiviral response. Specific properties of bat cells may thus be in part responsible for the ability of the animals to act as reservoirs for viruses in general and for novel reoviruses in particular. Their peculiar resistance to cell lysis also makes Tb1.Lu cells an attractive model to study the cellular and viral factors that determine the ability of reovirus to replicate and destroy infected cells.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper presents the design and implementation of a mission control system (MCS) for an autonomous underwater vehicle (AUV) based on Petri nets. In the proposed approach the Petri nets are used to specify as well as to execute the desired autonomous vehicle mission. The mission is easily described using an imperative programming language called mission control language (MCL) that formally describes the mission execution thread. A mission control language compiler (MCL-C) able to automatically translate the MCL into a Petri net is described and a real-time Petri net player that allows to execute the resulting Petri net onboard an AUV are also presented

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The clean development mechanism (CDM) has been through a long and complex growing process since it was approved as part of the Kyoto Protocol. It was designed within the framework of the UNFCCC and the Kyoto Protocol, and reflected the political and economic realities of that time. To ensure its continued effectiveness in contributing to future global climate action and to reflect on how best to position the CDM to respond to future challenges, a high-level panel (HLP) was formed at the Durban climate change conference in 2011. Following extensive consultations, the panel published its report in September 2012. Through this Special Report, the CEPS Carbon Market Forum offers its reflections on findings and recommendations of the HLP, as well as, by extension, its own views on the future of the CDM. In the context of the latter, it explores the following questions: Is there a need for an instrument such as the CDM in the future? What ‘demand’ can it fill? In the roles identified under the first question, what can be done to adapt it and also continue to increase its efficacy?