Results 81 to 90 of about 2,494,307 (343)
Current Tracking Adaptive Control of Brushless DC Motors
International Journal of Adaptive Control and Signal Processing, EarlyView.In this paper, the current tracking for Brushless Direct Current motors is approached considering uncertainty in the parameters of the motor's model. An adaptive control scheme to compensate electrical parameters uncertainty is proposed without requiring any knowledge of the mechanical parameters.
Fernanda Ramos‐García +3 more
wiley +1 more source
A proof of loop equations in 2d topological gravity
Journal of High Energy Physics, 2021 We study multi-boundary correlators in 2d Witten-Kontsevich topological gravity. We present a proof of the loop equations obeyed by the correlators. While the loop equations were derived a long time ago, our proof is fully explicit in the presence of ...
Kazumi Okuyama, Kazuhiro Sakai
doaj +1 more source
Mathematical Explanation beyond Explanatory Proof
British Journal for the Philosophy of Science, 2020 Much recent work on mathematical explanation has presupposed that the phenomenon involves explanatory proofs in an essential way. I argue that this view, ‘proof chauvinism’, is false.
W. D’Alessandro
semanticscholar +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This work introduces an adaptive human pilot model that captures pilot time‐delay effects in adaptive control systems. The model enables the prediction of pilot–controller interactions, facilitating safer integration and improved design of adaptive controllers for piloted applications.
Abdullah Habboush, Yildiray Yildiz
wiley +1 more source
Journal of High Energy PhysicsBy adapting previously known arguments concerning Ricci flow and the c-theorem, we give a direct proof that in a two-dimensional sigma-model with compact target space, scale invariance implies conformal invariance in perturbation theory.
Georgios Papadopoulos, Edward Witten
doaj +1 more source
On the continuity of the commutative limit of the 4d N=4 non-commutative super Yang–Mills theory
Nuclear Physics B, 2015 We study the commutative limit of the non-commutative maximally supersymmetric Yang–Mills theory in four dimensions (N=4 SYM), where non-commutativity is introduced in the two spacelike directions.
Masanori Hanada, Hidehiko Shimada
doaj +1 more source
, 2019 Alain Connes and Nigel Higson pointed out in the 1990s that the Connes-Kasparov "conjecture"' for the K-theory of reduced groupe $C^\ast$-algebras seemed, in the case of reductive Lie groups, to be a cohomological echo of a conjecture of George Mackey ...
Afgoustidis, Alexandre
core +2 more sources
A Proof of the Generalized Second-Limit Theorem in the Theory of Probability [PDF]
Transactions of the American Mathematical Society, 1931 A particular case is represented by dF(x) =f(x)dx, where f(x), summable and >0, is the "probability density" or "law of distribution" for x. The expression f -'.xsdF(x) is called the "sth moment" of the distribution, s taking values 0, 1, 2, The Second Limit-Theorem, which was the starting point of this paper, can be stated, with A.
Fréchet, Maurice, Shohat, J.
openaire +1 more source
Advanced Engineering Materials, EarlyView.This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel +3 more
wiley +1 more source
Definitional proof-irrelevance without K
Proc. ACM Program. Lang., 2019 Definitional equality—or conversion—for a type theory with a decidable type checking is the simplest tool to prove that two objects are the same, letting the system decide just using computation.
Gaëtan Gilbert +3 more
semanticscholar +1 more source