Search Results - "abstraction"

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

Table of Contents: “…SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach - A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !…”
Link to Metadata

An Introduction to Computer Networks by Dordal, Peter Lars

Table of Contents: “…0 Preface -- 1 An Overview of Networks -- 2 Ethernet -- 3 Other LANs -- 4 Links -- 5 Packets -- 6 Abstract Sliding Windows -- 7 IP version 4 -- 8 IP version 6 -- 9 Routing-Update Algorithms -- 10 Large-Scale IP Routing -- 11 UDP Transport -- 12 TCP Transport -- 13 TCP Reno and Congestion Management -- 14 Dynamics of TCP Reno -- 15 Newer TCP Implementations -- 16 Network Simulations: ns-2 -- 17 The ns-3 Network Simulator -- 18 Mininet -- 19 Queuing and Scheduling -- 20 Quality of Service -- 21 Network Management and SNMP -- 22 Security -- 23 Bibliography -- 24 Selected Solutions…”
Access online version

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

EDUCAÇÃO AMBIENTAL E EDUCAÇÃO ESPECIAL: UMA REFLEXÃO SOBRE ESTRATÉGIAS DIDÁTICAS by Beatriz Segantini França, Isabella Delamain Fernandez Olmos, Tatiana Noronha de Souza

Connect to this object online.

Status cognitivo-comportamental de prematuros de baixo peso ao nascimento em idade pré-escolar que vivem em país em desenvolvimento Cognitive and behavioral status of low birth w... by Júlia L. do Espírito Santo, Mirna W. Portuguez, Magda L. Nunes

Connect to this object online.

TRANSPOSISI DIDAKTIK BERPIKIR ALJABAR AWAL by Septiani Yugni Maudy, -

Link Metadata

Ecuaciones diferenciales ordinarias aplicadas I by Gutierrez Borda, Alberto Ernesto

DOAB: download the publication
DOAB: description of the publication

Le Jeu d'échecs comme représentation Univers clos ou reflet du monde ?

DOAB: download the publication
DOAB: description of the publication

PENINGKATAN KEMAMPUAN REPRESENTASI DAN ABSTRAKSI MATEMATIS SERTA SELF-AWARENESS SISWA SMP MELALUI COGNITIVE APPRENTICESHIP INSTRUCTION by Beni Yusepa Ginanjar Putra, -

Link Metadata

S-BPM in the Wild Practical Value Creation /

Table of Contents: “…1 Introduction -- Part I Business Operation Support -- 2 Subject-Oriented Business Processes Meet Strategic Management: Two Case Studies from the Manufacturing Industry -- 3 Communication- and Value-Based Organizational Development at the University Clinic for Radiotherapy-Radiation Oncology -- 4 Introducing S-BPM at an IT Service Providers -- 5 A Service Hardware Application Case Fiducia -- 6 Designing an Agile Process Layer for Competitive Differentiation -- Part II Consultancy and Education Support -- 7 Model as You Do: Engaging an S-BPM Vendor on Process Modelling in 3D Virtual Worlds -- 8 A Tangible Modeling Interface for Subject-Oriented Business Process Management -- 9 A Reference Model for Maintenance Processes -- 10 Role and Rights Management -- 11 Embodying Business Rules in S-BPM -- 12 Agents Implementing Subject Behaviour: A Manufacturing Scenario -- Part III Technical Execution Support -- 13 An Abstract State Machine Interpreter for S-BPM -- 14 Structured Communication-Approaching S-BPM with Microsoft Technologies -- 15 ERP Integration in S-BPM Processes.…”
Link to Metadata

YOUMARES 8 - Oceans Across Boundaries: Learning from each other Proceedings of the 2017 conference for YOUng MARine RESearchers in Kiel, Germany /

Table of Contents: “…Conference Sessions and Abstracts.…”
Link to Metadata

Concepts in Action Representation, Learning, and Application /

