15885 search results - page 2458 / 3177 » The Modest Software Engineer |
152
click to vote
BC
2010
15 years 4 months ago
2010
We present two alternative mappings between a macroscopic neural mass model and a reduction of a conductance-based model. These provide possible explanations of the relationship b...
188
click to vote
ENDM
2010
15 years 4 months ago
2010
In this paper we consider the structural analysis problem for differential-algebraic systems with conditional equations. This consists, given a conditional differential algebraic ...
158
click to vote
ENDM
2010
15 years 4 months ago
2010
The Eulerian closed walk problem in a digraph is a well-known polynomial-time solvable problem. In this paper, we show that if we impose the feasible solutions to fulfill some pre...
165
click to vote
ENTCS
2010
15 years 4 months ago
2010
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
184
click to vote
ENTCS
2010
15 years 4 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...