The following pages link to full work available at URL (P205):
Displaying 50 items.
- A distributed enumeration algorithm and applications to all pairs shortest paths, diameter\dots (Q259059) (← links)
- On the role of update constraints and text-types in iterative learning (Q259061) (← links)
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic (Q259068) (← links)
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- Smoothed model checking for uncertain continuous-time Markov chains (Q259074) (← links)
- Topology recognition with advice (Q259077) (← links)
- On the isomorphism problem for Helly circular-arc graphs (Q259081) (← links)
- Approximate matching between a context-free grammar and a finite-state automaton (Q259082) (← links)
- Introduction to clarithmetic. II (Q259084) (← links)
- Formulas for the Walsh coefficients of smooth functions and their application to bounds on the Walsh coefficients (Q259085) (← links)
- Weaker relatives of the bounded approximation property for a Banach operator ideal (Q259088) (← links)
- Almost everywhere convergence of Bochner-Riesz means with critical index for Dunkl transforms (Q259090) (← links)
- On the zero-free polynomial approximation problem (Q259092) (← links)
- Hankel determinants for a singular complex weight and the first and third Painlevé transcendents (Q259095) (← links)
- Hypergeometric-like series for \(1 / \pi^2\) arising from Ramanujan's quartic theory of elliptic functions (Q259097) (← links)
- Remark on the formula by Rakhmanov and Steklov's conjecture (Q259098) (← links)
- Asymptotic zero distribution of Jacobi-Piñeiro and multiple Laguerre polynomials (Q259100) (← links)
- Ritt operators and convergence in the method of alternating projections (Q259103) (← links)
- Corrigendum to ``Stability of ball proximinality'' (Q259106) (← links)
- Preface: Special issue on data-driven optimization models and algorithms (Q259108) (← links)
- PPA-like contraction methods for convex optimization: a framework using variational inequality approach (Q259109) (← links)
- On solutions of sparsity constrained optimization (Q259112) (← links)
- Entropy function-based algorithms for solving a class of nonconvex minimization problems (Q259115) (← links)
- A note on the complexity of proximal iterative hard thresholding algorithm (Q259117) (← links)
- A sequential regression model for big data with attributive explanatory variables (Q259121) (← links)
- A linear mixed integer programming model for \(N\)-vehicle exploration problem (Q259122) (← links)
- Nonparallel support vector machine based on one optimization problem for pattern recognition (Q259125) (← links)
- The first-order necessary conditions for sparsity constrained optimization (Q259127) (← links)
- Online learning over a decentralized network through ADMM (Q259131) (← links)
- Convergence analysis of L-ADMM for multi-block linear-constrained separable convex minimization problem (Q259135) (← links)
- A note on software tools and technologies for delivering smart media-optimized big data applications in the cloud (Q259136) (← links)
- Semantic enhanced cloud environment for surveillance data management using video structural description (Q259141) (← links)
- A two-stage approach for task and resource management in multimedia cloud environment (Q259149) (← links)
- Adaptive scheduling algorithm for media-optimized traffic management in software defined networks (Q259154) (← links)
- Weighted principal component analysis-based service selection method for multimedia services in cloud (Q259158) (← links)
- \(K\)-Knuth equivalence for increasing tableaux (Q259166) (← links)
- On the resistance matrix of a graph (Q259168) (← links)
- Average degree conditions forcing a minor (Q259170) (← links)
- Inversions of semistandard Young tableaux (Q259172) (← links)
- Enumeration of parallelograms in permutation matrices for improved bounds on the density of Costas arrays (Q259176) (← links)
- Web matrices: structural properties and generating combinatorial identities (Q259179) (← links)
- Spectrally extremal vertices, strong cospectrality, and state transfer (Q259181) (← links)
- Polynomials defined by tableaux and linear recurrences (Q259182) (← links)
- Identifiability in penalized function-on-function regression models (Q259185) (← links)
- Functional models for longitudinal data with covariate dependent smoothness (Q259188) (← links)
- The explicit form of expectation propagation for a simple statistical model (Q259191) (← links)
- Brillinger mixing of determinantal point processes and statistical applications (Q259194) (← links)
- Posterior contraction rates for deconvolution of Dirichlet-Laplace mixtures (Q259196) (← links)
- Gaussian process methods for one-dimensional diffusions: optimal rates and adaptation (Q259199) (← links)
