نتایج جستجو برای: nominal set

تعداد نتایج: 686085  

Journal: :Neural networks : the official journal of the International Neural Network Society 2002
Kazumi Saito Ryohei Nakano

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...

Journal: :Automatica 2006
David Q. Mayne Sasa V. Rakovic Rolf Findeisen Frank Allgöwer

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...

Journal: :research in applied linguistics 2010
alex rath

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, ...

2014
Xing-Gang Yan Leonid Fridman Sarah K. Spurgeon Qingling Zhang

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 ...

2013
Ranald Clouston

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...

Journal: :Automatica 2008
Guido Herrmann Matthew C. Turner Ian Postlethwaite

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...

2002
Jinill Kim Dale W. Henderson

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...

Journal: :Theoretical Computer Science 2018

Journal: :Theor. Comput. Sci. 2004
Christian Urban Andrew M. Pitts Murdoch James Gabbay

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...

2010
Alexander Kurz Tomoyuki Suzuki Emilio Tuosto

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید