Sciweavers

3179 search results - page 112 / 636
» Applications of PCF Theory
Sort
View
IMA
1999
Springer
69views Cryptology» more  IMA 1999»
14 years 1 months ago
Some Applications of Bounds for Designs to the Cryptography
Recent years have seen numerous examples when designs play an important role in the study of such topics in cryptography as secrecy and authentication codes, secret sharing scheme...
Svetla Nikova, Ventzislav Nikov
BIRTHDAY
2007
Springer
14 years 27 days ago
Automating Verification of Cooperation, Control, and Design in Traffic Applications
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
Werner Damm, Alfred Mikschl, Jens Oehlerking, Erns...
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
14 years 7 days ago
An approach for the state estimation of Takagi-Sugeno models and application to sensor fault diagnosis
— In this paper, a new method to design an observer for nonlinear systems described by Takagi-Sugeno (TS) model, with unmeasurable premise variables, is proposed. Most of existin...
Dalil Ichalal, Benoît Marx, José Rago...
PGLDB
2003
123views Database» more  PGLDB 2003»
13 years 10 months ago
The Practice of Instructional Design: The Process and Its Application
There is nowadays a lot of interest in the field of Instructional Design. The focus is still on theories and methodology of Instructional System Design (ISD), which are the fundam...
Ana Lúcia Rossi Mendonça
AIEDAM
2008
92views more  AIEDAM 2008»
13 years 9 months ago
A review of function modeling: Approaches and applications
This work is aimed at establishing a common frame and understanding of function modeling (FM) for our ongoing research activities. A comparative review of the literature is perfor...
M. S. Erden, H. Komoto, T. J. van Beek, V. D'Ameli...