Showing 1 - 20 results of 55 for search 'CompCert~', query time: 3.43s Refine Results
  1. 1
  2. 2

    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 Sof...

    Published 2019
    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
    Electronic eBook
  3. 3

    APEX PreCalculus by Chapman, Amy Givler, Herald, Meagan, Libertini, Jessica

    Published 2017
    Table of Contents: “…1 Numbers and Functions -- 1.1 Real Numbers -- 1.2 Introduction to Functions -- 1.3 Factoring and Expanding -- 1.4 Radicals and Exponents -- 1.5 Logarithms and Exponential Functions -- 2 Basic Skills for Calculus -- 2.1 Linear Functions -- 2.2 Solving Inequalities -- 2.3 Function Domains -- 2.4 Graphs and Graphing -- 2.5 Completing the Square -- 3 Solving and Trigonometric Functions -- 3.1 Solving for Variables -- 3.2 Intersections -- 3.3 Fractions and Partial Fractions Decomposition -- 3.4 Introduction to Trigonometric Functions -- 3.5 Trigonometric Functions and Triangles…”
    Access online version
    Electronic eBook
  4. 4

    The Evolution of Research on Teaching Mathematics International Perspectives in the Digital Era /

    Published 2023
    Table of Contents: “…Mathematics teacher competencies, knowledge, and skills -- 4. Research on pre-active mathematics teacher activities -- 5. …”
    Link to Metadata
    Electronic eBook
  5. 5

    Traditions in German-Speaking Mathematics Education Research

    Published 2019
    Table of Contents: “…Preface -- Chapter 1 - Educational Research on Mathematics - a Short Survey of its Development in German Speaking Countries -- Chapter 2 - Subject-matter Didactics -- Chapter 3 - Design Science and Design Research: the Significance of a Subject-specific Research Approach -- Chapter 4 - Mathematical Modelling -- Chapter 5 - Mathematics and Bildung 1810 to 1850 -- Chapter 6 - Allgemeinbildung, Mathematical Literacy, and Competence Orientation -- Chapter 7 - Theories of and in mathematics education -- Chapter 8 - Classroom Studies - Sociological Perspectives -- Chapter 9 - Educational Research on Learning and Teaching Mathematics -- Chapter 10 - Large-Scale Studies in Mathematics Education Research.…”
    Link to Metadata
    Electronic eBook
  6. 6

    Dinaric Perspectives on TIMSS 2019 Teaching and Learning Mathematics and Science in South-Eastern Europe /

    Published 2022
    Table of Contents: “…Foreword I -- Foreword II -- 1 Introduction to Dinaric Perspectives on TIMSS 2019: Paulína Koršňáková, Sabine Meinck, and Barbara Japelj Pavešić -- 2 Context and Implementation of TIMSS 2019 at Grade Four in the Dinaric Region: Paulína Koršňáková and Sandra Dohr -- 3 Opportunity to Learn Mathematics and Science: Agim Alia, Barbara Japelj Pavešić, and Mojca Rožman -- 4 Students' Interests, Motivation, and Self-beliefs: Barbara Japelj Pavešić, Marina Radović, and Falk Brese -- 5 Early Literacy and Numeracy Competencies: Predictors of Mathematics Achievement in the Dinaric Region: Ženeta Džumhur, Nada Ševa, and Mojca Rožman -- 6 The Role of Learning Resources, School Environment, and Climate in Transforming Schools from Buildings to Learning Communities Ines Elezović, Beti Lameva, and Falk Brese -- 7 Teachers, Teaching and Student Achievement: Ivana Đerić, Ines Elezović, and Falk Brese -- 8 Characteristics of Principals and Schools in the Dinaric Region: Beti Lameva, Ženeta Džumhur, and Mojca Rožman -- 9 Characteristics of High- and Low-performing Students: Rezana Vrapi, Agim Alia, and Falk Brese -- 10 Scaffolding the Learning in Rural and Urban Schools: Similarities and Differences : Smiljana Jošić, Barbara Japelj Pavešić, Nikoleta Gutvajn, and Mojca Rožman -- Acknowledgments.…”
    Link to Metadata
    Electronic eBook
  7. 7

    Lines of Inquiry in Mathematical Modelling Research in Education

    Published 2019
    Table of Contents: “…Teachers as Learners: Understanding and Valuing Mathematical Modelling through Professional Development -- Chapter 9. Assessing Sub-Competencies of Mathematical Modelling with the Help of Item Response Theory - Presentation of a New Test Instrument -- Chapter 10. …”
    Link to Metadata
    Electronic eBook
  8. 8

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

    Published 2020
    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
    Electronic eBook
  9. 9

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

    Published 2022
    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
    Electronic eBook
  10. 10

    Proceedings of the 13th International Congress on Mathematical Education ICME-13 /

    Published 2017
    Table of Contents: “…Borba, Petek Askar, George Gadanidis, Salvador Llinares, Mario Sánchez Aguilar -- Conceptualisation of the role of competencies, knowing and knowledge in mathematics education research, Mogens Niss, Regina Bruder, Núria Planas, Ross Turner Turner, Jhony Alexander Villa-Ochoa -- Assistance of students with mathematical learning difficulties - How can research support practice? …”
    Link to Metadata
    Electronic eBook
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20