نتایج جستجو برای: logical solutions. they admit insights

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

Journal: :مطالعات مدیریت بهبود و تحول 0
سیدمهدی الوانی هیئت علمی دانشگاه علامه طباطبائی

today we are facing with a turbulent world full of complexity and change. contemporary problems are too complicated for rational, logical solutions. they admit insights, not answers. chaos theory is a solution to reveal insights into the structure and the dynamics of complex systems. chaos theory is in formative stage, but we can use it in management practices. this article is about application...

2004
Deepak D'Souza Nicolas Tabareau

We consider a general notion of timed automata with inputdetermined guards and show that they admit a robust logical framework along the lines of [6], in terms of a monadic second order logic characterisation and an expressively complete timed temporal logic. We then generalise these automata using the notion of recursive operators introduced by Henzinger, Raskin, and Schobbens [9], and show th...

2009
Freddy Delbaen Ying Hu Adrien Richou

In [4], the authors proved the uniqueness among the solutions which admit every exponential moments. In this paper, we prove that uniqueness holds among solutions which admit some given exponential moments. These exponential moments are natural as they are given by the existence theorem. Thanks to this uniqueness result we can strengthen the nonlinear Feynman-Kac formula proved in [4].

2011
Freddy Delbaen Ying Hu Adrien Richou

In [4], the authors proved the uniqueness among the solutions which admit every exponential moments. In this paper, we prove that uniqueness holds among solutions which admit some given exponential moments. These exponential moments are natural as they are given by the existence theorem. Thanks to this uniqueness result we can strengthen the nonlinear Feynman-Kac formula proved in [4].

پایان نامه :موسسه آموزش عالی غیردولتی رودکی تنکابن - دانشکده ادبیات و زبانهای خارجی 1393

abstract this study aimed at investigating the effect of bilingual teaching of cognate words (persian-english) on iranian upper intermediate efl learners’ knowledge of lexical development. for this purpose,100 subjects participated in this study out of which 40 learners were selected for this study and they were assigned into two groups, control and experimental. cross-language cognates (wor...

Journal: :Electr. Notes Theor. Comput. Sci. 2017
Joëlle Despeyroux Carlos Olarte Elaine Pimentel

HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temporal or spatial ones. Both frameworks have linear logic (LL) as a common ground and they admit (cut-free) complete focused proof systems. The difference relies on the way modalities are handled. In HyLL, truth judgmen...

Journal: :CoRR 2016
Joëlle Despeyroux Carlos Olarte Elaine Pimentel

HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temporal or spatial ones. Both frameworks have linear logic (LL) as a common ground and they admit (cut-free) complete focused proof systems. The difference between the two logics relies on the way modalities are handled....

2009
Aristomenis Donos Jerome P. Gauntlett

We construct the Killing spinors for a class of supersymmetric solutions of type IIB supergravity that are invariant under the non-relativistic Schrödinger algebra. The solutions depend on a five-dimensional SasakiEinstein space and it has been shown that they admit two Killing spinors. Here we will show that, for generic Sasaki-Einstein space, there are special subclasses of solutions which ad...

2008
GIANPIERO CATTANEO MARIA LUISA DALLA CHIARA ROBERTO GIUNTINI ROBERTO LEPORINI

Logical gates studied in quantum computation suggest a natural logical abstraction that gives rise to a new form of unsharp quantum logic. We study the logical connectives corresponding to the following gates: the Toffoli gate, the NOT and the √ NOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call computational quantum logic (CQL).

2007
R. Sharma S. D. Maharaj

By assuming a particular mass function we find new exact solutions to the Einstein field equations with an anisotropic matter distribution. The solutions are shown to be relevant for the description of compact stars. A distinguishing feature of this class of solutions is that they admit a linear equation of state which can be applied to strange stars with quark matter.

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

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