1022 search results - page 138 / 205 » Logspace Complexity of Functions and Structures |
BIOINFORMATICS
2005
14 years 9 months ago
2005
s Dirk Tremmel, Maximilian Tropschug N. crassa FKBP22 is part of a protein folding helper complex in the ER [oral presentation] Manuela Heiner A carbamate-cleaving catalytic antibo...
100
click to vote
BMCBI
2004
14 years 9 months ago
2004
Background: Alternative splicing is an efficient mechanism for increasing the variety of functions fulfilled by proteins in a living cell. It has been previously demonstrated that...
ICMCS
2009
IEEE
14 years 7 months ago
2009
IEEE
We consider multi-rate peer-to-peer multi-party conferencing applications, where different receivers in the same group can receive videos at different rates using, for example, sc...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
BMCBI
2008
14 years 10 months ago
2008
Background: Prediction of disulfide bridges from protein sequences is useful for characterizing structural and functional properties of proteins. Several methods based on differen...