Sciweavers

8903 search results - page 8 / 1781
» Alternative
Sort
View
69
Voted
CONCUR
1998
Springer
15 years 1 months ago
Alternating Refinement Relations
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system compo...
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, ...
IANDC
2006
95views more  IANDC 2006»
14 years 9 months ago
The alternation hierarchy in fixpoint logic with chop is strict too
Fixpoint Logic with Chop extends the modal
Martin Lange
COMBINATORICS
2007
164views more  COMBINATORICS 2007»
14 years 9 months ago
Longest Alternating Subsequences in Pattern-Restricted Permutations
We determine the limiting distributions of the longest alternating subsequence for pattern-restricted permutations in which the pattern is any one of the six patterns of length th...
Ghassan Firro, Toufik Mansour, Mark C. Wilson
BMCBI
2005
113views more  BMCBI 2005»
14 years 9 months ago
Alternative splicing and protein function
Background: Alternative splicing is a major mechanism of generating protein diversity in higher eukaryotes. Although at least half, and probably more, of mammalian genes are alter...
A. D. Neverov, Irena I. Artamonova, Ramil N. Nurtd...
NAR
2000
152views more  NAR 2000»
14 years 9 months ago
ASDB: database of alternatively spliced genes
Version 2.1 of ASDB (Alternative Splicing Data Base) contains 1922 protein and 2486 DNA sequences. The protein entries from SWISS-PROT are joined into clusters corresponding to al...
I. Dralyuk, Michael Brudno, Mikhail S. Gelfand, Ma...