English
Related papers

Related papers: Efficient Instantiation of Parameterised Boolean E…

200 papers

The Instruction-Driven Game Engine (IDGE) project aims to democratize game development by enabling a large language model (LLM) to follow free-form game rules and autonomously generate game-play processes. The IDGE allows users to create…

Artificial Intelligence · Computer Science 2024-08-26 Hongqiu Wu , Yan Wang , Xingyuan Liu , Hai Zhao , Min Zhang

Physics-Informed Neural Networks (PINNs) provide a powerful and general framework for solving Partial Differential Equations (PDEs) by embedding physical laws into loss functions. However, training PINNs is notoriously difficult due to the…

Machine Learning · Computer Science 2025-10-09 Kang An , Chenhao Si , Ming Yan , Shiqian Ma

This paper is concerned with stochastic differential games (SDGs) defined through fully coupled forward-backward stochastic differential equations (FBSDEs) which are governed by Brownian motion and Poisson random measure. For SDGs, the…

Optimization and Control · Mathematics 2013-02-06 Juan Li , Qingmeng Wei

Bayesian regression games are a special class of two-player general-sum Bayesian games in which the learner is partially informed about the adversary's objective through a Bayesian prior. This formulation captures the uncertainty in regard…

Machine Learning · Computer Science 2021-10-04 Wenshuo Guo , Michael I. Jordan , Tianyi Lin

In this study, approximation formulas for evaluating Landau constants are elaborated by using the Boubaker Polynomials Expansion Scheme (BPES). Results are compared to some referred studies.

Mathematical Physics · Physics 2016-04-26 Karem Boubaker , Lin Zhang

Physics-informed neural networks (PINNs) constitute a flexible deep learning approach for solving partial differential equations (PDEs), which model phenomena ranging from heat conduction to quantum mechanical systems. Despite their…

Machine Learning · Computer Science 2026-03-17 Aleksander Krasowski , René P. Klausen , Aycan Celik , Sebastian Lapuschkin , Wojciech Samek , Jonas Naujoks

Physics-Informed Neural Networks (PINNs) are machine learning tools that approximate the solution of general partial differential equations (PDEs) by adding them in some form as terms of the loss/cost function of a Neural Network. Most…

Numerical Analysis · Mathematics 2022-08-29 Antonio Tadeu Azevedo Gomes , Larissa Miguez da Silva , Frederic Valentin

Buildings rarely perform as designed/simulated and and there are numerous tangible benefits if this gap is reconciled. A new scientific yet pragmatic methodology - called Enhanced Parameter Estimation (EPE) - is proposed that allows…

Systems and Control · Electrical Eng. & Systems 2021-03-15 Kris Subbarao , Srijan Didwania , T. Agami Reddy , Marlin Addison

Bundle adjustment is the common way to solve localization and mapping. It is an iterative process in which a system of non-linear equations is solved using two optimization methods, weighted by a damping factor. In the classic approach, the…

Computer Vision and Pattern Recognition · Computer Science 2023-08-28 Amir Belder , Refael Vivanti , Ayellet Tal

This paper presents a technique for approximating, up to any precision, the set of subgame-perfect equilibria (SPE) in discounted repeated games. The process starts with a single hypercube approximation of the set of SPE. Then the initial…

Computer Science and Game Theory · Computer Science 2010-02-10 Andriy Burkov , Brahim Chaib-draa

Solving partial differential equations (PDEs) by numerical methods meet computational cost challenge for getting the accurate solution since fine grids and small time steps are required. Machine learning can accelerate this process, but…

Numerical Analysis · Mathematics 2025-01-28 Qi Wang , Yuan Mi , Haoyun Wang , Yi Zhang , Ruizhi Chengze , Hongsheng Liu , Ji-Rong Wen , Hao Sun

Variational quantum algorithms (VQAs) are widely applied in the noisy intermediate-scale quantum era and are expected to demonstrate quantum advantage. However, training VQAs faces difficulties, one of which is the so-called barren plateaus…

Quantum Physics · Physics 2023-02-07 Huan-Yu Liu , Tai-Ping Sun , Yu-Chun Wu , Yong-Jian Han , Guo-Ping Guo

One of the main goals of mathematical modeling in systems medicine related to medical applications is to obtain patient-specific parameterizations and model predictions. In clinical practice, however, the number of available measurements…

Methodology · Statistics 2017-06-22 Ilja Klebanov , Alexander Sikorski , Christof Schütte , Susanna Röblitz

Extending Bayesian optimization to batch evaluation can enable the designer to make the most use of parallel computing technology. However, most of current batch approaches do not scale well with the batch size. That is, their performances…

Machine Learning · Computer Science 2025-04-25 Dawei Zhan , Zhaoxi Zeng , Shuoxiao Wei , Ping Wu

We study the complexity of computing equilibria in two classes of network games based on flows - fractional BGP (Border Gateway Protocol) games and fractional BBC (Bounded Budget Connection) games. BGP is the glue that holds the Internet…

Computer Science and Game Theory · Computer Science 2008-12-05 Laura J. Poplawski , Rajmohan Rajaraman , Ravi Sundaram , Shang-Hua Teng

We revisit the approaches to the solution of parity games based on progress measures and show how the notion of quasi dominions can be integrated with those approaches. The idea is that, while progress measure based techniques typically…

Logic in Computer Science · Computer Science 2021-11-10 Massimo Benerecetti , Daniele Dell'Erba , Marco Faella , Fabio Mogavero

We consider a class of hierarchical noncooperative $N$-player games where the $i$th player solves a parametrized stochastic mathematical program with equilibrium constraints (MPEC) with the caveat that the implicit form of the $i$th…

Optimization and Control · Mathematics 2022-02-23 Shisheng Cui , Uday V. Shanbhag

The strategy improvement algorithm for mean payoff games and parity games is a local improvement algorithm, just like the simplex algorithm for linear programs. Their similarity has turned out very useful: many lower bounds on running time…

Computer Science and Game Theory · Computer Science 2025-09-22 Matthew Maat

Uncertainty in the prediction of future weather is commonly assessed through the use of forecast ensembles that employ a numerical weather prediction model in distinct variants. Statistical postprocessing can correct for biases in the…

Applications · Statistics 2016-06-16 Annette Möller , Thordis L. Thorarinsdottir , Alex Lenkoski , Tilmann Gneiting

Physics-informed neural networks (PINNs) are emerging as popular mesh-free solvers for partial differential equations (PDEs). Recent extensions decompose the domain, apply different PINNs to solve the problem in each subdomain, and stitch…

Machine Learning · Computer Science 2023-07-07 Shibo Li , Michael Penwarden , Yiming Xu , Conor Tillinghast , Akil Narayan , Robert M. Kirby , Shandian Zhe
‹ Prev 1 8 9 10 Next ›