中文
相关论文

相关论文: Embedding Reliability Verification Constraints int…

200 篇论文

Reliable evaluation of protein structure predictions remains challenging, as metrics like pLDDT capture energetic stability but often miss subtle errors such as atomic clashes or conformational traps reflecting topological frustration…

Machine learning models deployed in real-world settings must operate under evolving data distributions and constrained computational resources. This challenge is particularly acute in non-stationary domains such as energy time series,…

机器学习 · 计算机科学 2026-03-17 Daniel Bretsko , Piotr Walas , Devashish Khulbe , Sebastian Stros , Stanislav Sobolevsky , Tomas Satura

This paper describes a novel approach to planning which takes advantage of decision theory to greatly improve robustness in an uncertain environment. We present an algorithm which computes conditional plans of maximum expected utility. This…

人工智能 · 计算机科学 2013-02-28 Stephen G. Pimentel , Lawrence M. Brem

Large renewable penetration has been witnessed in power systems, resulting in reduced levels of system inertia and increasing requirements for frequency response services. There have been plenty of studies developing frequency-constrained…

系统与控制 · 电气工程与系统科学 2025-07-25 Yi Wang , Goran Strbac

Implicit neural networks are a general class of learning models that replace the layers in traditional feedforward models with implicit algebraic equations. Compared to traditional learning models, implicit networks offer competitive…

机器学习 · 计算机科学 2021-12-13 Saber Jafarpour , Matthew Abate , Alexander Davydov , Francesco Bullo , Samuel Coogan

Weakly hard real-time systems can, to some degree, tolerate deadline misses, but their schedulability still needs to be analyzed to ensure their quality of service. Such analysis usually occurs at early design stages to provide…

软件工程 · 计算机科学 2023-08-14 Jaekwon Lee , Seung Yeob Shin , Lionel Briand , Shiva Nejati

Various networks are broadly and deeply applied in real-life applications. Reliability is the most important index for measuring the performance of all network types. Among the various algorithms, only implicit enumeration algorithms, such…

分布式、并行与集群计算 · 计算机科学 2022-09-21 Wei-Chang Yeh

Optimal policies in Markov decision processes (MDPs) are very sensitive to model misspecification. This raises serious concerns about deploying them in high-stake domains. Robust MDPs (RMDP) provide a promising framework to mitigate…

机器学习 · 计算机科学 2019-12-06 Reazul Hasan Russel , Bahram Behzadian , Marek Petrik

LLMs demonstrate strong performance in auto-mated software engineering, particularly for code generation and issue resolution. While proprietary models like GPT-4o achieve high benchmarks scores on SWE-bench, their API dependence, cost, and…

软件工程 · 计算机科学 2025-06-17 Yibo Wang , Zhihao Peng , Ying Wang , Zhao Wei , Hai Yu , Zhiliang Zhu

This paper proposes a portfolio construction framework designed to remain robust under estimation error, non-stationarity, and realistic trading constraints. The methodology combines dynamic asset eligibility, deterministic rebalancing, and…

最优化与控制 · 数学 2026-01-12 Roberto Garrone

Test-time reinforcement learning generates multiple candidate answers via repeated rollouts and performs online updates using pseudo-labels constructed by majority voting. To reduce overhead and improve exploration, prior work introduces…

机器学习 · 计算机科学 2026-05-28 Chu Zhao , Enneng Yang , Yuting Liu , Jianzhe Zhao , Guibing Guo

Wind power, as a green energy resource, is growing rapidly worldwide, along with energy storage systems (ESSs) to mitigate its volatility. Sizing of wind power generation and ESSs has become an important problem to be addressed. Wake effect…

系统与控制 · 电气工程与系统科学 2023-06-13 Rui Xie , Wei Wei , Yue Chen

Electricity load forecasting is crucial for the power systems' planning and maintenance. However, its un-stationary and non-linear characteristics impose significant difficulties in anticipating future demand. This paper proposes a novel…

机器学习 · 计算机科学 2022-06-14 Ruobin Gao , Liang Du , P. N. Suganthan , Qin Zhou , Kum Fai Yuen

We present a method for solving a large-scale stochastic capacity expansion problem which explicitly considers reliability constraints, in particular constraints on expected energy not served. Our method tackles this problem by a Lagrange…

系统与控制 · 电气工程与系统科学 2025-01-30 Marilena Zampara , Daniel Ávila , Anthony Papavasiliou

While deep generative models~(DGMs) have demonstrated remarkable success in capturing complex data distributions, they consistently fail to learn constraints that encode domain knowledge and thus require constraint integration. Existing…

机器学习 · 计算机科学 2025-02-13 Ruoyan Li , Dipti Ranjan Sahu , Guy Van den Broeck , Zhe Zeng

When performing the resilience enhancement for distribution networks, there are two obstacles to reliably model the uncertain contingencies: 1) decision-dependent uncertainty (DDU) due to various line hardening decisions, and 2)…

系统与控制 · 电气工程与系统科学 2023-10-12 Yujia Li , Shunbo Lei , Wei Sun , Chenxi Hu , Yunhe Hou

The primary goal of motion planning is to generate safe and efficient trajectories for vehicles. Traditionally, motion planning models are trained using imitation learning to mimic the behavior of human experts. However, these models often…

This paper introduces Dynamic Embeddings with Task-Oriented prompting (DETOT), a novel approach aimed at improving the adaptability and efficiency of machine learning models by implementing a flexible embedding layer. Unlike traditional…

计算与语言 · 计算机科学 2024-06-25 Allmin Balloccu , Jack Zhang

In various data settings, it is necessary to compare observations from disparate data sources. We assume the data is in the dissimilarity representation and investigate a joint embedding method that results in a commensurate representation…

统计方法学 · 统计学 2016-01-05 Sancar Adali , Carey E. Priebe

By framing reinforcement learning as a sequence modeling problem, recent work has enabled the use of generative models, such as diffusion models, for planning. While these models are effective in predicting long-horizon state trajectories…

机器人学 · 计算机科学 2024-09-26 Vineet Punyamoorty , Pascal Jutras-Dubé , Ruqi Zhang , Vaneet Aggarwal , Damon Conover , Aniket Bera