3447 Arbeiten
Die Studie stellt BOPIM vor, einen Bayesian-Optimization-Algorithmus für die Einflussmaximierung in zeitlichen Netzwerken, der durch die Verwendung spezieller Kernel-Funktionen und einer angepassten Akquisitionsfunktion nicht nur eine signifikant schnellere Berechnung als herkömmliche gierige Algorithmen ermöglicht, sondern auch erstmals Unsicherheiten in den optimalen Seed-Knoten quantifiziert.
Diese Studie untersucht die longitudinale Robustheit von drei prominenten LLM-Familien (GPT, Llama, Qwen) gegenüber Adversarial Examples und zeigt, dass Modell-Updates nicht konsistent zu verbesserten Sicherheitsmerkmalen führen, sondern teilweise zu Verschlechterungen bei Missklassifizierung, Jailbreaks oder Halluzinationen führen können.
Diese Arbeit verallgemeinert die Axiomatisierung der Kardinalitätsoperation von Relationenalgebren auf Stone-Relationenalgebren zur Modellierung gewichteter Graphen, leitet daraus vereinfachte Axiome für Relationenalgebren ab und liefert hinreichende Bedingungen für die Darstellbarkeit sowie für die Äquivalenz von Stone-Relationenalgebren und Relationenalgebren.
Diese Arbeit charakterisiert die Mengen von Graphen, die sowohl durch zählende monadische zweite Logik definierbar als auch kontextfrei sind, als genau die Mengen mit beschränkter Baumweite, die in der Algebra der Hyperedge-Replacement-Operationen erkennbar sind, und stellt deren Äquivalenz zu parsbaren Mengen sowie zu Bildern erkennbarer ungerichteter Baummengen unter definierbaren Transduktionen her.
Die Arbeit untersucht den Einfluss der Austauschregel auf die Interpolationseigenschaft und zeigt, dass es zwar kontinuum-viele nicht-kommutative, aber nur genau sechzig kommutative idempotente semilineare residuierte Gitter mit der Amalgamierungseigenschaft gibt.
Die Arbeit entwickelt eine bindungsfreie Kalkül-Theorie für kontextfreie Ausdrücke, indem sie Normalform-Sätze für Elemente in einem Tensorprodukt aus einer *-stetigen Kleene-Algebra und einer polycyclischen Algebra nutzt, um eine Kopie der Fixpunktabschließung zu identifizieren und Ergebnisse zur „Vollständigkeitsgleichung" zu liefern.
Diese Arbeit stellt einen polynomiellen Algorithmus vor, der ein einfaches Polygon in die minimale Anzahl von sternförmigen Polygonen zerlegt und damit ein seit über vier Jahrzehnten offenes Problem in der algorithmischen Geometrie löst.
Dieser Artikel fasst bekannte Ungleichungen für die Summenfunktion der Ziffernsumme in einer gegebenen Basis zusammen, verallgemeinert diese und zeigt, dass sie sich aus einem Satz einer 2023er-Publikation über die maximale mutative Robustheit in Genotyp-Phänotyp-Karten ableiten lassen.
Die Autoren zeigen, dass das Isomorphieproblem für Turniere mit beschränkter Zwillingbreite in polynomieller Zeit lösbar ist, indem sie gruppentheoretische Techniken einsetzen, und beweisen gleichzeitig, dass der kombinatorische Weisfeiler-Leman-Algorithmus für diese Klasse ohne hohe Dimension versagt.
Diese Arbeit stellt einen neuartigen LTL-Umschreibungsansatz vor, der in das OCRA-Tool integriert wurde, um die asynchrone Komposition von Softwarekomponenten mit Datenports sowohl für unendliche als auch für endliche Traces effizient zu verifizieren und dabei lokale Eigenschaften in globale umzuwandeln.
Dieser Artikel liefert einen einfachen Beweis dafür, dass die rekursiv definierte Folge die Anzahl der -regulären Wörter über zählt, die bestimmte Muster vermeiden, ergänzt dies durch eine neue Zählung für die Folge und stellt eine Vermutung über die Quadrate der Fibonacci-Zahlen im Kontext von Stirling-Permutationen auf.
Diese Arbeit liefert eine vollständige Charakterisierung positionaler ω-regulärer Sprachen durch Paritätsautomaten, beweist die Polynomialzeit-Entscheidbarkeit dieser Eigenschaft und bestätigt eine Vermutung von Kopczyński über die Abgeschlossenheit unter Vereinigung für prefix-unabhängige Ziele.
Der Artikel verallgemeinert die Darstellung von Call-by-Value-Sprachen mit Freyd-Kategorien, indem er zeigt, dass die Repräsentation von effektenbehafteten, bewachten Funktionsräumen parameterisierte Monaden erfordert, was eine intrinsisch-kategorische Beschreibung von Bewachtheit ermöglicht.
Die Autoren präsentieren einen Algorithmus, der es ermöglicht, MSO-Abfragen auf durch einen Straight-Line-Program (SLP) komprimierten Bäumen nach einer linearen Vorverarbeitung mit output-linearem Verzögerung zu enumerieren, was eine signifikante Verbesserung gegenüber bisherigen Verfahren darstellt und zudem logarithmische Vertex-Neubearbeitungszeiten unterstützt.
Diese Arbeit zeigt, dass sich Kausale Graphendynamiken durch Kan-Erweiterungen formalisieren lassen, wodurch die Gültigkeit des Global-Transformations-Anspruchs für diese Klasse nachgewiesen und die universelle Bedeutung der monotonen Variante aufgezeigt wird.
Die vorgestellte Arbeit führt impairment- und repair-indicierende Anwendungskonditionen ein, um Graphtransformationen basierend auf ihrem potenziellen Reparaturgewinn zu bewerten und so die Wiederherstellung der Konsistenz in Graphen zu optimieren.
Die Arbeit stellt eine numerische Integrationsmethode vor, die die Trapezregel mit einer Möbius-Transformation kombiniert, um für Funktionen in gewichteten Sobolevräumen mit monoton fallenden Schwartz-Gewichten eine optimale Konvergenzrate zu erreichen, ohne dass Ableitungen des Gewichts oder Stichproben aus der zugehörigen Verteilung erforderlich sind.
Die Arbeit beweist, dass die Zeros des Partitionsfunktions des anti-ferromagnetischen Potts-Modells für Graphen mit maximalem Grad und Farben nicht verschwinden, was durch Barvinaks Interpolationsmethode zu einem deterministischen polynomiellen Algorithmus für das approximative Zählen von -Färbungen führt und damit die bisherige $2\Delta$-Schranke durchbricht.
Diese Arbeit stellt einen cross-layer Multi-Agent-Ansatz mit hierarchischem und unabhängigem Lernen vor, der durch die dynamische Anpassung mehrerer IEEE802.11-Parameter (CWmin, CWmax, IFSn) die Latenz bei HD-Karten-Updates in VANETs signifikant reduziert.
Die Arbeit stellt TIMotion vor, ein effizientes Framework für die Generierung von menschlich-menschlichen Bewegungen, das durch kausale interaktive Injektion, rollenbasierte Scanning-Verfahren und lokale Musterverstärkung die zeitliche Modellierung und Interaktionsmischung verbessert, um suboptimale Ergebnisse und redundante Parameter bestehender Methoden zu überwinden.