The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- ON A GENERALIZATION OF DEHN'S ALGORITHM (Q3606403) (← links)
- Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) (Q3608397) (← links)
- Planar Trivalent Network Computation (Q3608478) (← links)
- An Improved Exact Algorithm for Cubic Graph TSP (Q3608837) (← links)
- Enumerating Constrained Non-crossing Geometric Spanning Trees (Q3608849) (← links)
- An Application of the Goldwasser-Micali Cryptosystem to Biometric Authentication (Q3608907) (← links)
- Recursive Trust-Region Methods for Multiscale Nonlinear Optimization (Q3608990) (← links)
- Isometric Diamond Subgraphs (Q3611874) (← links)
- Approximating the Crossing Number of Apex Graphs (Q3611879) (← links)
- Long-Range Out-of-Sample Properties of Autoregressive Neural Networks (Q3612103) (← links)
- Density-Weighted Nyström Method for Computing Large Kernel Eigensystems (Q3612109) (← links)
- Persistent Neural States: Stationary Localized Activity Patterns in Nonlinear Continuous <i>n</i>-Population, <i>q</i>-Dimensional Neural Networks (Q3612110) (← links)
- Simplicity and Efficiency of Integrate-and-Fire Neuron Models (Q3612123) (← links)
- A Reproducing Kernel Hilbert Space Framework for Spike Train Signal Processing (Q3612128) (← links)
- Identifying Functional Connectivity in Large-Scale Neural Ensemble Recordings: A Multiscale Data Mining Approach (Q3612129) (← links)
- Nonparametric Conditional Density Estimation Using Piecewise-Linear Solution Path of Kernel Quantile Regression (Q3612133) (← links)
- A generic environment for modelling future launch operations—GEM-FLO: a success story in generic modelling (Q3612196) (← links)
- A guided tabu search for the heterogeneous vehicle routeing problem (Q3612218) (← links)
- Crafting a Proof Assistant (Q3612433) (← links)
- A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories (Q3612475) (← links)
- Inversion Attacks on Secure Hash Functions Using sat Solvers (Q3612479) (← links)
- A Security Analysis of the NIST SP 800-90 Elliptic Curve Random Number Generator (Q3612565) (← links)
- Secure Hybrid Encryption from Weakened Key Encapsulation (Q3612570) (← links)
- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm (Q3612661) (← links)
- A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms (Q3612931) (← links)
- Argument Dependencies in Tukang Besi (Q3613042) (← links)
- An argument game for stable semantics (Q3613173) (← links)
- Formal Global Optimisation with Taylor Models (Q3613424) (← links)
- An Agent Based Approach to the Selection Dilemma in CBR (Q3613448) (← links)
- VPOET: Using a Distributed Collaborative Platform for Semantic Web Applications (Q3613460) (← links)
- Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework (Q3613464) (← links)
- Information in the Nonstationary Case (Q3613610) (← links)
- Complete Stability in Multistable Delayed Neural Networks (Q3613612) (← links)
- Computational Predictions on the Receptive Fields and Organization of V2 for Shape Processing (Q3613618) (← links)
- The Variational Gaussian Approximation Revisited (Q3613619) (← links)
- Adaptive Improved Natural Gradient Algorithm for Blind Source Separation (Q3613625) (← links)
- Minimum Energy Broadcast and Disk Cover in Grid Wireless Networks (Q3613654) (← links)
- On Counting Homomorphisms to Directed Acyclic Graphs (Q3613747) (← links)
- Fixed Parameter Tractability of Binary Near-Perfect Phylogenetic Tree Reconstruction (Q3613799) (← links)
- Finite Element Approximation of Stochastic Partial Differential Equations driven by Poisson Random Measures of Jump Type (Q3614187) (← links)
- Algorithms for Square-3PC($\cdot, \cdot$)-Free Berge Graphs (Q3614194) (← links)
- Optimal Control of a Convective Boundary Condition in a Thermistor Problem (Q3614785) (← links)
- A Stable Algorithm for Flat Radial Basis Functions on a Sphere (Q3614808) (← links)
- An Exact Bounded Perfectly Matched Layer for Time-Harmonic Scattering Problems (Q3614823) (← links)
- PROJECT TEAM SELECTION USING FUZZY OPTIMIZATION APPROACH (Q3615047) (← links)
- Compact CCA-Secure Encryption for Messages of Arbitrary Length (Q3615626) (← links)
- On universal computably enumerable prefix codes (Q3616215) (← links)
- Measure of Correlation Orthogonal to Change in Firing Rate (Q3616497) (← links)
- Determining Burst Firing Time Distributions from Multiple Spike Trains (Q3616499) (← links)
- Accelerating Event-Driven Simulation of Spiking Neurons with Multiple Synaptic Time Constants (Q3616506) (← links)
