نتایج جستجو برای: module actions

تعداد نتایج: 212898  

2000
MASAYOSHI KANEDA

In this paper we give characterizations of essential left ideals of a C*-algebra A in terms of their properties as operator A-modules. Conversely, we seek C*-algebraic characterizations of those ideals J in A such that A is an essential extension of J in various categories of operator modules. In the case of two-sided ideals, we prove that all the above concepts coincide. We obtain results, ana...

2016
Koray Tahiroğlu Juan Carlos Vasquez Johan Kildal

In this paper we present the new development of a semiautonomous response module for the NOISA system. NOISA is an interactive music system that predicts performer’s engagement levels, learns from the performer, decides what to do and does it at the right moment. As an improvement for the above, we implemented real-time adaptive features that respond to a detailed monitoring of the performer’s ...

Journal: :J. Log. Comput. 2007
Alexandru Baltag Bob Coecke Mehrnoosh Sadrzadeh

We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g. due to secrecy and deceit, as well as nested knowledge. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the c...

2012
Igor Farkas Tomás Malík Kristína Rebrová

The recent outburst of interest in cognitive developmental robotics is fueled by the ambition to propose ecologically plausible mechanisms of how, among other things, a learning agent/robot could ground linguistic meanings in its sensorimotor behavior. Along this stream, we propose a model that allows the simulated iCub robot to learn the meanings of actions (point, touch, and push) oriented to...

2003
Philippe Bonnet

— Let F = (f1, . . . , fq) be a polynomial dominating map from Cn to Cq. We study the quotient T 1(F ) of polynomial 1-forms that are exact along the generic fibres of F , by 1-forms of type dR+ ∑ aidfi, where R, a1, . . . , aq are polynomials. We prove that T 1(F ) is always a torsion C[t1, . . . , tq ]-module. Then we determine under which conditions on F we have T 1(F ) = 0. As an applicatio...

2001
Neelam Gupta Praveen R. Rao

Module cohesion describes the degree to which di erent actions performed by a module contribute towards a uni ed function. High module cohesion is a desirable property of a program. The program modi cations during successive maintenance interventions can have negative e ect on the structure of the program resulting in less cohesive modules. Therefore, metrics that measure module cohesion are im...

Journal: :CoRR 2017
Xin Wang Wenhu Chen Jiawei Wu Yuan-Fang Wang William Yang Wang

Video captioning is the task of automatically generating a textual description of the actions in a video. Although previous work (e.g. sequence-to-sequence model) has shown promising results in abstracting a coarse description of a short video, it is still very challenging to caption a video containing multiple fine-grained actions with a detailed description. This paper aims to address the cha...

2018
Luca Dellafiora Chiara Dall'Asta Gianni Galaverna

Mycotoxins severely threaten the health of humans and animals. For this reason, many countries have enforced regulations and recommendations to reduce the dietary exposure. However, even though regulatory actions must be based on solid scientific knowledge, many aspects of their toxicological activity are still poorly understood. In particular, deepening knowledge on the primal molecular events...

Journal: :international journal of nonlinear analysis and applications 2010
a. bodaghi

in this paper we study the module contractibility ofbanach algebras and characterize them in terms the conceptssplitting and admissibility of short exact sequences. also weinvestigate module contractibility of banach algebras with theconcept of the module diagonal.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید