187 search results - page 1 / 38 » On the characterizations of (S, N)-implications |
WCE
2007
13 years 6 months ago
2007
— New friction material formulations are compared with a commercial brake friction material used in Light Rail Transit (LRT) operating in Malaysia. Characterization techniques su...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
There has been a great deal of work on characterizing the complexity of the satisfiability and validity problem for modal logics. In particular, Ladner showed that the consistency...
ICCAD
1995
IEEE
13 years 8 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
APAL
1999
13 years 4 months ago
1999
The present paper investigates the groups of automorphisms for some lattices of modal logics. The main results are the following. The lattice of normal extensions of S4.3, NExt S4....
QEST
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper characterizes the workload seen at the storage subsystem of an e-commerce system. Measurements are conducted on multi-tiered systems running three different benchmarks,...