Search Results - PLDT~
Suggested Topics within your search.
Suggested Topics within your search.
- Politics & government 171
- History 154
- Humanities 112
- Education 111
- History of engineering & technology 96
- Research & information: general 96
- Social sciences 93
- Sociology 93
- Technology: general issues 92
- Political science & theory 91
- Philosophy 89
- Political science 84
- Science 83
- Medicine 81
- Sustainability 79
- International relations 76
- Human geography 68
- Europe 65
- Biology, life sciences 60
- Emigration and immigration 59
- Human Geography 57
- Political Science 56
- Human Migration 54
- Economics 53
- Business 52
- European history 52
- Education and state 51
- Politics and government 51
- Social aspects 50
- Biography & True Stories 48
-
12261
-
12262
-
12263
Antisense RNA Design, Delivery, and Analysis
Published 2022Table of Contents: “…Introduction and History of the Chemistry of Nucleic Acids Therapeutics -- Antisense RNA Therapeutics: A Brief Overview -- Design of Bifunctional Antisense Oligonucleotides for Exon Inclusion -- Design and Delivery of SINEUP: A New Modular Tool to Increase Protein Translation -- How to Design U1 snRNA Molecules for Splicing Rescue -- Conjugation of Nucleic Acids and Drugs to Gold Nanoparticles -- Determination of Optimum Ratio of Cationic Polymers and Small Interfering RNA with Agarose Gel Retardation Assay -- Generation of Protein-Phosphorodiamidate Morpholino Oligomer Conjugates for Efficient Cellular Delivery via Anthrax Protective Antigen -- Development and Use of Cellular Systems to Assess and Correct Splicing Defects -- Modeling Splicing Variants Amenable to Antisense Therapy by Use of CRISPR-Cas9-Based Gene Editing in HepG2 Cells -- In Vitro Models for the Evaluation of Antisense Oligonucleotides in Skin -- In Vitro Delivery of PMOs in Myoblasts by Electroporation -- Rapid Determination of MBNL1 Protein Levels by Quantitative Dot Blot for Evaluation of Antisense Oligonucleotides in Myotonic Dystrophy Myoblasts -- Evaluation of Exon Skipping and Dystrophin Restoration in In Vitro Models of Duchenne Muscular Dystrophy -- Generation of Human iPSC-Derived Myotubes to Investigate RNA-Based Therapies In Vitro -- Eye on a Dish Models to Evaluate Splicing Modulation -- Establishment of In Vitro Brain Models for AON Delivery -- Considerations for Generating Humanized Mouse Models to Test Efficacy of Antisense Oligonucleotides -- Generation of Humanized Zebrafish Models for the In Vivo Assessment of Antisense Oligonucleotide-Based Splice Modulation Therapies -- Use of Small Animal Models for Duchenne and Parameters to Assess Efficiency upon Antisense Treatment -- In Vivo Models for the Evaluation of Antisense Oligonucleotides in Skin -- Delivery of Antisense Oligonucleotides to the Mouse Retina -- Delivery of Antisense Oligonucleotides to the Mouse Brain by Intracerebroventricular Injections -- Intrathecal Delivery of Therapeutic Oligonucleotides for Potent Modulation of Gene Expression in the Central Nervous System -- Preclinical Safety Assessment of Therapeutic Oligonucleotides -- Preclinical Evaluation of the Renal Toxicity of Oligonucleotide Therapeutics in Mice -- Protocol for Isolation and Culture of Mouse Hepatocytes (HCs), Kupffer Cells (KCs), and Liver Sinusoidal Endothelial Cells (LSECs) in Analyses of Hepatic Drug Distribution -- Patent Considerations When Embarking on New Antisense Drug Programs.…”
Link to Metadata
Electronic eBook -
12264
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Published 2021Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
Link to Metadata
Electronic eBook -
12265
-
12266
-
12267
-
12268
Special Functions with Applications to Mathematical Physics
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
12269
-
12270
-
12271
-
12272
-
12273
-
12274
-
12275
-
12276
-
12277
-
12278
-
12279
-
12280