164
click to vote
AFP
2015
Springer
10 years 3 months ago
2015
Springer
Encodings or the proof of their absence are the main way to compare process calculi. To analyse the quality of encodings and to rule out trivial or meaningless encodings, they are...
176
click to vote
AFP
2015
Springer
10 years 3 months ago
2015
Springer
Matrix interpretations are useful as measure functions in termination proving. In order to use these interpretations also for complexity analysis, the growth rate of matrix powers...
164
click to vote
AFP
2015
Springer
10 years 3 months ago
2015
Springer
In this work, we prove the lower bound ln(Hn)−ln(5 3 ) for the partial sum of the Prime Harmonic series and, based on this, the divergence of the Prime Harmonic Series n p=1[p p...
181
click to vote
AFP
2015
Springer
10 years 3 months ago
2015
Springer
Based on existing libraries for matrices, factorization of rational polynomials, and Sturm’s theorem, we formalized algebraic numbers in Isabelle/HOL. Our development serves as ...
AF
2015
10 years 3 months ago
2015
We present a new method to measure the intraday relationship between movements of implied volatility smiles and stock returns. It is based on an enhanced smile regression model wh...
159
click to vote
AES
2015
Springer
10 years 3 months ago
2015
Springer
In this paper Cartesian, direct and strong Cartesian product of hypergraphs are investigated. A new concept named the adjacency function is defined on hypergraphs. This definition...
168
click to vote
AES
2015
Springer
10 years 3 months ago
2015
Springer
This paper proposes a new approach for the design of a composite structure. This approach is formulated as an optimization problem where the weight of the structure is minimized s...
AEOG
2015
10 years 3 months ago
2015
Ontology-based applications hold promise in improving spatial data interoperability. In this work we use remote sensing-based biodiversity information and apply semantic formalisa...