898 search results - page 122 / 180 » Transitions of the Pre-Symmetry Set |
104
click to vote
LATA
2010
Springer
15 years 2 months ago
2010
Springer
Automated reasoning about systems with infinite domains requires an extension of regular automata to infinite alphabets. Existing formalisms of such automata cope with the infinite...
104
click to vote
CONCUR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
BIBM
2007
IEEE
14 years 10 months ago
2007
IEEE
Clinical databases store large amounts of information about patients and their medical conditions. Data mining techniques can extract relationships and patterns holding in this we...
BMCBI
2006
14 years 10 months ago
2006
Background: User-scripts are programs stored in Web browsers that can manipulate the content of websites prior to display in the browser. They provide a novel mechanism by which u...
JCC
2008
14 years 9 months ago
2008
Abstract: Molecular dynamics simulations of the RN24 peptide, which includes a diverse set of structurally heterogeneous states, are carried out in explicit solvent. Two approaches...