The following pages link to describes a project that uses (P1463):
Displaying 50 items.
- Minimum energy desynchronizing control for coupled neurons (Q385280) (← links)
- Inferring evoked brain connectivity through adaptive perturbation (Q385287) (← links)
- Bifurcations of large networks of two-dimensional integrate and fire neurons (Q385298) (← links)
- Estimating summary statistics in the spike-train space (Q385299) (← links)
- Testing for significance of phase synchronisation dynamics in the EEG (Q385303) (← links)
- Stimulus features, resetting curves, and the dependence on adaptation (Q385307) (← links)
- Nonlinear multilayered representation of graph-signals (Q385311) (← links)
- Illumination invariant face recognition using quaternion-based correlation filters (Q385320) (← links)
- A novel solution to the P4P problem for an uncalibrated camera (Q385324) (← links)
- Handwritten data clustering using agents competition in networks (Q385325) (← links)
- Estimating photometric properties from image collections (Q385345) (← links)
- Spatial recurrences for pedestrian classification (Q385349) (← links)
- A diffeomorphic mapping based characterization of temporal sequences: application to the pelvic organ dynamics assessment (Q385360) (← links)
- The set of autotopisms of partial Latin squares (Q385375) (← links)
- Dixon's theorem and random synchronization (Q385392) (← links)
- Parametric design of robust fault isolation observers for linear non-square systems (Q385427) (← links)
- The Pythagoras number of real sum of squares polynomials and sum of square magnitudes of polynomials (Q385438) (← links)
- The cubical cohomology ring: an algorithmic approach (Q385447) (← links)
- A new computational approach to ideal theory in number fields (Q385455) (← links)
- An efficient heuristic algorithm for the capacitated \(p\)-median problem (Q385459) (← links)
- MPOC: an agglomerative algorithm for multicriteria partially ordered clustering (Q385464) (← links)
- Algorithms for the maximum \(k\)-club problem in graphs (Q385488) (← links)
- On homomorphisms indexed by semistandard tableaux. (Q385532) (← links)
- The polyanalytic Ginibre ensembles (Q385564) (← links)
- Grade filtration of linear functional systems. (Q385589) (← links)
- On a strange evaluation of the hypergeometric series by Gosper (Q385616) (← links)
- Refereed delegation of computation (Q385709) (← links)
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Enumeration of permutations by number of alternating runs (Q385736) (← links)
- Reversible MCMC on Markov equivalence classes of sparse directed acyclic graphs (Q385762) (← links)
- A simple bootstrap method for constructing nonparametric confidence bands for functions (Q385770) (← links)
- Groups acting on Gaussian graphical models (Q385776) (← links)
- Marginal empirical likelihood and sure independence feature screening (Q385789) (← links)
- A smoothing and regularization predictor-corrector method for nonlinear inequalities (Q385870) (← links)
- Three-dimensional boundary conditions for numerical simulations of reactive compressible flows with complex thermochemistry (Q385880) (← links)
- Solution of generalized shifted linear systems with complex symmetric matrices (Q385885) (← links)
- An asymptotic-preserving all-speed scheme for the Euler and Navier-Stokes equations (Q385888) (← links)
- Multi-output local Gaussian process regression: applications to uncertainty quantification (Q385889) (← links)
- Sampling-free linear Bayesian update of polynomial chaos representations (Q385895) (← links)
- Numerical simulation of four-field extended magnetohydrodynamics in dynamically adaptive curvilinear coordinates via Newton-Krylov-Schwarz (Q385900) (← links)
- Upwind schemes for the wave equation in second-order form (Q385901) (← links)
- A parallel fast algorithm for computing the Helmholtz integral operator in 3-D layered media (Q385903) (← links)
- Numerical methods for solid mechanics on overlapping grids: linear elasticity (Q385907) (← links)
- Solution of the 1D Schrödinger equation in semiconductor heterostructures using the immersed interface method (Q385919) (← links)
- Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11--13, 2013. Proceedings (Q385988) (← links)
- Compact binary relation representations with rich functionality (Q386006) (← links)
- Compositional probabilistic verification through multi-objective model checking (Q386007) (← links)
- An approach for lifetime reliability analysis using theorem proving (Q386029) (← links)
- A mechanisation of some context-free language theory in HOL4 (Q386032) (← links)
- A representation theorem for (\(q\)-)holonomic sequences (Q386034) (← links)
