14 Hits in 0.81 sec

PyCSP - controlled concurrency

Rune Mllegaard Friborg, Brian Vinter, John Markus Bjrndalen
2010 International Journal of Information Processing and Management  
PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, taking advantage of CSP's formal and verifiable approach to controlling concurrency and  ...  We describe PyCSP, demonstrate it through examples and demonstrate how PyCSP compares to Pthreads using a benchmark.  ...  PyCSP takes advantage of CSP's formal and verifiable approach to controlling concurrency.  ... 
doi:10.4156/ijipm.vol1.issue2.6 fatcat:6i24deeatveexavkwsp32sphpi

Towards a Software Engineering Approach to Multi-Scale Modeling and Simulation

M. Maouche, M. Bettaz
2016 International Journal of Software Engineering and Its Applications  
The proposed methodology relies on a sound integration of UML-MARTE, CSP-OZ, and PyCSP. We show, in this paper, how to exploit this similarity to bridge the gap between both approaches.  ...  contribution consists in sketching a formal semantic framework for our software development methodology aiming at ensuring a sound integration (from a semantic point of view) of UML-MARTE, CSP-OZ and PyCSP  ...  Because individual MUSCLE local managers may concurrently support more than one controller, MUSCLE controllers are seen as concurrent schedulable resources which are a kind of resources already defined  ... 
doi:10.14257/ijseia.2016.10.11.18 fatcat:2swrw2otnrdyrikvt6j4adq3ze

Complex Minigene Library Vaccination for Discovery of Pre-Erythrocytic Plasmodium T Cell Antigens

Brad C. Stone, Arnold Kas, Zachary P. Billman, Deborah H. Fuller, James T. Fuller, Jay Shendure, Sean C. Murphy, Adrian J.F. Luty
2016 PLoS ONE  
ConA was included as positive control and mock-transfected P815 cells were used as negative controls.  ...  Compared to infectivity control mice, 5/5 PyCSP-vaccinated mice showed significant vaccine-induced protection, with one animal showing undetectable Py 18S RNA in the liver indicating sterile protection  ... 
doi:10.1371/journal.pone.0153449 pmid:27070430 pmcid:PMC4829254 fatcat:yql5rqsxi5egjkc6jd3qjakcnq

Plasmodium Protease ROM1 Is Important for Proper Formation of the Parasitophorous Vacuole

Iset Medina Vera, Wandy L. Beatty, Photini Sinnis, Kami Kim, Kirk Deitsch
2011 PLoS Pathogens  
Secretion from the micronemes is concurrent with apical reorientation and attachment of the parasite to the host cell membrane [3] .  ...  To control for appropriate expression analysis, additional expression profiles of other known genes (PyAMA1, PyUIS3, PyADA, PyTUB1, and PyCSP) was carried out using the same cDNA ( Figure S2 ).  ... 
doi:10.1371/journal.ppat.1002197 pmid:21909259 pmcid:PMC3164628 fatcat:jgily2x4v5f3va4kzbv3sxdyau

Defining rules of CD8+ T cell expansion against pre-erythrocytic Plasmodium antigens in sporozoite-immunized mice

Zachary P. Billman, Arnold Kas, Brad C. Stone, Sean C. Murphy
2016 Malaria Journal  
Vialed, cryopreserved WT sporozoites under a concurrent drug treatment-vaccination approach known as CVac [52] are being developed but may require optimization.  ...  Anti-CD20 antibody-treated mice showed no demonstrable B cells by anti-B220 staining compared to control mice (Additional file 6: Figure S3 ).  ...  intervals and monitored T cell responses by ex vivo IFNγ ELISPOT using H2-K d -binding peptides from PyCSP (A, SYVPSAEQI) and PyL3 (PY05881) (B, GYKSGMSHI).  ... 
doi:10.1186/s12936-016-1295-5 pmid:27113469 pmcid:PMC4845300 fatcat:pon2744pqra7ffg6nxrf6a4dbi

The Case for Exploiting Cross-Species Epitopes in Malaria Vaccine Design

Catherine J. Mitran, Stephanie K. Yanow
2020 Frontiers in Immunology  
Yet concurrent studies from South Asia and Oceania gave rise to findings in support of cross-species immunity (9) (10) (11) .  ...  Furthermore, homologous protection in control subjects was not always assessed.  ... 
doi:10.3389/fimmu.2020.00335 pmid:32174924 pmcid:PMC7056716 fatcat:l2upbz6jwjazjmposwkcenofzy

The Use of Synthetic Carriers in Malaria Vaccine Design

