Computerwissenschaften - Logik in der Informatik

Logik in der InformatikVerwaltung von Shared-Memory-Konkurrenz in der Programmierung

Lern die wichtigsten Strategien für den Umgang mit gemeinsamen Ressourcen in der nebenläufigen Programmierung.

Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke

2025-06-12T19:59:12+00:00 ― 6 min Lesedauer

Diskrete MathematikDie Komplexität von Automaten-Netzwerken enthüllt

Dieser Artikel behandelt die Herausforderungen bei der Analyse von Automaten-Netzwerken und deren Auswirkungen.

Aliénor Goubault--Larrecq, Kévin Perrot

2025-06-12T09:43:00+00:00 ― 7 min Lesedauer

Künstliche IntelligenzMinimale Unzufriedenstellende Kerne in Temporaler Logik identifizieren

Eine neue Methode zur Findung minimaler unbefriedigbarer Kerne in linearer Zeitlogik.

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza

2025-06-12T02:52:12+00:00 ― 5 min Lesedauer

Logik in der InformatikDie Rolle von Containern in der Programmierung erkunden

Container formen Datenstrukturen für besseres Management und Organisation in der Programmierung.

Stefania Damato, Thorsten Altenkirch, Axel Ljungström

2025-06-11T22:50:17+00:00 ― 7 min Lesedauer

Logik in der InformatikEffizientes Zählen von minimalen Modellen in booleschen Formeln

Eine neue Methode vereinfacht das Zählen von minimalen Modellen in der Booleschen Logik.

Mohimenul Kabir

2025-06-11T04:52:54+00:00 ― 6 min Lesedauer

Logik in der InformatikEinführung in den Ressourcen-Lambda-Kalkül

Ein neuer Ansatz für die Lambda-Kalkül, der Ressourcennutzung und Approximierung integriert.

Davide Barbarossa

2025-06-10T21:38:24+00:00 ― 5 min Lesedauer

Logik in der InformatikUntersuchung der Stabilitätseigenschaft im Call-by-Value-Kalkül

Ein Blick auf die Stabilitätseigenschaft und ihre Bedeutung im Call-by-Value-Kalkül.

Davide Barbarossa

2025-06-10T21:06:48+00:00 ― 5 min Lesedauer

Logik in der InformatikDie Rolle der Zufälligkeit in der Informatik

Ein Blick darauf, wie Zufälligkeit moderne Computationstechniken prägt.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

2025-06-09T22:28:00+00:00 ― 6 min Lesedauer

KategorientheorieVerstehen von Funktionen und ihren Veränderungen

Ein Blick auf Funktionen, Ableitungen und wie sie in unserem Alltag miteinander verbunden sind.

Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani

2025-06-09T16:13:12+00:00 ― 6 min Lesedauer

Algebraische TopologieEin tiefer Blick in Überdeckungsräume

Erforsche die Bedeutung von Überlagerungsräumen in der algebraischen Topologie und deren Anwendungen.

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

2025-06-08T19:41:01+00:00 ― 6 min Lesedauer

Software-EntwicklungFortschritte in der Beweisautomatisierung mit LLMs

Neue Methoden zur Verbesserung der Beweisverifizierung in der Softwaretechnik erkunden.

Minghai Lu, Benjamin Delaware, Tianyi Zhang

2025-06-08T12:45:36+00:00 ― 7 min Lesedauer

Logik in der InformatikNebenläufigkeit und Wahrscheinlichkeit in moderner Programmierung

Ein Rahmenwerk zur Analyse von parallelen Programmen mit probabilistischen Ergebnissen.

Renato Neves

2025-06-06T13:53:12+00:00 ― 8 min Lesedauer

KategorientheoriePropositionale Gleichheit in der Typentheorie: Ein genauerer Blick

Untersuchung der Rolle der propositionalen Gleichheit in der Typentheorie und ihrer Implikationen.

Andrea Laretto, Fosco Loregian, Niccolò Veltri

2025-06-06T04:19:36+00:00 ― 4 min Lesedauer

Künstliche IntelligenzVerbesserung des KI-Denkens mit Gedankennachweis

Ein neues Framework soll die Zuverlässigkeit und Klarheit im KI-Denken verbessern.

