Search Results - QVC~

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

The Essence of Mathematics Through Elementary Problems by Borovik, Alexandre, Gardiner, Tony

Table of Contents: “…Word Problems -- 3.1 Twenty problems which embody "3 - 1 = 2" -- 3.2 Some classical examples -- 3.3 Speed and acceleration -- 3.4 Hidden connections -- 3.5 Chapter 3: Comments and solutions -- IV. Algebra -- 4.1 Simultaneous linear equations and symmetry -- 4.2 Inequalities and modulus -- 4.3 Factors, roots, polynomials and surds -- 4.4 Complex numbers -- 4.5 Cubic equations -- 4.6 An extra -- 4.7 Chapter 4: Comments and solutions -- V. …”
Access online version

Quaternary Ammonium Compounds and Contact Dermatitis: A Review and Considerations During the COVID-19 Pandemic by Okeke CAV, Khanna R, Ehrlich A

Connect to this object online.

Arachnoid cysts of the quadrigeminal cistern: Proposal of a therapeutic algorithm based on a systematic review of literature by Leopoldo Mandic Ferreira Furtado, João Victor de Souza Santos, Fábio Santos Esteves Júnior, Aieska Kellen Dantas dos Santos, José Aloysio da Costa Val Filho

Connect to this object online.

Microbiological Evaluation of Novel Bis-Quaternary Ammonium Compounds: Clinical Strains, Biofilms, and Resistance Study by Nikita Frolov, Elena Detusheva, Nadezhda Fursova, Irina Ostashevskaya, Anatoly Vereshchagin

Connect to this object online.

Emerging biocide resistance among multidrug-resistant bacteria: Myth or reality? A pilot study by Priyanka Gupta, Mohit Bhatia, Pratima Gupta, Balram J Omar

Connect to this object online.

Case Report: Rare Iliac Vein Compression (May-Thurner) Syndrome in a Pediatric Patient by Lianfu Ji, Fan Yang, Xuan Chen, Jinlong Chen, Xueying Cheng, Jie Yin, Yuming Qin, Shiwei Yang

Connect to this object online.

Migration and Social Protection in Europe and Beyond (Volume 3) A Focus on Non-EU Sending States /

Table of Contents: “…Diaspora Policies, Consular Services and Social Protection for Turkish Citizens Abroad: Seda Aydin, Eva Østergaard-Nielsen -- 26. Access to Social Protection by Immigrants, Emigrants and Resident Nationals in the UK: Alessio Bertolini, Daniel Clegg -- 27. …”
Link to Metadata

The Palgrave Handbook of Family Policy

Table of Contents: “…Dual-earner Family Policies at Work for Single-parent Families?; Laurie C. Maldonado & Rense Nieuwenhuis -- 14. Policies for Later-life Families in a Comparative European Perspective; Pearl A. …”
Link to Metadata

Improving Interagency Collaboration, Innovation and Learning in Criminal Justice Systems Supporting Offender Rehabilitation /

Table of Contents: “…Pincom Used As A Framework For Hcr-20v3 Assessment., Atle Ødegård And Stål Bjørkly -- 11. …”
Link to Metadata

Influences of the IEA Civic and Citizenship Education Studies Practice, Policy, and Research Across Countries and Regions /

Table of Contents: “…Foreword -- Introduction from Editors -- Part 1: National Perspectives on Participation in IEA Civic and Citizenship Education Studies -- 1 Flemish Belgian Students' and Teachers' Results in the IEA ICCS Studies: Implication for Cross-Curricular Approaches to Civic Education; Ellen Claes and Linde Stals -- 2 Bulgarian Civic Education in Transition; Svetla Petrova -- 3 Civic and Citizenship Education in Chile and the Influence of International Civic and Citizenship Education Studies; Gabriela Cares and Elisa Salinas Valdivieso -- 4 Civic and Citizenship Education in Colombia: Challenges for Both Students and Teachers; Luis Felipe Dussán Zuluaga and Juan Camilo Ramírez Chaguendo -- 5 Civic and Citizenship Education in Denmark 1999-2019: Discourses of Progressive and Productive Education; Jens Bruun -- 6 Building Civic and Citizenship Education in the Dominican Republic; Ancell Scheker and Michelle Guzmán -- 7 Estonian Civic and Citizenship Education in Turbulent Times; Anu Toots and Mare Oja -- 8 IEA's International Civic and Citizenship Education Study and the Teaching of Civic Education in Italy; Laura Palmerio, Valeria Damiani and Elisa Caponera -- 9 Improving Civic and Citizenship Education in Latvia; Ireta Čekse -- 10 How IEA's Civic and Citizenship Education Studies Have Contributed to Educational Discourse in Lithuania; Rita Dukynaitė, Ginta Orintienė, and Šarūnas Gerulaitis -- 11 The Role of IEA's Civic and Citizenship Education Studies in Mexico; María Eugenia Luna-Elizarrarás, María Teresa Meléndez-Irigoyen and Citlalli Sánchez-Alvarez -- 12 Inequality in Citizenship Competences: Citizenship Education and Policy in The Netherlands; Anne Bert Dijkstra, Geert ten Dam and Anke Munniksma -- 13 Strengthening Connections Between Research, Policy and Practice in Norwegian Civic and Citizenship Education; Heidi Biseth, Idunn Seland and Lihong Huang -- 14 The Role of IEA's Studies in the Development of Civic and Citizenship Education in Slovenia; Eva Klemenčič Mirazchiyski -- Part 2: Regional and Interdisciplinary Perspectives on Findings From the IEA Civic and Citizenship Education Studies -- 15 The Personal, the Professional, and the Political: An Intertwined Perspective on the IEA Civic Education Studies; Erik Amnå -- 16 Joining an International Community of Practice: Reflections on the IEA Civic Education Studies as an Early Career Scholar; Carolyn Barber -- 17 IEA Civic Education Studies in Latin America: Paths of Influence and Critique in Policy and Research; Cristian Cox -- 18 Reflecting on IEA's CIVED in the United States: Policies, People, and Research; Carole Hahn -- 19 The Contribution of the IEA Civic and Citizenship Education Studies to Educational Research and Policy in Europe; Maria Magdalena Isac -- 20 Asian Students' Citizenship Values: Exploring Theory by Reviewing Secondary Data Analysis; Kerry Kennedy -- 21 Understanding School and Classroom Contexts for Civic and Citizenship Education: The Importance of Teacher Data in the IEA Studies; Bruno Losito, Gabriella Agrusti, and Valeria Damiani -- 22 The Landscape and Recent Developments of Civic and Citizenship Education Across the Latin American Region; Andrés Sandoval-Hernández and Daniel Miranda -- 23 Reflections on the Development of the IEA Civic and Citizenship Education Studies; Wolfram Schulz -- 24 A Moral Perspective on Citizenship Education and on IEA's International Civic and Citizenship Studies; Wiel Veugelers.…”
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: “…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

AiREAS: Sustainocracy for a Healthy City The Invisible made Visible Phase 1 /

Table of Contents: “…Instrumentation -- 3.3.1 The Airbox -- 3.3.2 PM (PM10, PM2.5, PM1) sensor -- 3.3.3 UFP sensor -- 3.3.4 Ozone sensor -- 3.3.5 NO2 sensor -- 3.3.6 Temperature sensor and relative humidity sensor -- 3.3.7 Electromagnetic compatibility (EMC) -- 3.3.8 Experiences and recommendations -- 4 Data quality -- 4.1 Regular calibration and preventative maintenance -- 4.2 Experiences and recommendations -- 5 Locations and spatial sampling -- 5.1 Experiences and recommendations -- 6 Data management -- 6.1 The Airbox -- 6.2 Axians (1) -- 6.3 ECN -- 6.4 Axians (2) -- 6.5 Experiences and recommendations -- 7 Results -- 7.1 Initial tests of sensors -- 7.2 Evaluation of sensor precision -- 8 Scientific projects based on the ILM -- Part IV Experiences after 5 years of AiREAS and 1 year of ILM -- 9. …”
Link to Metadata

Migration and Social Protection in Europe and Beyond (Volume 2) Comparing Consular Services and Diaspora Policies /

Table of Contents: “…Diaspora Policies, Consular Services and Social Protection for Czech Citizens Abroad: Eva Janská, Kristýna Janurová -- 8. Diaspora Policies, Consular Services and Social Protection for Danish Citizens Abroad: Romana Careja -- 9. …”
Link to Metadata

Infección oculta y coinfección viral en pacientes con hepatopatía crónica por virus B by Deyanira La Rosa Hernández, Hector Vega Sanchez, Niurka Sanchez Castañeda, Niurka Santos Hernández, Ana Elena Arús Fernández, Paulina Verdecia Moreno, Prudencia Sayú Chibás, Enrique J Gómez Cabezas

Connect to this object online.

