Non-interference - PDFSEARCH.IO - Document Search Engine

Non-interference
Results: 253

#	Item
71	Reactive non-interference for the browser: extended version Nataliia Bielova Fabio Massacci Dominique Devriese Add to Reading List Source URL: lirias.kuleuven.be Language: English HTTP cookie Cross-site scripting Firefox Information flow Web browser JavaScript Computer security Web page Google Chrome Software Computing Non-interference
72	Secure multi-execution through static program transformation: extended version Gilles Barthe Juan Manuel Crespo Dominique Devriese Add to Reading List Source URL: lirias.kuleuven.be Language: English Programming language Eval JavaScript Information flow Computer programming Computing Software engineering Non-interference
73	Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols ∗ Michele Bugliesi and Sabina Rossi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia via Torino 155, 30172 Venezia, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:27:34 Numbers Bisimulation Applied mathematics Mathematics Euclidean plane geometry Golden ratio
74	Resource Repurposing CRISPR as an RNA-Guided Platform for Sequence-Specific Control of Gene Expression Lei S. Qi,1,2,8,* Matthew H. Larson,2,3,8 Luke A. Gilbert,2,3,8 Jennifer A. Doudna,4,5,6,8,9 Jonathan S. Weissman,2, Add to Reading List Source URL: limlab.ucsf.edu Language: English - Date: 2014-12-24 04:42:16 Biochemistry RNA Molecular biology DNA Lac operon RNA interference RNA polymerase Non-coding RNA CRISPR Biology Gene expression Genetics
75	Context-Sensitive Equivalences for Non-Interference based Protocol Analysis ? Michele Bugliesi, Ambra Ceccato, and Sabina Rossi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia via Torino 155, 30172 Vene Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:55:04 Bisimulation Logic in computer science Golden ratio Numbers Μ operator Mathematics Theoretical computer science Applied mathematics
76	a n n u a l r e p o r t Add to Reading List Source URL: www.benitec.com Language: English - Date: 2014-10-02 21:21:24 Management Private law Committees Genetics RNA interference Board of directors Audit committee Non-executive director Watch Tower Bible and Tract Society of Pennsylvania Corporations law Corporate governance Business
77	Molecular Cancer BioMed Central Open Access Add to Reading List Source URL: www.molecular-cancer.com Language: English RNA HMGA2 RNA interference Dicer Gene expression RNA transfection Non-coding RNA Mir-199 microRNA precursor Mir-92 microRNA precursor family Genetics MicroRNA Biology
78	Gene Regulation by CcpA and Catabolite Repression Explored by RNA-Seq in Streptococcus mutans Lin Zeng1., Sang Chul Choi2,3.¤, Charles G. Danko3, Adam Siepel3, Michael J. Stanhope2, Robert A. Burne1* 1 Department of Ora Add to Reading List Source URL: www.vet.cornell.edu Language: English - Date: 2014-10-03 12:31:28 Gene expression Biochemistry Transcriptome Antitermination Non-coding RNA RNA-Seq RNA polymerase Gene RNA interference Biology Genetics RNA
79	PhET Tips for Teachers Quantum Wave Interference Non-obvious controls: Use the Save/Load feature in the File menu to save a configuration of barriers and/or Add to Reading List Source URL: phet.colorado.edu Language: English - Date: 2012-11-14 12:45:23 Wave mechanics Quantum measurement Double-slit experiment Introduction to quantum mechanics Wavelength Wave Schrödinger equation Measurement problem De Broglie–Bohm theory Physics Quantum mechanics Partial differential equations
80	OMICS International Conference Tentative Program International Conference on Transcriptomics Add to Reading List Source URL: transcriptomics.conferenceseries.com Language: English - Date: 2015-04-16 10:21:28 Gene expression Molecular biology Transcriptome RNA-Seq Long non-coding RNA De novo transcriptome assembly RNA interference MicroRNA Transcription Biology Genetics RNA

UPDATE