Sciweavers

1156 search results - page 154 / 232
» Compositional Methods for Information-Hiding
Sort
View
ENGL
2008
216views more  ENGL 2008»
13 years 7 months ago
Application of TLM and Cassie-Mayr Arc model on Transformer Aging and Incipient Faults Simulation
Abstract--The development of the transformer insulation failure undergoes three stages: insulation aging, incipient faults and a short circuit. This paper presents a complete schem...
X. Wang, Mark Sumner, D. W. P. Thomas
ENTCS
2006
118views more  ENTCS 2006»
13 years 7 months ago
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields
This paper extends the domain theoretic method for solving initial value problems, described in [8], to unbounded vector fields. Based on a sequence of approximations of the vecto...
Abbas Edalat, Dirk Pattinson
INFORMATICALT
2008
93views more  INFORMATICALT 2008»
13 years 7 months ago
Viewcharts: Syntax and Semantics
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
Ayaz Isazadeh, Jaber Karimpour
JCC
2008
117views more  JCC 2008»
13 years 7 months ago
Prediction of protein structural class using novel evolutionary collocation-based sequence representation
: Knowledge of structural classes is useful in understanding of folding patterns in proteins. Although existing structural class prediction methods applied virtually all state-of-t...
Ke Chen 0003, Lukasz A. Kurgan, Jishou Ruan
RC
2006
87views more  RC 2006»
13 years 7 months ago
Robust Control for Two-Time-Scale Discrete Interval Systems
The problem of designing robust controller for discrete two-time-scale interval systems, conveniently represented using interval matrix notion, is considered. The original full ord...
Balasaheb Patre, Bijnan Bandyopadhyay