Configurable verification of timed automata with discrete variables
Sign Up to like & getrecommendations! Published in 2020 at "Acta Informatica"
DOI: 10.1007/s00236-020-00393-4
Abstract: Algorithms and protocols with time dependent behavior are often specified formally using timed automata. For practical real-time systems, besides real-valued clock variables, these specifications typically contain discrete data variables with nontrivial data flow. In this… read more here.
Keywords: contain discrete; timed automata; refinement strategies; framework ... See more keywords
Adaptive mesh refinement strategies in isogeometric analysis— A computational comparison
Sign Up to like & getrecommendations! Published in 2017 at "Computer Methods in Applied Mechanics and Engineering"
DOI: 10.1016/j.cma.2016.07.029
Abstract: Abstract We explain four variants of an adaptive finite element method with cubic splines and compare their performance in simple elliptic model problems. The methods in comparison are Truncated Hierarchical B-splines with two different refinement… read more here.
Keywords: refinement strategies; adaptive mesh; isogeometric analysis; strategies isogeometric ... See more keywords
Validation of experimental charge-density refinement strategies: when do we overfit?
Sign Up to like & getrecommendations! Published in 2017 at "IUCrJ"
DOI: 10.1107/s2052252517005103
Abstract: A cross-validation method is supplied to judge between various strategies in multipole refinement procedures. It easily detects when the refinement of additional parameters leads to an improvement in the model or when it simply overfits… read more here.
Keywords: experimental charge; validation; density refinement; refinement strategies ... See more keywords