Search Results - ABSP~

Antisense RNA Design, Delivery, and Analysis

Table 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

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Interface Oral Health Science 2016 Innovative Research on Biosis-Abiosis Intelligent Interface /

Table of Contents: “…Orofacial stem cells for cell based therapies of local and systemic diseases -- 9. …”
Link to Metadata

Flowing Matter

Table of Contents: “…Active fluids within the unified coloured noise approximation -- Chapter9. Quadrature-based lattice Boltzmann models for rarefied gas flow.…”
Link to Metadata

Deforming the Reform The Impact of Elites on Romania's Post-accession Europeanization / by Martin-Russu, Luana

Table of Contents: “…Towards a Theory of De-Europeanization, an Elite-based Approach -- Chapter 3. Fragmentation: A Trait of the Romanian Political Elite -- Chapter 4. …”
Link to Metadata

The Evolution of Research on Teaching Mathematics International Perspectives in the Digital Era /

Table of Contents: “…Individual student characteristics, abilities, and personal qualities.…”
Link to Metadata

Micro-, Meso- and Macro-Dynamics of the Brain

Table of Contents: “…Hippocampal mechanisms for the segmentation of space by goals and boundaries -- Cortical Evolution: Introduction to the Reptilian Cortex -- Flow of information underlying a tactile decision in mice -- The Visual Brain: Computing through Multiscale Complexity -- Grid cells and spatial maps in entorhinal cortex and hippocampus -- The striatum and decision-making based on value -- Decoding the dynamics of conscious perception: The temporal generalization method -- Sleep and synaptic down-selection -- Federating and integrating what we know about the brain at all scales - a challenge for the future. …”
Link to Metadata

Health Education

