Computerwissenschaften - Logik in der Informatik

Ein neuer Ansatz zur Auswahl von Lösungsverfahren in der pseudo-booleanen Optimierung.

Grove bietet ne Methode, um Zuverlässigkeit in verteilten Systemen sicherzustellen.

Ein Blick darauf, wie symmetrische Potenzen verschiedene wissenschaftliche Bereiche verbinden.

Eine Studie darüber, wie variable Ergänzungen die Muster der Kleene-Algebra verbessern.

Ein Framework, das für eine effiziente Memristor-Schaltungssimulation und Energieabschätzung entwickelt wurde.

Ein neuer Ansatz, um das Ressourcenmanagement in multithreaded Anwendungen zu vereinfachen.

Eine neue Technik verbessert die Sicherheitsprüfungen in zufälligen Systemen wie Robotern und Fahrzeugen.

Ein strukturierter Ansatz, um Systemeigenschaften mit Computation Tree Logic zu überprüfen.

Ein Blick auf Computons und ihre Rolle bei der Trennung von Steuer- und Datenflüssen.

Dieses Papier diskutiert eine neue Variante der intuitionistischen Modallogik, ihre Struktur und Anwendungen.

Lern, wie mehrere Testergebnisse die Krankheitswahrscheinlichkeit mit zwei Methoden beeinflussen.

Ein Überblick über perfekte paradefinite Algebren und ihre Rolle in der Logik.

Ein Blick darauf, wie man erhaltende Bisimilarität ermöglicht und wie das die Prozessanalyse beeinflusst.

Dieser Artikel untersucht, wie Systeme unter Fehlern mit probabilistischer Maskierung abschneiden.

Dieses Papier verbindet parallele Kellerautomaten mit kommutativen kontextfreien Grammatiken.

Dieser Artikel stellt ein Typsystem zur Verwaltung von Locks in der Programmierung vor.

Ein Blick auf Stornierungseigenschaften in probabilistischen Systemen und ihre Auswirkungen.

Der Rückgang der SOS-Forschung wirft einen Blick auf ihre zukünftigen Aussichten.

Ein Blick auf Semiring-Semantik und Ehrenfeucht-Fraïssé-Spiele in Datenbankanwendungen.

Ein Blick darauf, wie das Lernen von Automaten verschiedene Technologiebereiche beeinflusst.

Erforschung von dynamischer Trennunglogik für verbessertes Speichermanagement in der Programmierung.

Ein neuer Algorithmus verbessert die Entscheidungsfindung mit SMC in unsicheren Umgebungen.

Btor2MLIR bietet ein flexibles Toolchain für effiziente Hardware-Überprüfung.

Erforschen, wie logische Formeln maschinelles Lernen unterstützen.

Entdecke einen neuen Ansatz, um die Auswertungseffizienz im Lambda-Kalkül zu verbessern.

Ein Überblick über die externe Strategie in starkem Call-by-Value-Programmieren.

Umkehrbare Programmiersprachen ebnen den Weg für effiziente Computerlösungen und Quantentechnologie.

Ein Blick darauf, wie Kinder durch Überlegung ihren dreckigen Zustand erkennen.

Erkunde innovative Möglichkeiten, um while-Schleifen in Coq zu definieren und zu verifizieren.

Eine Studie über das Substitutionslemma im Lambda-Kalkül mit expliziten Substitutionen.

Ein Gedankenexperiment, das zeigt, wie Kinder Informationen teilen und gemeinsam lernen.

Ein Blick auf polynomiale Funktoren und ihre Rolle bei Datentypen.

Ein Blick auf den einzigartigen Ansatz der linearen Logik in Bezug auf Argumentation und Ressourcenmanagement.

Ein klarer Blick auf Typen und ihre Beziehungen in der Mathematik.

Untersuchen, wie Werte Entscheidungen in der Ethik autonomer Fahrzeuge beeinflussen.

Ein formeller Ansatz zur Bewertung von Kooperation und Verantwortung zwischen Agenten.

Dieses Papier stellt einen neuen Ansatz vor, um die Effizienz von Quanten-Schaltkreisen zu verbessern.

Untersuche, wie Agenten in unvorhersehbaren Umgebungen durch Synthese effektiv agieren können.

Die Komplexität erkunden, wie Agenten wissen, ihre Ziele zu erreichen.

Untersuchung von Positionsstrategien und Zielen in unendlichen Spielen.