Sciweavers

1449 search results - page 171 / 290
» Finiteness results for sigmoidal
Sort
View
EJC
2008
15 years 6 months ago
Pattern classes of permutations via bijections between linearly ordered sets
Abstract. A pattern class is a set of permutations closed under pattern involvement or, equivalently, defined by certain subsequence avoidance conditions. Any pattern class X which...
Sophie Huczynska, Nikola Ruskuc
ENTCS
2008
128views more  ENTCS 2008»
15 years 6 months ago
Towards Formalizing Categorical Models of Type Theory in Type Theory
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
Alexandre Buisse, Peter Dybjer
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Instantaneous Transitions in Esterel
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
Olivier Tardieu, Stephen A. Edwards
AUTOMATICA
2006
88views more  AUTOMATICA 2006»
15 years 6 months ago
Exact computation of amplification for a class of nonlinear systems arising from cellular signaling pathways
A commonly employed measure of the signal amplification properties of an input/output system is its induced L2 norm, sometimes also known as H gain. In general, however, it is ext...
Eduardo D. Sontag, Madalena Chaves
AUTOMATICA
2006
66views more  AUTOMATICA 2006»
15 years 6 months ago
H2 control of preview systems
The H2-optimal controller for systems with preview, in which the knowledge of external input is available in advance for the controller, is derived. The single input case is first...
Agoes A. Moelja, Gjerrit Meinsma