Sciweavers

1302 search results - page 139 / 261
» Fair Equivalence Relations
Sort
View
EH
2002
IEEE
139views Hardware» more  EH 2002»
15 years 11 months ago
Evolving Cellular Automata to Model Fluid Flow in Porous Media
Fluid flow in porous media is a dynamic process that is traditionally modeled using PDE (Partial Differential Equations). In this approach, physical properties related to fluid fl...
Tina Yu, Seong Lee
EUROCRYPT
2010
Springer
15 years 10 months ago
Computational Soundness, Co-induction, and Encryption Cycles
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...
Daniele Micciancio
HAPTICS
2010
IEEE
15 years 10 months ago
Causality Inversion in the Reproduction of Roughness
When a finger scans a non-smooth surface, a sensation of roughness is experienced. A similar sensation is felt when a finger is in contact with a mobile surface vibrating in the ...
Michael Wiertlewski, José Lozada, Edwige Pi...
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 10 months ago
H2 performance of agreement protocol with noise: An edge based approach
— This work presents an H2 performance analysis of the agreement protocol in the presence of noise. The agreement protocol is first transformed into an equivalent system induced...
Daniel Zelazo, Mehran Mesbahi
COCO
2001
Springer
161views Algorithms» more  COCO 2001»
15 years 10 months ago
Communication Complexity Lower Bounds by Polynomials
The quantum version of communication complexity allows the two communicating parties to exchange qubits and/or to make use of prior entanglement (shared EPRpairs). Some lower boun...
Harry Buhrman, Ronald de Wolf