Search Results - "translators"

The COVID-19 Pandemic and Hispanic/Latina/o Immigrant Mental Health: Why More Needs to Be Done

Connect to this object online.

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Handbook of Life Course Health Development

Table of Contents: “…Life Course Health-Development Outcomes after Prematurity: Developing a Community, Clinical, and Translational Research Agenda to Optimize Health, Behavior and Functioning -- Chapter 15. …”
Link to Metadata

Impacts of the Fukushima Nuclear Accident on Fish and Fishing Grounds

Table of Contents: “…1 Introduction: Overview of Our Research on Impacts of the Fukushima Dai-ichi Nuclear Power Plant Accident on Fish and Fishing Grounds -- Part I Seawater and Plankton -- 2 134Cs and 137Cs in the Seawater Around Japan and in the North Pacific -- 3 Temporal Changes in 137Cs Concentration in Zooplankton and Seawater off the Joban-Sanriku Coast, and in Sendai Bay, After the Fukushima Dai-ichi Nuclear Accident -- Part II Sediments and Benthos -- 4 Three-Dimensional Distribution of Radiocesium in Sea Sediment Derived from the Fukushima Dai-ichi Nuclear Power Plant -- 5 Radiocesium Concentrations in the Organic Fraction of Sea Sediments -- 6 Bottom Turbidity, Boundary Layer Dynamics, and Associated Transport of Suspended Particulate Materials off the Fukushima Coast -- 7 Investigation of Radiocesium Translation from Contaminated Sediment to Benthic Organisms -- Part III Marine Fish -- 8 Detection of 131I, 134Cs, and 137Cs Released into the Atmosphere from FNPP in Small Epipelagic Fishes, Japanese Sardine and Japanese Anchovy, off the Kanto Area, Japan -- 9 Radiocesium Concentration of Small Epipelagic Fishes (Sardine and Japanese Anchovy) off the Kashima-Boso Area -- 10 Why Do the Radionuclide Concentrations of Pacific Cod Depend on the Body Size? …”
Link to Metadata

Make Life Visible

Table of Contents: “…Imaging Sleep and Wakefulness -- Chapter 18. Abnormal local translation in dendrites impairs cognitive functions in neuropsychiatric disorders -- Chapter 19. …”
Link to Metadata

Ecosystem-Based Management, Ecosystem Services and Aquatic Biodiversity Theory, Tools and Applications /

Table of Contents: “…Case Studies -- Models and Mapping Tools to Inform Resilience Planning After Disasters: A Case Study of Hurricane Sandy and Long Island Ecosystem Services -- Ecosystem-Based Management to Support Conservation and Restoration Efforts in the Danube Basin -- Combining Methods to Establish Potential Management Measures for Invasive Species Elodea nutallii in Lough Erne Northern Ireland -- Mitigating Negative Unintended Impacts on Biodiversity in the Natura 2000 Vouga Estuary (Ria de Aveiro, Portugal) -- Ecosystem-Based Management for More Effective and Equitable Marine Protected Areas: A Case Study on the Faial-Pico Channel Marine Protected Area, Azores -- Using Stakeholder Engagement, Translational Science and Decision Support Tools for Ecosystem-Based Management in the Florida Everglades -- Remediation to Restoration to Revitalization: Engaging Communities to Support Ecosystem-Based Management and Improve Human Wellbeing at Clean-up Sites -- Predicting Future Vegetated Landscapes Under Climate Change: Application of the Environmental Stratification Methodology to Protected Areas in the Lower Mekong Basin.…”
Link to Metadata

Introduction to Logic and Critical Thinking by Van Cleave, Matthew

Table of Contents: “…-- 2.2 Propositional logic and the four basic truth functional connectives -- 2.3 Negation and disjunction -- 2.4 Using parentheses to translate complex sentences -- 2.5 “Not both” and “neither nor” -- 2.6 The truth table test of validity -- 2.7 Conditionals -- 2.8 “Unless” -- 2.9 Material equivalence -- 2.10 Tautologies, contradictions, and contingent statements -- 2.11 Proofs and the 8 valid forms of inference -- 2.12 How to construct proofs -- 2.13 Short review of propositional logic -- 2.14 Categorical logic -- 2.15 The Venn test of validity for immediate categorical inferences -- 2.16 Universal statements and existential commitment -- 2.17 Venn validity for categorical syllogisms -- Chapter 3: Evaluating inductive arguments and probabilistic and statistical fallacies -- 3.1 Inductive arguments and statistical generalizations -- 3.2 Inference to the best explanation and the seven explanatory virtues -- 3.3 Analogical arguments -- 3.4 Causal arguments -- 3.5 Probability -- 3.6 The conjunction fallacy -- 3.7 The base rate fallacy -- 3.8 The small numbers fallacy -- 3.9 Regression to the mean fallacy -- 3.10 Gambler's fallacy -- Chapter 4: Informal fallacies -- 4.1 Formal vs. informal fallacies -- 4.1.1 Composition fallacy -- 4.1.2 Division fallacy -- 4.1.3 Begging the question fallacy -- 4.1.4 False dichotomy -- 4.1.5 Equivocation -- 4.2 Slippery slope fallacies -- 4.2.1 Conceptual slippery slope -- 4.2.2 Causal slippery slope -- 4.3 Fallacies of relevance -- 4.3.1 Ad hominem -- 4.3.2 Straw man -- 4.3.3 Tu quoque -- 4.3.4 Genetic -- 4.3.5 Appeal to consequences -- 4.3.6 Appeal to authority -- Answers to exercisesGlossary/Index…”
Access online version

Thinking ahead about medical treatments in advanced illness: a qualitative study of barriers and enablers in end-of-life care planning with patients and families from ethnically di... by Islam Zoebia, Pollock Kristian, Patterson Anne, Hanjari Matilda, Wallace Louise, Mururajani Irfhan, Conroy Simon, Faull Christina

Connect to this object online.

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: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Conceptual framework on barriers and facilitators to implementing perinatal mental health care and treatment for women: the MATRIx evidence synthesis by Rebecca Webb, Elizabeth Ford, Judy Shakespeare, Abigail Easter, Fiona Alderdice, Jennifer Holly, Rose Coates, Sally Hogg, Helen Cheyne, Sarah McMullen, Simon Gilbody, Debra Salmon, Susan Ayers

Connect to this object online.

Beyond Becquerel and Biology to Precision Radiomolecular Oncology: Festschrift in Honor of Richard P. Baum

Table of Contents: “…Theranostic Radiopeptides in Nuclear Oncology: Design, Preclinical Screening & Clinical Translation -- 23. Terbium "Sisters": More than just a "Swiss Army Knife" -- 24. …”
Link to Metadata

Essential Speech and Language Technology for Dutch Results by the STEVIN-programme /

Table of Contents: “…Y.Wang, J.F.Gemmeke, K.Demuynck, and H.Van Hamme -- 17.Parse and Corpus-based Machine Translation. V.Vandeghinste, S.Martens, G.Kotzé, J.Tiedemann, J.Van den Bogaert, K.De Smet, F.Van Eynde, and G.van Noord -- Part IV.HLT Application Related Papers -- 18.Development and Integration of Speech technology into COurseware for Language Learning: the DISCO Project. …”
Link to Metadata

Public Health in Pharmacy Practice A Casebook by Covvey, Jordan R, Arya, Vibhuti, Mager, Natalie A. DiPietro

Table of Contents: “…Deprescribing in palliative care: applying knowledge translation strategies -- 40. Let your pharmacist be your guide: navigating barriers to pharmaceutical access -- 41. …”
Access online version

Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6-9, 2020, Proceedings /