Challenges in linking health research to policy: a commentary on developing a multi-stakeholder response to orphans and vulnerable children in Ghana by Anakwah Kwadwo, Selby Richmond, Gyapong John

Connect to this object online.

Using the irisplex system for eye color prediction on skeletal remaining from the past 30 years by Alireza Rafati, Sayed Mostafa Hosseini, Hasan Zamani Far

Connect to this object online.

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018 /

Table of Contents: “…Stability of wall boundary condition procedures for discontinuous Galerkin spectral element approximations of the compressible Euler equations -- On the order reduction of entropy stable DGSEMfor the compressible Euler equations -- A review of regular decompositions of vector fields - continuous, discrete, and structure-preserving -- Model reduction by separation of variables: a comparison between hierarchical model reduction and proper generalized decomposition -- Recurrence relations for a family of orthogonal polynomials on a triangle -- Greedy kernel methods for center manifold approximation -- An improved error inhibiting block one-step method with radial basis function approximation for ODEs -- Hermite methods in time -- HPS accelerated spectral solvers for time dependent problems: algorithms -- On the use of hermite functions for the Vlasov-Poisson system -- HPS accelerated spectral solvers for time dependent problems: numerical experiments -- High-order finite element methods for interface problems: theory and implementations -- Stabilised hybrid discontinuous galerkin methods for the Stokes problem with non-standard boundary conditions -- RBF based CWENO method -- discrete equivalence of adjoint Neumann-Dirichlet div-grad and grad-div equations in curvilinear 3D domains -- A conservative hybrid method for Darcy flow -- High-order mesh generation based on optimal affine combinations of nodal positions -- Sparse spectral-element methods for the helically reduced Einstein equations -- Spectral analysis of isogeometric discretizations of 2D curl-div Problems with general geometry -- Performance of preconditioners for large-scale simulations using Nek5000 -- Two decades old entropy stable method for the Euler equations revisited -- A mimetic spectral element method for free surface flows -- Spectral/hp methodology study for iLES-SVV on an Ahmed body -- A high-order discontinuous Galerkin solver for multiphase flows -- High-Order propagation of jet noise on a tetrahedral mesh using large eddy simulation sources -- Dynamical degree adaptivity for DG-LES models -- A novel eight-order diffusive scheme for unstructured polyhedral grids using the weighted least-squares method -- An explicit mapped tent pitching scheme for Maxwell equations -- Viscous diffusion effects in the eigenanalysis of (hybridisable) DG methods -- Spectral Galerkin method for solving Helmholtz and Laplace Dirichlet problems on multiple open arcs -- Explicit polynomial Trefftz-DG method for space-time elasto-acoustics -- An hp-adaptive iterative linearization discontinuous-Galerkin FEM for quasilinear elliptic boundary value problems -- Erosion Wear evaluation using Nektar++ -- An inexact Petrov-Galerkin approximation for gas transport in pipeline networks -- New preconditioners for semi-linear PDE-constrained optimal control in annular geometries -- DIRK schemes with high weak stage order -- Scheme for evolutionary Navier-Stokes-Fourier system with temperature dependent material properties based on spectral/hp elements -- Implicit large eddy simulations for NACA0012 airfoils using compressible and incompressible discontinuous Galerkin solvers -- SAV method applied to fractional Allen-Cahn equation -- A first meshless approach to simulation of the elastic behaviour of the diaphragm -- An explicit hybridizable discontinuous Galerkin method for the 3D timedomain Maxwell equations -- Entropy conserving and kinetic energy preserving numerical methods for the Euler equations using summation-by-parts operators -- Multiwavelet troubled-cell indication: a comparison of utilizing theory versus outlier detection -- An anisotropic p-adaptation multigrid scheme for discontinuous Galerkin methods -- A spectral element reduced basis method for Navier-Stokes equations with geometric variations -- Iterative spectral mollification and conjugation for successive edge detection -- Small trees for high order Whitney elements -- Non-conforming elements inNek5000: pressure preconditioning and parallel performance -- Sparse approximation of multivariate functions from small datasets via weighted orthogonal matching pursuit -- On the convergence rate of Hermite-Fejer interpolation.…”
Link to Metadata

Self-assessment questionnaire for family doctors' assessment of quality improvement competencies: a cross-cultural adaptation in Slovenia by Klemenc-Ketiš Zalika, Kuhar Primož, Kersnik Janko, Burazeri Genc, Czabanowska Katarzyna

Connect to this object online.