Latest Research
Design and Evaluation of Motion Planners for Quadrotors
The field of quadrotor motion planning has experienced significant advancements over the last decade.
Robotics
Boosting Studies of Multi-Agent Reinforcement Learning on Google Research Football Environment: the Past, Present, and Future
jidiai/GRF_MARL
•
•
Even though Google Research Football (GRF) was initially benchmarked and studied as a single-agent environment in its original paper, recent years have witnessed an increasing focus on its multi-agent nature by researchers utilizing it as a testbed for Multi-Agent Reinforcement Learning (MARL).
Multiagent Systems
AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP
We identify that the biggest energy efficiency gains of the CPUs and GPUs come from the dedicated vector units.
Hardware Architecture
Maximal Simplification of Polyhedral Reductions
Reductions combine multiple input values with an associative operator to produce a single (or multiple) result(s).
Programming Languages
Temporal Network Core Decomposition and Community Search
In contrast to the standard definition and previous core-like decompositions for temporal graphs, our $(k,\Delta)$-core decomposition is an edge-based decomposition founded on the new notion of $\Delta$-degree.
Social and Information Networks Data Structures and Algorithms
BalCon -- resource balancing algorithm for VM consolidation
Cloud providers handle substantial number of requests to create and delete virtual machines (VMs) on a daily basis, where the unknown sequence of requests eventually leads to resource fragmentation.
Data Structures and Algorithms Distributed, Parallel, and Cluster Computing Discrete Mathematics
DeepTheft: Stealing DNN Model Architectures through Power Side Channel
To this end, we design a novel and generic learning-based framework consisting of a set of meta-models, based on which DeepTheft is demonstrated to have high accuracy in recovering a large number (thousands) of models architectures from different model families including the deepest ResNet152.
Cryptography and Security
HiCRISP: A Hierarchical Closed-Loop Robotic Intelligent Self-Correction Planner
The integration of Large Language Models (LLMs) into robotics has revolutionized human-robot interactions and autonomous task planning.
Robotics
Stratified Type Theory
Even in the presence of type-in-type, this restriction suffices to enforce consistency of the system.
Programming Languages D.3.1; F.4.1
Relational Expressions for Data Transformation and Computation
Separate programming models for data transformation (declarative) and computation (procedural) impact programmer ergonomics, code reusability and database efficiency.
Databases Programming Languages H.2.3; I.1.3; I.2.4
