Search Results - 平成~

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 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

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

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 / by Linge, Svein, Langtangen, Hans Petter

Table of Contents: “…Preface -- 1 The first few steps -- 2 A few steps more -- 3 Loops and branching -- 4 Functions and the writing of code -- 5 Some more Python essentials -- 6 Computing integrals and testing code -- 7 Solving nonlinear algebraic equations -- 8 Solving ordinary differential equations -- 9 Solving partial differential equations -- A Installation and use of Python -- References -- Index.…”
Link to Metadata

Values and Valuing in Mathematics Education Scanning and Scoping the Territory /

Table of Contents: “…A Cross - Cultural Study -- Chapter 11 - Mathematical Values Through Personal and Social Values: A Number Activity in a Japanese Kindergarten -- Chapter 12 - Socially Open-Ended Problems for Enriching Student Learning With Mathematical Models and Social Values -- Chapter 13 - Values in Mathematics Learning: Perspectives of Chinese Mainland Primary and Secondary Students -- Chapter 14 - Methodological Issues in the Investigation of Values in Mathematics -- Chapter 15 - The Elementary Mathematics Teachers' Values Underlying Teacher Noticing: The Context of Polygons.…”
Link to Metadata

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

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

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

International Reflections on the Netherlands Didactics of Mathematics Visions on and Experiences with Realistic Mathematics Education /

Table of Contents: “…Seen through other eyes - Opening up new vistas in Realistic Mathematics Education through visions and experiences from other countries -- From tinkering to practice - The role of teachers in the application of Realistic Mathematics Education principles in the United States -- Searching for alternatives for New Math in Belgian primary schools - Influence of the Dutch model of Realistic Mathematics Education -- The impact of Hans Freudenthal and the Freudenthal Institute on the project Mathe 2000 -- Reflections on Realistic Mathematics Education from a South African perspective -- Learning to look at the world through mathematical spectacles - A personal tribute to Realistic Mathematics Education -- Graphing linear equations - A comparison of the opportunity-to-learn in textbooks using the Singapore and the Dutch approaches to teaching equations -- Low achievers in mathematics - Ideas from the Netherlands for developing a competence-oriented view -- From the bottom up - Reinventing RealisticMathematics Education in Southern Argentina -- Realistic Mathematics Education in the Chinese context - Some personal reflections -- The enrichment of Belgian secondary school mathematics with elements of the Dutch model of Realistic Mathematics Education since the 1980s -- Echoes and influences of Realistic Mathematics Education in Portugal -- Supporting mathematical learning processes by means of mathematics conferences and mathematics language tools -- Reinventing Realistic Mathematics Education at Berkeley - Emergence and development of a course for pre-service teachers -- Korean mathematics education meets Dutch didactics -- The influence of Realistic Mathematics Education outside the Netherlands - The case of Puerto Rico -- The impact of Dutch mathematics education on Danish mathematics education -- Two decades of Realistic Mathematics Education in Indonesia -- Intervening with Realistic Mathematics Education in England and the Cayman Islands - The challenge of clashing educational ideologies.…”
Link to Metadata

Conceptualizing Environmental Citizenship for 21st Century Education

Table of Contents: “…Hadjichambis -- Economic dimensions of Environmental Citizenship; Vladislav Kaputa, Katharina Lapin, Florian Leregger, Haris Gekic -- Societal Issues and Environmental Citizenship; Ivan Šulc, Sofia Morgado, Zorana Đorđević, Slaven Gašparović, Vesela Radović, Dilyana Keranova -- PART II: Environmental Citizenship as psychological construct -- Knowledge and Environmental Citizenship; Smederevac-Lalic, M., Finger, D., Kovách, I., Lenhardt, M., Petrovic, J., Djikanovic, V., Conti, D., Boeve-de Pauw, J. -- Values, Beliefs and Environmental Citizenship; Audra Balunde, Mykolas Simas Poškus, Lina Jovarauskait, Ariel Sarid, Georgios Farangitakis, Marie-Christine Knippels, Andreas Hadjichambis, Demetra Paraskeva-Hadjichambi -- Attitudes and Environmental Citizenship; Nicole Bauer, Boldizsár Megyesi, Rares Halbac, Cristina Zamfir -- PART III: Environmental Citizenship in the context of Environmental Education and Education for Sustainability -- Education for Environmental Citizenship & Responsible Environmental Behaviour; Daphne Goldman, Ralph Hansmann, Jan Čincera, Vesela Radović, Audronė Telešienė, Aistė Balžekienė, Jan Vávra -- Environmental Citizenship & Youth Activism; Pedro Reis -- Environmental Citizenship and Education for Sustainability; Gema Parra, Ralph Hansmann, Andreas Ch. …”
Link to Metadata

Energy Demand Challenges in Europe Implications for policy, planning and practice /

Table of Contents: “…Chapter 1: An introduction to energy demand challenges in Europe; Frances Fahy and Gary Goggins -- Chapter 2: Framing the sustainable energy challenge and implications for solutions; Charlotte Louise Jensen, Inge Røpke, Gary Goggins and Frances Fahy -- Chapter 3: The impact of German energy policy on household energy use; Eoin Grealis, Annika-Kathrin Musch and Henrike Rau -- Chapter 4: The role of households in Danish energy policy: Visions and contradictions; Inge Røpke, Charlotte Louise Jensen and Maj-Britt Quitzau -- Chapter 5: Reducing residential carbon emissions in Ireland: Challenges and policy responses; Gary Goggins, Frances Fahy and Eimear Heaslip -- Chapter 6: UK responses to the energy challenge: Dominant framings and new imaginaries; Marfuga Iskandarova and Audley Genus -- Chapter 7: Turning off the gas tap: Sustainable energy policies, practices and prospects in the Netherlands; Julia Backhaus -- Chapter 8: The energy challenge in Hungary: A need for more complex approaches; Edina Vadovics -- Chapter 9: Slovenia: Focus on energy efficiency, community energy projects and energy poverty; Lidija Živčič and Tomislav Tkalec -- Chapter 10: From efficiency to sufficiency: Insights from the Swiss energy transition; Laure Dobigny and Marlyne Sahakian -- Chapter 11: Sustainable energy consumption and energy poverty: Challenges and trends in Bulgaria; Marko Hajdinjak and Desislava Asenova -- Chapter 12: Finnish energy policy in transition; Eva Heiskanen, Senja Laakso and Kaisa Matschoss -- Chapter 13: Comparing household energy use across Europe: Uncovering opportunities for sustainable transformation; Patrick Naef, Marlyne Sahakian and Gary Goggins.…”
Link to Metadata