Speech is multifunctional, both communicating denotational content and establishing interactional positions for interlocu-tors. In some cases, the denotational and interactional func-tions of speech interrelate and even depend on each other. This paper describes a type of speech event in which the interrela-tions between denotation and interaction are particularly sali-ent—autobiographical narr...

in this work, we proposed an efective method based on cubic and pantic b-spline scaling functions to solve partial differential equations of frac- tional order. our method is based on dual functions of b-spline scaling func- tions. we derived the operational matrix of fractional integration of cubic and pantic b-spline scaling functions and used them to transform the mentioned equations to a ...


 In this study, an alpha power inverted Kumaraswamy (APIK) distribution is introduced. The APIK de- rived by applying transformation to distribution. Some submodels and limiting cases of the are obtained as well. To best authors’ knowledge, some these distributions have not been introduced yet. Statistical inference distribution, including survival hazard rate func- tions, obtained. Unkno...

In this paper we study self applicative theories of operations and binary words in the context of polynomial time computability We propose a rst order theory PTO which allows full self application and whose provably total functions on W f g are exactly the polynomial time computable func tions Our treatment of PTO is proof theoretic and very much in the spirit of reductive proof theory

where q~ is a c losed, convex func t ion def ined on R n, having values in ~ and S is a c losed, convex set in ~n. We write S for the op t ima l so lu t ion set o f (1), S : = arg minxes cb(x) and assume this set to be non-empty , in o rde r tha t a p ro jec t ion o p e r a t i o n on to this set is well def ined. In o rde r to s impl i fy our analysis , let us define , b ~ ( x ) := ¢~(x )+~, (...

The Hilbert spaces for stable scattering states and particles are determinedby the representations of the characterizing Euclidean and Poincaré group andgiven, respectively, by the square integrable functions on the momentum 2-spheres for a fixed absolute value of momentum and on the energy-momentum3-hyperboloids for a particle mass. The Hilbert spaces for the correspondingu...

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 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...

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...

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...