English
Related papers

Related papers: A New Method for Verifying d-MC Candidates

200 papers

Most current studies estimate the invulnerability of complex networks using a qualitative method that analyzes the inaccurate decay rate of network efficiency. This method results in confusion over the invulnerability of various types of…

Social and Information Networks · Computer Science 2014-02-18 Jun Qin , Hongrun Wu , Xiaonian Tong , Bojin Zheng

Decision-Focused Learning (DFL) is an emerging learning paradigm that tackles the task of training a machine learning (ML) model to predict missing parameters of an incomplete optimization problem, where the missing parameters are…

Machine Learning · Computer Science 2025-06-23 Yehya Farhat

The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the reputation of learned NN models to behave as black boxes and…

Artificial Intelligence · Computer Science 2018-05-23 Rudy Bunel , Ilker Turkaslan , Philip H. S. Torr , Pushmeet Kohli , M. Pawan Kumar

Due to the importance of signature vector in studying the reliability of networks, some methods have been proposed by researchers to obtain the signature. The notion of signature is used when at most one link may fail at each time instant.…

Computation · Statistics 2018-12-27 M. Siavashi , S. Zarezadeh

This survey provides an examination of the use of Deep Neural Networks (DNN) in Collaborative Filtering (CF) recommendation systems. As the digital world increasingly relies on data-driven approaches, traditional CF techniques face…

Artificial Intelligence · Computer Science 2024-12-03 Pang Li , Shahrul Azman Mohd Noah , Hafiz Mohd Sarim

Model Predictive Control (MPC) is an optimal control algorithm with strong stability and robustness guarantees. Despite its popularity in robotics and industrial applications, the main challenge in deploying MPC is its high computation…

Systems and Control · Electrical Eng. & Systems 2024-12-31 Camilo Gonzalez , Houshyar Asadi , Lars Kooijman , Chee Peng Lim

In this article, we take a closer look at the reliability of large minimal networks constructed by repeated compositions of the simplest possible networks. For a given number of devices $n=2^m$ we define the set of all the possible…

Discrete Mathematics · Computer Science 2021-12-14 Vlad-Florin Dragoi , Valeriu Beiu

Distribution networks are increasingly exposed to threats such as extreme weather, aging infrastructure, and cyber risks--resulting in more frequent contingencies and outages, a trend likely to persist. Microgrids, particularly dynamic…

Optimization and Control · Mathematics 2025-10-10 Hannah Moring , Bala Kameshwar Poolla , Harsha Nagarajan , Johanna L. Mathieu , Andrey Bernstein , David M. Fobes

Distributed inference is a popular approach for efficient DNN inference at the edge. However, traditional Static and Dynamic DNNs are not distribution-friendly, causing system reliability and adaptability issues. In this paper, we introduce…

Computer Vision and Pattern Recognition · Computer Science 2024-01-18 Lei Xun , Mingyu Hu , Hengrui Zhao , Amit Kumar Singh , Jonathon Hare , Geoff V. Merrett

Longitudinal Dispersion(LD) is the dominant process of scalar transport in natural streams. An accurate prediction on LD coefficient(Dl) can produce a performance leap in related simulation. The emerging machine learning(ML) techniques…

Geophysics · Physics 2021-07-28 Yifeng Zhao , Pei Zhang , S. A. Galindo-Torres , Stan Z. Li

Multi-dimensional classification (MDC) can be employed in a range of applications where one needs to predict multiple class variables for each given instance. Many existing MDC methods suffer from at least one of inaccuracy, scalability,…

Machine Learning · Computer Science 2023-11-28 Vu-Linh Nguyen , Yang Yang , Cassio de Campos

Deep neural networks (DNNs) play a crucial role in the field of machine learning, demonstrating state-of-the-art performance across various application domains. However, despite their success, DNN-based models may occasionally exhibit…

Machine Learning · Computer Science 2024-07-02 Guy Amir , Osher Maayan , Tom Zelazny , Guy Katz , Michael Schapira

Searching for local communities is an important research problem that supports advanced data analysis in various complex networks, such as social networks, collaboration networks, cellular networks, etc. The evolution of such networks over…

Social and Information Networks · Computer Science 2022-10-19 Yifu Tang , Jianxin Li , Nur Al Hasan Haldar , Ziyu Guan , Jiajie Xu , Chengfei Liu

Solving for globally optimal line switching decisions in AC transmission grids can be intractability slow. Machine learning (ML) models, meanwhile, can be trained to predict near-optimal decisions at a fraction of the speed. Verifying the…

Systems and Control · Electrical Eng. & Systems 2025-10-29 Samuel Chevalier , Duncan Starkenburg , Robert Parker , Noah Rhodes

The deep neural network multigrid solver (DNN-MG) combines a coarse-grid finite element simulation with a deep neural network that corrects the solution on finer grid levels, thereby improving the computational efficiency. In this work, we…

Numerical Analysis · Mathematics 2026-01-26 Robert Jendersie , Nils Margenberg , Christian Lessig , Thomas Richter

Many researchers have proposed replacing the aggregation server in federated learning with a blockchain system to improve privacy, robustness, and scalability. In this approach, clients would upload their updated models to the blockchain…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-11-15 Yongding Tian , Zhuoran Guo , Jiaxuan Zhang , Zaid Al-Ars

With the increasing extent of malware attacks in the present day along with the difficulty in detecting modern malware, it is necessary to evaluate the effectiveness and performance of Deep Neural Networks (DNNs) for malware classification.…

Cryptography and Security · Computer Science 2023-10-12 Akhil M R , Adithya Krishna V Sharma , Harivardhan Swamy , Pavan A , Ashray Shetty , Anirudh B Sathyanarayana

Community detection in multi-layer networks is a fundamental task in complex network analysis across various areas like social, biological, and computer sciences. However, most existing algorithms assume that the number of communities is…

Methodology · Statistics 2026-02-26 Huan Qing

A method for the multifidelity Monte Carlo (MFMC) estimation of statistical quantities is proposed which is applicable to computational budgets of any size. Based on a sequence of optimization problems each with a globally minimizing…

Numerical Analysis · Mathematics 2022-11-15 Anthony Gruber , Max Gunzburger , Lili Ju , Zhu Wang

Recently mobile agents are used to discover services in mobile ad-hoc network (MANET) where agents travel through the network, collecting and sometimes spreading the dynamically changing service information. But it is important to…

Networking and Internet Architecture · Computer Science 2011-11-09 Roshni Neogy , Chandreyee Chowdhury , Sarmistha Neogy