Sciweavers

35 search results - page 3 / 7
» Ion channels
Sort
View
FDL
2007
IEEE
14 years 13 days ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
NAR
2011
176views Computer Vision» more  NAR 2011»
12 years 11 months ago
IUPHAR-DB: new receptors and tools for easy searching and visualization of pharmacological data
The IUPHAR database is an established online reference resource for several important classes of human drug targets and related proteins. As well as providing recommended nomencla...
Joanna L. Sharman, Chidochangu P. Mpamhanga, Micha...
DAGSTUHL
2011
12 years 8 months ago
Salient Frame Detection for Molecular Dynamics Simulations
Saliency-based analysis can be applied to time-varying 3D datasets purpose of summarization, abstraction, and motion analysis. As the sizes of time-varying datasets continue to gro...
Youngmin Kim, Robert Patro, Cheuk Yiu Ip, Dianne P...
ISMB
1998
13 years 10 months ago
Bayesian Protein Family Classifier
A Bayesian procedure for the simultaneous alignment and classification of sequences into subclasses is described. This Gibbs sampling algorithm iterates between an alignment step ...
Kunbin Qu, Lee Ann McCue, Charles E. Lawrence
MJ
2008
148views more  MJ 2008»
13 years 8 months ago
Drive current boosting of n-type tunnel FET with strained SiGe layer at source
Though silicon tunnel field effect transistor (TFET) has attracted attention for sub-60 mV/decade subthreshold swing and very small OFF current (IOFF), its practical application i...
Nayan Patel, A. Ramesha, Santanu Mahapatra