Sciweavers

7890 search results - page 1230 / 1578
» The MathSAT 3 System
Sort
View
JAMIA
2011
104views more  JAMIA 2011»
14 years 9 months ago
Metrics associated with NIH funding: a high-level view
Objective: To introduce the availability of grant-to-article linkage data associated with NIH grants and to perform a high-level analysis of the publication outputs and impacts as...
Kevin W. Boyack, Paul Jordan
IACR
2011
166views more  IACR 2011»
14 years 6 months ago
Bicliques for Preimages: Attacks on Skein-512 and the SHA-2 family
We introduce a new concept in splice-and-cut attacks on hash functions, which bridges the gap between preimage attacks and a powerful method of differential cryptanalysis. The ne...
Dmitry Khovratovich, Christian Rechberger, Alexand...
ASPLOS
2012
ACM
14 years 2 months ago
Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults
Future microprocessors need low-cost solutions for reliable operation in the presence of failure-prone devices. A promising approach is to detect hardware faults by deploying low-...
Siva Kumar Sastry Hari, Sarita V. Adve, Helia Naei...
CAD
2012
Springer
14 years 2 months ago
Flexible shape control for automatic resizing of apparel products
We provide a flexible shape control technique in this paper for the automatic resizing of apparel products. The automatic resizing function has become an essential part of the 3D...
Yuwei Meng, Charlie C. L. Wang, Xiaogang Jin
IHI
2012
291views Healthcare» more  IHI 2012»
14 years 2 months ago
PANI: an interactive data-driven tool for target prioritization in signaling networks
Biological network analysis often aims at the target identification problem, which is to predict which molecule to inhibit (or activate) for a disease treatment to achieve optimu...
Huey-Eng Chua, Sourav S. Bhowmick, Lisa Tucker-Kel...
« Prev « First page 1230 / 1578 Last » Next »