Sciweavers

10289 search results - page 180 / 2058
» Standard bases in K
Sort
View
SOCA
2007
IEEE
16 years 22 days ago
VIDIHIP - A Web Service based Integration Platform for Power Plant Control Systems
European energy supply companies typically run a conglomerate of different, geographically distributed power plants. Unfortunately, the corresponding power plant control systems a...
Mark Strembeck, Otto U. Plhal
CCIA
2009
Springer
15 years 7 months ago
Secure and Optimal Base Contraction in Graded Lukasiewicz Logics
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
Pere Pardo, Pilar Dellunde, Lluis Godo
MLQ
2008
63views more  MLQ 2008»
15 years 6 months ago
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and its t-norm based axiomatic extensions. We consider the algebraic counterpart of...
Carles Noguera, Francesc Esteva, Joan Gispert
DSD
2010
IEEE
171views Hardware» more  DSD 2010»
15 years 5 months ago
Test Patterns Compression Technique Based on a Dedicated SAT-Based ATPG
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...
Jiri Balcarek, Petr Fiser, Jan Schmidt
TC
2010
15 years 1 months ago
Faster Interleaved Modular Multiplication Based on Barrett and Montgomery Reduction Methods
This paper proposes two improved interleaved modular multiplication algorithms based on Barrett and Montgomery modular reduction. The algorithms are simple and especially suitable ...
Miroslav Knezevic, Frederik Vercauteren, Ingrid Ve...