Search Results - Álxebra~
Suggested Topics within your search.
Suggested Topics within your search.
- Mathematics 100
- Algebra 79
- Research & information: general 31
- Mathematics & science 29
- History of engineering & technology 26
- Applied mathematics 24
- Artificial intelligence 24
- Computer science 23
- Physics 22
- Mathematical physics 17
- Biography & True Stories 16
- Nuclear physics 16
- Calculus & mathematical analysis 13
- Software Engineering 13
- Technology: general issues 13
- Calculus 12
- Number theory 12
- Algorithms & data structures 10
- History of mathematics 10
- Numerical analysis 10
- Geometry 9
- Artificial Intelligence 8
- Combinatorics & graph theory 8
- Computer networks 8
- Data processing 8
- Mathematical theory of computation 8
- Discrete mathematics 7
- Education 7
- Mathematical foundations 7
- Probability & statistics 7
-
1501
-
1502
-
1503
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...
Published 2021Table of Contents: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata
Electronic eBook -
1504
-
1505
-
1506
-
1507
-
1508
-
1509
-
1510
National Reflections on the Netherlands Didactics of Mathematics Teaching and Learning in the Context of Realistic Mathematics Education /
Published 2020Table of Contents: “…The development of calculus in Dutch secondary education - Balancing conceptual understanding and algebraic techniques; Martin Kindt -- 15. The emergence of meaningful geometry; Michiel Doorman, Marja van den Heuvel-Panhuizen, Aad Goddijn -- 16. …”
Link to Metadata
Electronic eBook -
1511
-
1512
-
1513
-
1514
-
1515
-
1516
Compendium for Early Career Researchers in Mathematics Education
Published 2019Table of Contents: “…Andrea diSessa 9300 -- 12 Task design frameworks in mathematics education research: An example of a domain-specific frame for algebraic learning with technological tools. Carolyn Kieran 10800 -- 13 Gender and mathematics education: An overview. …”
Link to Metadata
Electronic eBook -
1517
-
1518
-
1519
-
1520