English
Related papers

Related papers: Generalized Formulation of Weighted Optimal Guidan…

200 papers

Under ray-optical light transport, the classical ray serves as a linear and local "point query" of light's behaviour. Linearity and locality are crucial to the formulation of sophisticated path tracing and sampling techniques, that enable…

Graphics · Computer Science 2024-01-09 Shlomi Steinberg , Ravi Ramamoorthi , Benedikt Bitterli , Eugene d'Eon , Ling-Qi Yan , Matt Pharr

This work proposes a nonlinear model predictive control-based guidance strategy for unmanned surface vehicles, focused on path following. The application of this strategy, in addition to overcome drawbacks of previous line-of-sight-based…

Systems and Control · Electrical Eng. & Systems 2024-02-08 G. Bejarano , J. M. Manzano , J. R. Salvador , D. Limon

This paper introduces a novel robust closed-form control law to handle time-varying hard and soft constraints in uncertain high-relative-degree nonlinear MIMO systems. These constraints represent spatiotemporal specifications in mechanical…

Systems and Control · Electrical Eng. & Systems 2025-10-21 Farhad Mehdifar , Charalampos P. Bechlioulis , Dimos V. Dimarogonas

We observe that the various formulations of the operational semantics of Constraint Handling Rules proposed over the years fall into a spectrum ranging from the analytical to the pragmatic. While existing analytical formulations facilitate…

Logic in Computer Science · Computer Science 2010-07-23 Hariolf Betz , Frank Raiser , Thom Frühwirth

It is well established that formulating an effective constraint model of a problem of interest is crucial to the efficiency with which it can subsequently be solved. Following from the observation that it is difficult, if not impossible, to…

Artificial Intelligence · Computer Science 2023-11-21 Ian Miguel , András Z. Salamon , Christopher Stone

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving…

Artificial Intelligence · Computer Science 2007-05-23 Patrick Albert , Laurent Henocque , Mathias Kleiner

Strategic classification studies learning in settings where self-interested users can strategically modify their features to obtain favorable predictive outcomes. A key working assumption, however, is that "favorable" always means…

Machine Learning · Computer Science 2022-06-22 Sagi Levanon , Nir Rosenfeld

Association Rules are a basic concept of data mining. They are, however, not understood as logical objects which can be used for reasoning. The purpose of this paper is to investigate a model based semantic for implications with certain…

Logic in Computer Science · Computer Science 2012-01-31 Daniel Borchmann

We introduce the concept of partial law invariance, generalizing the concepts of law invariance and probabilistic sophistication widely used in decision theory, as well as statistical and financial applications. This new concept is…

Risk Management · Quantitative Finance 2025-06-24 Yi Shen , Zachary Van Oosten , Ruodu Wang

This paper pursues a twofold goal. First, we introduce and study in detail a new notion of variational analysis called generalized metric subregularity, which is a far-going extension of the conventional metric subregularity conditions. Our…

Optimization and Control · Mathematics 2024-06-21 Guoyin Li , Boris Mordukhovich , Jiangxing Zhu

This paper is devoted to general balance laws (with a possibly non local source term) with a non-characteristic boundary. Basic well posedness results are obtained, trying to provide sharp estimates. In particular, bounds tend to blow up as…

Analysis of PDEs · Mathematics 2008-10-30 Rinaldo M. Colombo , Graziano Guerra

Gravitational wave (GW) astronomy offers the potential to probe the wave-optics regime of gravitational lensing. Wave optics (WO) effects are relevant at low frequencies, when the wavelength is comparable to the characteristic lensing time…

General Relativity and Quantum Cosmology · Physics 2023-09-06 Giovanni Tambalo , Miguel Zumalacárregui , Liang Dai , Mark Ho-Yeuk Cheung

A variety of fairness constraints have been proposed in the literature to mitigate group-level statistical bias. Their impacts have been largely evaluated for different groups of populations corresponding to a set of sensitive attributes,…

Machine Learning · Computer Science 2022-07-01 Jialu Wang , Xin Eric Wang , Yang Liu

In this paper an approach to automated deduction under uncertainty,based on possibilistic logic, is proposed ; for that purpose we deal with clauses weighted by a degree which is a lower bound of a necessity or a possibility measure,…

Artificial Intelligence · Computer Science 2013-04-08 Didier Dubois , Jerome Lang , Henri Prade

The main aim of this work is not to improve any existing non-linear weight but to give a generalized framework for the construction of non-linear weights to get non-oscillatory third order WENO schemes. It is done by imposing necessary…

Numerical Analysis · Mathematics 2019-02-21 Ritesh Kumar Dubey , Sabana Parvin

Constraint handling plays a key role in solving realistic complex optimization problems. Though intensively discussed in the last few decades, existing constraint handling techniques predominantly rely on human experts' designs, which more…

Neural and Evolutionary Computing · Computer Science 2026-02-03 Qianhao Zhu , Sijie Ma , Zeyuan Ma , Hongshu Guo , Yue-Jiao Gong

Many current challenges involve understanding the complex dynamical interplay between the constituents of systems. Typically, the number of such constituents is high, but only limited data sources on them are available. Conventional…

Populations and Evolution · Quantitative Biology 2021-12-17 Jana C. Massing , Thilo Gross

We investigate the optimal design of experimental studies that have pre-treatment outcome data available. The average treatment effect is estimated as the difference between the weighted average outcomes of the treated and control units. A…

Generalised planning (GP) refers to the task of synthesising programs that solve families of related planning problems. We introduce a novel, yet simple method for GP: given a set of training problems, for each problem, compute an optimal…

Artificial Intelligence · Computer Science 2025-11-17 Dillon Z. Chen , Till Hofmann , Toryn Q. Klassen , Sheila A. McIlraith

Formation control deals with the design of decentralized control laws that stabilize mobile, autonomous agents at prescribed distances from each other. We call any configuration of the agents a target configuration if it satisfies the…

Dynamical Systems · Mathematics 2016-05-23 Xudong Chen , M. -A. Belabbas , Tamer Başar