1537 search results - page 96 / 308 » On sets not belonging to algebras |
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
CDC
2009
IEEE
14 years 10 days ago
2009
IEEE
— This article studies the robust tracking control problem in nonminimum phase DC-DC nonlinear switched power converters. The proposed procedure introduces a stable inversion-bas...
APWEB
2008
Springer
13 years 11 months ago
2008
Springer
The study of a national Web graph is challenging and can provide insight into social phenomena specific to a country. However, because there is no country border in the Web, decidi...
SE
2007
13 years 10 months ago
2007
: Despite the fact, that testing and integration belong to the most critical and time consuming activities especially in big software development projects, most projects are still ...
EVOTING
2004
13 years 10 months ago
2004
: Remote Internet voting systems still suffer from many security problems which rely on the clients, the servers, and the network connections. Denial-ofservice attacks and viruses ...