Results 31 to 40 of about 70,001 (264)
The complexity of general-valued CSPs seen from the other side
, 2018 The constraint satisfaction problem (CSP) is concerned with homomorphisms between two structures. For CSPs with restricted left-hand side structures, the results of Dalmau, Kolaitis, and Vardi [CP'02], Grohe [FOCS'03/JACM'07], and Atserias, Bulatov, and ...
Carbonnel, Clement +2 more
core +2 more sources
Games, 2022 On taking the intermediate value theorem (IVT) and its converse as a point of departure, this paper connects the intermediate value property (IVP) to the continuity postulate typically assumed in mathematical economics, and to the solvability axiom ...
Aniruddha Ghosh +2 more
doaj +1 more source
On the smoothness of solutions of the third order nonlinear differential equation
Boundary Value Problems, 2017 In this work we study the following third order differential equation: 1 L y : = y ‴ + ( q ( x , y ) + λ ) y = f ∈ L 2 ( R ) , R = ( − ∞ , ∞ ) , λ > 0 , $$ Ly : = y''' + \bigl( q ( x,y ) + \lambda \bigr)y = f \in L_{2} ( \mathbb{R} ), \quad \mathbb{R}= (
Abdumauvlen S Berdyshev +2 more
doaj +1 more source
Axioms, 2020 In this paper, we consider a boundary value problem for a nonlinear partial differential equation of mixed type with Hilfer operator of fractional integro-differentiation in a positive rectangular domain and with spectral parameter in a negative ...
Tursun K. Yuldashev +1 more
doaj +1 more source
Extremal holomorphic maps and the symmetrised bidisc
, 2012 We introduce the class of $n$-extremal holomorphic maps, a class that generalises both finite Blaschke products and complex geodesics, and apply the notion to the finite interpolation problem for analytic functions from the open unit disc into the ...
Agler, Jim +2 more
core +2 more sources
Axioms, 2023 It is shown that for any integers k≥2, q≥2k and N≥k+q+2, there exists a real solvable Lie algebra of the first rank with a maximal torus of derivations t possessing the eigenvalue spectrum spec(t)=1,2,⋯,k,q,q+1⋯,N, a nilradical of the nilpotence index N ...
Rutwig Campoamor-Stursberg +1 more
doaj +1 more source
Call-by-value Solvability [PDF]
RAIRO - Theoretical Informatics and Applications, 1999 Summary: The notion of solvability in the call-by-value \(\lambda\)-calculus is defined and completely characterized, both from an operational and a logical point of view. The operational characterization is given through a reduction machine, performing the classical \(\beta\)-reduction, according to an innermost strategy.
PAOLINI, LUCA LUIGI +1 more
openaire +2 more sources
On nonlinear evolution equation of second order in Banach spaces
Open Mathematics, 2018 Here we study the existence of a solution and also the behavior of the existing solution of the abstract nonlinear differential equation of second order that, in particular, is the nonlinear hyperbolic equation with nonlinear main parts, and in the ...
Soltanov Kamal N.
doaj +1 more source
TINGKAT SOLVABILITAS PERUSAHAAN ASURANSI JIWA SYARIAH DI INDONESIA
Jurnal Akuntansi, 2020 This study aims to look at the mean difference of the solvability level of tabarru’ fund of sharia life insurance companies in Indonesia. The population of this research were full fledge life insurance companies from 2014 to 2019.
Nur Wachidah Yulianti
doaj +1 more source
Structural and Qualitative Analysis of the Romanian Banking System [PDF]
Annals of Dunarea de Jos University. Fascicle I : Economics and Applied Informatics, 2010 The banking sector, the predominant component of the Romanian financial system, had a relatively stable structure in the period 2005-2009 and has experienced significant consolidation, particularly in the years 2005-2006, this being sustained mainly by ...
Anisoara Niculina APETRI +2 more
doaj