Cited in
(only showing first 100 items - show all)- Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation
- randcorr
- Aoptbdtvc
- Fluidsim: a car traffic simulation prototype based on fluiddynamic
- Comparing high-dimensional partitions with the Co-clustering adjusted rand index
- Fractional factorial designs for model-based evaluation of customer preferences
- The density of sets avoiding distance 1 in Euclidean space
- Sequential importance sampling for multiway tables
- A boundary element-based automatic domain partitioning approach for semi-structured quad mesh generation
- A minimum distance estimator in an imprecise probability model -- computational aspects and applications
- The importance of moral reflection and self-reported data in a dictator game with production
- Asymptotic properties of principal component analysis and shrinkage-bias adjustment under the generalized spiked population model
- Hybrid schemes for exact conditional inference in discrete exponential families
- A profit-maximizing economic lot scheduling problem with price optimization
- Genetic algorithms with double strings for 0-1 programming problems
- On the identifiability of Bayesian factor analytic models
- Sampling for Conditional Inference on Case–Control Data
- Lower bound functions for polynomials
- deaR
- Certificates of infeasibility via nonsmooth optimization
- On the decidability of finding a positive ILP-instance in a regular set of ILP-instances
- Decomposition-based method for sparse semidefinite relaxations of polynomial optimization problems
- RAPOSa
- scientific article; zbMATH DE number 5990470 (Why is no real title available?)
- A convex approach to optimum design of experiments with correlated observations
- Writing global optimization software
- Computational advances in polynomial optimization: RAPOSa, a freely available global solver
- Using a computational domain and a three-stage node location procedure for multi-sweeping algorithms
- Automated competitive analysis of real-time scheduling with graph games
- Fulton's conjecture for \(\overline{M}_{0,7}\)
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution
- Computational experience with rigorous error bounds for the Netlib linear programming library
- Optimal exact tests for multiple binary endpoints
- simarwilson
- Intercode hexahedral meshing from Eulerian to Lagrangian simulations
- U-splines: splines over unstructured meshes
- tenonradial
- Anchored Bayesian Gaussian mixture models
- A general computer program for the Bell detection loophole
- Efficient point coverage in wireless sensor networks
- Active-set prediction for interior point methods using controlled perturbations
- New Gromov-inspired metrics on phylogenetic tree space
- Directional bivariate quantiles: a robust approach based on the cumulative distribution function
- Assessing uncertainty of voter transitions estimated from aggregated data. Application to the 2017 French presidential election
- Applying CEGAR to the Petri net state equation
- Converting a CAD model into a non-uniform subdivision surface
- Representation of multivariate Bernoulli distributions with a given set of specified moments
- Algorithm runtime prediction: methods \& evaluation
- Safe density ratio modeling
- Deciding probabilistic automata weak bisimulation: theory and practice
- Worst case risk measurement: back to the future?
- A new solver for the minimum weighted vertex cover problem
- Volume Computation for Boolean Combination of Linear Arithmetic Constraints
- Matching markers and unlabeled configurations in protein gels
- G<scp>LOPT</scp>L<scp>AB</scp>: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems
- A specialized network simplex algorithm for the constrained maximum flow problem
- Globally optimal clusterwise regression by column generation enhanced with heuristics, sequencing and ending subset optimization
- Buying optimal payoffs in bi-matrix games
- Generation of structured meshes in multiply connected surfaces using submapping
- Construction of A-optimal balanced treatment incomplete block designs: An algorithmic approach
- Weighted linear programming discriminant analysis for high‐dimensional binary classification
- The SAT-based approach to separation logic
- A comparison of design and model selection methods for supersaturated experiments
- Typical performance of approximation algorithms for NP-hard problems
- Littlewood polynomials, spectral-null codes, and equipowerful partitions
- A two-phase support method for solving linear programs: numerical experiments
- Communication protocols for options and results in a distributed optimization environment
- Optimal multi-level supersaturated designs through integer programming
- Surface fitting using convex tensor-product splines
- Applying CEGAR to the Petri net state equation
- scientific article; zbMATH DE number 1249731 (Why is no real title available?)
- Sampling for Conditional Inference on Case–Control Data
- Tracking elementary particles near their primary vertex: A combinatorial approach
- A decentralized two-level transportation problem in a housing material manufacturer: Interactive fuzzy programming approach
- An interactive fuzzy satisficing method for general multiobjective 0-1 programming problems through genetic algorithms with double strings based on a reference solution
- Semigroups -- a computational approach
- On a recognition problem on cut polytope relaxations
- Chronos: A timing analyzer for embedded software
- Fuzzy programming and profit and cost allocation for a production and transportation problem
- Domain specific high-level constraints for user interface layout
- Interval uncertainty-based robust optimization for convex and non-convex quadratic programs with applications in network infrastructure planning
- Chronos
- FEXACT
- FluidSim
- kcnfs
- LPAKO
- Zchaff2004
- GLOPTLAB
- SOCP
- lpSolve
- 4ti2
- SolvOpt
- imprProbEst
- sda
- OPTMODEL
- LPFML
- Skyblue
- lpSolveAPI
- rcdd
- Q-Morph
This page was built for software: lp_solve
