Sciweavers

581 search results - page 64 / 117
» formats 2006
Sort
View
NAR
2007
95views more  NAR 2007»
13 years 7 months ago
VisANT 3.0: new modules for pathway visualization, editing, prediction and construction
With the integration of the KEGG and Predictome databases as well as two search engines for coexpressed genes/proteins using data sets obtained from the Stanford Microarray Databa...
Zhenjun Hu, David M. Ng, Takuji Yamada, Chunnuan C...
FORMATS
2006
Springer
13 years 11 months ago
Extended Directed Search for Probabilistic Timed Reachability
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
Husain Aljazzar, Stefan Leue
FORMATS
2006
Springer
13 years 11 months ago
A Dose of Timed Logic, in Guarded Measure
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
Kamal Lodaya, Paritosh K. Pandya
NAR
2000
84views more  NAR 2000»
13 years 7 months ago
SRPDB (Signal Recognition Particle Database)
The Signal Recognition Particle Database (SRPDB) at http://psyche.uthct.edu/dbs/SRPDB/SRPDB.html and http://bio.lundberg.gu.se/dbs/SRPDB/SRPDB. html assists in the better understa...
Christian Zwieb, Tore Samuelsson
JOCN
2010
127views more  JOCN 2010»
13 years 6 months ago
Orbito-frontal Cortex is Necessary for Temporal Context Memory
■ Lesion and neuroimaging studies suggest that orbito-frontal cortex (OFC) supports temporal aspects of episodic memory. However, it is unclear whether OFC contributes to the en...
Audrey Duarte, Richard N. Henson, Robert T. Knight...