Search Results - "abstraction"

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

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

Python for Everybody Exploring Data Using Python 3 by Severance, Charles

Access online version

Mathematics for Elementary Teachers by Manes, Michelle

Access online version

Agir dans l'espace by Catherine Thinus-Blanc

DOAB: download the publication
DOAB: description of the publication

Active Methodologies for the Promotion of Mathematical Learning

DOAB: download the publication
DOAB: description of the publication

Factors Associated with Maternal Near Miss among Women Admitted in West Arsi Zone Public Hospitals, Ethiopia: Unmatched Case-Control Study by Fikadu Nugusu Dessalegn, Feleke Hailemichael Astawesegn, Nana Chea Hankalo

Connect to this object online.

Progression of autosomal dominant kidney disease: measurement of the stage transitions of chronic kidney disease by Christopher M Blanchette, Caihua Liang, Deborah P Lubeck, Britt Newsome, Sandro Rossetti, Xiangmei Gu, Benjamin Gutierrez, Nancy D Lin

Connect to this object online.

Low COVID-19 vaccine uptake in people living with HIV and those with hypertension and diabetes without HIV at Mbarara and Masaka regional referral hospitals: A cross-sectional surv... by Asiphas Owaraganise, Brian Beesiga, Jaffer Okiring, Michelle E Roh, Elijah Kakande, Joan Nangendo, Cecilia Akatukwasa, Jordan John Lee, Florence Mwangwa, Jane Kabami, Fred C Semitala, Moses R Kamya

Connect to this object online.

Cameroon mid-level providers offer a promising public health dentistry model by Achembong Leo, Ashu Agbor, Hagopian Amy, Downer Ann, Barnhart Scott

Connect to this object online.

Quality improvement in public-private partnerships in low- and middle-income countries: a systematic review by Cassandra B. Iroz, Rohit Ramaswamy, Zulfiqar A. Bhutta, Paul Barach

Connect to this object online.

Validation of antibiotic stewardship metrics for genitourinary infection management in Veterans Affairs outpatient settings by Jordan Braunfeld, Matthew Samore, Jacob Crook, McKenna Nevers, Kelly Echevarria, Ben Brintz, Matthew Goetz, Karl Madaras-Kelly

Connect to this object online.

A systematic review of care management interventions targeting multimorbidity and high care utilization by Jennifer M. Baker, Richard W. Grant, Anjali Gopalan

Connect to this object online.

Information systems on human resources for health: a global review by Riley Patricia L, Zuber Alexandra, Vindigni Stephen M, Gupta Neeru, Verani Andre R, Sunderland Nadine L, Friedman Michael, Zurn Pascal, Okoro Chijioke, Patrick Heather, Campbell James

Connect to this object online.

Adolescent support club attendance and self-efficacy associated with HIV treatment outcomes in Tanzania by Gretchen Antelman, Ola Jahanpour, Thomas Machalo, Cosette Audi, Roland van de Ven, Mastidia Rutaihwa, Elise Lankiewicz, Sarah Baird

Connect to this object online.

INSTRUMEN EVALUASI KEMAMPUAN PENALARAN ADAPTIF MATEMATIS MAHASISWA by Rina Oktaviyanthi, Ria Noviana Agus

Connect to this object online.

Improving data quality across 3 sub-Saharan African countries using the Consolidated Framework for Implementation Research (CFIR): results from the African Health Initiative by Sarah Gimbel, Moses Mwanza, Marie Paul Nisingizwe, Cathy Michel, Lisa Hirschhorn, the AHI PHIT Partnership Collaborative

Connect to this object online.

Evaluating the prevalence of diabetes mellitus subtypes in childhood cancer survivors: a systematic review protocol by Chen SS, Nadarajah A, Banfield L, Fleming A, Thabane L, Portwine C, Samaan MC

Connect to this object online.

Clinical, laboratory and high-resolution computed tomography (HRCT) thorax profile of reverse transcription polymerase chain reaction (RT-PCR) negative COVID-19 suspects with moder... by Arnab Banerjee, Olivia Mukhopadhyay, Ranjita Santra, Anuran Bhadury, Sirshendu Chaudhuri

Connect to this object online.