Search Results - "translators"

Evidence and Expertise in Nordic Education Policy A Comparative Network Analysis /

Table of Contents: “…-- How Much is Policy Advice Changed and Lost in Political Translation? -- The OECD and the Field of Knowledge Brokers in Danish, Finnish, and Icelandic Education Policy -- Regional Policy Spaces, Knowledge Networks and the "Nordic Other" -- On Evidence, Impact, and Layers in Education Policy Processes -- Evidence-Based Policy Making and Educational Reform in Nordic Europe: Main contributions of the POLNET Study -- Conclusion: Toward a Renewed Understanding of Evidence-Based Policy in Education.…”
Link to Metadata

Good Research Practice in Non-Clinical Pharmacology and Biomedicine

Table of Contents: “…Building robustness intro translational research -- 11. Minimum information and quality standards for conducting, reporting, and organizing in vitro research -- 12. …”
Link to Metadata

Emotions in Korean Philosophy and Religion Confucian, Comparative, and Contemporary Perspectives /

Table of Contents: “…Thinking through the Emotions with Korean Confucianism: Philosophical Translation and The Four-Seven Debate -- Chapter 7. …”
Link to Metadata

Migration Research in a Digitized World Using Innovative Technology to Tackle Methodological Challenges /

Table of Contents: “…Computer-assisted Migration Research: What We Can Learn about Source Questionnaire Design and Translation from the Software Localization Field -- Chapter 6. …”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Planning Cities in Africa Current Issues and Future Prospects of Urban Governance and Planning /

Table of Contents: “…Insights from Maputo City -- Translating globalised ideals into local settings: The actors and complexities of post-settlement water infrastructure planning in urban Ghana.…”
Link to Metadata

Women's Private Practices of Knowledge Production in Early Modern Europe

Table of Contents: “…Situating Women's Private Practices of Knowledge Production in the Early Modern Context -- References -- Lady Jane Lumley's Private Education and Its Political Resonances -- Introduction: Education at a Noble Household -- The Private, the Public, and the Political in Lady Lumley's Writings -- Lady Lumley's The Tragedie of Euripides Called Iphigeneia -- Comparing Translations of Iphigenia at Aulis -- In Conclusion -- References -- Camilla Herculiana (Erculiani): Private Practices of Knowledge Production -- Herculiana's Private Life and Connections: Biographical and Contextual Framework -- Camilla Herculiana é Gregetta, Lettere di philosophia naturale (1584) -- Inquisitional Trial -- Conclusion -- References -- From Behind the Folding Screen to the Collège de France: Victorine de Chastenay's Privacy Dynamics for Knowledge in the Making -- Note-Taking and Knowledge Acquisition as Private Practices -- Adapting the Household's Privacy to Reconcile Writing and Social Obligations -- Privacy in Institutional Spaces -- Conclusion -- References -- "Fait à mes heures de loisir": Women's Private Libraries as Spaces of Learning and Knowledge Production -- The Ducal Libraries: Private Collections? …”
Link to Metadata

Fundamental Methods of Logic by Knachel, Matthew

Table of Contents: “…Semantics of SL -- IV. Translating from English into SL -- V. Testing for Validity in SL -- Chapter 5 – Inductive Logic I: Analogical and Causal Arguments -- I. …”
Access online version

Reliability and Validity of International Large-Scale Assessment Understanding IEA's Comparative Studies of Student Achievement /

