We study the problem of solving fixed-point equations for seminorm-contractive operators and establish foundational results on the nonasymptotic behavior of iterative algorithms in both deterministic and stochastic settings. In the deterministic setting, we present a fixed-point theorem for seminorm-contractive operato...
Zaiwei Chen, Sheng Zhang, Zhe Zhang et al.· Mathematics of Operations Re...· 0 citations
This artifact contains result data and models for the paper Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin. Corresponding code can be found at https://github.com/MatCos/TamRL for the Reinforcement Learning Framework, and at https://github.com/niklasmedinger/Tamarin-ML-API...
Matthias Cosler, Cas Cremers, Bernd Finkbeiner et al.· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Solves the rigidity of manual hyperparameter tuning in traffic control using Meta-MOHRL, a self-configuring HRL framework for optimizing unpredictable multi-objective traffic flows. A PyTorch framework enabling multi-objective traffic coordination. Includes SUMO environment & topologies, and SoTA hierarchical baselines...
Anonymous· Zenodo (CERN European Organi...· 0 citations
Power grid anomaly detection requires modeling both network topology and device dependencies. Graph neural networks (GNNs) are suitable for this task. However, few prior works have considered the stealthy camouflage behavior of grid anomalies, where faulty devices or malicious attackers intentionally mask their abnorma...
Ya Guo, Jun-Yi Wang, Bo-Yu Liu et al.· Cybersecurity· 0 citations
The rapid growth of cloud computing and Internet of Things (IoT) applications has intensified the need for efficient resource allocation, energy management, and cost optimization in large-scale data centers. Traditional optimization and machine learning approaches, while effective in static environments, often fail to...
Peng Yan, Nahideh Derakhshanfard, Ali Asghar Pourhaji Kazem et al.· International Journal of Com...· 0 citations
In the world of rapidly evolving communication networks, network demand and traffic are increasing, which makes efficient network slicing and resource allocation techniques a requirement. The existing models for network slicing and resource allocation lack efficient algorithms, limited generalization, and practical imp...
Punitha Arockiasamy, P. Hema Sree, K. Saranya et al.· Scientific Reports· 0 citations
Large language models (LLMs) have become effective evaluators across a wide range of tasks, but in rigorous contexts such as educational measurement, a model that can produce plausible scores is not yet a reliable rater. A central limitation of current LLM evaluators is that their scoring logic remains implicit and is...
Jie Meng, Jin Mao, Mingchang Ma et al.· Information Processing & Man...· 0 citations
An adaptive optimal neural network algorithm with fast finite-time convergence is proposed for stochastic multiagent systems (SMASs) under deception attacks, time-varying asymmetric output constraints and dead zones. An additional attack signal corrupts the state information of nonlinear systems, resulting in the unava...
Xin Zhang, Junsheng Zhao, Zong‐Yao Sun et al.· Applied Mathematics and Comp...· 0 citations
Abstract Bus bunching is a self-reinforcing phenomenon in which a delayed bus boards more passengers, incurs further delay, and is caught by its follower. Holding a bus at a stop to regulate headways is a widely studied corrective measure, yet most evaluations rely on a single shaped objective rather than independent p...
Yifan Zhang, Haoming Li, Liang Zheng et al.· Transportation Safety and En...· 0 citations
Prabha Jha used her experience with MIT Open Learning’s program for senior executives to develop AI solutions for her employer, Verizon, and to write a book.
Assistant Professor Benjamin Lindquist studies how engineers deliberately injected randomness into early AI, giving rise to deep-learning models that sometimes hallucinate.