Results 21 to 30 of about 10,217 (217)
Theoria, 2009 A general trend is to consider abduction as a backward deduction with some additional conditions, but there can be more than one kind of deduction. By adopting Makinson’s method to define deductive consequence relations, abduction is settled as a reverse
Ángel Nepomuceno +1 more
doaj +1 more source
Data, 2018 Dynamic hedging has been adopted by many insurance companies to mitigate the financial risks associated with variable annuity guarantees. To simulate the performance of dynamic hedging for variable annuity products, insurance companies rely on nested ...
Guojun Gan, Emiliano A. Valdez
doaj +1 more source
A Metamodel for SDL-2000 in the Context of Metamodelling ULF [PDF]
, 2005 Today the syntax of many languages is defined by using context-free grammars. These syntax definitions suffer from a major drawback: grammars do not allow the definition of abstract, reusable concept definitions. Especially in families of related languages, where multiple languages often share the same concepts, this limitation leads to unnecessary ...
Fischer, Joachim +2 more
openaire +2 more sources
Mechanical MNIST: A benchmark dataset for mechanical metamodels [PDF]
, 2020 Metamodels, or models of models, map defined model inputs to defined model outputs. Typically, metamodels are constructed by generating a dataset through sampling a direct model and training a machine learning algorithm to predict a limited number of ...
Lejeune, Emma
core +1 more source
Aspect-oriented Metamodelling [PDF]
The Computer Journal, 2003 Summary: This paper shows how techniques devised for aspect-oriented modelling (AOM) can be used for aspect-oriented metamodelling. Metamodelling is an approach to language definition, which has been adopted by industry for defining modelling languages, in particular the Unified Modelling Language (UML), and involves the construction of an object ...
Tony Clark 0001 +2 more
openaire +2 more sources
Valuation of large variable annuity portfolios: Monte Carlo simulation and synthetic datasets
Dependence Modeling, 2017 Metamodeling techniques have recently been proposed to address the computational issues related to the valuation of large portfolios of variable annuity contracts.
Gan Guojun, Valdez Emiliano A.
doaj +1 more source
Generating collaborative systems for digital libraries: A model-driven approach [PDF]
, 2010 This is an open access article shared under a Creative Commons Attribution 3.0 Licence (http://creativecommons.org/licenses/by/3.0/). Copyright @ 2010 The Authors.The design and development of a digital library involves different stakeholders, such as ...
Bottoni, P, Levialdi, S, Malizia, A
core +3 more sources
Environmental Research Letters, 2021 Contamination from anthropogenic activities is a long-standing challenge to the sustainability of groundwater resources. Physically based (PB) models are often used in groundwater risk assessments, but their application to large scale problems requiring ...
Mario A Soriano Jr +9 more
doaj +1 more source
Energies, 2019 The supply of energy is sustainable only if it is predominantly based on renewable or regenerative energies. For this reason, the use of micro-hydropower plants on rivers and streams is considered recently.
Jan-Philipp Küppers +3 more
doaj +1 more source
IEEE Access, 2020 In this paper, physical implementations and measurement results are presented for several Voltage Controlled Oscillators that were designed using a fully-automated, layout- and variability-aware optimization-based methodology.
Fabio Passos +8 more
doaj +1 more source