The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Robust rank screening for ultrahigh dimensional discriminant analysis (Q518270) (← links)
- Finite mixtures of quantile and M-quantile regression models (Q518274) (← links)
- A multiple-comparison-systems method for distributed stability analysis of large-scale nonlinear systems (Q518284) (← links)
- Stability and performance verification of optimization-based controllers (Q518285) (← links)
- Stochastic and deterministic fault detection for randomized gossip algorithms (Q518288) (← links)
- Data-driven approximate value iteration with optimality error bound analysis (Q518293) (← links)
- Simple approximations of semialgebraic sets and their applications to control (Q518297) (← links)
- Model predictive control with discrete actuators: theory and application (Q518326) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- Networked control design for coalitional schemes using game-theoretic methods (Q518344) (← links)
- A new framework for solving fractional optimal control problems using fractional pseudospectral methods (Q518346) (← links)
- The spirit of ghost code (Q518394) (← links)
- SMT-based model checking for recursive programs (Q518396) (← links)
- An efficient SMT solver for string constraints (Q518402) (← links)
- From invariant checking to invariant inference using randomized search (Q518404) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components (Q518409) (← links)
- Lie symmetry analysis of a double-diffusive free convective slip flow with a convective boundary condition past a radiating vertical surface embedded in a porous medium (Q518428) (← links)
- Heat enhanced by an exothermic reaction on a fully developed MHD mixed convection flow in a vertical channel (Q518434) (← links)
- Clustering intelligent transportation sensors using public transportation (Q518446) (← links)
- Development of some linguistic aggregation operators with conservation of interaction between criteria and their application in multiple attribute group decision problems (Q518453) (← links)
- Regularized optimization methods for convex MINLP problems (Q518454) (← links)
- Minisum and maximin aerial surveillance over disjoint rectangles (Q518456) (← links)
- Robust fixed stress splitting for Biot's equations in heterogeneous media (Q518484) (← links)
- Robust stability by path-connectivity of fractional order polynomials (Q518503) (← links)
- Generalized fast automatic differentiation technique (Q518538) (← links)
- Generation of Delaunay meshes in implicit domains with edge sharpening (Q518547) (← links)
- OpenMP + MPI parallel implementation of a numerical method for solving a kinetic equation (Q518549) (← links)
- Application of optimization methods for finding equilibrium states of two-dimensional crystals (Q518578) (← links)
- Learning Gaussian graphical models with fractional marginal pseudo-likelihood (Q518603) (← links)
- Negative probabilities in probabilistic logic programs (Q518605) (← links)
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
- ERBlox: combining matching dependencies with machine learning for entity resolution (Q518610) (← links)
- Short-term load forecasting method based on fuzzy time series, seasonality and long memory process (Q518618) (← links)
- Three-way concept learning based on cognitive operators: an information fusion viewpoint (Q518620) (← links)
- Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study (Q518622) (← links)
- The multilabel naive credal classifier (Q518629) (← links)
- Tri-partition neighborhood covering reduction for robust classification (Q518636) (← links)
- Quick and energy-efficient Bayesian computing of binocular disparity using stochastic digital signals (Q518642) (← links)
- Particle MCMC algorithms and architectures for accelerating inference in state-space models (Q518646) (← links)
- A survey on learning approaches for undirected graphical models. Application to scene object recognition (Q518649) (← links)
- A cellular automata model of bone formation (Q518668) (← links)
- A coded shared atomic memory algorithm for message passing architectures (Q518683) (← links)
- Some numerical considerations in \(\mathcal{H}_\infty\) control (Q518696) (← links)
- On harmony and permuting conversions (Q518743) (← links)
- Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
- Model predictive control under timing constraints induced by controller area networks (Q518848) (← links)
- Approximations for time-dependent distributions in Markovian fluid models (Q518871) (← links)
- Rate of uniform consistency for a class of mode regression on functional stationary ergodic data (Q518882) (← links)
- On the \(L_p\) norms of kernel regression estimators for incomplete data with applications to classification (Q518885) (← links)