Table of Contents: “…Foreword; Dirk Hastedt -- 1 Introduction to Reliability and Validity of International Large-Scale Assessment; Hans Wagemaker -- 2 Study Design and Evolution, and the Imperatives of Reliability and Validity; Hans Wagemaker -- 3 Framework Development in International Large-Scale Assessment Studies; John Ainley and Wolfram Schulz -- 4 Assessment Content Development; Liz Twist and Julian Fraillon -- 5 Questionnaire Development in International Large-Scale Assessment Studies; Wolfram Schulz and Ralph Carstens -- 6 Translation: The Preparation of National Language Versions of Assessment Instruments; Paula Korsnakova, Steve Dept, and David Ebbs -- 7 Sampling, Weighting, and Variance Estimation; Sabine Meinck -- 8 Quality Control during Data Collection: Refining for Rigor; Lauren Musu, Sandra Dohr, and Andrea Netten -- 9 Post-collection Data Capture, Processing, and Scoring; Alena Becker -- 10 Technology and Assessment; Heiko Sibberns -- 11 Ensuring Validity in International Comparisons Using State-of-the-art Psychometric Methodologies; Matthias von Davier, Eugene Gonzalez, and Wolfram Schulz -- 12 Publishing and Dissemination; Seamus Hegarty and Sive Finlay -- 13 Consequential Validity: Data Access, Data Use, Analytical Support, and Training; Sabine Meinck, Eugene Gonzalez, and Hans Wagemaker -- 14 Using IEA Studies to Inform Policymaking and Program Development: The Case of Singapore; Hui Leng Ng, Chew Leng Poon, and Elizabeth Pang -- 15 Understanding the Policy Influence of International Large-Scale Assessments in Education; David Rutkowski, Greg Thompson, and Leslie Rutkowski.-.…”
Link to Metadata

Progress in Landslide Research and Technology, Volume 1 Issue 1, 2022

Table of Contents: “…Landslide warning systems in low- and lower-middle-income countries: future challenges and societal impact (Irasema Alcántara-Ayala) -- Chapter 10. The role of translational landslides in the evolution of cuesta topography (Shinro Abe).…”
Link to Metadata

Socio-Spatial Theory in Nordic Geography Intellectual Histories and Critical Interventions /

Table of Contents: “…Living Space Ideas in Nordic Small State Geopolitics (Henrik Gutzon Larsen and Carl Marklund) -- 3. Translating Space: The rise and Fall of Central Place Theory and Planning-Geography in Sweden (Pär Wikman and Marcus Mohall) -- 4. …”
Link to Metadata

European Language Grid A Language Technology Platform for Multilingual Europe /

Table of Contents: “…Multilingual Knowledge Systems as Linguistic Linked Open Data -- 24.Open Translation Models, Tools and Services -- 25. Sign Language Explanations for Terms in a Text -- 26. …”
Link to Metadata

Higher Education Reforms in Romania Between the Bologna Process and National Challenges /

Table of Contents: “…Student Centred Learning: translating trans-national commitments into institutional realities. …”
Link to Metadata

Regional and Local Development in Times of Polarisation Re-thinking Spatial Policies in Europe /

Table of Contents: “…On the Limits of Emphasising Agency in Structurally Disadvantaged Rural Places -- PART IV: CONCLUSIONS: ABOUT THE RELEVANCE OF SCIENTIFIC RESEARCH FOR POLITICAL PRACTICE AND POLICY MAKING -- 14 Translating Scientific Results: Encouraging Reflective Policies as a Chance for Change -- 15 Understanding and Going beyond the Regional Policy Paradox: Conceptual Contributions to Studying Socio-spatial Polarisation in Europe.…”
Link to Metadata

Introduction to Linear, Time-Invariant, Dynamic Systems for Students of Engineering by Hallauer, William

Table of Contents: “…Chapter 1 Introduction; examples of 1st and 2nd order systems; example analysis and MATLAB graphing -- Chapter 2 Complex numbers and arithmetic; Laplace transforms; partial-fraction expansion -- Chapter 3 Mechanical units; low-order mechanical systems; simple transient responses of 1st order systems -- Chapter 4 Frequency response of 1st order systems; transfer function; general method for derivation of frequency response -- Chapter 5 Basic electrical components and circuits -- Chapter 6 General time response of 1st order systems by application of the convolution integral -- Chapter 7 Undamped 2nd order systems: general time response; undamped vibration -- Chapter 8 Pulse inputs; Dirac delta function; impulse response; initialvalue theorem; convolution sum -- Chapter 9 Damped 2nd order systems: general time response -- Chapter 10 2nd order systems: frequency response; beating response to suddenly applied sinusoidal (SAS) excitation -- Chapter 11 Mechanical systems with rigid-body plane translation and rotation -- Chapter 12 Vibration modes of undamped mechanical systems with two degrees of freedom -- Chapter 13 Laplace block diagrams, and additional background material for the study of feedback-control systems -- Chapter 14 Introduction to feedback control: output operations for control of rotational position -- Chapter 15 Input-error operations: proportional, integral, and derivative types of control -- Chapter 16 Introduction to system stability: time-response criteria -- Chapter 17 Introduction to system stability: frequency-response criteria -- Appendix A: Table and derivations of Laplace transform pairs -- Appendix B: Notes on work, energy, and power in mechanical systems and electrical circuits -- Index for all Chapters and Appendices…”
Access online version