Debargha Ganguly, Srinivasan Iyengar, Vipin Chaudhary

2025-06-06T02:10:06+00:00 ― 8 min Lesedauer

Logik in der InformatikDie Schnittstelle von Logik und Geometrie in Beweisen

Untersuchen der Beziehung zwischen mathematischen Beweisen und geometrischen Räumen.

Davide Barbarossa

2025-06-05T18:16:37+00:00 ― 6 min Lesedauer

ProgrammiersprachenEine neue Methode zur Beweisführung von Programmbeendigung

Werkzeuge verbessern, um zu überprüfen, ob Schleifen in Programmen fertig laufen.

Shaowei Zhu, Zachary Kincaid

2025-06-05T04:26:36+00:00 ― 6 min Lesedauer

Logik in der InformatikAnalyse von unendlichen Markov-Ketten

Ein Rahmen für ein besseres Verständnis komplexer Markov-Ketten durch Abstraktions- und Sampling-Techniken.

Benoît Barbot, Patricia Bouyer, Serge Haddad

2025-06-04T04:36:42+00:00 ― 7 min Lesedauer

Logik in der InformatikSicherheit voranbringen durch Team-Semantik in der Softwareentwicklung

Teamsemantik verbessert die Überprüfung komplexer Eigenschaften in Softwaresystemen.

Andreas Krebs, Arne Meier, Jonni Virtema

2025-06-04T04:28:48+00:00 ― 8 min Lesedauer

Logik in der InformatikBewachte Rekursion in Programmiersprachen

Erforschen, wie geschützte Rekursion unendliche Datenstrukturen in der Programmierung verbessert.

Louis Lemonnier

2025-06-03T18:12:47+00:00 ― 9 min Lesedauer

GruppentheorieVerbindung von Schlangen und Gruppen: Ein Überblick über die Forschung

Erkunde die Beziehung zwischen Gruppen und Schlangenteilungsproblemen in der Mathematik.

Laurent Bartholdi, Ville Salo

2025-06-03T17:46:34+00:00 ― 5 min Lesedauer

Logik in der InformatikVerbindung von Logik und Programmierung durch Call-by-Value-Auswertung

Dieses Papier untersucht den Zusammenhang zwischen minimaler intuitionistischer Logik und Call-by-Value-Auswertung in der Programmierung.

Beniamino Accattoli

2025-06-03T11:21:48+00:00 ― 11 min Lesedauer

Künstliche IntelligenzModellierung von Argumentationsrahmen: Ein neuer Ansatz

Eine frische Perspektive darauf, wie die Reihenfolge der Argumente Diskussionen prägt.

Yann Munro, Camilo Sarmiento, Isabelle Bloch

2025-06-03T09:47:00+00:00 ― 7 min Lesedauer

ProgrammiersprachenÜberprüfung der Ausnahmebehandlung im Java-Bytecode

Ein Verfahren zur Analyse von aussergewöhnlichem Verhalten in Java-Programmen mit Hilfe von Bytecode.

Marco Paganoni, Carlo A. Furia

2025-06-02T21:40:12+00:00 ― 7 min Lesedauer

Logik in der InformatikBranching Bisimilarität und Time-Outs in reaktiven Systemen

Untersuche, wie Time-outs die Systeminteraktionen in der verzweigten Bisimilarität beeinflussen.

Gaspard Reghem, Rob van Glabbeek

2025-06-02T18:38:30+00:00 ― 5 min Lesedauer

Logik in der InformatikCybersecurity neu denken: Eine frische Perspektive

Dieses Papier bespricht einen neuen Ansatz zur Cybersicherheit mit probabilistischer Obstruktionszeitlogik.

Jean Leneutre, Vadim Malvone, James Ortiz

2025-06-02T14:09:54+00:00 ― 6 min Lesedauer

Logik in der InformatikBessere reaktive Systeme bauen

Lern, wie man effiziente reaktive Systeme erstellt, die sich an ihre Umgebung anpassen.

Linda Feeken, Martin Fränzle

2025-06-02T10:20:48+00:00 ― 6 min Lesedauer

Logik in der InformatikDie Bedeutung der Programmbeendigung

Lern, warum das Beenden von Programmen wichtig für die Computerprogrammierung ist.

