Search Results - 畫家~

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Table of Contents: “…Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts.…”
Link to Metadata

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Link to Metadata

Ambisonics A Practical 3D Audio Theory for Recording, Studio Production, Sound Reinforcement, and Virtual Reality / by Zotter, Franz, Frank, Matthias

Table of Contents: “…XY, MS, and First-order Ambisonics -- Auditory events of multi-loudspeaker playback -- Amplitude panning using vector bases -- Ambisonic amplitude panning in higher orders -- Signal flow and effects in Ambisonic productions -- Higher-order Ambisonic microphones and the wave equation (linear, lossless) -- Compact spherical loudspeaker arrays -- 5D room impulse responses + virtual IKO.…”
Link to Metadata

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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I /

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

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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II /

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III /

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Purpose-driven Organizations Management Ideas for a Better World /

Table of Contents: “…Part I. Understanding Purpose-driven Organizations -- 1. …”
Link to Metadata

Climate-Smart Food by Reay, Dave

Table of Contents: “…Chapter 1 Introduction -- Breakfast -- Chapter 2 Orange Juice -- Chapter 3 Wheat Bread -- Chapter 4 Tea -- Chapter 5 Milk -- Break time -- Chapter 6 Chocolate -- Chapter 7 Bananas -- Chapter 8 Coffee -- Lunch -- Chapter 9 Chicken -- Chapter 10 Rice -- Chapter 11 Maize -- Dinner -- Chapter 12 Potatoes -- Chapter 13 Cod -- Chapter 14 Champagne -- Chapter 15 Conclusion. .…”
Link to Metadata

Theoretical and Practical Advances in Computer-based Educational Measurement

Table of Contents: “…Feasibility and Value of Using a GoPro Camera and iPad to Study Teacher-Student Assessment Feedback Interactions; Fabienne van der Kleij, Joy Cumming, Lenore Adie -- 19. …”
Link to Metadata

The Future of Election Administration Cases and Conversations /

Table of Contents: “…1. Introduction -- Part I Reflections on History and Links to Reform -- 2. …”
Link to Metadata

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings /

Table of Contents: “…Practical Resource Usage Prediction Method for Large Memory Jobs in HPC clusters -- A Crystal/Clear Pipeline for Applied Image Processing -- A Cache-Based Data Movement Infrastructure for On-Demand Scientific Cloud Computing -- PHINEAS: an Embedded Heterogeneous Parallel Platform -- MH-QEMU: Memory-State-Aware Fault Injection Platform -- Performance Evaluation and Analysis of Linear Algebra Kernels in the prototype Tianhe-3 Cluster.…”
Link to Metadata

Placing the Public in Public Health in Post-War Britain, 1948-2012 by Mold, Alex, Clark, Peder, Millward, Gareth, Payling, Daisy

Table of Contents: “…1 Introduction -- 2 The Public and Public Health -- 3 Imagining Publics -- 4 Speaking Back -- 5 Changing Publicness -- 6 Conclusion.…”
Link to Metadata

Surgical Ophthalmic Oncology A Collaborative Open Access Reference /

Table of Contents: “…Ocular Pathology -- 15. Ocular Pathology -- VIII. Appendices -- Appendix 1: American Joint Committee on Cancer (AJCC) 8th Edition Cancer Staging -- Appendix 2: College of American Pathologist (CAP) Guidelines for Patients with Retinoblastoma -- Appendix 3: College of American Pathologist (CAP) Guidelines for Patients with Uveal Melanoma -- Index.…”
Link to Metadata

Geographies of Schooling

Table of Contents: “…-Chapter 10. A Multilevel View of Small Schools: Changing Systems in Baden-Württemberg and Vorarlberg -- Chapter 11. …”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings /

Table of Contents: “…A Case Study in a Large Financial Corporation -- Agility Beyond IT -- Corporate-level Communities at Ericsson: Parallel Organizational Structure for Fostering Alignment for Autonomy -- ScalingAgile beyond Organizational Boundaries: Coordination Challenges in Software Ecosystems -- Enterprise agility: A Balancing Act. …”
Link to Metadata

Vermin, Victims and Disease British Debates over Bovine Tuberculosis and Badgers / by Cassidy, Angela

Table of Contents: “…Part One: CONTEXTS -- 1 Of Badgers, Bovines and Bacteria -- 2 How the Badger Became Tuberculous -- Part Two: REFRAMING BOVINE TB (c.1960-1995) -- 3 Changing Veterinary Knowledge -- 4 Pest Control and Ecology -- 5 Protecting the Badger? …”
Link to Metadata

IEA International Computer and Information Literacy Study 2018 Assessment Framework by Fraillon, Julian, Ainley, John, Schulz, Wolfram, Duckworth, Daniel, Friedman, Tim

Table of Contents: “…Foreword -- 1. Introduction -- 2. Computer and information literacy framework -- 3. …”
Link to Metadata

Creating Healthy and Sustainable Buildings An Assessment of Health Risk Factors / by Dovjak, Mateja, Kukec, Andreja

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. Health outcomes related to built environment -- Chapter 3. …”
Link to Metadata

Architecture and the Novel under the Italian Fascist Regime by Billiani, Francesca, Pennacchietti, Laura

Table of Contents: “…1. National Novel and New Architecture -- 2. The Regime and the Creation of an 'Arte di Stato' -- 3. …”
Link to Metadata