Sciweavers

1969 search results - page 188 / 394
» Financial Theory 1
Sort
View
VVS
2000
IEEE
176views Visualization» more  VVS 2000»
15 years 11 months ago
4D volume rendering with the Shear Warp factorisation
A novel approach for rendering time-varying data based on the Shear-Warp factorisation is presented. Reduction in storage space is achieved by detecting the changed areas within e...
Kostas Anagnostou, Tim J. Atherton, Andrew E. Wate...
CF
2007
ACM
15 years 10 months ago
General floorplan for reversible quantum-dot cellular automata
This paper presents the Collapsed Bennett Layout, a general purpose floorplan for reversible quantum-dot cellular automata (QCA) circuits. In order to exploit the full density and...
Sarah E. Murphy, Erik DeBenedictis, Peter M. Kogge
DAARC
2009
Springer
216views Algorithms» more  DAARC 2009»
15 years 10 months ago
The Doubly Marked Reflexive in Chinese
We discuss an unusual reflexive construction in which the Chinese reflexive ziji appears twice, once before the verb and once after. We demonstrate that this is a distinct construc...
Alexis Dimitriadis, Min Que
BIRTHDAY
2006
Springer
15 years 10 months ago
Uniform Functors on Sets
This paper is a contribution to the study of uniformity conditions for endofunctors on sets initiated in Aczel [1] and pursued later in other works such as Turi [17]. The main res...
Lawrence S. Moss
BIRTHDAY
2006
Springer
15 years 10 months ago
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
Arnon Avron, Anna Zamansky