The following pages link to OpenAlex ID (P388):
Displaying 50 items.
- Meet precontinuous posets. (Q276413) (← links)
- \(\mathbb T^\omega\) as a stable universal domain. (Q276416) (← links)
- Observationally-induced algebras in domain theory (Q276418) (← links)
- A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
- On a condition for semirings to induce compact information algebras. (Q276423) (← links)
- A note on finitely derived information systems (Q276427) (← links)
- Characterising E-projectives via co-monads (Q276429) (← links)
- Formal contexts for algebraic domains (Q276430) (← links)
- Erratum to: ``A generalization of the Goldston-Pintz-Yildirim prime gaps result to number fields'' (Q276432) (← links)
- On the classification of abelian groups. (Q276434) (← links)
- A subexponential upper bound for the on-line chain partitioning problem (Q276436) (← links)
- Packing anchored rectangles (Q276437) (← links)
- 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)
- Towards the correctness of security protocols (Q276469) (← links)
- The security picalculus and non-interference (extended abstract) (Q276474) (← links)
- Contextual equivalence for higher-order \(\pi\)-calculus revisited (Q276479) (← links)
- Generic transforms on incomplete specifications of asynchronous interfaces (Q276483) (← links)
- Secure protocol composition (Q276488) (← links)
- Compact coverages generate spectral frames. (Q276495) (← 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)
