Results 61 to 70 of about 4,006 (251)
Design of discrete PI‐PR2 controllers for time‐delayed systems using dominant pole placement method
Asian Journal of Control, EarlyView.Abstract This paper presents a new controller structure known as the proportional‐integral proportional‐double‐retarded (PI‐PR2) designed for discrete‐time systems with time delay. The dominant pole placement technique, which is frequently encountered in control systems, is used as the primary design method. The design method starts that dominant poles
Ayşe Duman Mammadov +2 more
wiley +1 more source
Axioms vs. rewrite rules: from completeness to cut elimination
, 2000 Combining a standard proof search method, such as resolution or tableaux, and rewriting is a powerful way to cut off search space in automated theorem proving, but proving the completeness of such combined methods may be challenging.
Dowek, Gilles
core +1 more source
Herbrand-Confluence for Cut Elimination in Classical First Order Logic [PDF]
, 2012 International audienceWe consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing.
Strassburger, Lutz, Hetzl, Stefan
core +1 more source
Risk‐aware safe reinforcement learning for control of stochastic linear systems
Asian Journal of Control, EarlyView.Abstract This paper presents a risk‐aware safe reinforcement learning (RL) control design for stochastic discrete‐time linear systems. Rather than using a safety certifier to myopically intervene with the RL controller, a risk‐informed safe controller is also learned besides the RL controller, and the RL and safe controllers are combined together ...
Babak Esmaeili +2 more
wiley +1 more source
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. [PDF]
, 1998 . We describe a sequent calculus, based on work of Herbelin, of which the cut-free derivations are in 1-1 correspondence with the normal natural deduction proofs of intuitionistic logic. We present a simple proof of Herbelin's strong cut-elimination
Pinto, Luís F. +4 more
core +1 more source
Dynamic Spillovers Between FinTech, Blockchain, and Green Finance: A Quantile Connectedness Approach
Business Strategy and the Environment, EarlyView.ABSTRACT This paper explores how financial innovation and environmental sustainability intersect by analyzing spillovers between FinTech, blockchain energy use, and green finance. Using a Quantile Vector Autoregression (QVAR) framework, we examine weekly data from 2018 to 2024 across 11 digital, environmental, and macro‐financial indices.
Mehmet Sahiner, Sisi Sung, James Devlin
wiley +1 more source
Strongly Normalisation Cut-Elimination with Strict Intersection Types (Extended Abstract
, 2002 This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for this reduction.
Steffen Van Bakel
core
Rank‐based estimation of propensity score weights via subclassification
Canadian Journal of Statistics, EarlyView.Abstract Propensity score (PS) weighting estimators are widely used for causal effect estimation and enjoy desirable theoretical properties, such as consistency and potential efficiency under correct model specification. However, their performance can degrade in practice due to sensitivity to PS model misspecification.
Linbo Wang +3 more
wiley +1 more source
Canadian Journal of Statistics, EarlyView.Abstract We establish the consistency and the asymptotic distribution of the least squares estimators of the coefficients of a subset vector autoregressive process with exogenous variables (VARX). Using a martingale central limit theorem, we derive the asymptotic normal distribution of the estimators. Diagnostic checking is discussed using kernel‐based
Pierre Duchesne +2 more
wiley +1 more source
Bayesian inverse ensemble forecasting for COVID‐19
Canadian Journal of Statistics, EarlyView.Abstract Variations in strains of COVID‐19 have a significant impact on the rate of surges and on the accuracy of forecasts of the epidemic dynamics. The primary goal for this article is to quantify the effects of varying strains of COVID‐19 on ensemble forecasts of individual “surges.” By modelling the disease dynamics with an SIR model, we solve the ...
Kimberly Kroetch, Don Estep
wiley +1 more source