The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Julius and Julia: Mastering the Art of the Schwarz Lemma (Q3061286) (← links)
- Fermat’s Spiral and the Line Between Yin and Yang (Q3061287) (← links)
- Irreducible Cubics Modulo Five (Q3061289) (← links)
- A short proof of Combinatorial Nullstellensatz (Q3061290) (← links)
- A Continuous Bijection from ℓ<sup>2</sup> onto a Subset of ℓ<sup>2</sup> Whose Inverse Is Everywhere Discontinuous (Q3061291) (← links)
- GUIDELINES FOR REUSING ONTOLOGIES ON THE SEMANTIC WEB (Q3062794) (← links)
- Approximating minimum Steiner point trees in Minkowski planes (Q3064040) (← links)
- Inductive Queries for a Drug Designing Robot Scientist (Q3064512) (← links)
- The TOPSIS Method and Its Application to Linguistic Variables (Q3064556) (← links)
- INVOLUTIVELY BORDERED WORDS (Q3065618) (← links)
- EXISTENCE OF PULLBACK ATTRACTOR FOR A REACTION–DIFFUSION EQUATION IN SOME UNBOUNDED DOMAINS WITH NON-AUTONOMOUS FORCING TERM IN H<sup>-1</sup> (Q3065776) (← links)
- Parametric Model Checking with VerICS (Q3066135) (← links)
- An Efficient Algorithm for Chinese Postman Walk on Bi-directed de Bruijn Graphs (Q3066156) (← links)
- Computational Solution of Blow-Up Problems for Semilinear Parabolic PDEs on Unbounded Domains (Q3066213) (← links)
- Fast Molecular Solvation Energetics and Forces Computation (Q3066215) (← links)
- Simultaneously Sparse Solutions to Linear Inverse Problems with Multiple System Matrices and a Single Observation Vector (Q3066218) (← links)
- Continuous and Discrete Composite Adjoints for the Hessian of the Lagrangian in Shooting Algorithms for Dynamic Optimization (Q3066225) (← links)
- Computational Study for Planar Connected Dominating Set Problem (Q3066449) (← links)
- Diameter-Constrained Steiner Tree (Q3066462) (← links)
- A Novel Branching Strategy for Parameterized Graph Modification Problems (Q3066469) (← links)
- Search-Based Applications: At the Confluence of Search and Database Technologies (Q3066821) (← links)
- Internal-Time Temporal Difference Model for Neural Value-Based Decision Making (Q3067071) (← links)
- Psychophysically Tuned Divisive Normalization Approximately Factorizes the PDF of Natural Images (Q3067077) (← links)
- A Lie Symmetry Analysis of the Caldeira-Leggett Model (Q3067152) (← links)
- Model Refinement Using Bisimulation Quotients (Q3067468) (← links)
- Role of Prey Dispersal and Refuges on Predator-Prey Dynamics (Q3068611) (← links)
- A Climate-Based Malaria Transmission Model with Structured Vector Population (Q3068623) (← links)
- Block Monotone Iterative Method for Semilinear Parabolic Equations with Nonlinear Boundary Conditions (Q3069088) (← links)
- ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS (Q3069735) (← links)
- A unified theory of shared memory consistency (Q3069911) (← links)
- CALCULATION OF BIFURCATION CURVES BY MAP REPLACEMENT (Q3069920) (← links)
- A Database Approach to Distributed State-Space Generation (Q3069997) (← links)
- A Framework for Simulating and Estimating the State and Functional Topology of Complex Dynamic Geometric Networks (Q3070787) (← links)
- Least-Squares Independent Component Analysis (Q3070790) (← links)
- Efficient Turing-Universal Computation with DNA Polymers (Q3070966) (← links)
- On Quantum Estimation, Quantum Cloning and Finite Quantum de Finetti Theorems (Q3070973) (← links)
- A Conceptually Simple Proof of the Quantum Reverse Shannon Theorem (Q3070982) (← links)
- Bypassing State Initialisation in Perfect State Transfer Protocols on Spin-Chains (Q3070986) (← links)
- Parallel multithreaded IDA* heuristic search: algorithm design and performance evaluation (Q3072379) (← links)
- Bayesian Inference of Odds Ratios in Misclassified Binary Data with a Validation Substudy (Q3072414) (← links)
- Modeling and reasoning with qualitative comparative clinical knowledge (Q3072518) (← links)
- Two Extensions of Results of Archimedes (Q3072550) (← links)
- Plane Drawings of Queue and Deque Graphs (Q3073660) (← links)
- An Experimental Evaluation of Multilevel Layout Methods (Q3073662) (← links)
- Topology-Driven Force-Directed Algorithms (Q3073669) (← links)
- On Graphs Supported by Line Sets (Q3073670) (← links)
- A Computational Approach to Conway’s Thrackle Conjecture (Q3073675) (← links)
- Universal Pointsets for 2-Coloured Trees (Q3073687) (← links)
- Sliding-mode control of uncertain systems in the presence of unmatched disturbances with applications (Q3074635) (← links)
- The Train Delivery Problem - Vehicle Routing Meets Bin Packing (Q3075453) (← links)
