2794 search results - page 200 / 559 » A New Architecture for Automated Modelling |
189
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: MicroRNAs (miRNAs) play an essential task in gene regulatory networks by inhibiting the expression of target mRNAs. As their mRNA targets are genes involved in importa...
184
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
147
click to vote
ECSQARU
2003
Springer
16 years 2 days ago
2003
Springer
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
150
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
164
click to vote
NMR
2004
Springer
16 years 6 days ago
2004
Springer
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...