Entertainment-Education Behind the Scenes Case Studies for Theory and Practice /

Table of Contents: “…Confronting the Challenges of Translational Communication Research in Entertainment-Education -- Part IV . …”
Link to Metadata

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

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Advancing the Science of Cancer in Latinos

Table of Contents: “…Latinos: What Have We Learned and Where Should We Focus Our Attention -- Chapter 6: Differential Cancer Risk in Latinos: The Role of Diet -- Chapter 7: Biomarkers of Gastric Pre-Malignant Lesions -- Chapter 8: Molecular Subtypes and Driver Mutations in Latinos with Gastric Cancer: Implications for Etiological and Translational Research -- Chapter 9: The Biology of Breast Cancer Disparities in Hispanics: Current Knowledge, Gaps and Research Opportunities -- Chapter 10: Molecular Profiles of Breast Cancer in Hispanic/Latina -- Chapter 11: Biomarkers and Precision Medicine in Oncology Practice and Clinical Trials -- Chapter 12: Overcoming Barriers for Latinos on Cancer Clinical Trials -- Chapter 13: Breast Cancer Precision Medicine in Hispanics/Latinas: Focus on Luminal B Tumors -- Chapter 14: Is Precision Medicine Widening Cancer Care Disparities in Latino Populations? …”
Link to Metadata

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

My Math GPS Elementary Algebra Guided Problem Solving by Cornick, Jonathan, Guy, Michael, Puri, Karan

Table of Contents: “…Linear Equations And Inequalities -- GPS 1: Understanding Linear Equations -- GPS 2: Solving Linear Equations With Whole Numbers -- GPS 3: Adding Signed Numbers -- GPS 4: Subtracting Signed Numbers -- GPS 5: Multiplying And Dividing Signed Numbers -- GPS 6: Solving Linear Equations With Signed Numbers -- GPS 7: Translating Words Into Expressions And Equations -- GPS 8: Solving Linear Inequalities, Part 1 -- GPS 9: Solving Linear Inequalities, Part 2 -- GPS 10: Solving Linear Equations With Fractions -- GPS 11: More Linear Equations With Fractions -- GPS 12: Solving Literal Linear Equations -- The Coordinate Plane And Lines -- GPS 13: Introduction To The Coordinate Plane -- GPS 14: Intercepts Of A Line -- GPS 15: Slope And Equations Of A Line -- GPS 16: The Slope-Intercept Equation Of A Line -- GPS 17: Slope-Intercept Equation And Graphing -- GPS 18: Graphing Lines In Slope-Intercept Form -- GPS 19: Finding An Equation Of A Line From Its Graph -- GPS 20: Horizontal And Vertical Lines -- Systems Of Linear Equations -- GPS 21: Introduction To Systems Of Linear Equations And Solving Graphically -- GPS 22: More On Solving Systems Graphically -- GPS 23: Solving Systems Of Linear Equations Algebraically -- GPS 24: More On Solving Systems Algebraically -- Exponents -- GPS 25: Rules Of Exponents, Part 1 -- GPS 26: Rules Of Exponents, Part 2 -- Polynomials And Operations -- GPS 27: Introduction To Polynomials And Operations -- GPS 28: Multiplying Polynomials -- GPS 29: Removing The Greatest Common Factor -- GPS 30: Factoring By Grouping -- GPS 31: Factoring Trinomials By Grouping – Part 1 -- GPS 32: Factoring Trinomials By Grouping – Part 2 -- GPS 33: Factoring Trinomials By Grouping – Part 3 -- GPS 34: Factoring Trinomials By Grouping – Part 4 -- GPS 35: Factoring A Difference Of Squares -- GPS 36: Multistep Factoring -- GPS 37: Solving Quadratic Equations By Factoring -- Algebraic Expressions -- GPS 38: Evaluating Algebraic Expressions -- Square Roots And Operations -- GPS 39: Introduction To Square Roots -- GPS 40: Operations With Square Roots -- GPS 41: Pythagorean Theorem…”
Access online version