Ordet »symbol« har rod i det græske symballein, hvor sym betyder »sammen« og ballein »kaste« eller »føje« altså »sammenføje«. 1 Herudfra kan ordet tillægges en videre betydning, som skal tages op denne artikel: At føje adskilte sammen, så fuldt ud virkelige bliver nærværende et udtryk. livsverdenen vil der ofte mangle intenst ægte virkelighedsnærvær. Tingene, menneskene, andre levende væsener; ...

the present article explains the notion of symbol and metaphor in ricoeur's philosophy and tries to consider the relation between them in his whole philosophical perspective to answer the following questions: whether this two notions are the same or each one belongs to completely different realms? what kind of relation is there between tham? whether there is any conceptual or functional re...

The aerospace and defence industries are moving towards new types of agreement such as availability contracts based on Product-Service System (PSS) business models. Obsolescence has become one of the main problems that will impact on many areas of the system during its life cycle. This paper presents the major challenges to managing obsolescence for availability contracts, identified by means o...

Spectrum-based fault localization technique mainly utilizes testing coverage information to calculate the suspiciousness of each program element to find the faulty element. However, this technique does not fully take consideration of dependences between program elements , thus its capacity for efficient fault localization is limited. This paper combines program slicing with program spectrum tec...

We prove several results related to local proofs, interpolation and superposition calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and results suggest that symbol-eliminating inferences may be an interesting alternative to interpolation.