Resultats de la cerca - New Mathematics and Natural Computation

Teaching and Learning of Calculus per Bressoud, David, Ghedamsi, Imène, Martinez-Luaces, Victor, Törner, Günter

Link to Metadata

Teaching and Learning About Whole Numbers in Primary School per Nunes, Terezinha, Dorneles, Beatriz Vargas, Lin, Pi-Jen, Rathgeb-Schnierer, Elisabeth

Link to Metadata

Instructional Scaffolding in STEM Education Strategies and Efficacy Evidence / per Belland, Brian R.

Link to Metadata

Data Privacy and Crowdsourcing A Comparison of Selected Problems in China, Germany and the United States per Hornuf, Lars

DOAB: download the publication
DOAB: description of the publication

Data Privacy and Crowdsourcing A Comparison of Selected Problems in China, Germany and the United States per Hornuf, Lars

OAPEN Library: download the publication
OAPEN Library: description of the publication

Gender Differences in the New Interdisciplinary Subject Informatik, Mathematik, Physik (IMP)-Sticking with STEM? per Tobias Bahr, Bernd Zinn

Connect to this object online.

Algorithmic aspects of resource allocation and multiwinner voting: theory and experiments per Kaczmarczyk, Andrzej

DOAB: download the publication
DOAB: description of the publication

Algorithmic aspects of resource allocation and multiwinner voting: theory and experiments per Kaczmarczyk, Andrzej

OAPEN Library: download the publication
OAPEN Library: description of the publication

Building the Foundation: Whole Numbers in the Primary Grades: The 23rd ICMI Study per Maria G. Bartolini Bussi

DOAB: download the publication
DOAB: description of the publication

Austenitic TRIP/TWIP Steels and Steel-Zirconia Composites Design of Tough, Transformation-Strengthened Composites and Structures

DOAB: download the publication
DOAB: description of the publication

Austenitic TRIP/TWIP Steels and Steel-Zirconia Composites Design of Tough, Transformation-Strengthened Composites and Structures

OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Taula de continguts: “…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

Fungal Taxonomy, Phylogeny, and Ecology A Themed Issue Dedicated to Academician Wen-Ying Zhuang

DOAB: download the publication
DOAB: description of the publication

Tortuosity and Microstructure Effects in Porous Media Classical Theories, Empirical Data and Modern Methods / per Holzer, Lorenz, Marmet, Philip, Fingerle, Mathias, Wiegmann, Andreas, Neumann, Matthias, Schmidt, Volker

Link to Metadata

The Logical Writings of Karl Popper

Link to Metadata

Austenitic TRIP/TWIP Steels and Steel-Zirconia Composites Design of Tough, Transformation-Strengthened Composites and Structures /

Link to Metadata

The Future of Work Challenges and Prospects for Organisations, Jobs and Workers

DOAB: download the publication
DOAB: description of the publication

The Future of Work Challenges and Prospects for Organisations, Jobs and Workers

OAPEN Library: download the publication
OAPEN Library: description of the publication

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers

DOAB: download the publication
DOAB: description of the publication

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers

OAPEN Library: download the publication
OAPEN Library: description of the publication