In this paper we describe a method for IS design which focus on constructing the social reality in which the IS is used. This reality is structured as a particular form of work practice – the activity domain – which is the main construct in the Activity Domain Theory. The gist of this theory is to integrate coordinating elements of a practice into a coherent whole in which the IS is one of thes...

Serre in the 1970s was the first to formalize such a question on the way to constructing p-adic L-functions, by way of developing the notion of a p-adic modular form to be the p-adic limit of some compatible family of q-expansions of classical modular forms. Katz came along fairly soon afterwards and generalized the theory to a much more geometric context, and showed that Serre’s p-adic forms e...

We begin the development of a theory of Banach spaces in the definable setting of o-minimal structures. We outline several results which develop the theory of compact embeddings for explicitly given function spaces. One aim is to explain the substantive underpinnings of an important observation used in the proof of the Reparameterization Theorem of Pila and Wilkie in [2]. We place this observat...

The paper presents a locking-free four-node element for laminated composite and sandwich plates based on Refined Zigzag Theory (RZT). Initially, two RZT-based plate elements are derived using eight-node configurations, achieved by way of standard C0 isoparametric shape functions. In addition, with view improving the modelling extremely thin plates, an anisoparametric is developed in which trans...

We conceptualize and propose a theoretical model of sellers’ trust in buyers in the cross border ecommerce context. This model is based on by signalling theory, which is further refined by using trust theories and empirical findings from prior e-commerce trust research.

In this paper 1, we shall describe about a refined theory based on the concept of set-valued operators, suitable for available operation of extremely complicated large-scale network systems. Fundamental conditions for availability of system behaviors of such network systems are clarified in a form of fixed point theorem for system of set-valued operators.

Efficient combinations of implicit and explicit multistep methods for nonlinear parabolic equations were recently studied in [1]. In this note we present a refined analysis to allow more general nonlinearities. The abstract theory is applied to a quasilinear parabolic equation. Dedicated to Professor Vidar Thomée on the occasion of his 65 birthday, August 20, 1998

A refinement type {x : T | C} is the subset of the type T consisting of the values x to satisfy the formula C. In this tutorial article we explain the principles of refinement types by developing from first principles a concurrent λcalculus whose type system supports refinement types. Moreover, we describe a series of applications of our refined type theory and of related systems.

This article addresses the largely unknown legacy of Francisco de Castro regarding the neurological sciences. His essay "Psychogenic Cortical Centers", written in 1881 for his admission to the Imperial Academy of Medicine in Rio de Janeiro, is a refined appreciation of the theory of localized cortical functions that was in evidence in Europe in the second half of the nineteenth century.

We present a refined calculation of the η ′ mass using staggered fermions and Wuppertal smeared operators to suppress excited state contributions. We use quenched and dynamical configurations of size 16 3 × 32, with N f = 0, N f = 2 and N f = 4, and compare our results with the expected theoretical forms from quenched, partially quenched, and unquenched chiral perturbation theory.