The following pages link to zbMATH DE Number (P1451):
Displaying 50 items.
- Matroid intersection, base packing and base covering for infinite matroids (Q276439) (← links)
- The Szemerédi-Trotter theorem in the complex plane (Q276440) (← links)
- Dowker-type theorems for hyperconvex discs (Q276441) (← links)
- Formulae related to the \(q\)-Dixon formula with applications to Fibonomial sums (Q276443) (← links)
- On the exponential Diophantine equation \(x^2 + 2^a p^b = y^n\) (Q276448) (← links)
- Multiple Haar base in the converse theorems of approximation and imbedding theorems (Q276450) (← links)
- Results on uniqueness of entire functions whose certain difference polynomials share a small function (Q276452) (← links)
- Embedding operators of Sobolev spaces with variable exponents and applications (Q276453) (← links)
- On some problems of Euclidean Ramsey theory (Q276454) (← links)
- Approximation of functions from Nikolskii-Besov type classes of generalized mixed smoothness (Q276457) (← links)
- Erratum to our paper: On the divergence of Fourier series of functions in several variables (Q276460) (← links)
- Ribbon proofs (Q276462) (← links)
- Cumulative computing (Q276464) (← links)
- Entropic geometry from logic (Q276466) (← links)
- Towards the correctness of security protocols (Q276469) (← links)
- Domain-theoretic solution of differential equations (scalar fields) (Q276473) (← links)
- The security picalculus and non-interference (extended abstract) (Q276474) (← links)
- Intensional double glueing, biextensional collapse, and the Chu construction (Q276476) (← links)
- Contextual equivalence for higher-order \(\pi\)-calculus revisited (Q276479) (← links)
- On the semantics of the bad-variable constructor in Algol-like languages (Q276481) (← links)
- Generic transforms on incomplete specifications of asynchronous interfaces (Q276483) (← links)
- Secure protocol composition (Q276488) (← links)
- Pseudo-distributive laws (Q276490) (← links)
- How do domains model topologies? (Q276492) (← links)
- A type system for robust declassification (Q276494) (← links)
- Compact coverages generate spectral frames. (Q276495) (← links)
- Chu spaces, concept lattices, and domains (Q276496) (← links)
- Saddle point approach to solving problem of optimal control with fixed ends (Q276498) (← links)
- A preconditioned block Arnoldi method for large scale Lyapunov and algebraic Riccati equations (Q276501) (← links)
- Global optimization approach to Malfatti's problem (Q276503) (← links)
- Generalized subdifferentials of the sign change counting function (Q276504) (← links)
- Notes on the single route lateral transhipment problem (Q276506) (← links)
- Balancing mixed-model assembly lines with sequence-dependent tasks via hybrid genetic algorithm (Q276510) (← links)
- Practical exponential set stabilization for switched nonlinear systems with multiple subsystem equilibria (Q276514) (← links)
- On global search in nonconvex optimal control problems (Q276516) (← links)
- Guest editorial: Revised selected papers from the LION 8 conference (Q276518) (← links)
- Controlling selection areas of useful infeasible solutions for directed mating in evolutionary constrained multi-objective optimization (Q276522) (← links)
- On some statistical procedures for stock selection problem (Q276526) (← links)
- On multivariate network analysis of statistical data sets with different measures of association (Q276528) (← links)
- Models and algorithms for competitive facility location problems with different customer behavior (Q276530) (← links)
- A hybrid clonal selection algorithm for the location routing problem with stochastic demands (Q276534) (← links)
- Algorithm portfolios for noisy optimization (Q276539) (← links)
- POPMUSIC as a matheuristic for the berth allocation problem (Q276540) (← links)
- GeneRa: a problem generator for radiotherapy treatment scheduling problems (Q276543) (← links)
- Scheduling jobs on a single serial-batching machine with dynamic job arrivals and multiple job types (Q276548) (← links)
- Portfolio approaches for constraint optimization problems (Q276552) (← links)
- On various nonlinearity measures for Boolean functions (Q276554) (← links)
- On solving LPN using BKW and variants, Implementation and analysis (Q276557) (← links)
- On the distinctness of primitive sequences over \({\mathbb Z}/(p^{e}q)\) modulo 2 (Q276558) (← links)
- Statistical properties of half-\(\ell\)-sequences (Q276560) (← links)
