Results 11 to 20 of about 3,922,345 (258)
Analysis of the bounded and unbounded forms of USBM wettability index
Energy Geoscience, 2022 Understanding wettability is important in many processes where porous media and fluids are in contact. The U.S. Bureau of Mines (USBM) is one of the industry standard techniques for measuring wettability.
Abouzar Mirzaei-Paiaman
doaj +1 more source
A Bounded Index for Cluster Validity [PDF]
, 2008 . Clustering is one of the most well known types of unsupervised learning. Evaluating the quality of results and determining the number of clusters in data is an important issue.
Benny Raphael +5 more
core +2 more sources
Scope-bounded pushdown languages [PDF]
, 2014 We study the formal language theory of multistack push-down automata (Mpa) restricted to computations where a symbol can be popped from a stack S only if it was pushed within a bounded number of contexts of S (scoped Mpa).
Salvatore La Torre +5 more
core +1 more source
Slice Holomorphic Functions in Several Variables with Bounded L-Index in Direction
Axioms, 2019 In this paper, for a given direction b ∈ C n \ { 0 } we investigate slice entire functions of several complex variables, i.e., we consider functions which are entire on a complex line { z 0 + t b : t ∈ C } for any z
Andriy Bandura, Oleh Skaskiv
doaj +1 more source
Bounded Conjunctive Queries [PDF]
, 2014 A query Q is said to be effectively bounded if for all datasets D, there exists a subset DQ of D such that Q(D) = Q(DQ), and the size of DQ and time for fetching DQ are independent of the size of D. The need for studying such queries is evident, since it
Yu, Wenyuan +3 more
core +1 more source
Analytic in the unit polydisc functions of bounded L-index in direction
Математичні Студії, 2023 The concept of bounded $L$-index in a direction $\mathbf{b}=(b_1,\ldots,b_n)\in\mathbb{C}^n\setminus\{\mathbf{0}\}$ is generalized for a class of analytic functions in the unit polydisc, where $L$ is some continuous function such that for every $z=(z_1 ...
A. Bandura, T. Salo
doaj +1 more source
Bounded index, entire solutions of ordinary differential equations and summability methods
International Journal of Mathematics and Mathematical Sciences, 1981 A brief survey of recent results on functions of bounded index and bounded index summability methods is given. Theorems on entire solutions of ordinary differential equations with polynomial coefficients are included.
G. H. Fricke, Ranjan Roy, S. M. Shah
doaj +1 more source
Analytic vector-functions in the unit ball having bounded $\mathbf{L}$-index in joint variables
Karpatsʹkì Matematičnì Publìkacìï, 2019 In this paper, we consider a class of vector-functions, which are analytic in the unit ball. For this class of functions there is introduced a concept of boundedness of $\mathbf{L}$-index in joint variables, where $\mathbf{L}=(l_1,l_2): \mathbb{B}^2\to ...
V.P. Baksa
doaj +1 more source
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
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
, 2009 Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-
Cordeiro, Lucas +5 more
core +3 more sources