5707 search results - page 13 / 1142 » Symbolic Simulation - Techniques and Applications |
CAV
1990
Springer
13 years 11 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
CDC
2009
IEEE
14 years 10 days ago
2009
IEEE
— Lithium-ion batteries are the core of new plug-in hybrid-electrical vehicles (PHEV) as well as considered in many 2nd generation hybrid electric vehicles (HEV). In most cases t...
BMCBI
2006
2006
A jumping profile Hidden Markov Model and applications to recombination sites in HIV and HCV genomes
13 years 7 months ago
Background: Jumping alignments have recently been proposed as a strategy to search a given multiple sequence alignment A against a database. Instead of comparing a database sequen...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The study of factoring relations between subshifts or cellular automata is central in symbolic dynamics. Besides, a notion of intrinsic universality for cellular automata based on ...
JSC
2006
13 years 7 months ago
2006
We describe a new software package, named SumCracker, for proving and finding identities involving symbolic sums and related objects. SumCracker is applicable to a wide range of e...