104,467 research outputs found
On Lax operators
No full textWe define a Lax operator as a monic pseudodifferential operator L(∂) of order N ≥ 1, such that the Lax equations ∂L(∂)∂tk=[(L_k^N(∂))_+,L(∂)] are consistent and non-zero for infinitely many positive integers k. Consistency of an equation means that its flow is defined by an evolutionary vector field. In the present paper we demonstrate that the traditional theory of the KP and the N-th KdV hierarchies holds for arbitrary scalar Lax operators
Range query integrity in cloud data streams with efficient insertion
No full textCloud computing provides users with the possibility to store their data in third-party servers. These data centers may be untrusted or susceptible to attacks, hence they could return compromised query results once interrogated. Query integrity has been widely investigated in the literature, and a number of methods have been proposed to allow users to verify that query results are complete (i.e., no qualifying tuples are omitted), fresh (i.e., the newest version of the results are returned), and correct (i.e., the result values are not corrupted). In this paper, we identify a specific scenario in which classical techniques for query integrity appear little suitable and we propose a new solution to overcome these drawbacks. The scenario considered, instantiated in a realistic video surveillance setting, is that of data streams in which append operations and range queries are dominant, and the efficiency is a critical factor
Relations between Various Notions of G-Categories
No full textDepartmental Bulletin PaperLet G be a group. There are various notions of categories with an action of G;(1) a lax system over G i.e. an op-lax functor from the category G to the 2-
category Cat of small categories, (2) a category with a Galois descent datum of
group G, (3) a cofibred(or fibred) category over G, and (4) a usual G-category i.e. a
category whose object set and morphism set are G-sets and whose structural maps are G-maps. The purpose of this paper is to show that the first three notions are essentially equivalent and there are equivalences of categories between the limit categories; (1)the lax limit, (2) the descended category and (3) the category of cocartesian sections, and that for a cofibred category D over G there is a usual G-category U such that the subcategory UH of H-fixed objects and morphisms is homotopy equivalent to the representation category of D over H for each subgroup H of G.滋賀大学教育学部紀要, 自然科学, 第35号, pp.13-18departmental bulletin pape
Lax Pairs for the Discrete Reduced Nahm Systems
No full textWe discretise the Lax pair for the reduced Nahm systems and prove its equivalence with the Kahan–Hirota–Kimura discretisation procedure. We show that these Lax pairs guarantee the integrability of the discrete reduced Nahm systems providing an invariant. Also, we show that Nahm systems cannot solve the general problem of characterisation of the integrability for Kahan–Hirota–Kimura discretisations
Unification in lax logic
No full textIn this paper, we focus on the intuitionistic propositional logic
extended with a local operator [22] (also called nucleus [21]);
such logic is commonly named lax logic after [9]. We prove
that unification is finitary in this logic and supply algorithms
for computing a basis of unifiers and for recognizing admissibility of inference rules, following analogous known results for
intuitionistic logic
SISO: a conceptual framework for the construction of" stereotypical maps" in a Social Internetworking Scenario
No full textHuman body-gesture capacity: the tense – lax distinction: a preliminary outline of research work
No full textIn phonology, the terms ‘tenseness’ (tensing) and ‘laxness’ (laxing) are an important pair pertaining to the distinctive features of vowels. A similar dichotomy, ‘tenseness’ – ‘laxness’, can also be observed in the body-gesture (B-G) behaviors. On the basis of this distinction, the author of the article proposes to make a division between two body–gesture cultures, namely: the ‘lax B-G cultures’, and the ‘tense B-G cultures’, respectively. Additionally, the author constructs two working hypotheses. Namely:Hypothesis no. 1 (H1):(H1a): The laxer the B-G system is, the less ritual (and more casual) a given communication act happens to be.(H1b): The relationship “lax body posture + lax gesture” correlates with full spoken, profane (non-ritual) communication potential.Hypothesis no. 2 (H2):(H2a): The tenser the B-G system is, the more ritual a given communication act happens to be.(H2b): The relationship “tense body posture + tense gesture” correlates with full spoken, ritual (nonprofane) communication potential
Anwendungsorientierung in der universitären Forschung. Historische Perspektiven auf eine aktuelle Debatte
No full textLax G. Anwendungsorientierung in der universitären Forschung. Historische Perspektiven auf eine aktuelle Debatte
Driving global team formation in social networks to obtain diversity
No full textIn this paper, we present a preliminary idea for a crowdsourcing application aimed at driving the process of global team formation to obtain diversity in the team. Indeed, it is well known that diversity is one of the key factors of collective intelligence in crowdsourcing. The idea is based on the identification of suitable nodes in social networks, which can profitably play the role of generators of diversity in the team formation process. This paper presents a first step towards the concrete definition of the above application consisting in the identification of an effective measure that can be used to select the most promising nodes w.r.t. the above feature
- …
