Sciweavers

1492 search results - page 126 / 299
» Testing Properties of Constraint-Graphs
Sort
View
JOCN
2010
89views more  JOCN 2010»
15 years 2 months ago
A Single Brief Burst Induces GluR1-dependent Associative Short-term Potentiation: A Potential Mechanism for Short-term Memory
■ Recent work showed that short-term memory (STM) is selectively reduced in GluR1 knockout mice. This raises the possibility that a form of synaptic modification dependent on Gl...
Martha A. Erickson, Lauren A. Maramara, John Lisma...
183
Voted
BIRTHDAY
2012
Springer
13 years 11 months ago
The Logical Execution Time Paradigm
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
Christoph M. Kirsch, Ana Sokolova
BMCBI
2006
85views more  BMCBI 2006»
15 years 4 months ago
Identification of physicochemical selective pressure on protein encoding nucleotide sequences
Background: Statistical methods for identifying positively selected sites in protein coding regions are one of the most commonly used tools in evolutionary bioinformatics. However...
Wendy S. W. Wong, Raazesh Sainudiin, Rasmus Nielse...
SODA
2004
ACM
121views Algorithms» more  SODA 2004»
15 years 5 months ago
A characterization of easily testable induced subgraphs
Let H be a fixed graph on h vertices. We say that a graph G is induced H-free if it does not contain any induced copy of H. Let G be a graph on n vertices and suppose that at leas...
Noga Alon, Asaf Shapira
BMCBI
2007
105views more  BMCBI 2007»
15 years 4 months ago
VaxiJen: a server for prediction of protective antigens, tumour antigens and subunit vaccines
Background: Vaccine development in the post-genomic era often begins with the in silico screening of genome information, with the most probable protective antigens being predicted...
Irini A. Doytchinova, Darren R. Flower