Technologie-Atlas
Serverschränke in einem modernen Rechenzentrum

Projekt

Lineare dynamische Systeme: Algorithmen und Zertifikate

Mathematical foundations of formal verification, Automata theory, Algorithms for matrix semigroups, Naturwissenschaften, Informatik, Mathematik, Computeralgebra, Theoretische Informatik

Mathematical foundations of formal verification, Automata theory, Algorithms for matrix semigroups, Naturwissenschaften, Informatik, Mathematik, Computeralgebra, Theoretische Informatik

Weiter entdecken

Ähnliche Beiträge

6 Empfehlungen
Projekt Symbolische Zeitanalyse asynchroner Schaltungen Symbolic Timing Analysis, Hybrid Delay Models, Formal Verification, Differentiable Timing, Digital Integrated Circuits, Naturwiss… Beitrag ansehen Projekt FINGO: Endliche Graphautomaten treffen dynamische Logik Automata Over Graphs, Decidability Of Computational Logics, Finite Satisfiability Problem, Mu-Calculus And Dynamic Logics, The Cl… Beitrag ansehen Projekt Theoretische Studien zur idealisierten Feuchtekonvektion Moist Convection, Atmospheric Science, Clouds and Precipitation, Fluid Dynamics, Climate, Naturwissenschaften, Geowissenschaften,… Beitrag ansehen Projekt RAVENS Runtime Monitoring, Formal Verification, Learning-based Control, Reinforcement Learning, Signal logic, Certification, Naturwissen… Beitrag ansehen Projekt Die Lernhierarchie: Ein Werkzeug für Klassifikationsprobleme Classification problems, Algorithmic Learning, Computable structure theory, Descriptive set theory, Continuous reducibility, Natu… Beitrag ansehen Projekt Berechenbarkeit in kombinatorischen Spielen und Strukturen Computability Theory, Computable Structure Theory, Punctual Degrees, Randomness, Computably Enumerable Turing Degrees, Forbidding… Beitrag ansehen

Passend zu diesem Beitrag

Hochschulen

1 Verknüpfungen

Passend zu diesem Beitrag

Förderungen

1 Verknüpfungen