The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Information closure and the sceptical objection (Q484948) (← links)
- Plural quantifiers: a modal interpretation (Q484965) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- A filter-based artificial fish swarm algorithm for constrained global optimization: theoretical and practical issues (Q486394) (← links)
- Discretization orders for protein side chains (Q486406) (← links)
- Analysis of the strategy ``hiring above the \(m\)-th best candidate'' (Q486994) (← links)
- Propagation of nonclassical correlations through one-dimensional quantum networks (Q488169) (← links)
- New bounds on \(\bar{2}\)-separable codes of length 2 (Q488247) (← links)
- Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal (Q488261) (← links)
- Minimum order of graphs with given coloring parameters (Q488290) (← links)
- Adaptive-multilevel BDDC and its parallel implementation (Q488466) (← links)
- Counting lattice paths with four types of steps (Q489308) (← links)
- Edge-distinguishing index of a graph (Q489314) (← links)
- Solution algorithms for unrelated machines minmax regret scheduling problem with interval processing times and the total flow time criterion (Q490241) (← links)
- Fisher information matrix for branching processes with application to electron-multiplying charge-coupled devices (Q490280) (← links)
- Scheduling of parallel machines with sequence-dependent batches and product incompatibilities in an automotive glass facility (Q490371) (← links)
- Minimal change: relevance and recovery revisited (Q490421) (← links)
- On the complexity of solving polytree-shaped limited memory influence diagrams with binary variables (Q490443) (← links)
- Algorithm runtime prediction: methods \& evaluation (Q490455) (← links)
- Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
- Time cardinality constrained mean-variance dynamic portfolio selection and market timing: a stochastic control approach (Q490798) (← links)
- A globally converging algorithm for reactive robot navigation among moving and deforming obstacles (Q490842) (← links)
- Moving meshes to solve the time-dependent neutron diffusion equation in hexagonal geometry (Q491027) (← links)
- A note on the longest common compatible prefix problem for partial words (Q491152) (← links)
- Ancilla-free synthesis of large reversible functions using binary decision diagrams (Q491242) (← links)
- Computing real roots of real polynomials (Q491245) (← links)
- Efficient edge-skeleton computation for polytopes defined by oracles (Q491253) (← links)
- Correcting gene tree by removal and modification: tractability and approximability (Q491623) (← links)
- Information security practice and experience. 11th international conference, ISPEC 2015, Beijing, China, May 5--8, 2015. Proceedings (Q491667) (← links)
- Advances in cryptology -- EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26--30, 2015. Proceedings. Part I (Q491670) (← links)
- Large caps in projective space \(\mathrm{PG}(r, 4)\) (Q492007) (← links)
- New extremal binary self-dual codes from \(\mathbb{F}_4 + u \mathbb{F}_4\)-lifts of quadratic circulant codes over \(\mathbb{F}_4\) (Q492014) (← links)
- On using Lazard's projection in CAD construction (Q492024) (← links)
- Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme (Q492026) (← links)
- Parameterized and exact computation. 9th international symposium, IPEC 2014, Wroclaw, Poland, September 10--12, 2014. Revised selected papers (Q492155) (← links)
- Uncertainty reasoning for the semantic web III. ISWC international workshops, URSW 2011--2013. Revised selected papers (Q492667) (← links)
- Constructive side-channel analysis and secure design. 5th international workshop, COSADE 2014, Paris, France, April 13--15, 2014. Revised selected papers (Q492688) (← links)
- A general solution for robust linear programs with distortion risk constraints (Q492796) (← links)
- Using the gravitational emulation local search algorithm to solve the multi-objective flexible dynamic job shop scheduling problem in small and medium enterprises (Q492824) (← links)
- Exterior point simplex-type algorithms for linear and network optimization problems (Q492840) (← links)
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- Stationary anonymous sequential games with undiscounted rewards (Q493048) (← links)
- State constraints in impulsive control problems: Gamkrelidze-like conditions of optimality (Q493054) (← links)
- Performance analysis of parallel Schwarz preconditioners in the LES of turbulent channel flows (Q493397) (← links)
- Path following in the exact penalty method of convex programming (Q493687) (← links)
- Asymptotic analysis of estimators on multi-label data (Q493735) (← links)
- A generalized online mirror descent with applications to classification and regression (Q493737) (← links)
- Algorithms in bioinformatics. 15th international workshop, WABI 2015, Atlanta, GA, USA, September 10--12, 2015. Proceedings (Q493900) (← links)
- Pancake flipping is hard (Q494050) (← links)
- Normality and automata (Q494059) (← links)
