Frequency response functions (FRFs) play an important role in the assessment of the structural response of linear systems subjected to dynamic forces. In this work a meta-model is presented to approximate the eigenfrequencies and mode shapes to describe the FRFs. The meta-model is supposed to provide a computationally fast solution for the eigenvalue problem, which needs to be solved for each s...

The need to use partial functions arises frequently in formal descriptions of com puter systems However most proof assistants are based on logics of total func tions One way to address this mismatch is to invent and mechanize a new logic Another is to develop practical workarounds in existing settings In this paper we take the latter course we survey and compare methods used to support partiali...

This paper presents a new technique for rendering caustics on non Lambertian surfaces The method is based on an extension of the photon map which removes previous restrictions limiting the usage to Lambertian surfaces We add information about the incoming direction to the photons and this allows us to combine the photon map with arbitrary re ectance functions Furthermore we introduce ba lancing...

The Information Artifact Ontology (IAO) was created to serve as a domain‐neutral resource for the representation of types of information content entities (ICEs) such as documents, data‐bases, and digital im‐ ages. We identify a series of problems with the current version of the IAO and suggest solutions designed to advance our understanding of the relations between ICEs and associated cognitive...

A. Csikósová, M. Antošová, R. Weiss, Fakulty of Mining, Ecology, Process C ontrol a nd G eotechnology, Technical Un iversity o f Ko šice, Slovakia The present paper focuses on the effi ciency improvement of the strategic raw material (iron ore) purchase process in a metallurgical company and its management with the aim to minimize costs. The authors have come up with the proposals for an effi c...

Functional programs often de ne functions by pat tern matching where patterns may inadvertedly overlap through successive function calls This leads to hidden in e ciencies since the recursively called function possibly repeats redundant tests while trying to match the pat tern An analysis which is based on conservative symbolic execution similar to higher order constant propagation is proposed ...

community care. However, there is confusion over the meaning of the term and a surprising lack of evidence regarding its efficacy in the care of the mentally ill (Bachrach, 1989). Core func tions of case management that have been identified include the assessment of individual need, the development of a comprehensive service plan, arrangement of service delivery, the mon itoring and assessment ...

We proposed a syntactical format the path format for structured operational semantics in which predicates may occur We proved that strong bisim ulation is a congruence for all the operators that can be de ned within the path for mat To show that this format is useful we provided many examples that we took from the literature about CCS CSP and ACP they do satisfy the path format but no formats p...

Let AR(D) denote the set of functions belonging to the disc algebra having real Fourier coefficients. We show that AR(D) has Bass and topological stable ranks equal to 2, which settles the conjecture made by Brett Wick in [18]. We also give a necessary and sufficient condition for reducibility in some real algebras of functions on symmetric domains with holes, which is a generalization of the m...

Sociometer theory proposes that the self-esteem system evolved as a monitor of social acceptance, and that the so called self-esteem motive func tions not to maintain self-es teem per se but rather to avoid social devaluation and rejec tion. Cues indicating that the individual is not adequately valued and accepted by other people lower self-esteem and motivate behaviors that en hance relational...