The development of compositional distribu-tional models of semantics reconciling the em-pirical aspects of distributional semantics withthe compositional aspects of formal seman-tics is a popular topic in the contemporary lit-erature. This paper seeks to bring this rec-onciliation one step further by showing howthe mathematical constructs commonly usedin composit...

we propose a method for medical image denoising using calculus of variations and local variance estimation by shaped windows. this method reduces any additive noise and preserves small patterns and edges of images. a pyramid structure-texture decomposition of images is used to separate noise and texture components based on local variance measures. the experimental results show that the proposed...

Lambda-calculus has been introduced to study the mathematical functions from a computa-tional point of view. It has then been used as a basis for the design of functional programminglanguages. Knowing whether there exists a provably most efficient method to reduce lambda-terms, and evaluate the complexity of this operation in general are still open questions.In this thesis, we u...

the current study presents a new analytical method for buckling analysis of rectangular and annular beams made up of functionally graded materials with constant thickness and poisson’s ratio. the boundary conditions of the beam are assumed to be simply supported and clamped. the stability equations were obtained by using conservation of energy. the critical buckling load and first mode shape we...

the current study presents a new analytical method for buckling analysis of circular plates with constant thickness and poisson’s ratio, made of functionally graded material subjected to radial load. governing equations are based on energy method for thin plates. the boundary conditions of the plate are assumed to be simply supported and clamped. the stability equations were obtained by using c...

Linear logic provides a framework to control the complexity of higher-order functional programs. We present an extension of this frameworkto programs with multithreading and side effects focusing on the case ofelementary time. Our main contributions are as follows. First, we providea new combinatorial proof of termination in elementary time for the func-tional case. Seco...

We propose a programming paradigm that tries to get close to both the semantic simplicity of rela-tional algebra, and the expressive power of unrestricted programming languages. Its main computational engine is structural recursion on sets. All programming is done within a \nicely" typed lambda calculus, as in Machiavelli OBB89]. A guiding principle is that how queries are implemented is as imp...

Introduction. The active development of digital tools and technologies, including for the organization training, has led to a variety situations that could not be ignored, in particular, construction various forms distance learning (traditional innova-tive lectures, as well seminars). There are practically no studies scientific litera-ture can explain how with help which it is possible achieve ...