Search

Your search keyword '"Conditional expression"' showing total 276 results

Search Constraints

Start Over You searched for: Descriptor "Conditional expression" Remove constraint Descriptor: "Conditional expression"
276 results on '"Conditional expression"'

Search Results

1. Targeted insertion of conditional expression cassettes into the mouse genome using the modified i-PITT

2. Bioinformatics-Based Identification of Human B-Cell Receptor (BCR) Stimulation-Associated Genes and Putative Promoters

3. Targeted insertion of conditional expression cassettes into the mouse genome using the modified i-PITT.

4. Bioinformatics-Based Identification of Human B-Cell Receptor (BCR) Stimulation-Associated Genes and Putative Promoters.

5. An Attenuated Strain of Human Cytomegalovirus for the Establishment of a Subviral Particle Vaccine.

6. 'Come together'—The Regulatory Interaction of Herpesviral Nuclear Egress Proteins Comprises Both Essential and Accessory Functions.

7. An Attenuated Strain of Human Cytomegalovirus for the Establishment of a Subviral Particle Vaccine

9. Scaling Enumerative Program Synthesis via Divide and Conquer

10. SQL Basics

11. Omp16, a conserved peptidoglycan-associated lipoprotein, is involved in Brucella virulence in vitro.

12. The Complex Regulatory Role of Cytomegalovirus Nuclear Egress Protein pUL50 in the Production of Infectious Virus

15. Temporal Control of Morphogenic Factor Expression Determines Efficacy in Enhancing Regeneration

16. Role of Src Family Kinases in Prolactin Signaling

20. Hapax Richness

21. An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames

23. Expressions

24. Termination Analysis for Higher-Order Attribute Grammars

31. An Executable Semantics for CompCert C

32. Clean Translation of an Imperative Reversible Programming Language

34. Basic Formal Specification in TLA+

35. Towards Ada 2012: An Interim Report

36. The Worklet Service

49. Enhancements to Policy Distribution for Control Flow and Looping

50. Decision Procedures Customized for Formal Verification

Catalog

Books, media, physical & digital resources