Search Results - "interpreter"

Emotions in Korean Philosophy and Religion Confucian, Comparative, and Contemporary Perspectives /

Table of Contents: “…"Yi Yulgok on the Role of Emotions in Self-Cultivation and Ethics: A Modern Korean Neo-Confucian Interpretation".-Chapter 5. Dasan Jeong Yagyong on Emotions and the Pursuit of Sagehood -- Chapter 6. …”
Link to Metadata

Lines of Inquiry in Mathematical Modelling Research in Education

Table of Contents: “…Adapting a Cognitive Tool for Representing Prospective and Practicing Teachers' Interpretations of Students' Modelling Activities -- Chapter 12. …”
Link to Metadata

Data Journeys in the Sciences

Table of Contents: “…Most Often, What Is Transmitted is Transformed (T Porter) -- Part V: Interpreting: Data Transformation, Analysis and Reuse -- Chapter 13. …”
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

Machine Learning for Brain Disorders

Table of Contents: “…A Non-Technical Introduction to Machine Learning -- Classic Machine Learning Methods -- Deep Learning: Basics and Convolutional Neural Networks (CNN) -- Recurrent Neural Networks (RNN) - Architectures, Training Tricks, and Introduction to Influential Research -- Generative Adversarial Networks and Other Generative Models -- Transformers and Visual Transformers -- Clinical Assessment of Brain Disorders -- Neuroimaging in Machine Learning for Brain Disorders -- Electroencephalography and Magnetoencephalography -- Working with Omics Data, An Interdisciplinary Challenge at the Crossroads of Biology and Computer Science -- Electronic Health Records as Source of Research Data -- Mobile Devices, Connected Objects, and Sensors -- Medical Image Segmentation using Deep Learning -- Image Registration: Fundamentals and Recent Advances Based on Deep Learning -- Computer-Aided Diagnosis and Prediction in Brain Disorders -- Subtyping Brain Diseases from Imaging Data -- Data-Driven Disease Progression Modelling -- Computational Pathology for Brain Disorders -- Integration of Multimodal Data -- Evaluating Machine Learning Models and their Diagnostic Value -- Reproducibility in Machine Learning for Medical Imaging -- Interpretability of Machine Learning Methods Applied to Neuroimaging -- A Regulatory Science Perspective on Performance Assessment of Machine Learning Algorithms in Imaging -- Main Existing Datasets for Open Brain Research on Humans -- Machine Learning for Alzheimer's Disease and Related Dementias -- Machine Learning for Parkinson's Disease and Related Disorders -- Machine Learning in Neuroimaging of Epilepsy -- Machine Learning in Multiple Sclerosis -- Machine Learning for Cerebrovascular Disorders -- The Role of Artificial Intelligence in Neuro-Oncology Imaging -- Machine Learning for Neurodevelopmental Disorders -- Machine Learning and BrainImaging for Psychiatric Disorders: New Perspectives.…”
Link to Metadata

Digital Writing Technologies in Higher Education Theory, Research, and Practice /

Table of Contents: “…-- Writing processes in the digital age: A networked interpretation -- glossary -- index.…”
Link to Metadata

Perspectives on Socio-environmental Transformations in Ancient Europe

Table of Contents: “…Scales of Abstraction: The Kiel Conceptual Approach from Heterogeneous Data to Interpretations (Taylor et al) -- Chapter 3. Conceptualising an Anatomy of Transformations: DPSIR, Theorisation, Semiotics and Emergence (Ribeiro et al) -- Chapter 4. …”
Link to Metadata

Advances in Discrete Differential Geometry

Table of Contents: “…Suris, Mats Vermeeren -- On the variational interpretation of the discrete KP equation: Raphael Boll, Matteo Petrera, and Yuri B. …”
Link to Metadata

Writing Guide with Handbook by Robinson, Michelle Bachelor, Jerskey, Maria, Fulwiller, Toby

Table of Contents: “…-- Chapter 8 Analytical Report: Writing from Facts -- Chapter 9 Rhetorical Analysis: Interpreting the Art of Rhetoric -- Chapter 10 Position Argument: Practicing the Art of Rhetoric -- Chapter 11 Reasoning Strategies: Improving Critical Thinking -- Chapter 12 Argumentative Research: Enhancing the Art of Rhetoric with Evidence -- Chapter 13 Research Process: Accessing and Recording Information -- Chapter 14 Annotated Bibliography: Gathering, Evaluating, and Documenting Sources -- Chapter 15 Case Study Profile: What One Person Says About All -- Unit 3 Navigating Rhetoric in Real Life -- Chapter 16 Print or Textual Analysis: What You Read -- Chapter 17 Image Analysis: What You See -- Chapter 18 Multimodal and Online Writing: Creative Interaction between Text and Image -- Chapter 19 Scripting for the Public Forum: Writing to Speak -- Chapter 20 Portfolio Reflection: Your Growth as a Writer…”
Access online version

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

Ester Boserup's Legacy on Sustainability Orientations for Contemporary Research /

