94
Voted
BTW
2015
Springer
9 years 11 months ago
2015
Springer
112
Voted
BTW
2015
Springer
9 years 11 months ago
2015
Springer
: The management and handling of big data is a major challenge in the area of life science. Beside the data storage, information retrieval methods have to be adapted to huge data a...
77
Voted
RP
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. A usual way to find positive invariant sets of ordinary differential equations is to restrict the search to predefined finitely generated shapes, such as linear templ...
83
Voted
RP
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Ensuring the correctness of critical real-time systems, involving concurrent behaviors and timing requirements, is crucial. Parameter synthesis aims at computing dense se...
133
Voted
RP
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. We study pushdown vector addition systems, which are synchronized products of pushdown automata with vector addition systems. The question of the boundedness of the reach...