Liam Powles, Sue Xiang, Cordelia Selomulya, Magdalena Plebanski
2015 Vaccines  
Synthetic carriers have the ability to alter and direct the immune response, and a better control of particle properties will facilitate improved vaccine design in the near future.  ...  Synthetic carriers (also known as vectors) are usually particulate and have multiple properties, which can be varied to control how an associated vaccine interacts with the host, and consequently how the  ...  Thus, it is important that vectors are developed concurrently to improve their efficacy in a safe, affordable manner. A successful vector will need to meet a number of requirements for clinical use.  ... 
doi:10.3390/vaccines3040894 pmid:26529028 pmcid:PMC4693224 fatcat:j7wuiluea5gppj2whn3q4fob4a

PySy: a Python package for enhanced concurrent programming

Todd Williamson, Ronald A. Olsson
2012 Concurrency and Computation  
This thesis presents our experience creating PySy, a Python package (based on the SR and JR concurrent programming languages), which provides an easy to use and expressive concurrent environment, and allows  ...  However, Python is still lacking a high-level, expressive concurrent and distributed programming environment.  ...  This transformation happens Previously veloped, implementing various concurrency models. PyCSP [23] implements the Communicating Sequential Processes [11] (CSP) model.  ... 
doi:10.1002/cpe.2981 fatcat:fshdcdbidfgzfe2lrh26w7p4lm

Molecular vaccines for malaria

Joseph T. Bruder, Evelina Ango, Keith J. Limbach, Thomas L. Richie
2010 Human Vaccines  
only to broaden anti-myco-targets). 194 -197 bacterial immunity, thus reducing the burden of TB disease, Molecular design and engineering have provided the means but also to target malaria, HIV or other concurrent  ...  ~ted il}.to humans~FOJexample, when tested in mice, . responses that are on the order pf 5to 50~-f~ld 'gr~ater thart for ' co·delivery ofplasmids expressirig-PyCSP and granulocyte·mac· antigen alone.  ... 
doi:10.4161/hv.6.1.10463 pmid:20061792 fatcat:v4vbxm5xfvfnxduydgqpclshay

CSP as a Coordination Language. A CSP-based Approach to the Coordination of Concurrent Systems [article]

Moritz Kleine, Technische Universität Berlin, Technische Universität Berlin, Stefan Jähnichen
The coordination environment controls the system's interaction with its environment as well as its internal actions.  ...  Complex concurrent systems are in general hard to understand, and equally hard to specify and to verify.  ...  Their approach is supported by the PyCSP framework [BVA07] , a Python concurrency framework in the tradition of JCSP.  ... 
doi:10.14279/depositonce-2968 fatcat:27ty5oblczdu5gcd55qqpp637y


Maria Angeles Perez, Aubree Gordon, Felix Sanchez, Federico Narvaez, Gamaliel Gutierrez, Oscar Ortega, Andrea Nuñez, Eva Harris, Angel Balmaseda
2010 The Pediatric Infectious Disease Journal  
We used the P. yoelii circumsporozoite protein (PyCSP) as the model antigen to test this approach.  ...  The new Py adenovectors that grew well and robustly expressed PyCSP in vitro were evaluated for immunogenicity and protective efficacy.  ...  It might be related with the reduction of the activity on the immune system of infected mice immunosuppressed compared with control mice.  ... 
doi:10.1097/inf.0b013e3181e6c69b pmid:20811315 pmcid:PMC5614439 fatcat:h764ud7zjnamlprplnjdogffza

Communicating Haskell processes

Neil Christopher Charles Brown
Concurrent programming supports multiple threads of concurrent execution.  ...  CSP is a process calculus centred on concurrent processes that communicate with each other via synchronous channels.  ...  There is one such control event for each philosopher. Forks on either side of a philosopher must also engage in this controlling event.  ... 
doi:10.22024/unikent/01.02.86452 fatcat:apjdlpqg6bbulbcmclyxbpbvbe

Pre-erythrocytic malaria vaccines: identifying the targets

Patrick E Duffy, Tejram Sahu, Adovi Akue, Neta Milman, Charles Anderson
2012 Expert Review of Vaccines  
In one study [127] , 19 genes derived from a sporozoite cDNA library were prepared as DNA vaccines, and examined for protective efficacy in pools of 6-7 plasmids, with PyCSP as a benchmark of partial  ...  Preclinical evaluation of the safety and immunogenicity of a vaccine consisting of Plasmodium falciparum liver-stage antigen 1 with adjuvant AS01B administered alone or concurrently with the RTS,S/AS01B  ... 
doi:10.1586/erv.12.92 pmid:23176657 pmcid:PMC3584156 fatcat:vk2ehhakbjbvpnzri47tnkbpk4

Identification and characterisation of new potential antigens involved in GAP-mediated immunity

Eva Hippler
Therefore down-regulation in attenuated parasites concurrently means that these transcripts are up-regulated in WT liver-stages.  ...  csprae (v) as PCR controls.  ... 
doi:10.11588/heidok.00014055 fatcat:llrukrnagvgefmgsxlb6i6vos4