Table of Contents: “…Evaluating Semantic CoCreation in Cognitive Representation Models (Stefan Schneider) -- Chapter 13. Grounding Abstract Concepts in Action (Paola Vernillo) -- Chapter 14. …”
Link to Metadata

Algorithms and Data Structures With Applications to Graphics and Geometry by Nievergelt, Jurg, Hinrichs, Klaus

Table of Contents: “…What is a data structure? -- 19. Abstract data types -- 20. Implicit data structures -- 21. …”
Access online version

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

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

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

Table of Contents: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.…”
Link to Metadata

Education for a Digital World Advice, Guidelines and Effective Practice from Around Globe by Hirtz, Sandy, Harper, David G.

Table of Contents: “…Chapter AbstractsIntroductionPart 1: The Impact of Instructional Technologies -- 1 Emerging Technologies in E-learning -- 2 Virtual Design Studios: Solving Learning Problems in Developing Countries -- 3 Challenges Confronted and Lessons (Un)Learned: Linking Students from the University of Ghana and Kwantlen University College -- 4 Addressing Diversity in Design of Online Courses -- 5 Mobile Learning in Developing Countries: Present Realities and Future Possibilities -- 6 The Impact of Technology on Education -- Part 2: Preparing Online Courses -- 7 Learning Management Systems -- 8 Exploring Open Source for Educators: We're Not in Kansas Anymore – Entering OS -- 9 Quality Assurance by Design -- 10 General Principles of Instructional Design -- 11 Accessibility and Universal Design -- 12 Articulation and Transfer of Online Courses -- 13 Planning Your Online Course -- 14 Assessment and Evaluation -- Part 3: Implementing Technology -- 15 Understanding Copyright: Knowing Your Rights and Knowing When You're Right -- 16 ‘Open Licences' of Copyright for Authors, Educators, and Librarians -- 17 E-learning Standards -- 18 Leadership and E-learning: Change Processes for Implementing Educational Technologies -- 19 Building Communities of Practice -- Part 4: E-learning in Action -- 20 Instructional Strategies -- 21 Media Selection -- 22 Computer-Based Resources for Learning -- 23 Computer-Based Games for Learning -- 24 Evaluating and Improving Your Online Teaching Effectiveness -- Part 5: Engagement and Communication -- 25 Tools for Online Engagement and Communication -- 26 Techno Expression -- 27 Social Media for Adult Online Learners and Educators -- 28 Online Collaboration: An Overview -- 29 Identity in Online Education -- 30 Supporting E-learning through Communities of Practice -- 31 Looking Forward: Stories of Practice -- Contributors…”
Access online version

Multiscale Biomechanics and Tribology of Inorganic and Organic Systems In memory of Professor Sergey Psakhie /

Table of Contents: “…In Memory of Professor Sergey Grigorievich Psakhie -- Biomechanical and Tribological Aspects of Orthopaedic Implants -- A New Method for Seismically Safe Managing of Seismotectonic Deformations in Fault Zones -- Particle-Based Approach for Simulation of Nonlinear Material Behavior in Contact Zones -- A Tool for Studying the Mechanical Behavior of the Bone-Endoprosthesis System Based on Multi-scale Simulation -- Abstract Methods on Mesoscopic Scales of Friction -- Study of Dynamics of Block-Media in the Framework of Minimalistic Numerical Models -- Material Transfer by Friction Stir Processing -- Nanomaterials Interaction with Cell Membranes: Computer Simulation Studies -- Application of Crumpled Aluminum Hydroxide Nanostructures for Cancer Treatment -- Influence of Lattice Curvature and Nanoscale Mesoscopic Structural States on the Wear Resistance and Fatigue Life of Austenitic Steel -- Autowave Mechanics of Plastic Flow -- Three-Component Wear-Resistant PEEK-Based Composites Filled with PTFE and MoS2: Composition Optimization, Structure Homogenization, and Self-Lubricating Effect -- Regularities of Structural Rearrangements in Single- and Bicrystals Near the Contact Zone -- Fault Sliding Modes - Governing, Evolution and Transformation -- Multilayer Modelling of Lubricated Contacts: A New Approach Based on a Potential Field Description -- Microstructure-Based Computational Analysis of Deformation and Fracture in Composite and Coated Materials Across Multiple Spatial Scales -- Formation of a Nanostructured Hardened Surface Layer on the TiC-(Ni-Cr) Metal-Ceramic Alloy by Pulsed Electron-Beam Irradiation -- Adhesion of a Thin Soft Matter Layer: The Role of Surface Tension -- Adhesion Hysteresis Due to Chemical Heterogeneity -- Theoretical Study of Physico-Mechanical Response of Permeable Fluid-Saturated Materials under Complex Loading Based on the Hybrid Cellular Automaton Method -- Transfer of a Biological Fluid Through a Porous Wall of a Capillary -- Failure Mechanisms of Alloys with a Bimodal Graine Size Distribution -- Self-Reproduction Cycles of Living Matter and Energetics of Human Activity -- Seeing what Lies in Front of Your Eyes: Understanding and Insight in Teaching and Research.…”
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

