Sciweavers

4584 search results - page 731 / 917
» interact 2007
Sort
View
VLSID
2007
IEEE
152views VLSI» more  VLSID 2007»
16 years 5 months ago
An Efficient Technique for Leakage Current Estimation in Sub 65nm Scaled CMOS Circuits Based on Loading Effect
With scaling of CMOS technologies, sub-threshold, gate and reverse biased junction band-to-band-tunneling leakage have increased dramatically. Together they account for more than 2...
Ashesh Rastogi, Wei Chen, Alodeep Sanyal, Sandip K...
POPL
2007
ACM
16 years 5 months ago
Logic-flow analysis of higher-order programs
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
Matthew Might
RECOMB
2007
Springer
16 years 5 months ago
An Efficient Method for Dynamic Analysis of Gene Regulatory Networks and in silico Gene Perturbation Experiments
With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To ...
Abhishek Garg, Ioannis Xenarios, Luis Mendoza, Gio...
RECOMB
2007
Springer
16 years 5 months ago
Network Motif Discovery Using Subgraph Enumeration and Symmetry-Breaking
The study of biological networks and network motifs can yield significant new insights into systems biology. Previous methods of discovering network motifs ? network-centric subgra...
Joshua A. Grochow, Manolis Kellis
RECOMB
2007
Springer
16 years 5 months ago
Protein Conformational Flexibility Analysis with Noisy Data
Abstract. Protein conformational changes play a critical role in biological functions such as ligand-protein and protein-protein interactions. Due to the noise in structural data, ...
Anshul Nigham, David Hsu