Sciweavers

7504 search results - page 856 / 1501
» Computing with Action Potentials
Sort
View
ISCAS
1999
IEEE
109views Hardware» more  ISCAS 1999»
15 years 11 months ago
Solution of vector partial differential equations by transfer function models
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
Rudolf Rabenstein, Lutz Trautmann
DATE
1998
IEEE
121views Hardware» more  DATE 1998»
15 years 11 months ago
Fuzzy-logic digital-analogue interfaces for accurate mixed-signal simulation
A new approach to mixed-signal circuit interfacing based on fuzzy logic models is presented. Due to their continuous rather than discrete character, fuzzy logic models offer a sig...
Tom J. Kazmierski
TABLEAUX
1999
Springer
15 years 11 months ago
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...
Stéphane Demri
CP
1998
Springer
15 years 11 months ago
Consistency Techniques in Ordinary Differential Equations
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...
Yves Deville, Micha Janssen, Pascal Van Hentenryck
IH
1998
Springer
15 years 11 months ago
Soft Tempest: Hidden Data Transmission Using Electromagnetic Emanations
It is well known that eavesdroppers can reconstruct video screen content from radio frequency emanations. We discuss techniques that enable the software on a computer to control th...
Markus G. Kuhn, Ross J. Anderson