Results 31 to 40 of about 4,511,459 (292)
Context-bounded model checking with ESBMC 1.17 [PDF]
, 2012 ESBMC is a context-bounded symbolic model checker that allows the verification of single- and multi-threaded C code with shared variables and locks.
Denis Nicole +7 more
core +1 more source
A characterization of holomorphic bivariate functions of bounded index [PDF]
, 2017 The following notion of bounded index for complex entire functions was presented by Lepson. function f(z) is of bounded index if there exists an integer N independent of z, such that The main goal of this paper is extend this notion to holomorphic ...
Patterson, Richard +4 more
core +1 more source
Vector-valued bivariate entire functions of bounded index satisfying a system of differential equations [PDF]
, 2018 The concept of complex valued bivariate entire functions of bounded index is extended to C^n valued bivariate entire functions by replacing the absolute value in the definition of an entire function of bounded index by the maximum of the absolute ...
Patterson, Richard +3 more
core +1 more source
Non-homogeneous directional equations: Slice solutions belonging to functions of bounded $L$-index in the unit ball [PDF]
Mathematica BohemicaFor a given direction $ b\in\mathbb{C}^n\setminus\{0\}$ we study non-homogeneous directional linear higher-order equations whose all coefficients belong to a class of joint continuous functions which are holomorphic on intersection of all directional ...
Andriy Bandura +2 more
doaj +1 more source
Number Line Tasks and Their Relation to Arithmetics in Second to Fourth Graders
Journal of Numerical Cognition, 2021 Considering the importance of mathematical knowledge for STEM careers, we aimed to better understand the cognitive mechanisms underlying the commonly observed relation between number line estimations (NLEs) and arithmetics.
Carrie Georges, Christine Schiltz
doaj +1 more source
Generalized SV -rings of bounded index of nilpotency [PDF]
, 2011 We obtain a criterion under which all right modules over a ring of bounded index are weakly regular.
Abyzov A., A. N. Abyzov
core +1 more source
Some special characterisations of Fredholm operators in Banach space
Bibechana, 2014 A bounded linear operator which has a finite index and which is defined on a Banach space is often referred to in the literature as a Fredholm operator. Fredholm operators are important for a variety of reasons, one being the role that their index plays
Mahendra Shahi
doaj +3 more sources
Discrete MathematicsDošlić et al. defined the Mostar index of a graph $G$ as $Mo(G)=\sum\limits_{uv\in E(G)}|n_G(u,v)-n_G(v,u)|$, where, for an edge $uv$ of $G$, the term $n_G(u,v)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$. They conjectured that $Mo(G)\leq 0.\overline{148}n^3$ for every graph $G$ of order $n$.
Stefko Miklavic +3 more
openaire +2 more sources
Croatica Chemica Acta, 2008 The Balaban index is one of the widely used topological indices for QSAR and QSPR studies. In this paper, tight lower and upper bounds are reported for the Balaban index.
Zhou, Bo, Trinajstić, Nenad
openaire +5 more sources
Bounded index and four dimensional summability methods
, 2019 In this paper, we present a necessary and sufficient conditions on four dimensional matrix transformations that preserve entire-ness, bounded index and absolute convergence of double sequences.
Nuray, Fati?h
core +1 more source