The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Infinite-state invariant checking with IC3 and predicate abstraction (Q2363814) (← links)
- On symmetric circuits and fixed-point logics (Q2363965) (← links)
- Schedulability analysis of Ethernet audio video bridging networks with scheduled traffic support (Q2364029) (← links)
- Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18--21, 2017. Proceedings (Q2364110) (← links)
- Convex optimization learning of faithful Euclidean distance representations in nonlinear dimensionality reduction (Q2364497) (← links)
- Trading strategies generated by Lyapunov functions (Q2364535) (← links)
- Equilibrium in risk-sharing games (Q2364537) (← links)
- Distance-regular Cayley graphs with least eigenvalue \(-2\) (Q2364625) (← links)
- The uniqueness of a distance-regular graph with intersection array \(\{32,27,8,1;1,4,27,32\}\) and related results (Q2364627) (← links)
- The graphs with all but two eigenvalues equal to \(-2\) or 0 (Q2364633) (← links)
- On almost small and almost large super-Vandermonde sets in \(\mathrm{GF}(q)\) (Q2364638) (← links)
- Bounding basis reduction properties (Q2364641) (← links)
- Visual structure in mathematical expressions (Q2364680) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems (Q2364705) (← links)
- Approximating multidimensional subset sum and Minkowski decomposition of polygons (Q2364904) (← links)
- The constraint-based knowledge broker model: Semantics, implementation and analysis (Q2365135) (← links)
- A temporal model of animal behavior based on a fractality in the feeding of Drosophila melanogaster (Q2365824) (← links)
- A language to describe the growth of neurites (Q2365829) (← links)
- The searching over separators strategy to solve some NP-hard problems in subexponential time (Q2366228) (← links)
- Alternative parallel implementations of an AR-modified covariance spectral estimator for diagnostic ultrasonic blood flow studies (Q2366425) (← links)
- Applying tabu search to the job-shop scheduling problem (Q2367003) (← links)
- Stochastical aspects of neuronal dynamics: Fokker-Planck approach (Q2367243) (← links)
- A model for neural representation of binocular disparity in striate cortex: Distributed representation and veto mechanism (Q2367245) (← links)
- Coincidence detectors and two-pulse visual temporal integration: New theoretical results and comparison with data (Q2367246) (← links)
- Diffusion approximations for open queueing networks with service interruptions (Q2368083) (← links)
- Polling systems and multitype branching processes (Q2368086) (← links)
- On NP-hardness of the clique partition -- independence number gap recognition and related problems (Q2368935) (← links)
- Exploring networks with traceroute-like probes: Theory and simulations (Q2368960) (← links)
- Computing queries with higher-order logics (Q2369013) (← links)
- Subspace distance analysis with application to adaptive Bayesian algorithm for face recognition (Q2369569) (← links)
- A clustering method for automatic biometric template selection (Q2369576) (← links)
- Face recognition based on 2D Fisherface approach (Q2369600) (← links)
- Notes on shape orientation where the standard method does not work (Q2369625) (← links)
- Signatures versus histograms: definitions, distances and algorithms (Q2369636) (← links)
- Formal methods and stochastic models for performance evaluation. Third European performance engineering workshop, EPEW 2006, Budapest, Hungary, June 21--22, 2006. Proceedings. (Q2369813) (← links)
- Graph treewidth and geometric thickness parameters (Q2369933) (← links)
- On obtaining quadratic and cubic error convergence using weighted Kronecker-sequences (Q2369943) (← links)
- A new matrix approach to real FFTs and convolutions of length \(2^k\) (Q2369946) (← links)
- Fuzzy implication operators for difference operations for fuzzy sets and cardinality-based measures of comparison (Q2370355) (← links)
- Extremal problems on consecutive \(L(2,1)\)-labelling (Q2370429) (← links)
- Self-tuning experience weighted attraction learning in games (Q2370497) (← links)
- Advances in cryptology -- CRYPTO 2006. 26th annual international cryptology conference, Santa Barbara, California, USA, August 20--24, 2006. Proceedings (Q2370668) (← links)
- A numerical scheme for regularized anisotropic curve shortening flow (Q2371039) (← links)
- Almost-Delaunay simplices: Robust neighbor relations for imprecise 3D points using CGAL (Q2371333) (← links)
- A package for exact kinetic data structures and sweepline algorithms (Q2371341) (← links)
- On \((L,M)\)-fuzzy quasi-uniform spaces (Q2372279) (← links)
- Cyclic, diagonal and facial colorings -- a missing case (Q2372426) (← links)
- The halting problem is decidable on a set of asymptotic probability one (Q2372684) (← links)
- Development of a human neuro-musculo-skeletal model for investigation of spinal cord injury (Q2372965) (← links)
