The Multiple Representation of Protein Sequence MotifsUsing Sequence Binary Decision Diagrams
نویسندگان
چکیده
منابع مشابه
Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations
Manipulation of large sequence data is one of the most important problems in string processing. Recently, Loekito et al. (Knowl. Inf. Syst., 24(2), 235-268, 2009) have introduced a new data structure, called Sequence Binary Decision Diagrams (SeqBDDs, or SDDs), which are descendants of both acyclic DFAs (ADFAs) and binary decision diagrams (BDDs). SDDs can compactly represent sets of sequences ...
متن کاملSequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees
Dynamic Fault Trees have focused a large attention in the past few years. By adding new gates to static (regular) Fault Trees, Dynamic Fault Trees aim to take into account the order in which events occur. Lesage & al. proposed recently an algebraic framework to give a formal interpretation to these gates. In this article, we extend Lesage’s work by adopting a slightly different perspective. We ...
متن کاملEquational Binary Decision Diagrams Equational Binary Decision Diagrams
We incorporate equations in binary decision diagrams (BDD). The resulting objects are called EQ-BDDs. A straightforward notion of ordered EQ-BDDs (EQ-OBDD) is de ned, and it is proved that each EQ-BDD is logically equivalent to an EQ-OBDD. Moreover, on EQ-OBDDs satis ability and tautology checking can be done in constant time. Several procedures to eliminate equality from BDDs have been reporte...
متن کاملWeaving Multiple Aspects in Sequence Diagrams
Handling aspects within models looks promising for managing crosscutting concerns early in the software life-cycle, up from programming to design, analysis and even requirements. At the modeling level, even complex behavioral aspects can easily be described for instance as pairs of sequence diagrams: one for the pointcut specifying the behavior to detect, and the second one for an advice repres...
متن کاملThe Binary Second Sequence in Cluster Colour–Magnitude Diagrams
We show how the second sequence seen lying above the main sequence in cluster colour magnitude diagrams results from binaries with a large range of mass ratios and not just from those with equal masses. We conclude that the presence of a densely populated second sequence, with only sparse filling in between it and the single star main sequence, does not necessarily imply that binary mass ratios...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Chemistry, Japan
سال: 2020
ISSN: 1347-1767,1347-3824
DOI: 10.2477/jccj.2019-0028