Table of Contents: “…Chapter 1: Introduction to Health -- Chapter 2: Psychological Health -- Chapter 3: Stress Management -- Chapter 4: Relationships and Communication -- Chapter 5: Gender and Sexuality -- Chapter 6: Sexual Health -- Chapter 7: Infectious diseases and Sexually Transmitted Infections (STI's) -- Chapter 8: Substance Use and Abuse -- Chapter 9: Basic Nutrition and Healthy Eating -- Chapter 10: Weight Management -- Chapter 11: Physical Fitness -- Chapter 12: Cardiovascular Disease, Diabetes, and Cancer -- Chapter 13: Environmental Health -- Chapter 14: Health Care Choices…”
Access online version

Introduction to Entrepreneurship

Table of Contents: “…Entrepreneurial Traits, Skills and Abilities -- 5. The Entrepreneurial Mindset -- 6. Creativity and Innovation in Entrepreneurship -- III. …”
Access online version

How Arguments Work - A Guide to Writing and Analyzing Texts in College by Mills, Anna

Table of Contents: “…1: Introduction -- 2: Reading to Figure out the Argument -- 3: Writing a Summary of Another Writer’s Argument -- 4: Assessing the Strength of an Argument (Logos) -- 5: Responding to an Argument -- 6: The Research Process -- 7: Forming a Research-Based Argument -- 8: How Arguments Appeal to Emotion (Pathos) -- 9: How Arguments Establish Trust and Connection (Ethos) -- 10: Writing an Analysis of an Argument’s Strategies -- 11: The Writing Process -- 12: Essay Organization -- 13: Correcting Grammar and Punctuation -- 14: Style: Shaping Our Sentences -- 15: Teacher's Guide…”
Access online version

Human Factors in Privacy Research

Table of Contents: “…- Challenges for Privacy Nudge Design -- Chapter 9 The Hows and Whys of Dark Patterns: Categorizations and Privacy -- Chapter 10 "They see me scrolling" - Lessons Learned From Investigating Shoulder Surfing Behavior and Attack Mitigation Strategies -- Chapter 11 Privacy Research on the Pulse of Time: COVID-19 Contact Tracing Apps -- Chapter 12 Privacy Perception and Behavior in Safety-Critical Environments -- Part IV Solutions -- Chapter 13 Generic Consents in Digital Ecosystems: Legal, Psychological and Technical Perspectives -- Chapter 14 Human-Centered Design for Data-Sparse Tailored Privacy Information Provision -- Chapter 15 Acceptance Factors of Privacy Enhancing Technologies on the Basis of Tor and JonDonym -- Chapter 16 Increasing Users' Privacy Awareness in the Internet of Things: Design Space and Sample Scenarios -- Chapter 17 Challenges, Conflicts and Solution Strategies for the Introduction of Corporate Data Protection Measures -- Chapter 18 Data Cart - A Privacy Pattern for Personal Data Management in Organizations.…”
Link to Metadata

Arts and Health Promotion Tools and Bridges for Practice, Research, and Social Transformation /

Table of Contents: “…CuidarNos: Art and Social Work to Address Trauma among Gender-Based Violence Advocates After Hurricane María in Puerto Rico -- Chapter 7. …”
Link to Metadata

Rational Use of Intravenous Fluids in Critically Ill Patients

Table of Contents: “…Fundamentals of Intravenous Fluid Therapy -- Terms and Definitions on Fluid Therapy -- Fluid Physiology Part 1: Volume and Distribution of Water and its Major Solutes between Plasma, the Interstitium and Intracellular Fluids -- Fluid Physiology Part 2: Regulation of Body Fluids and the Distribution of Infusion Fluids -- Fluid Dynamics during Resuscitation: from Frank-Starling to the Reappraisal of Guyton -- Understanding Heart-Lung Interactions: Concepts of Fluid Responsiveness and the Place for the Fluid Challenge -- Traditional Approach to Acid Base -- Stewart Approach to Acid Base -- The 4 indications of Fluid Therapy: Resuscitation, Replacement, Maintenance, Nutrition Fluids and Beyond -- Part II. …”
Link to Metadata

Conservation of Contemporary Art Bridging the Gap Between Theory and Practice /

Table of Contents: “…Introduction to the Volume -- Part I Theorizing Conservation as a Reflective Practice -- Artworks in Art Museums -- Doing Ethics in Practice: SBMK Platform Meetings -- Part II The Identity of the Art Object -- The Enfolding Object of Conservation: Artwork Identity, Authenticity, and Documentation -- When Old Was New: Rethinking Traditional and Contemporary Art and Their Paradigms of Care -- Languages of Conservation: A Comparison between Internet-based Art and Built Heritage -- No Longer Artwork -- Part III Professional Roles and Identities: Conservators, Curators, and Artists -- Visible Issues. …”
Link to Metadata

Managed Software Evolution

Table of Contents: “…1 Introducing Managed Software Evolution -- 2 The Nature of Software Evolution -- 3 Addressed Challenges -- 4 Introduction to Case Studies -- 5 Tacit Knowledge in Software Evolution -- 6 Continuous Design Decision Support -- 7 Model-based Round-Trip Engineering and Testing of Evolving Software Product Lines -- 8 Performance Analysis Strategies for Software Variants and Versions -- 9 Maintaining Security in Software Evolution -- 10 Learning from Evolution for Evolution -- 11 Formal Verication of Evolutionary Changes -- 12 Case Studies for the Community -- 13 Lessons Learned -- 14 Future Research.…”
Link to Metadata

Knowledge Graphs and Big Data Processing

Table of Contents: “…Scalable Knowledge Graph Processing using SANSA -- Chapter 8. Context-Based Entity Matching for Big Data -- Applications -- Chapter 9. …”
Link to Metadata

Explanatory Models, Unit Standards, and Personalized Learning in Educational Measurement Selected Papers by A. Jackson Stenner /

Table of Contents: “…Readability and Reading Ability -- 8. Mapping Variables -- 9. Theory Referenced Measurement: Combining Substantive Theory and the Rasch Model -- 10. …”
Link to Metadata

The Fundamental Elements of Strategy Concepts, Theories and Cases / by Yu, Xiu-bao

Table of Contents: “…Knowing Yourself and Knowing the Others -- Chapter 9. Strategic Evaluation Based on Three Elements -- Chapter 10. Implications for Future Research.…”
Link to Metadata

Introductory Chemistry by Ball, David W.

Table of Contents: “…-- Chapter 2: Measurements -- Chapter 3: Atoms, Molecules, and Ions -- Chapter 4: Chemical Reactions and Equations -- Chapter 5: Stoichiometry and the Mole -- Chapter 6: Gases -- Chapter 7: Energy and Chemistry -- Chapter 8: Electronic Structure -- Chapter 9: Chemical Bonds -- Chapter 10: Solids and Liquids -- Chapter 11: Solutions -- Chapter 12: Acids and Bases -- Chapter 13: Chemical Equilibrium -- Chapter 14: Oxidation and Reduction -- Chapter 15: Nuclear Chemistry -- Chapter 16: Organic Chemistry -- Chapter 17: Appendix: Periodic Table of the Elements --…”
Access online version

Introduction to the Modeling and Analysis of Complex Systems by Sayama, Hiroki

Table of Contents: “…Introduction -- Fundamentals of Modeling -- Basics of Dynamical Systems -- Discrete-Time Models I: Modeling -- Discrete-Time Models II: Analysis -- Continuous-Time Models I: Modeling -- Continuous-Time Models II: Analysis -- Bifurcations -- Chaos -- Interactive Simulation of Complex Systems -- Cellular Automata I: Modeling -- Cellular Automata II: Analysis -- Continuous Field Models I: Modeling -- Continuous Field Models II: Analysis -- Basics of Networks -- Dynamical Networks I: Modeling -- Dynamical Networks II: Analysis of Network Topologies -- Dynamical Networks III: Analysis of Network Dynamics -- Agent-Based Models…”
Access online version