The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- How high can Baumgartner's \(\mathcal{I}\)-ultrafilters lie in the P-hierarchy? (Q494645) (← links)
- On the parameterized complexity of non-monotonic logics (Q494658) (← links)
- The three-term recursion for Chebyshev polynomials is mixed forward-backward stable (Q494669) (← links)
- Model checking software. 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24--26, 2015. Proceedings (Q494732) (← links)
- Restricted and swap common superstring: a multivariate algorithmic perspective (Q494787) (← links)
- Computing on rings by oblivious robots: a unified approach for different tasks (Q494795) (← links)
- Numerical methods for fourth-order elliptic equations with nonlocal boundary conditions (Q495041) (← links)
- Devising efficient numerical methods for oscillating patterns in reaction-diffusion systems (Q495100) (← links)
- Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday (Q495431) (← links)
- An analysis of the Rayleigh-Stokes problem for a generalized second-grade fluid (Q495525) (← links)
- Automatic integration using asymptotically optimal adaptive simpson quadrature (Q495532) (← links)
- Google Scholar makes it hard -- the complexity of organizing one's publications (Q495683) (← links)
- On the number of positions in chess without promotion (Q495765) (← links)
- Trustworthy global computing. 8th international symposium, TGC 2013, Buenos Aires, Argentina, August 30--31, 2013. Revised selected papers (Q495915) (← links)
- Generating square-free words efficiently (Q496050) (← links)
- New simple efficient algorithms computing powers and runs in strings (Q496538) (← links)
- Semiquantum key distribution without invoking the classical party's measurement capability (Q496891) (← links)
- Frequency-based similarity for parameterized sequences: formal framework, algorithms, and applications (Q497185) (← links)
- Exploiting structures in keyword queries for effective XML search (Q497211) (← links)
- Hamiltonian properties of honeycomb meshes (Q497228) (← links)
- Note on distance magic products \(G\circ C_4\) (Q497298) (← links)
- Bayesian approach for inconsistent information (Q497547) (← links)
- Selected areas in cryptography. 19th international conference, SAC 2012, Windsor, Canada, August 15--16, 2012. Revised selected papers (Q497616) (← links)
- Some results on the reciprocal sum-degree distance of graphs (Q498415) (← links)
- Learning Boolean logic models of signaling networks with ASP (Q498928) (← links)
- Analysis and design of molecular machines (Q498934) (← links)
- Distribution-dependent robust linear optimization with applications to inventory control (Q499320) (← links)
- Asymptotic enumeration of sparse uniform hypergraphs with given degrees (Q499481) (← links)
- Spatial information theory. 12th international conference, COSIT 2015, Santa Fe, NM, USA, October 12--16, 2015. Proceedings (Q499582) (← links)
- Point-primitive generalised hexagons and octagons (Q501694) (← links)
- Sourcing strategies in supply risk management: an approximate dynamic programming approach (Q502456) (← links)
- Addendum to ``Heuristics for the multi-period orienteering problem with multiple time windows'' (Q502476) (← links)
- Backstepping stabilization of the linearized \textit{Saint-Venant-Exner} model (Q503195) (← links)
- Continuous-time perpetuities and time reversal of diffusions (Q503390) (← links)
- Watermark options (Q503393) (← links)
- Market completion with derivative securities (Q503398) (← links)
- Liftings in finite graphs and linkages in infinite graphs with prescribed edge-connectivity (Q503651) (← links)
- Notes on use of generalized entropies in counting (Q503654) (← links)
- Assigned and unassigned distance geometry: applications to biological molecules and nanostructures (Q503659) (← links)
- Fortran programs for the time-dependent Gross-Pitaevskii equation in a fully anisotropic trap (Q504386) (← links)
- Directional Hölder metric regularity (Q504797) (← links)
- Counting and characterising functions with ``fast points'' for differential attacks (Q505073) (← links)
- Finding the threshold of exclusion for all single seat and multi-seat scoring rules: illustrated by results for the Borda and Dowdall rules (Q505282) (← links)
- A finite characterization and recognition of intersection graphs of hypergraphs with rank at most 3 and multiplicity at most 2 in the class of threshold graphs (Q505460) (← links)
- Information fusion algorithms for state estimation in multi-sensor systems with correlated missing measurements (Q505789) (← links)
- On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes (Q505972) (← links)
- Notes on the existence of a solution in the pairwise comparisons method using the heuristic rating estimation approach (Q505977) (← links)
- Visual stability analysis for model selection in graded possibilistic clustering (Q506291) (← links)
- Geometric selective harmony search (Q506337) (← links)
- Fuzzy granular gravitational clustering algorithm for multivariate data (Q506340) (← links)