882 search results - page 8 / 177 » On self-embeddings of computable linear orderings |
ENTCS
2006
13 years 7 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
EUSFLAT
2007
13 years 8 months ago
2007
The paper deals with the modelling of dynamical processes based on Soft Computing methods. The structure of a Dynamic Fuzzy Model is illustrated on a linear dynamic system of firs...
APAL
2010
13 years 7 months ago
2010
We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of ...
ISSAC
2004
Springer
14 years 22 days ago
2004
Springer
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
SIAMSC
2011
13 years 1 months ago
2011
In order to compute polarization energy of biomolecules, we describe a boundary element approach to solving the linearized Poisson–Boltzmann equation. Our approach combines sever...