11 Hits in 6.0 sec


A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske
2008 Proceedings of the 2008 ACM symposium on Information, computer and communications security - ASIACCS '08  
We describe a tool CMV that implements this technique and automatically checks shrink-wrapped Java bytecode for the complete mediation property.  ...  In this paper, we describe a verification technique that is designed to check for the satisfaction of this property directly on code from Java standard libraries.  ...  The focus of this paper is on automated verification methods that provide assurance about the satisfaction of the complete mediation property by (an implementation of) a Java virtual machine.  ... 
doi:10.1145/1368310.1368327 dblp:conf/ccs/SistlaVZB08 fatcat:kdqp7rbi7zaitlksmcauuv7lo4

Agent-based distributed manufacturing control: A state-of-the-art survey

Paulo Leitão
2009 Engineering applications of artificial intelligence  
The paper also discusses the reasons for the weak adoption of these approaches by industry and points out the challenges and research opportunities for the future.  ...  Manufacturing has faced significant changes during the last years, namely the move from a local economy towards a global and competitive economy, with markets demanding for highly customized products of  ...  verification, implementation and commissioning, as well as for reuse or reconfiguration of automation solution.  ... 
doi:10.1016/j.engappai.2008.09.005 fatcat:ikgfnjqcm5c6jhjapud7nnzika


2016 Drug metabolism reviews (Softcover ed.)  
Yoshinori Moriyama of Okayama University for providing expression plasmid vectors containing hMATE1 and hMATE2-K.  ...  Ken-ichi Inui, Professor Emeritus of Kyoto University for providing expression plasmid vectors containing hOCT1 and hOCT2 and Dr.  ...  ., 2 Celerion Background: Letermovir (Prevymis TM ), a cytomegalovirus (CMV) terminase inhibitor, is indicated for prophylaxis of CMV infection and disease in adult CMV seropositive recipients of an allogeneic  ... 
doi:10.1080/03602532.2016.1191848 pmid:27418298 fatcat:kkvodmcoajbxlkvro4ea4cw6ry

Guidelines for the use of flow cytometry and cell sorting in immunological studies

Andrea Cossarizza, Hyun-Dong Chang, Andreas Radbruch, Mübeccel Akdis, Immanuel Andrä, Francesco Annunziato, Petra Bacher, Vincenzo Barnaba, Luca Battistini, Wolfgang M. Bauer, Sabine Baumgart, Burkhard Becher (+224 others)
2017 European Journal of Immunology  
cells was crucial to follow the course of the infection, and eventually for monitoring the therapy.  ...  The epidemics of HIV/AIDS in the '80s then gave a dramatic impulse to the technology of counting specific cells, since it became clear that the quantification of the number of peripheral blood CD4 + T  ...  Sandra Pinho for helpful comments and suggestions. We thank the National Institutes of Health for their support (R01 grants DK056638, HL116340, HL097819 to P.S.F).  ... 
doi:10.1002/eji.201646632 pmid:29023707 fatcat:2lswztuwwzfnnjomgr2cxnhugu

Das Fehlertolerante System Tandem T16 [chapter]

Alfred Schulz
1984 Software-Fehlertoleranz und -Zuverlässigkeit  
T7-mediated recovery of infectious hepatitis A virus from full-size cDNA or from two cDNAs, both by themselves unable to complete the virus life cycle. Virus Res 89: 75-88 29.  ...  In: Proceedings of Networked Learning 2002 -Challenges and Solutions for Virtual Education. Technical University of Berlin, Germany, May 1-4, 2002.  ... 
doi:10.1007/978-3-642-69705-0_18 dblp:conf/icftcs/Schulz84 fatcat:mcbxefmt25ajljtzk6nh5vudqq

Study of Plasmid-Mediated Extended-Spectrum β-Lactamase-Producing Strains of Enterobacteriaceae, Isolated from Diabetic Foot Infections in a North Indian Tertiary-Care Hospital

Mohammad Zubair, Abida Malik, Jamal Ahmad
2012 Diabetes Technology & Therapeutics  
Aim: This study evaluated the incidence and factors responsible for plasmid-mediated extended-spectrum blactamase (ESBL) infection among patients with diabetic foot ulcer (DFU).  ...  In the molecular detection of ESBLs, 81.9% were found to be positive for the bla gene, of which bla CTX-M showed 81.8% positivity, followed by bla TEM (50%) and bla SHV (46.9%).  ...  Idrees Mubarak, Senior Resident, Center for Diabetes and Endocrinology, for clinical evaluation of DFU patients. The authors would also like to thank Dr.  ... 
doi:10.1089/dia.2011.0197 pmid:22225456 fatcat:lvm52fx5u5flvkvv7o5wjyzehi

International Conference on Emerging Infectious Diseases 2015 Poster and Oral Presentation Abstracts

2015 Emerging Infectious Diseases  
Acknowledgements: To Neil Vora and Yu Li from CDC Atlanta for supporting this.  ...  The prevalence of anti-CMV IgG and IgM antibodies were 96.2% and 2.6% respectively.  ...  A Taqman based RT-PCR assay for detection of PAPV was used and ran on an ABI 7500 Fast RT-PCR machine per manufacturers' instructions.  ... 
doi:10.3201/eid2109.nn2109 fatcat:dlu3wgxsbngsdasrh3t5u6shpu

Enabling Collaborative Visual Analysis across Heterogeneous Devices [article]

Sriram Karthik Badam
It is essential as today's big data problems require more than a single mind or a single machine to solve them.  ...  Extending these techniques, we considered the roles of different devices–large and small–to present a conceptual framework for utilizing multiple devices for visual analytics.  ...  Doing so enables a remote collaboration space where distributed rooms are completely stitched together in a single virtual space. The Office of the Future Envisioned by Raskar et al.  ... 
doi:10.13016/jmz9-sl2g fatcat:n3un75hperdcfhn2qqav4g4zni

Stampede Theory: Mapping and Treating Dangerous Misinformation at Scale [article]

Philip Gregory Feldman, Maryland Shared Open Access Repository, Wayne ; Lutters
Current fact-checking practices attempt to determine the veracity of information by, for example, comparing statements to authoritative sources.  ...  The methods described in this dissertation reduces this problem to one of identifying classes of behavior in online groups as they describe their opinions about information.  ...  The transition away from physical to virtual, technology-mediated communities affects the way that groups coordinate.  ... 
doi:10.13016/m2z6zo-m1lc fatcat:it6nkrwunrazzcijvcvt2saity

"COGITAMUS ERGO SUMUS". Web 2.0 Encyclopaedi@s: the case of Wikipedia. A Corpus Based Study

Antonella Elia
Thanks to them a new Computer Mediated Discourse Community with its specific linguistic peculiarities is coming to life.  ...  For this reason I wish to thank the doctoral board of English For Special Purposes, and in particular, Prof. Gabriella Di Martino who placed her trust in my research abilities, Dr.  ...  (Request for mediation), VP (Village Pump), AOTW (Article of the week).  ... 
doi:10.6092/unina/fedoa/1818 fatcat:jj25f6ajfzhmjjndj5kdmaeozu

Mechanisms of Epileptogenesis in a Mouse Model of Temporal Lobe Epilepsy

Tilo Aurelio Gschwind
(E) The raw signal is saved for post-analysis and processed online for COI. A state-machine approach was used to define the trigger conditions.  ...  Images are modified from Houser (1990) for A and Bouilleret et al. (1999; 2000b) for B. almost completely disappeared .  ... 
doi:10.5167/uzh-145541 fatcat:zo2e5e6ufvaxrjvqhwdxo5xmoy