The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs (Q3179394) (← links)
- Constrained $H^1$-Regularization Schemes for Diffeomorphic Image Registration (Q3179596) (← links)
- On importance sampling in the problem of global optimization (Q3182211) (← links)
- Computation with Spikes in a Winner-Take-All Network (Q3182477) (← links)
- Constraint on the Number of Synaptic Inputs to a Visual Cortical Neuron Controls Receptive Field Formation (Q3182484) (← links)
- Orientation Disparity: A Cue for 3D Orientation? (Q3182487) (← links)
- A Model for Learning Topographically Organized Parts-Based Representations of Objects in Visual Cortex: Topographic Nonnegative Matrix Factorization (Q3182490) (← links)
- Evaluation of Trajectory Planning Models for Arm-Reaching Movements Based on Energy Cost (Q3182491) (← links)
- Filtering Out Deep Brain Stimulation Artifacts Using a Nonlinear Oscillatory Model (Q3182495) (← links)
- Simulation as a pedagogical tool for managerial decision-making in a transition economy (Q3182653) (← links)
- A decision approach to competitive electronic sealed-bid auctions for land (Q3182666) (← links)
- Bounds on Non-surjective Cellular Automata (Q3182945) (← links)
- Level Set Based Nonlocal Surface Restoration (Q3183336) (← links)
- Compact Multiscale Finite Volume Method for Heterogeneous Anisotropic Elliptic Equations (Q3183353) (← links)
- Sparse and Redundant Modeling of Image Content Using an Image-Signature-Dictionary (Q3183364) (← links)
- Measure-Valued Images, Associated Fractal Transforms, and the Affine Self-Similarity of Images (Q3183395) (← links)
- Connect the Dot: Computing Feed-Links with Minimum Dilation (Q3183440) (← links)
- Minimal Locked Trees (Q3183441) (← links)
- Drawing Graphs with Right Angle Crossings (Q3183456) (← links)
- Integer Programming: Optimization and Evaluation Are Equivalent (Q3183481) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- Distinguisher and Related-Key Attack on the Full AES-256 (Q3183567) (← links)
- How to Encipher Messages on a Small Domain (Q3183570) (← links)
- Smooth Projective Hashing for Conditionally Extractable Commitments (Q3183591) (← links)
- Dynamic optimisation of price, warranty length and production rate (Q3183751) (← links)
- The Voynich Manuscript: Evidence of the Hoax Hypothesis (Q3183958) (← links)
- Representation results for defeasible logic (Q3184510) (← links)
- Information Retrieval (Q3184616) (← links)
- A General Testability Theory (Q3184700) (← links)
- Turing Completeness Using Three Mobile Membranes (Q3184756) (← links)
- Optimal Mixing Enhancement by Local Perturbation (Q3186102) (← links)
- On Approximation Algorithms for Concave Mixed-Integer Quadratic Programming (Q3186487) (← links)
- Intersection Cuts for Bilevel Optimization (Q3186493) (← links)
- Submodular Unsplittable Flow on Trees (Q3186514) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs (Q3186590) (← links)
- Checking Reversibility of Boolean Functions (Q3186609) (← links)
- Sequential Bounding Methods for Two-Stage Stochastic Programs (Q3186665) (← links)
- On the Strong Metric Dimension of Cartesian Sum Graphs (Q3187017) (← links)
- Synchronization of Independently Moving Cameras via Motion Recovery (Q3188210) (← links)
- Off-the-Grid Recovery of Piecewise Constant Images from Few Fourier Samples (Q3188215) (← links)
- INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN (Q3188340) (← links)
- A quantitative improvement for Roth's theorem on arithmetic progressions: Table 1. (Q3188349) (← links)
- Two-sided Group Digraphs and Graphs (Q3188663) (← links)
- Trace Complexity of Chaotic Reversible Cellular Automata (Q3188914) (← links)
- The tree inclusion problem (Q3189022) (← links)
- Kernel(s) for problems with no kernel (Q3189081) (← links)
- Computing the Crosscap Number of a Knot Using Integer Programming and Normal Surfaces (Q3189660) (← links)
- NLEVP (Q3189663) (← links)
- Semantics of static pointcuts in aspectJ (Q3189782) (← links)
