Sciweavers

5326 search results - page 285 / 1066
» On what we can ensure
Sort
View
WCE
2007
15 years 7 months ago
Anisotropic Imaging Of Tumours Using Elastic Wave Signals
—In this short paper we show how one may extract elastic properties of materials by probing it with elastic waves and processing the signal that returns (i.e. the scattered waves...
Clifford J. Nolan, Niall Ryan
COMAD
2009
15 years 7 months ago
EndorSeer: An Add-on for Browsing Digital Libraries with "Endorsed" Citations
Co-citations have long been used as a measure of topical relatedness between documents. However, we have observed some characteristic patterns in the way cocitations are formed in...
Mandar R. Mutalikdesai, Srinath Srinivasa, Viswana...
ESORICS
2010
Springer
15 years 7 months ago
k-Zero Day Safety: Measuring the Security Risk of Networks against Unknown Attacks
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...
Lingyu Wang, Sushil Jajodia, Anoop Singhal, Steven...
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 6 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
ALGORITHMICA
2005
76views more  ALGORITHMICA 2005»
15 years 6 months ago
Characterizing History Independent Data Structures
We consider history independent data structures as proposed for study by Naor and Teague [3]. In a history independent data structure, nothing can be learned from the memory repre...
Jason D. Hartline, Edwin S. Hong, Alexander E. Moh...