The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Where Are Limits Needed in Calculus? (Q3002529) (← links)
- Analytical comparison of reversed nested Miller frequency compensation techniques (Q3002576) (← links)
- Packing identical spheres into a cylinder (Q3002688) (← links)
- Designing Efficient Spaced Seeds for SOLiD Read Mapping (Q3002743) (← links)
- On the Heilbronn Optimal Configuration of Seven Points in the Square (Q3003236) (← links)
- Modularity of P-Log Programs (Q3003239) (← links)
- Pushing Efficient Evaluation of HEX Programs by Modular Decomposition (Q3003246) (← links)
- Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis (Q3003259) (← links)
- A Formal Study of Power Variability Issues and Side-Channel Attacks for Nanoscale Devices (Q3003379) (← links)
- Concurrent Composition in the Bounded Quantum Storage Model (Q3003398) (← links)
- Numerical Approximation of a Control Problem for Advection-Diffusion Processes (Q3004467) (← links)
- Recent Developments in the Theory of Pre-processing (Q3004648) (← links)
- Degree-Driven Design for Correct Geometric Algorithms (Q3004650) (← links)
- Superlinear Convergence of an Infeasible Predictor-Corrector Path-Following Interior Point Algorithm for a Semidefinite Linear Complementarity Problem Using the Helmberg–Kojima–Monteiro Direction (Q3004976) (← links)
- Second-Order Cone Relaxations for Binary Quadratic Polynomial Programs (Q3004990) (← links)
- Error Estimates for Space-Time Discretizations of a Rate-Independent Variational Inequality (Q3004992) (← links)
- A Subsonic-Well-Balanced Reconstruction Scheme for Shallow Water Flows (Q3004996) (← links)
- Approximation of Semigroups and Related Operator Functions by Resolvent Series (Q3005000) (← links)
- Generalization of the Self-Shrinking Generator in the Galois Field (Q3005104) (← links)
- Quick Detection of Top-k Personalized PageRank Lists (Q3005569) (← links)
- Robust Σ–Δ modulation-based sliding mode observers for linear systems subject to time polynomial inputs (Q3006200) (← links)
- Guaranteed cost control with poles assignment for a flexible air-breathing hypersonic vehicle (Q3006225) (← links)
- Multiwell Rigidity in Nonlinear Elasticity (Q3006345) (← links)
- ROOT SEMIGROUPS IN REDUCTIVE MONOIDS (Q3006614) (← links)
- Alexander von Kryha and His Encryption Machines (Q3007541) (← links)
- Enigma Message Procedures Used by the Heer, Luftwaffe and Kriegsmarine (Q3007547) (← links)
- Ultra Reveals a Late<i>B-Dienst</i>Success in the Atlantic (Q3007549) (← links)
- Using Bisimulations for Optimality Problems in Model Refinement (Q3007576) (← links)
- Approximate Inference for Logic Programs with Annotated Disjunctions (Q3007594) (← links)
- Kolmogorov Complexity as a Language (Q3007621) (← links)
- Gate Elimination for Linear Functions and New Feebly Secure Constructions (Q3007624) (← links)
- Snakes and Cellular Automata: Reductions and Inseparability Results (Q3007629) (← links)
- Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits (Q3007703) (← links)
- Hidden Variables Simulating Quantum Contextuality Increasingly Violate the Holevo Bound (Q3007705) (← links)
- GMRA-BASED CONSTRUCTION OF FRAMELETS IN REDUCING SUBSPACES OF L<sup>2</sup>(ℝ<sup>d</sup>) (Q3007752) (← links)
- Random Walks with Look-Ahead in Scale-Free Random Graphs (Q3008035) (← links)
- Computing Characteristic Polynomials from Eigenvalues (Q3008240) (← links)
- An algorithm to compute integer ηth roots using subtractions (Q3008371) (← links)
- Determining vine leaf water stress by functional data analysis (Q3008395) (← links)
- New advances in the computational exploration of semifields (Q3008403) (← links)
- Products of weighted logic programs (Q3008408) (← links)
- Detecting inconsistencies in large biological networks with answer set programming (Q3008410) (← links)
- A New Approach to the Stable Set Problem Based on Ellipsoids (Q3009765) (← links)
- Capacitated Vehicle Routing with Non-uniform Speeds (Q3009766) (← links)
- ARTIFICIAL MICRO-WORLDS PART II: CELLULAR AUTOMATA GROWTH DYNAMICS (Q3010305) (← links)
- DESIGN OF TIME DELAYED CHAOTIC CIRCUIT WITH THRESHOLD CONTROLLER (Q3010312) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
- Security Notions for Broadcast Encryption (Q3011311) (← links)
- Substring Range Reporting (Q3011863) (← links)
