The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Benchmarking a model checker for algorithmic improvements and tuning for performance (Q453484) (← links)
- Incremental preprocessing methods for use in BMC (Q453488) (← links)
- Exploring structural symmetry automatically in symbolic trajectory evaluation (Q453494) (← links)
- Antichains and compositional algorithms for LTL synthesis (Q453498) (← links)
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- Cuts from proofs: a complete and practical technique for solving linear inequalities over integers (Q453505) (← links)
- Verification of STM on relaxed memory models (Q453508) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Explaining counterexamples using causality (Q453516) (← links)
- Transparent partial order reduction (Q453518) (← links)
- Efficient emptiness check for timed Büchi automata (Q453519) (← links)
- Fences in weak memory models (Q453523) (← links)
- Achieving distributed control through model checking (Q453529) (← links)
- Bounded underapproximations (Q453533) (← links)
- Symbolic bounded synthesis (Q453535) (← links)
- Constructive Boolean circuits and the exactness of timed ternary simulation (Q453539) (← links)
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
- Multivariate interpolation with increasingly flat radial basis functions of finite smoothness (Q453550) (← links)
- Numerical integration with polynomial exactness over a spherical cap (Q453552) (← links)
- Alternating and sporadic simple groups are determined by their character degrees. (Q453560) (← links)
- Mixing and bimolecular reaction kinetics in a plane Poisseulle flow (Q453574) (← links)
- Exploiting subproblem dominance in constraint programming (Q453591) (← links)
- A note on the global convergence theorem of the scaled conjugate gradient algorithms proposed by Andrei (Q453599) (← links)
- Robust portfolio optimization: a conic programming approach (Q453610) (← links)
- Enhancing RLT-based relaxations for polynomial programming problems via a new class of \(v\)-semidefinite cuts (Q453612) (← links)
- A combined class of self-scaling and modified quasi-Newton methods (Q453615) (← links)
- Mixed-integer nonlinear programs featuring ``on/off'' constraints (Q453616) (← links)
- Optimal control of Maxwell's equations with regularized state constraints (Q453618) (← links)
- Scaling linear optimization problems prior to application of the simplex method (Q453620) (← links)
- A preconditioning technique for Schur complement systems arising in stochastic optimization (Q453622) (← links)
- Rigorous filtering using linear relaxations (Q453629) (← links)
- Extremal values of global tolerances in combinatorial optimization with an additive objective function (Q453633) (← links)
- Non-linear mixed logit (Q453643) (← links)
- Inferring beliefs as subjectively imprecise probabilities (Q453645) (← links)
- On semi-weakly \(n\)-hyponormal weighted shifts (Q453671) (← links)
- FPGA-implementation of discrete wavelet transform with application to signal denoising (Q453687) (← links)
- A novel decimal logarithmic converter based on first-order polynomial approximation (Q453697) (← links)
- Binary genetic encoding for the synthesis of mixed-mode circuit topologies (Q453701) (← links)
- Dynamics of simple balancing models with time-delayed switching feedback control (Q453736) (← links)
- Lieb-Robinson bounds for the Toda lattice (Q453755) (← links)
- Spectral estimation on the sphere with needlets: high frequency asymptotics (Q453778) (← links)
- Periodically correlated autoregressive Hilbertian processes (Q453784) (← links)
- A new preconditioner for the interface system arising in a fast Helmholtz solver (Q453793) (← links)
- Heuristic regularization methods for numerical differentiation (Q453796) (← links)
- Perturbed MEBDF methods (Q453801) (← links)
- Exponential \(\mathcal H_{\infty}\) stable learning method for Takagi-Sugeno fuzzy delayed neural networks: a convex optimization approach (Q453804) (← links)
- Two-stage least squares based iterative identification algorithm for controlled autoregressive moving average (CARMA) systems (Q453817) (← links)
- Bounds for complete elliptic integrals of the second kind with applications (Q453845) (← links)
- A linearisation method for non-linear singular boundary value problems (Q453849) (← links)
- On the enumeration of the set of numerical semigroups with fixed Frobenius number. (Q453850) (← links)
