The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets (Q488240) (← links)
- A generalized birthday approach for efficiently finding linear relations in \(\ell\)-sequences (Q488250) (← links)
- Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal (Q488261) (← links)
- ETRU: NTRU over the Eisenstein integers (Q488263) (← links)
- Total positivity of Catalan triangle (Q488279) (← links)
- On hyperovals of polar Grassmannians (Q488293) (← links)
- Equivalence classes of Dyck paths modulo some statistics (Q488296) (← links)
- Identifying frequent items in distributed data sets (Q488300) (← links)
- An efficient implementation of Bailey and Borwein's algorithm for parallel random number generation on graphics processing units (Q488304) (← links)
- A social intelligent system for multi-objective optimization of classification rules using cultural algorithms (Q488307) (← links)
- An a posteriori error estimator for \(hp\)-adaptive continuous Galerkin methods for photonic crystal applications (Q488315) (← links)
- Automatic tracking of corona propagation in three-dimensional simulations of non-normal drop impact on a liquid film (Q488318) (← links)
- Algebraic flux correction for nonconforming finite element discretizations of scalar transport problems (Q488320) (← links)
- The interventionist account of causation and non-causal association laws (Q488344) (← links)
- A regularity theoretic approach to actual causation (Q488345) (← links)
- An architectural approach to the analysis, verification and validation of software intensive embedded systems (Q488384) (← links)
- Finding large \(k\)-clubs in undirected graphs (Q488393) (← links)
- GoSCAN: decentralized scalable data clustering (Q488396) (← links)
- Essential particle swarm optimization queen with tabu search for MKP resolution (Q488403) (← links)
- Adaptive-multilevel BDDC and its parallel implementation (Q488466) (← links)
- Simple proofs of classical results on zeros of \(J_{\nu}(x)\) and \(J'_{\nu}(x)\) (Q488485) (← links)
- A coordinated view of the temporal evolution of large-scale internet events (Q488502) (← links)
- Cacti and filtered distributive laws (Q488558) (← links)
- Small knot complements, exceptional surgeries and hidden symmetries (Q488559) (← links)
- Energy-efficient job stealing for CPU-intensive processing in mobile devices (Q488618) (← links)
- Energy efficient smart-relay-based cooperative MAC for wireless networks (Q488623) (← links)
- mReno: a practical multipath congestion control for communication networks (Q488647) (← links)
- Application of a composition of generating functions for obtaining explicit formulas of polynomials (Q488722) (← links)
- A parallel lattice Boltzmann method for large eddy simulation on multiple GPUs (Q488784) (← links)
- Efficient frequency-transient co-simulation of coupled heat-electromagnetic problems (Q488798) (← links)
- Parallel solutions of static Hamilton-Jacobi equations for simulations of geological folds (Q488803) (← links)
- Simultaneous estimation of mass and aerodynamic rotor imbalances for wind turbines (Q488805) (← links)
- Adaptive routing protocol for mobile ad hoc networks (Q488849) (← links)
- Source identification for mobile devices, based on wavelet transforms combined with sensor imperfections (Q488854) (← links)
- Grid resource discovery based on distributed learning automata (Q488857) (← links)
- Fast multi-scale detection of overlapping communities using local criteria (Q488870) (← links)
- On the efficiency of several VM provisioning strategies for workflows with multi-threaded tasks on clouds (Q488877) (← links)
- A DEA model for identifying critical input-output performance measures (Q488890) (← links)
- Finding the topology of implicitly defined two algebraic plane curves (Q488901) (← links)
- Consensus control design for multi-agent systems using relative output feedback (Q488912) (← links)
- A family of the local convergence of the improved secant methods for nonlinear equality constrained optimization subject to bounds on variables (Q488922) (← links)
- Representation and automated transformation of geometric statements (Q488928) (← links)
- Measuring and locating zones of chaos and irregularity (Q488940) (← links)
- An affine scaling derivative-free trust region method with interior backtracking technique for bounded-constrained nonlinear programming (Q488945) (← links)
- Framed sheaves on projective stacks (Q488954) (← links)
- Root statistics of random polynomials with bounded Mahler measure (Q488956) (← links)
- On spaces of modular forms spanned by eta-quotients (Q488958) (← links)
- Functional inequalities for generalized inverse trigonometric and hyperbolic functions (Q489009) (← links)
- Continuum mechanics using Mathematica. Fundamentals, methods, and applications (Q489088) (← links)
- Quadratic optimization over a second-order cone with linear equality constraints (Q489094) (← links)