Table of Contents: “…Normal Vibration Modes for Ultrasonic Surface Haptic Devices -- Midair Tactile Reproduction of Real Objects -- LinkRing: A Wearable Haptic Display for Delivering Multi-contact and Multi-modal Stimuliat the Finger Pads -- ElectroAR: Distributed Electro-tactile Stimulation for Tactile Transfer -- Haptic Applications -- Identification Rate of Simple and Complex Tactile Alerts in MUM-T Setup -- Attention-based Robot Learning of Haptic Interaction -- Motion Guidance using Translational Force and Torque Feedback by Induced Pulling Illusion -- Perceptually Compressive Communication of Interactive Telehaptic Signal -- Sound Image Icon with Aerial Haptic Feedback -- Stiffness Discrimination by Two Fingers with Stochastic Resonance -- Interest Arousal by Haptic Feedback During a Storytelling for Kindergarten Children -- Investigating the influence of haptic feedback in rover navigation with communication delay -- Shared haptic perception for human-robot collaboration -- Two-Point Haptic Pattern Recognition with the Inverse Filter Method -- Adaptive Fuzzy Sliding Mode Controller Design for a New Hand Rehabilitation Robot.…”
Link to Metadata

International Impacts on Social Policy Short Histories in Global Perspective /

Table of Contents: “…Johanna Fischer, Hongsoo Kim, Lorraine Frisina Doetter, and Heinz Rothgang -- 35 Variations on Bismarck: Translations of Social Health Insurance in Post- Communist Healthcare Reforms in Central and Eastern Europe-The Role of Vertical and Horizontal Interdependencies Monika Ewa Kaminska -- 36 A Quest for Equity: Labour Standards on the Transnational Move Ulrich Mückenberger -- 37. …”
Link to Metadata

Global Perspectives on Educational Innovations for Emergency Situations

Table of Contents: “…DENNEN, JIYAE BONG) -- Chapter 12 - INTERSECTIONALITY AND COMPROMISE - ENACTING GOVERNMENT POLICIES IN THE CARIBBEAN (CAMILLE DICKSON-DEANE,LAURETTE BRISTOL, DAURAN MCNEIL, TALIA ESNARD, LORRAINE LEACOCK) -- Chapter 13 - A FAMILY OF K-12 EDUCATORS' INNOVATIVE RESPONSES TO OVERCOME COVID-19 CHALLENGES (HUI-CHEN DURLEY, XUN GE) -- Chapter 14 - TRANSLATING DISTANCE EDUCATION THEORY INTO PRACTICE (LEROY HILL) -- Chapter 15 - ALL HANDS ON DECK: FACULTY COLLABORATION IN TRANSFORMING TO REMOTE TEACHING (WANJU HUANG, JENNIFER RICHARDSON) -- Chapter 16 - VIRTUAL MAKING - TRANSFORMING MAKER EDUCATION IN A TEACHER EDUCATION PROGRAM DURING THE COVID-19 PANDEMIC (YI JIN, JASON HARRON, HELEN MADDOX) -- Chapter 17 - REFLECTING ON A YEAR OF EMERGENCY REMOTE TEACHING (JEONGHYUN LEE, FARAHNAZ SOLEIMANI, STEPHEN W HARMON) -- Chapter 18 - A REFLECTION ON ONLINE TEACHING AND LEARNING THROUGH THE PANDEMIC: REVISITING CREATIVITY (JIN MAO) -- Chapter 19 - CHILEAN PERSPECTIVES ON EDUCATIONAL EXPERIENCES AND INNOVATIONS IN EMERGENCY CONTEXTS (JAIME SÁNCHEZ, JOSÉ REYES-ROJAS) -- Chapter 20 - IMPLEMENTATION OF A DIGITAL LIVE-ACTION GAMING EXPERIENCE FOR INTERPROFESSIONAL LEARNING AND TRAINING (ANDRE THOMAS, YUN LI, CHRISTINE L. …”
Link to Metadata

Writing Programs Worldwide Profiles of Academic Writing in Many Places by Thaiss, Chris, Bräuer, Gerd, Carlino, Paula, Ganobcsik-Williams, Lisa, Sinha, Aparna

Table of Contents: “…The Place of Writing in Translation: From Linguistic Craftsmanship to Multilingual Text Production, Otto Kruse -- Chapter 36. …”
Access online version

A Subtitling Analysis On Noun Phrases In Percy Jackson: Sea Of Monsters Movie By Sang Pangeran by Rimawati, Ummi Zahro, , Dr. Dwi Haryanti, M.Hum, , Mauly Halwat Hikmat, Ph.D

Connect to this object online