Time integration of inelastic material models exhibits an order reduction for higher-order methods â can this be avoided?
نویسندگان
چکیده
منابع مشابه
Finite-order integration weights can be dangerous
Finite-order weights have been introduced in recent years to describe the often occurring situation that multivariate integrands can be approximated by a sum of functions each depending only on a small subset of the variables. The aim of this paper is to demonstrate the danger of relying on this structure when designing lattice integration rules, if the true integrand has components lying outsi...
متن کاملHow Fast Can Higher-Order Masking Be in Software?
It is widely accepted that higher-order masking is a sound countermeasure to protect implementations of block ciphers against side-channel attacks. The main issue while designing such a countermeasure is to deal with the nonlinear parts of the cipher i.e. the so-called s-boxes. The prevailing approach to tackle this issue consists in applying the Ishai-Sahai-Wagner (ISW) scheme from CRYPTO 2003...
متن کاملHigher-Order Acausal Models
Current equation-based object-oriented (EOO) languages typically contain a number of fairly complex language constructs for enabling reuse of models. However, support for model transformation is still often limited to scripting solutions provided by tool implementations. In this paper we investigate the possibility of combining the well known concept of higher-order functions, used in standard ...
متن کاملHigher-Order Task Models
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered as a meta action which produces models about situations, goals and actions by applying domain knowledge. The approach unifies procedural and state knowledge. As a consequence, higher-order actions are possible. The su...
متن کاملA Reduction Ordering for Higher - Order
We investigate one of the classical problems of the theory of term rewriting, namely termination. We present an ordering for comparing higher-order terms that can be utilized for testing termination and decreasingness of higher-order conditional term rewriting systems. The ordering relies on a rst-order interpretation of higher-order terms and a suitable extension of the RPO. 1 Motivation Term ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PAMM
سال: 2007
ISSN: 1617-7061,1617-7061
DOI: 10.1002/pamm.200700662