The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- On the operad of bigraft algebras. (Q478359) (← links)
- Optimal unbiased estimation of some population central moments (Q478371) (← links)
- An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic (Q478379) (← links)
- Verification and code generation for invariant diagrams in Isabelle (Q478381) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- A succinct canonical register automaton model (Q478388) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Programming with algebraic effects and handlers (Q478396) (← links)
- On polychoric and polyserial partial correlation coefficients: a Bayesian approach (Q478483) (← links)
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Numerical schemes for nonlinear predictor feedback (Q478521) (← links)
- Noise fuzzy clustering of time series by autoregressive metric (Q478532) (← links)
- Bertoluzza et al.'s metric as a basis for analyzing fuzzy data (Q478546) (← links)
- Minimum degree of the difference of two polynomials over~\({\mathbb Q}\), and weighted plane trees (Q478553) (← links)
- Refined methods for the identifiability of tensors (Q478578) (← links)
- Catalog of the optimal controls in cancer chemotherapy for the Gompertz model depending on PK/PD and the integral constraint (Q478655) (← links)
- Numerical study of blow-up in solutions to generalized Kadomtsev-Petviashvili equations (Q478663) (← links)
- On some properties of the Mittag-Leffler function \(E_\alpha(-t^\alpha)\), completely monotone for \(t>0\) with \(0<\alpha<1\) (Q478710) (← links)
- Sufficient conditions for strong local optimality in optimal control problems with \(L_{2}\)-type objectives and control constraints (Q478754) (← links)
- On optimal control of a sweeping process coupled with an ordinary differential equation (Q478761) (← links)
- Auto-regressive moving-average discrete-time dynamical systems and autocorrelation functions on real-valued Riemannian matrix manifolds (Q478767) (← links)
- A sufficient condition of Euclidean rings given by polynomial optimization over a box (Q478924) (← links)
- Mixed integer programming model for scheduling in unrelated parallel processor system with priority consideration (Q478929) (← links)
- Stochastic programming approach for energy management in electric microgrids (Q478949) (← links)
- Computational models for timetabling problem (Q478951) (← links)
- A mixed variational formulation for the wellposedness and numerical approximation of a PDE model arising in a 3-D fluid-structure interaction (Q478980) (← links)
- Tractability using periodized generalized Faure sequences (Q478997) (← links)
- Computational statistics with R (Q479005) (← links)
- Paralic confinement computations in coastal environment with interlocked areas (Q479069) (← links)
- Reduced basis finite element heterogeneous multiscale method for quasilinear elliptic homogenization problems (Q479073) (← links)
- An exponential integrator for a highly oscillatory Vlasov equation (Q479077) (← links)
- Application of Lie transform techniques for simulation of a charged particle beam (Q479079) (← links)
- Mathematical modelling of multi conductor cables (Q479113) (← links)
- Optimal control of magnetic fields in flow measurement (Q479118) (← links)
- Asymptotic boundary element methods for thin conducting sheets (Q479120) (← links)
- The Souza-Auricchio model for shape-memory alloys (Q479126) (← links)
- Estimating second-order characteristics of inhomogeneous spatio-temporal point processes (Q479151) (← links)
- Statistics for inhomogeneous space-time shot-noise Cox processes (Q479152) (← links)
- MAX-plus objects to study the complexity of graphs (Q479164) (← links)
- Value at ruin and tail value at ruin of the compound Poisson process with diffusion and efficient computational methods (Q479171) (← links)
- Testing serial independence via density-based measures of divergence (Q479175) (← links)
- The supremum of chi-square processes (Q479180) (← links)
- A variance-based method to rank input variables of the mesh adaptive direct search algorithm (Q479211) (← links)
- Solving maximum clique in sparse graphs: an \({O(nm+n2^{d/4})}\) algorithm for \(d\)-degenerate graphs (Q479213) (← links)
- A comparison of routing sets for robust network design (Q479214) (← links)
- Branch-and-price approach for the multi-skill project scheduling problem (Q479223) (← links)
- Smoothing Newton algorithm for the second-order cone programming with a nonmonotone line search (Q479230) (← links)
- 3D-hit: fast structural comparison of proteins on multicore architectures (Q479237) (← links)
- Acceleration strategies for the weight constrained shortest path problem with replenishment (Q479240) (← links)
- Exact model for the cell formation problem (Q479245) (← links)
