The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Multi-strategy ensemble artificial bee colony algorithm (Q506349) (← links)
- Efficient money burning in general domains (Q506525) (← links)
- Towards more practical linear programming-based techniques for algorithmic mechanism design (Q506527) (← links)
- Pareto optimal matchings in many-to-many markets with ties (Q506537) (← links)
- \(\mathcal {F}\)-finite embeddabilities of sets and ultrafilters (Q506964) (← links)
- Resultants over commutative idempotent semirings. I: Algebraic aspect (Q507140) (← links)
- List decoding algorithm based on voting in Gröbner bases for general one-point AG codes (Q507148) (← links)
- Continuous location under the effect of `refraction' (Q507312) (← links)
- An interior-point trust-funnel algorithm for nonlinear optimization (Q507313) (← links)
- On reduced semidefinite programs for second order moment bounds with applications (Q507337) (← links)
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution (Q507359) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- Particle swarm optimization of ensemble neural networks with fuzzy aggregation for time series prediction of the Mexican Stock Exchange (Q507625) (← links)
- Violation analysis on two-step method for interval linear programming (Q507647) (← links)
- Generalized decomposition and cross entropy methods for many-objective optimization (Q507765) (← links)
- An epidemic model for cholera with optimal control treatment (Q507871) (← links)
- Minimax optimal control problem with state constraints (Q508370) (← links)
- Dealing with temporal and spatial correlations to classify outliers in geophysical data streams (Q508690) (← links)
- Modeling time and valuation in structured argumentation frameworks (Q508777) (← links)
- Methods for multi-objective optimization: an analysis (Q508908) (← links)
- History and philosophy of infinity. Selected papers from the conference ``Foundations of the Formal Sciences VIII'' held at Corpus Christi College, Cambridge, England, 20--23 September 2013 (Q510701) (← links)
- A generalized neighborhood for cellular automata (Q511006) (← links)
- Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs (Q511402) (← links)
- WALCOM: algorithms and computation. 11th international conference and workshops, WALCOM 2017, Hsinchu, Taiwan, March 29--31, 2017. Proceedings (Q511502) (← links)
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
- Generating a smallest binary tree by proper selection of the longest edges to bisect in a unit simplex refinement (Q511686) (← links)
- MiningZinc: a declarative framework for constraint-based mining (Q511753) (← links)
- Learning an efficient constructive sampler for graphs (Q511780) (← links)
- Content dependent information flow control (Q511927) (← links)
- Automated specification and verification of web-based applications (Q511928) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Formal methods for web security (Q511944) (← links)
- On the convergence analysis of the optimized gradient method (Q511969) (← links)
- Locally compact groups which are separably categorical structures (Q512136) (← links)
- On the Beer index of convexity and its variants (Q512263) (← links)
- Choquet integral with respect to a symmetric fuzzy measure of a function on the real line (Q512956) (← links)
- The stochastic capacitated branch restructuring problem (Q512982) (← links)
- Retrial queueing models in discrete time: a short survey of some late arrival models (Q513037) (← links)
- Private labels and retail assortment planning: a differential evolution approach (Q513113) (← links)
- A polynomially solvable case of the pooling problem (Q513170) (← links)
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- Improved subquadratic 3SUM (Q513274) (← links)
- Reconstructing phylogenetic level-1 networks from nondense binet and trinet sets (Q513300) (← links)
- Multipartite quantum and classical correlations in symmetric \(n\)-qubit mixed states (Q513435) (← links)
- High-capacity quantum key distribution using Chebyshev-map values corresponding to Lucas numbers coding (Q513444) (← links)
- 41 counterexamples to property (B) of the discrete time bomber problem (Q513590) (← links)
- A statistical method for synthesizing mediation analyses using the product of coefficient approach across multiple trials (Q513761) (← links)
- An alternative to unrelated randomized response techniques with logistic regression analysis (Q513767) (← links)
- Quantum inferring acausal structures and the Monty Hall problem (Q513824) (← links)
- Completely and partially executable sequences of actions in deontic context (Q513930) (← links)
