Latest Research

mABC: multi-Agent Blockchain-Inspired Collaboration for root cause analysis in micro-services architecture

knediny/mABC 18 Apr 2024

To conduct root cause analysis (RCA) and resolution of alert events, we propose a pioneering framework, multi-Agent Blockchain-inspired Collaboration for root cause analysis in micro-services architecture (mABC), to revolutionize the AI for IT operations (AIOps) domain, where multiple agents based on the powerful large language models (LLMs) perform blockchain-inspired voting to reach a final agreement following a standardized process for processing tasks and queries provided by Agent Workflow.

Multiagent Systems Cryptography and Security Distributed, Parallel, and Cluster Computing

0
18 Apr 2024

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications

mohannadcse/alloyspecrepair 17 Apr 2024

This research contributes to advancing the field of automatic repair for declarative specifications and highlights the promising potential of LLMs in this domain.

Software Engineering

0
17 Apr 2024

Real-Time Trajectory Synthesis with Local Differential Privacy

zju-daily/retrasyn 17 Apr 2024

Local differential privacy (LDP), which perturbs sensitive data on the user side before it is shared or analyzed, emerges as a promising solution for private trajectory stream collection and analysis.

Databases Cryptography and Security

2
17 Apr 2024

Accelerating Geo-distributed Machine Learning with Network-Aware Adaptive Tree and Auxiliary Route

fengwenjiao/netstorm 17 Apr 2024

Prior research has focused on optimizing the synchronization topology, evolving from starlike to tree-based structures.

Distributed, Parallel, and Cluster Computing 68T99 I.2.11; C.2.4

4
17 Apr 2024

AniFrame: A Programming Language for 2D Drawing and Frame-Based Animation

memgonzales/aniframe-language 16 Apr 2024

Creative coding is an experimentation-heavy activity that requires translating high-level visual ideas into code.

Programming Languages Human-Computer Interaction Multimedia D.3.2; J.5

1
16 Apr 2024

FlexMap Fusion: Georeferencing and Automated Conflation of HD~Maps with OpenStreetMap

tumftm/flexmap_fusion 16 Apr 2024

Today's software stacks for autonomous vehicles rely on HD maps to enable sufficient localization, accurate path planning, and reliable motion prediction.

Robotics

63
16 Apr 2024

PSPACE-Hard 2D Super Mario Games: Thirteen Doors

65440-2023/mario-hardness-gadgets 16 Apr 2024

We prove PSPACE-hardness for fifteen games in the Super Mario Bros. 2D platforming video game series.

Computational Complexity

1
16 Apr 2024

A Dataset for Large Language Model-Driven AI Accelerator Generation

acadlab/sa-ds 16 Apr 2024

In the ever-evolving landscape of Deep Neural Networks (DNN) hardware acceleration, unlocking the true potential of systolic array accelerators has long been hindered by the daunting challenges of expertise and time investment.

Hardware Architecture

0
16 Apr 2024

Larger-scale Nakamoto-style Blockchains Don't Necessarily Offer Better Security

rub-infsec/simblock 15 Apr 2024

Established results indicate that, perhaps surprisingly, maximal security is achieved when the network is as small as two nodes due to increased delays in larger networks.

Cryptography and Security

0
15 Apr 2024

Bridging the Gap: Automated Analysis of Sancus

matteobusi/alvie 15 Apr 2024

Techniques for verifying or invalidating the security of computer systems have come a long way in recent years.

Cryptography and Security

0
15 Apr 2024