English
Related papers

Related papers: DPLib: A Standard Benchmark Library for Distribute…

200 papers

This paper introduces a new model for highly accurate distribution voltage solutions, coined as a parameterized linear power flow model. The proffered model is grounded on a physical model of linear power flow equations, and uses…

Systems and Control · Electrical Eng. & Systems 2022-11-03 Marija Marković , Bri-Mathias Hodge

Distributed applications running on a large cluster environment, such as the cloud instances will have shorter execution time. However, the application might suffer from sudden termination due to unpredicted computing node failures, thus…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-11-30 Basma Abdel Azeem , Manal Helal

DESlib is an open-source python library providing the implementation of several dynamic selection techniques. The library is divided into three modules: (i) \emph{dcs}, containing the implementation of dynamic classifier selection methods…

Machine Learning · Computer Science 2020-03-06 Rafael M. O. Cruz , Luiz G. Hafemann , Robert Sabourin , George D. C. Cavalcanti

Abstract Objective: The objectives of this paper are to 1) construct a new network model compatible with distributed computation, 2) construct the full optimal power flow (OPF) in a distributed fashion so that an effective, non-inferior…

Optimization and Control · Mathematics 2021-07-14 HyungSeon Oh

Recent years have witnessed the booming of various differentiable optimization algorithms. These algorithms exhibit different execution patterns, and their execution needs massive computational resources that go beyond a single CPU and GPU.…

Mathematical Software · Computer Science 2022-11-15 Jie Ren , Xidong Feng , Bo Liu , Xuehai Pan , Yao Fu , Luo Mai , Yaodong Yang

In this paper we propose a set of guidelines to select a solver for the solution of nonlinear programming problems. With this in mind, we present a comparison of the convergence performances of commonly used solvers for both unconstrained…

Optimization and Control · Mathematics 2024-03-18 Giovanni Lavezzi , Kidus Guye , Marco Ciarcià

The intensive integration of power converters is changing the way that power systems operate, leading to the emergence of new types of dynamic phenomena and instabilities. At the same time, converters act as an interface between traditional…

While the ecosystem of Lean and Mathlib has enjoyed celebrated success in formal mathematical reasoning with the help of large language models (LLMs), the absence of many folklore lemmas in Mathlib remains a persistent barrier that limits…

Logic in Computer Science · Computer Science 2026-05-28 Xinyu Liu , Zixuan Xie , Amir Moeini , Claire Chen , Shuze Daniel Liu , Yu Meng , Aidong Zhang , Shangtong Zhang

The past few years have seen a surge of applying Deep Learning (DL) models for a wide array of tasks such as image classification, object detection, machine translation, etc. While DL models provide an opportunity to solve otherwise…

Machine Learning · Computer Science 2021-03-02 Cheng Li , Abdul Dakkak , Jinjun Xiong , Wen-mei Hwu

Wireless power transfer (WPT) is a promising solution to provide convenient and perpetual energy supplies to electronics. Traditional WPT technologies face the challenge of providing Watt-level power over meter-level distance for Internet…

Signal Processing · Electrical Eng. & Systems 2018-10-10 Qingqing Zhang , Wen Fang , Qingwen Liu , Jun Wu , Pengfei Xia , Liuqing Yang

Reinforcement learning has been found useful in solving optimal power flow (OPF) problems in electric power distribution systems. However, the use of largely model-free reinforcement learning algorithms that completely ignore the…

Machine Learning · Computer Science 2021-09-07 Gayathri Krishnamoorthy , Anamika Dubey

In this paper, we introduce DLB, a Deep Learning based load Balancing mechanism, to effectively address the data skew problem. The key idea of DLB is to replace hash functions in the load balancing mechanisms with deep learning models,…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-14 Xiaoke Zhu , Qi Zhang , Taining Cheng , Ling Liu , Wei Zhou , and Jing He

With the current high levels of energy consumption of data centers, reducing power consumption by even a small percentage is beneficial. We propose a framework for thermal-aware workload distribution in a data center to reduce cooling power…

Systems and Control · Electrical Eng. & Systems 2023-04-11 Somayye Rostami , Douglas G. Down , George Karakostas

As distributed energy resources (DERs) grow, the electricity grid faces increased net load variability at the grid edge, impacting operability and reliability. Transactive energy, facilitated through local energy markets, offers a…

Systems and Control · Electrical Eng. & Systems 2024-11-18 Daniel May , Matthew Taylor , Petr Musilek

Automated theorem proving (ATP) benchmarks largely consist of problems formalized in MathLib, so current ATP training and evaluation are heavily biased toward MathLib's definitional framework. However, frontier mathematics is often…

In recent years, there has been increasing interest in network diffusion models and related problems. The most popular of these are the independent cascade and linear threshold models. Much of the recent experimental work done on these…

Social and Information Networks · Computer Science 2024-04-29 Eliot W. Robson , Dhemath Reddy , Abhishek K. Umrawal

The global energy system is undergoing a major transformation. Renewable energy generation is growing and is projected to accelerate further with the global emphasis on decarbonization. Furthermore, distributed generation is projected to…

Other Computer Science · Computer Science 2021-06-29 Sakshi Mishra , Josiah Pohl , Nick Laws , Dylan Cutler , Ted Kwasnik , William Becker , Alex Zolan , Kate Anderson , Dan Olis , Emma Elgqvist

This paper introduces the messaging environment and the geographical visualization tool of the CURENT Large-scale Testbed (LTB) that can be used for large-scale power system closed-loop simulation. First, Distributed Messaging Environment…

Systems and Control · Electrical Eng. & Systems 2023-12-29 Nicholas Parsly , Jinning Wang , Nick West , Qiwei Zhang , Hantao Cui , Fangxing Li

Complex networks are relational data sets commonly represented as graphs. The analysis of their intricate structure is relevant to many areas of science and commerce, and data sets may reach sizes that require distributed storage and…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-01-05 Jannis Koch , Christian L. Staudt , Maximilian Vogel , Henning Meyerhenke

With growing deployment of Internet of Things (IoT) and machine learning (ML) applications, which need to leverage computation on edge and cloud resources, it is important to develop algorithms and tools to place these distributed…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-30 Xiangchen Zhao , Diyi Hu , Bhaskar Krishnamachari