Sciweavers

382 search results - page 46 / 77
» Reasoning about the Elementary Functions of Complex Analysis
Sort
View
BMCBI
2008
132views more  BMCBI 2008»
15 years 2 months ago
SCOWLP classification: Structural comparison and analysis of protein binding regions
Background: Detailed information about protein interactions is critical for our understanding of the principles governing protein recognition mechanisms. The structures of many pr...
Joan Teyra, Maciej Paszkowski-Rogacz, Gerd Anders,...
BMCBI
2010
110views more  BMCBI 2010»
15 years 2 months ago
Discovering local patterns of co - evolution: computational aspects and biological examples
Background: Co-evolution is the process in which two (or more) sets of orthologs exhibit a similar or correlative pattern of evolution. Co-evolution is a powerful way to learn abo...
Tamir Tuller, Yifat Felder, Martin Kupiec
BMCBI
2010
99views more  BMCBI 2010»
15 years 2 months ago
Different effects of the probe summarization algorithms PLIER and RMA on high-level analysis of Affymetrix exon arrays
Background: Alternative splicing is an important mechanism that increases protein diversity and functionality in higher eukaryotes. Affymetrix exon arrays are a commercialized pla...
Yi Qu, Fei He, Yuchen Chen
SIGCSE
2000
ACM
453views Education» more  SIGCSE 2000»
15 years 6 months ago
Aristotle and object-oriented programming: why modern students need traditional logic
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
Derek Rayside, Gerard T. Campbell
CCS
2007
ACM
15 years 8 months ago
Specifying and analyzing security automata using CSP-OZ
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
David A. Basin, Ernst-Rüdiger Olderog, Paul E...