James Li, Noam Zilberstein, Alexandra Silva

2025-06-02T05:44:18+00:00 ― 10 min Lesedauer

Logik in der InformatikVerstehen von Logik und Zeit in der Technologie

Ein Blick darauf, wie temporale Logik die Technik in unserem Alltag prägt.

Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag

2025-06-02T02:42:36+00:00 ― 6 min Lesedauer

ProgrammiersprachenEin neuer Ansatz für polymorphe Metaprogrammierung

Ein Rahmen für sichere und effiziente Code-Generierung vorstellen.

Junyoung Jang, Brigitte Pientka

2025-06-01T21:50:18+00:00 ― 6 min Lesedauer

Logik in der InformatikParametrizität in Programmiersprachen verstehen

Lern, wie Parametrizität das Programmieren beeinflusst und die Herausforderungen mit GADTs.

Pierre Cagne, Patricia Johann

2025-06-01T18:01:12+00:00 ― 6 min Lesedauer

Logik in der InformatikZuverlässige Methoden für statistische Modellüberprüfung

Lern, wie man solide statistische Methoden einsetzt, um bessere Entscheidungen in komplexen Systemen zu treffen.

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer

2025-06-01T17:21:42+00:00 ― 7 min Lesedauer

Künstliche IntelligenzBetrugsbekämpfung mit erklärbarer KI verbessern

Kombination von Fuzzy-Logik und symbolischer Regression für klarere Betrugserkennung.

Wout Gerdes, Erman Acar

2025-06-01T16:02:42+00:00 ― 7 min Lesedauer

Logik in der InformatikVerbesserung von Taktikvorschlägen in interaktiven Theorembeweisern

Forscher setzen ILP ein, um Taktikvorhersagen im interaktiven Theorembeweisen zu verbessern.

Liao Zhang, David M. Cerna, Cezary Kaliszyk

2025-06-01T07:21:18+00:00 ― 9 min Lesedauer

Software-EntwicklungKönnen grosse Sprachmodelle bei der Softwareverifikation helfen?

Untersuchen der Rolle von LLMs bei der Generierung von Softwarespezifikationen zur Verifizierung.

Marilyn Rego, Wen Fan, Xin Hu

2025-05-31T13:58:30+00:00 ― 6 min Lesedauer

Logik in der InformatikDas Spiel der Staaten: Ein Einblick in die Trennung

Erforschen, wie Staaten durch Spiele in der Informatik zusammenhängen.

Jurriaan Rot, Sebastian Junges, Harsh Beohar

2025-05-30T06:54:00+00:00 ― 5 min Lesedauer

Logik in der InformatikEine Einführung in die Datenklassifikation

Lern, wie Maschinen Daten klassifizieren, mit einfachen Beispielen und Zähllogik.

Steffen van Bergerem, Nicole Schweikardt

2025-05-29T12:11:42+00:00 ― 6 min Lesedauer

Logik in der InformatikEinführung in den funktionalen Maschinen-Kalkül in der Programmierung

Ein neuer Ansatz fürs Coding, der Flexibilität und Fehlermanagement verbessert.

Willem Heijltjes

2025-05-28T04:26:24+00:00 ― 6 min Lesedauer

ProgrammiersprachenVerstehen von Prädikat-Transformatoren in der Programmierung

Ein Leitfaden zu schwächsten Vorbedingungen und stärksten Nachbedingungen im Coding.

Lena Verscht, Benjamin Lucien Kaminski

2025-05-26T11:59:06+00:00 ― 5 min Lesedauer

Logik in der InformatikAutomatisierung von Termumformungsstrategien mit maschinellem Lernen

Ein Blick auf den Einsatz von maschinellem Lernen zur Optimierung von Termumformungssystemen.

Liao Zhang, Fabian Mitterwallner, Jan Jakubuv

2025-05-26T11:46:03+00:00 ― 6 min Lesedauer

Datenstrukturen und AlgorithmenDie Rolle von Redundanz beim Problemlösen

Lern, wie Redundanz komplexe Probleme einfacher machen kann.

Joshua Brakensiek, Venkatesan Guruswami

2025-05-26T00:00:51+00:00 ― 7 min Lesedauer