The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- A class of hybrid methods for quasi-variational inequalities (Q479250) (← links)
- Two modified three-term conjugate gradient methods with sufficient descent property (Q479259) (← links)
- Transitive permutation groups where nontrivial elements have at most two fixed points. (Q479274) (← links)
- Double centralizers of unipotent elements in simple algebraic groups of type \(E_7\) and \(E_8\). (Q479294) (← links)
- Containment counterexamples for ideals of various configurations of points in \(\mathbb{P}^N\) (Q479304) (← links)
- On the nodal set of the eigenfunctions of the Laplace-Beltrami operator for bounded surfaces in \(\mathbb R^3\): a computational approach (Q479343) (← links)
- Spectral learning of weighted automata. A forward-backward perspective (Q479459) (← links)
- Learning register automata: from languages to program structures (Q479461) (← links)
- \textsc{PAutomaC}: a probabilistic automata and hidden Markov models learning competition (Q479466) (← links)
- A comparison of collapsed Bayesian methods for probabilistic finite automata (Q479467) (← links)
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- Finding relational redescriptions (Q479473) (← links)
- Least-squares independence regression for non-linear causal inference under non-Gaussian noise (Q479477) (← links)
- The variational Garrote (Q479478) (← links)
- Efficient implementation of class-based decomposition schemes for naïve Bayes (Q479479) (← links)
- Modified maximum spacings method for generalized extreme value distribution and applications in real data analysis (Q479487) (← links)
- On \(p\)-adic properties of the Stirling numbers of the first kind (Q479574) (← links)
- The order of the reductions of an algebraic integer (Q479578) (← links)
- Injectivity of the specialization homomorphism of elliptic curves (Q479581) (← links)
- Determination of \(\mathrm{GL}(3)\) Hecke-Maass forms from twisted central values (Q479597) (← links)
- The elliptic dilogarithm for the sunset graph (Q479600) (← links)
- Galois uniformity in quadratic dynamics over \(k(t)\) (Q479604) (← links)
- Quadratic B-splines in the analog equation method for the nonuniform torsional problem of bars (Q479644) (← links)
- Finite element and molecular dynamics models for predicting effective mechanical behaviors of carbon nanotube bundles (Q479650) (← links)
- On two methods for reconstructing homogeneous hypersurface singularities from their Milnor algebras (Q479672) (← links)
- Simple irreducible subgroups of exceptional algebraic groups. (Q479739) (← links)
- Almost simple groups with socle PSL\((2,q)\) acting on abstract regular polytopes (Q479765) (← links)
- On lower central series quotients of finitely generated algebras over \(\mathbb Z\). (Q479768) (← links)
- Regular subalgebras and nilpotent orbits of real graded Lie algebras (Q479794) (← links)
- An \(L_2\)-quotient algorithm for finitely presented groups on arbitrarily many generators. (Q479797) (← links)
- Bounded regularity (Q479798) (← links)
- Computations for Coxeter arrangements and Solomon's descent algebra. III: Groups of rank seven and eight. (Q479802) (← links)
- Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals (Q479803) (← links)
- Runtime verification of embedded real-time systems (Q479806) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Quantifier elimination by dependency sequents (Q479823) (← links)
- Quantifier-free encoding of invariants for hybrid systems (Q479826) (← links)
- Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry (Q479832) (← links)
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- Verifying global start-up for a Möbius ring-oscillator (Q479839) (← links)
- Budget-bounded model-checking pushdown systems (Q479843) (← links)
- Compressive optical deflectometric tomography: a constrained total-variation minimization approach (Q479857) (← links)
- Kozlov-Maz'ya iteration as a form of Landweber iteration (Q479866) (← links)
- An adaptive finite element method in \(L^2\)-TV-based image denoising (Q479877) (← links)
- Bayesian image restoration for mosaic active imaging (Q479883) (← links)
- Compressed sensing with coherent tight frames via \(l_q\)-minimization for \(0 < q \leq 1\) (Q479885) (← links)
- Perfect radar pulse compression via unimodular Fourier multipliers (Q479896) (← links)
- Learning circulant sensing kernels (Q479905) (← links)
