79 search results - page 14 / 16 » Hypergraph products for structural mechanics |
BMCBI
2008
13 years 6 months ago
2008
Background: Alternative splicing is an important gene regulation mechanism. It is estimated that about 74% of multi-exon human genes have alternative splicing. High throughput tan...
PLDI
2009
ACM
14 years 6 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
ASPLOS
2010
ACM
14 years 27 days ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...
TKDE
2002
13 years 5 months ago
2002
On-Line Analytical Processing (OLAP) refers to the technologies that allow users to efficiently retrieve data from the data warehouse for decision-support purposes. Data warehouses...
VIS
2004
IEEE
14 years 7 months ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...