Table of Contents: “…Revisiting Boserup's Hypotheses in the Context of Africa -- 12. An Interpretation of Large-Scale Land Deals Using Boserup's Theories of Agricultural Intensification, Gender and Rural Development -- 13. …”
Link to Metadata

Multi-dimensional Approaches Towards New Technology Insights on Innovation, Patents and Competition /

Table of Contents: “…A Framework to Formulate a National IP Policy -- The Development and Theoretical Controversy of SEP Licensing Practices in China -- The Interaction Between IP and Competition Laws in the EU: Necessity of Convergent Interpretation with the Principles Established by Relevant Case Law -- IP, patents and competition law in Australia -- Regulating Abuse of SEPs in Mobile Communications Market: Reviewing the Qualcomm Cases in Korea -- "Predatory" patent practices: A telecom perspective -- The Demographics of Intellectual Property -- Innovation, economic value and welfare implications of digital economy -- Market competition and IP infringement in the solar off-grid sector -- Innovation and Intellectual Property: Perspectives from Indian Small & Medium Enterprises (SMEs) -- When Competition Agencies Harm Competition: Essential Patents -- Antitrust Economics in the New Digital Economy -- Standard Essential Patents vis-à-vis IPR and Competition Law in India - Is there a Regulatory Overlap? …”
Link to Metadata

Insurance Distribution Directive A Legal Analysis /

Table of Contents: “…The Insurance Distribution Directive as a "Benchmark" for National Legislators: The Notion of "Employee" in the IDD: A Harmonized Interpretation Based on the EU Law by Anna Tarasiuk and Bartosz Wojno -- Ensuring the Customer's Best Interest in the Polish Insurance Market by Wojciech Paś -- Insurance Distribution Carried Out by Insurers in Spain by Javier Vercher-Moll -- Enaction of Chapter VII of the Insurance Distribution Directive - What Can Member States Learn from the Enforcement Failures of the United States? …”
Link to Metadata

Qualitative Research in European Migration Studies

Table of Contents: “…Chapter 1: Introduction - Preparing the Way for Qualitative Research in Migration Studies -- Chapter 2: Mapping the Qualitative Migration Research in Europe: An Exploratory Analysis: Evren Yalaz, Ricard Zapata Barrero -- Part I: Theoretical and Epistemological Issues: Chapter 3: Context-based Qualitative Research and Multi-Sited Migration Studies in Europe: Russell King -- Chapter 4: Moving out of the Comfort Zone: Promises and Pitfalls of Interdisciplinary Migration Research in Europe: Maren Borkert -- Chapter 5: Applied Political Theory and Qualitative Research in Migration Studies: Ricard Zapata Barrero -- Chapter 6: Epistemological Issues in Qualitative Migration Research: Self-reflexivity, Objectivity and Subjectivity: Theodoros Iosifides -- Chapter 7: Qualitative Migration Research: Viable Goals, Open-Ended Questions, and Multidimensional Answers: Ewa Morawska -- Chapter 8: Categorising What We Study and What We Analyse, and the Exercise of Interpretation: Dirk Jacobs -- Chapter9: Where, What and Whom to Study? …”
Link to Metadata

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
Link to Metadata

Migration, Displacement, and Higher Education Now What? /

Table of Contents: “…Teaching Undergraduate Forced Migration Studies through a Community-based Law and Policy Clinic during COVID: What are the crises and opportunities? -- 9. Court Interpretation, or Ganas Goes Legit -- 10. Searching for Safety and Researching for Justice: Documenting Migrant Experiences in the Paso del Norte Border Region -- 11. …”
Link to Metadata

Experiencing Society and the Lived Welfare State

Table of Contents: “…Hannikainen -- 11: Children and the Mediated Experiences of the Welfare State: The International Year of the Child (1979) in the Finnish Public Sphere; Heidi Kurvinen -- 12: The Making of the Western Affluent Working Class: Class and Affluence through Postwar Public Discussions and Academic Interpretations; Jussi Lahtinen -- Part V: Experience of Equality and Justice -- 13: Rural (In)Justice: Smallholding as Social Policy in a Modernizing Finland, from 1945 to the 1960s; Ville Erkkilä -- 14: From Survival Mode to Utopian Dreams: Conceptions ofSociety, Social Planning and Historical Time in 1950s and 1960s Finland; Sophy Bergenheim -- 15: Welfare State in a Fair Society? …”
Link to Metadata

Social Innovations in the Urban Context

Table of Contents: “…Part I: Introduction -- Chapter 1: Social Innovation: A Sympathetic and Critical Interpretation -- Part II: Urban contexts for local innovations -- Chapter 3: "Everybody on Board? …”
Link to Metadata

The Cold War in the Classroom International Perspectives on Textbooks and Memory Practices /

Table of Contents: “…Ambivalence and the illusion of hegemony: Remembering the Cold War in Germany and Switzerland; Barbara Christophe -- Chapter 14. 1968 in German-speaking Switzerland: Controversies and interpretations; Nadine Ritzer -- Chapter 15. Reconciling opposing discourses: Narrating and teaching the Cold War in an East-German classroom; Eva Fischer -- PART III. …”
Link to Metadata