نتایج جستجو برای: nominal set
تعداد نتایج: 686085 فیلتر نتایج به سال:
This paper proposes a new framework and method for extracting regression rules from neural networks trained with multivariate data containing both nominal and numeric variables. Each regression rule is expressed as a pair of a logical formula on the conditional part over nominal variables and a polynomial equation on the action part over numeric variables. The proposed extraction method first g...
This paper provides a solution to the problem of robust output feedback model predictive control of constrained, linear, discrete-time systems in the presence of bounded state and output disturbances. The proposed output feedback controller consists of a simple, stable Luenberger state estimator and a recently developed, robustly stabilizing, tube-based, model predictive controller. The state e...
previous research has identified the nominal group as the most distinctive feature of the research article title. in contrast, the findings reported in this paper suggest theme/rheme is the dominant structure in title text. theme/rheme structures order and tie nominal groups in titles. when a title starts with a methodological term the first position nominal group acts as a theme marker. thus, ...
In this paper, a decentralised observer scheme is proposed for a class of nonlinear interconnected systems based on higher order sliding mode techniques. It is not required that the nominal subsystems or the isolated nominal subsystems are linearizable. Under the assumption that the isolated nominal subsystems have uniform relative degree, local coordinate transformations are used to transform ...
The Gabbay-Pitts nominal sets model provides a framework for reasoning with names in abstract syntax. It has appealing semantics for name binding, via a functor mapping each nominal set to the ‘atomabstractions’ of its elements. We wish to generalise this construction for applications where sets, lists, or other patterns of names are bound simultaneously. The atom-abstraction functor has left a...
This paper presents an override controller which ensures that constrained output variables retain certain prescribed strict bounds. The class of nominal closed loop systems considered for the constrained output regulation problem is strictly proper and minimum phase, assuming for each output measurement constraint one available actuator and the first Markov parameter to be full rank. This neces...
We compare optimal and simple interest-rate rules. Our model features optimizing agents, monopolistic competition in both product and labor markets, and one-period nominal contracts (for wages alone or for both wages and prices) signed before shocks are known. Exact solutions ensure that we obtain correct welfare rankings. Optimal rules maximize the unconditional expected utility of the represe...
We present a generalisation of first-order unification to the practically important case of equations between terms involving binding operations. A substitution of terms for variables solves such an equation if it makes the equated terms α-equivalent, i.e. equal up to renaming bound names. For the applications we have in mind, we must consider the simple, textual form of substitution in which n...
We investigate different notions of nominal words, that is, words that my contain letters from an alphabet as well as names and name-binders. In a first section we construct them from first principles. In a second section we take the point of view that—as in the classical case—words over an alphabet S form a free monoid over S. We define different notions of nominal monoids and reveal nominal w...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید