نتایج جستجو برای: ideal solutions
تعداد نتایج: 422105 فیلتر نتایج به سال:
Solutions of recursive program schemes over a given signature Σ were characterized by Bruno Courcelle as precisely the context-free (or algebraic) Σ-trees. These are the finite and infinite Σ-trees yielding, via labelling of paths, context-free languages. Our aim is to generalize this to finitary endofunctors H of general categories: we construct a monad C “generated” by solutions of recursive ...
In this paper we propose a new point of view on weak solutions of the Euler equations, describing the motion of an ideal incompressible fluid in R with n ≥ 2. We give a reformulation of the Euler equations as a differential inclusion, and in this way we obtain transparent proofs of several celebrated results of V. Scheffer and A. Shnirelman concerning the non-uniqueness of weak solutions and th...
solid waste municipal landfill can have significant health, economic and environmental effects. therefore, there is a need to comprehensive land evaluation for locating the best landfill place. the purpose of this paper is showcasing the process undertaken to locate the best landfill site for municipal solid waste of golpayegan township. at first, three alternatives were proposed after field su...
Cryptographic multilinear maps have many applications, such as multipartite key exchange and software obfuscation. However, the encodings of three current constructions are “noisy” and their multilinearity levels are fixed and bounded in advance. In this paper, we describe a candidate construction of ideal multilinear maps by using ideal lattices, which supports arbitrary multilinearity levels....
Cryptographic multilinear maps have many applications, such as multipartite key exchange and software obfuscation. However, the encodings of three current constructions are “noisy” and their multilinearity levels are fixed and bounded in advance. In this paper, we describe a candidate construction of ideal multilinear maps by using ideal lattices, which supports arbitrary multilinearity levels....
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید