The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- A code-based group signature scheme (Q510499) (← links)
- Improving the security and efficiency of block ciphers based on LS-designs (Q510503) (← links)
- Bounds on spectrum graph coloring (Q510538) (← links)
- Enumerating lattice 3-polytopes (Q510560) (← links)
- Comparing decoding methods for quaternary linear codes (Q510602) (← links)
- On the construction of triples of diagonal Latin squares of order 10 (Q510613) (← links)
- Constitutive model for flake graphite cast iron automotive brake discs: from macroscopic multiscale models to a 1D rheological description (Q510651) (← links)
- Dissipative heating of elastomers: a new modelling approach based on finite and coupled thermomechanics (Q510663) (← links)
- An energy-based method to determine material constants in nonlinear rheology with applications (Q510755) (← links)
- Microstructure-based modelling of multiphase materials and complex structures (Q510765) (← links)
- Thermodynamic analysis of shark skin texture surfaces for microchannel flow (Q510772) (← links)
- Constitutive model for flake graphite cast iron automotive brake discs: induced anisotropic damage model under complex loadings (Q510788) (← links)
- Neglected transport equations: extended Rankine-Hugoniot conditions and \(J\)-integrals for fracture (Q510799) (← links)
- Efficient evaluation of scaled proximal operators (Q510885) (← links)
- Component-wise incremental LTL model checking (Q510894) (← links)
- Computing maximal weak and other bisimulations (Q510897) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Solving LP using random projections (Q510927) (← links)
- Dual approaches for a specific class of integer nonlinear programming problems (Q510937) (← links)
- The linear extension polytope of a poset (Q510939) (← links)
- A branch\&price\&cut algorithm for the vehicle routing problem with intermediate replenishment facilities (Q510949) (← links)
- A generalized neighborhood for cellular automata (Q511006) (← links)
- Partial evaluation of string obfuscations for Java malware detection (Q511016) (← links)
- Constraint logic programming with a relational machine (Q511023) (← links)
- Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025) (← links)
- Error minimizing relaxation strategies in Landweber and Kaczmarz type iterations (Q511032) (← links)
- Photoacoustic tomography with spatially varying compressibility and density (Q511040) (← links)
- Finite element methods. A practical guide (Q511104) (← links)
- The exact information-based complexity of smooth convex minimization (Q511109) (← links)
- On the Petras algorithm for verified integration of piecewise analytic functions (Q511115) (← links)
- Glowworm swarm optimization. Theory, algorithms, and applications (Q511120) (← links)
- Hybrid Bellman-Ford-Dijkstra algorithm (Q511150) (← links)
- Variable selection for generalized varying coefficient partially linear models with diverging number of parameters (Q511161) (← links)
- A new periodic solution to Jacobi elliptic functions of MKdV equation and BBM equation (Q511199) (← links)
- Isochronicity and linearizability of a planar cubic system (Q511290) (← links)
- Spectra of the finite simple groups \(E_{7}(q)\) (Q511331) (← links)
- A dynamically adaptive lattice Boltzmann method for thermal convection problems (Q511358) (← links)
- A metaheuristic for a numerical approximation to the mass transfer problem (Q511366) (← links)
- Set-membership identifiability of nonlinear models and related parameter estimation properties (Q511376) (← links)
- Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs (Q511402) (← links)
- A uniform asymptotic formula for the second moment of primitive \(L\)-functions on the critical line (Q511436) (← links)
- \(\mathbb{Q}\)-Fano threefolds of index 7 (Q511446) (← links)
- All roots spectral methods: constraints, floating point arithmetic and root exclusion (Q511520) (← links)
- On the mean squared error of the ridge estimator of the covariance and precision matrix (Q511555) (← links)
- Kac's representation for empirical copula process from an asymptotic viewpoint (Q511559) (← links)
- A new variance component score test for testing distributed lag functions with applications in time series analysis (Q511563) (← links)
- Integrated depth for measurable functions and sets (Q511575) (← links)
- Fast calculation of boundary crossing probabilities for Poisson processes (Q511580) (← links)
- Scalable learning and inference in Markov logic networks (Q511628) (← links)
- Oddness/evenness-based classifiers for Boolean or numerical data (Q511634) (← links)