Results 71 to 80 of about 923,302 (188)
Approximating Fixed Points of Generalized Nonexpansive Mappings in Banach Spaces
In this paper, we prove a fixed point theorem for the selfmaps of a closed convex and bounded subset of the Banach space satisfying a generalized nonexpansive type condition.
Bapurao C. Dhage
doaj +2 more sources
Approximation of functions by linear methods in weighted Orlicz type spaces with variable exponent
The approximation properties of various classical methods of linear summation of Fourier series in weighted spaces of Orlicz type with variable exponent are considered.
S.O. Chaichenko, A.L. Shidlich
doaj +1 more source
О лингвостилистическом статусе каламбура (на материале русскоязычных газетных текстов)
Having studied special literature and analized speech facts the author of the article has come to the conclusion that the pun can be defined as a speech genre of an intermediate type (between speech and literature), whose constructive basis is made of a
АЛЕКСАНДР П. СКОВОРОДНИКОВ
doaj
Types and Construction of Power Transformers
Transformers may be classified according to dielectric insulation material as follows: • Oil-filled transformers• Dry type ...
openaire +3 more sources
Constructing Inductive-Inductive Types in Cubical Type Theory [PDF]
Abstract Inductive-inductive types are a joint generalization of mutual inductive types and indexed inductive types. In extensional type theory, inductive-inductive types can be constructed from inductive types, and this construction has been conjectured to work in intensional type theory as well.
openaire +1 more source
The influence of the constructive shapes of aluminum profiles on impact phenomena
The purpose of this study is to analyze the results obtained from the impact for aluminum profiles in four constructive variants, two with connections and two with bevels.The forms significantly influence the results from a quantitative and qualitative ...
Gabriel Popescu
doaj +1 more source
Constructing Higher Inductive Types
Contains fulltext : 226923.pdf (Publisher’s version ) (Open Access)
openaire +1 more source
Research on Thrust Allocation Strategy for ROVs Based on Constructive-Analytical Method
This paper aims to solve the challenges related to complex and tedious thrust allocation calculations and the saturation of thrust output faced by remotely operated vehicles (ROV), based on a propulsion system model established for a specific type of ...
XU Lei, SONG Junhui, ZHANG Dinghua
doaj
In the present research, we investigated the link between different forms of national identification (i.e., constructive patriotism, glorification, and conventional patriotism) and intentions to vote in state parliamentary elections in Poland and Spain ...
Mirjana Rupar +3 more
doaj +1 more source
EMPIRICAL STRENGTH CRITERION OF COMPOSITE MATERIALS
Empirical long-term strength criterion in terms of limit stress for constructive polymer materials considering ageing factor is found. The criterion corresponds to the type of Goldenblat - Kopnov.
O.G. OSYAEV
doaj