Technical Writing and Simple Statistics for laboratory classes by Wettstein, Stephanie G.

Table of Contents: “…Statistics -- Descriptive Statistics -- Mean, Median, and Mode -- Outliers -- Standard Deviation -- Sample Variance -- Standard Error -- Confidence Interval -- Percent Error and Percent Difference -- Excel Tutorial: Performing Descriptive Statistics Using Excel -- Using Graphs to Display Data -- Line Graphs -- Bar Graphs -- Box Plots -- Error Bars -- Charts – What Not to Do -- Statistical Process Control & Process Control Charts -- Process Variation -- Making the Process Control Chart -- Example #1: Bullet Speeds All Data -- Example #2: Bullet Speeds with Narrower Specifications -- Linear Regression -- Performing Linear Regression -- Excel Tutorials: Performing Regression Analysis Using Excel -- Method 1: Using Excel Formulas -- Method 2: Using Excel Trendlines -- Method 3: Using Excel Data Analysis -- Example: Regression Analysis of Diameter Data -- Statistical Comparison of Two Regressed Slopes -- General Approach for Comparing Two Linearly Regressed Slopes -- Analysis Steps -- Example: Two Regressed Slopes that are Statistically Different -- Example Analysis: Regression Slope Comparison -- Example Two Regressed Slopes that are Not Statistically Different -- t-Tests -- Hypotheses -- Sample Collection and Determining Alpha -- Performing a t-test using Excel -- Interpret the Data -- References -- Writing -- The Writing Process -- Team Writing Strategies -- Meeting agendas and notes -- Agenda -- Notes -- Communication Components -- Abstract (or Summary) -- Background/Introduction -- Objective Statement -- Theory -- Methods -- Apparatus (or Equipment) -- Safety -- Experimental Protocol, Design, and Analysis -- Experimental Protocol -- Experimental Design -- Methods of Analysis -- Data Collection -- Results and Discussion -- Conclusions and Recommendations -- Sample Conclusion Paragraph -- References: Citing the work of others -- Citation Location -- Numerical Formatting -- Alphabetical Formatting -- Reference list/Bibliography -- Appendices -- Appendix -- Excel Tutorial: Using Equation Editor in Microsoft Word -- Step 1: Insert an Equation Region -- Step 2: Use Equation Tools Structures to Create Basic Equation Layout -- Step 3: Fill in the placeholders to complete the equation -- Cliff Notes/Shortcuts -- Excel Tutorial: Using Text Boxes -- Text Box Management: Three Examples -- VERSION 1: Textboxes Near Text Description -- VERSION 2: Textboxes at Bottom of Page -- VERSION 3: No Textboxes -- Excel Tutorial: Formatting Excel Charts for a Professional Look -- Templates -- Captions -- Inserting Symbols in Captions…”
Access online version

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