Sciweavers

258 search results - page 26 / 52
» Some Notes on Fine Computability
Sort
View
ISBI
2008
IEEE
16 years 6 months ago
Innovation modelling and wavelet analysis of fractal processes in bio-imaging
Growth and form in biology are often associated with some level of fractality. Fractal characteristics have also been noted in a number of imaging modalities. These observations m...
Pouya Dehghani Tafti, Dimitri Van De Ville, Michae...
LICS
2008
IEEE
16 years 9 days ago
The Quest for a Logic Capturing PTIME
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
Martin Grohe
CIE
2005
Springer
15 years 11 months ago
The Transfinite Action of 1 Tape Turing Machines
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...
Philip D. Welch
PKC
2005
Springer
94views Cryptology» more  PKC 2005»
15 years 11 months ago
The Security of the FDH Variant of Chaum's Undeniable Signature Scheme
In this paper, we first introduce a new kind of adversarial goal called forge-and-impersonate in undeniable signature schemes. Note that forgeability does not necessarily imply im...
Wakaha Ogata, Kaoru Kurosawa, Swee-Huay Heng
CORR
2010
Springer
90views Education» more  CORR 2010»
15 years 6 months ago
Table manipulation in simplicial databases
In [Spi], we developed a category of databases in which the schema of a database is represented as a simplicial set. Each simplex corresponds to a table in the database. There, our...
David I. Spivak