Search Results - algebraic dynamics
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 17
- Research & information: general 12
- Technology: general issues 8
- Artificial intelligence 7
- Mathematics & science 7
- Physics 7
- Computer science 6
- Mathematics 6
- Nuclear physics 6
- Algebra 4
- Algorithms & data structures 4
- Information technology industries 3
- Software Engineering 3
- Topology 3
- Applied mathematics 2
- Automatic control engineering 2
- Calculus 2
- Calculus & mathematical analysis 2
- Coding theory & cryptology 2
- Communications engineering / telecommunications 2
- Computational linguistics 2
- Computer modelling & simulation 2
- Computer networking & communications 2
- Cybernetics & systems theory 2
- Dynamics & vibration 2
- Electronics engineering 2
- Expert systems / knowledge-based systems 2
- Geometry 2
- History of mathematics 2
- Literature: history & criticism 2
-
81
-
82
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 -
83
-
84
-
85
-
86
Modelling, Simulation and Optimization
Published 2010DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
87
-
88
-
89
-
90
The Lund Model
Published 1998DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
91
The Lund Model
Published 1998OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
92
-
93
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...
Published 2023Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata
Electronic eBook -
94
-
95
Invited Lectures from the 13th International Congress on Mathematical Education
Published 2018Table of Contents: “…Forword, Gabriele Kaiser -- Practice-based Initial Teacher Education: Developing Inquiring Professionals, Glenda Anthony -- Mathematical experiments - an ideal first step into mathematics, Albrecht Beutelspacher -- Intersections of Culture, Language, And Mathematics Education: Looking Back And Looking Ahead, Marta Civil -- The Double Continuity in Algebra, Al Cuoco, William McCallum -- A Friendly Introduction to "Knowledge In Pieces": Modeling Types of Knowledge and their roles in Learning, Andrea diSessa -- History of Mathematics, Mathematics Education, and the Liberal Arts, Michael N. …”
Link to Metadata
Electronic eBook -
96
-
97
-
98
-
99
-
100