The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Nonhomogeneous patterns on numerical semigroups. (Q2854968) (← links)
- Implicit-explicit timestepping with finite element approximation of reaction-diffusion systems on evolving domains (Q2855109) (← links)
- Computing the Fréchet derivative of the matrix logarithm and estimating the condition number (Q2855672) (← links)
- Two-dimensional digitized picture arrays and Parikh matrices (Q2856011) (← links)
- Inductive complexity measures for mathematical problems (Q2856020) (← links)
- Paper Surface Geometry: Surveying a Locally Euclidean Universe (Q2856444) (← links)
- Several Proofs of the Irreducibility of the Cyclotomic Polynomials (Q2856450) (← links)
- A Probabilistic Proof of a Binomial Identity (Q2856454) (← links)
- Using Prediction Market Data to Illustrate Undergraduate Probability (Q2856458) (← links)
- Subdivision Using Angle Bisectors Is Dense in the Space of Triangles (Q2856461) (← links)
- Another Proof of <tex-math> ${\zeta(2)=\frac{\pi^2}{6}}$ </tex-math> Using Double Integrals (Q2856463) (← links)
- Ramanujan’s Proof of Bertrand’s Postulate (Q2856467) (← links)
- The finite model property for semilinear substructural logics (Q2856632) (← links)
- Reasoning with topological and directional spatial information (Q2857285) (← links)
- Declarative specification of fault tolerant auction protocols: the English Auction case study (Q2857286) (← links)
- Flux-Splitting Schemes for Parabolic Problems (Q2859139) (← links)
- Dimension-Adaptive Bounds on Compressive FLD Classification (Q2859225) (← links)
- Concentration and Confidence for Discrete Bayesian Sequence Predictors (Q2859227) (← links)
- The incidence chromatic number of toroidal grids (Q2860861) (← links)
- Model-free reconfiguration mechanism for fault tolerance (Q2861924) (← links)
- Using decomposition to improve greedy solutions of the optimal diversity management problem (Q2862154) (← links)
- Branching scenarios in eco-evolutionary prey-predator models (Q2862282) (← links)
- Homogenization and asymptotics for small transaction costs (Q2862451) (← links)
- \(\epsilon\)-Nash mean field game theory for nonlinear stochastic dynamical systems with major and minor agents (Q2862471) (← links)
- On logical specifications of the Argument Interchange Format (Q2863166) (← links)
- Definability and full abstraction (Q2864154) (← links)
- A process algebra for reasoning about quantum security (Q2864166) (← links)
- Design, analysis and performance evaluation of group key establishment in wireless sensor networks (Q2864178) (← links)
- Empirical Inference (Q2864219) (← links)
- On the Construction of Semiquadratic Copulas (Q2864235) (← links)
- A Discriminative Dynamic Index Based on Bipolar Aggregation Operators for Supporting Dynamic Multi-criteria Decision Making (Q2864252) (← links)
- Uncertain Choices: A Comparison of Fuzzy and Probabilistic Approaches (Q2864255) (← links)
- Lower and Upper Bounds for Long Induced Paths in 3-Connected Planar Graphs (Q2864303) (← links)
- Interaction in time and space (Q2864506) (← links)
- Programming languages for interactive computing (Q2864508) (← links)
- Coding mobile synchronizing Petri nets into rewriting logic (Q2864520) (← links)
- Monte Carlo approximations of the Neumann problem (Q2864771) (← links)
- Optimal angular resolution for face-symmetric drawings (Q2865043) (← links)
- Microscopic derivation of open quantum walk on two-node graph (Q2865803) (← links)
- On the evaluation complexity of cubic regularization methods for potentially rank-deficient nonlinear least-squares problems and its relevance to constrained nonlinear optimization (Q2866197) (← links)
- A database approach to distributed state space generation (Q2866323) (← links)
- Faster Exact Algorithms for Some Terminal Set Problems (Q2867080) (← links)
- Speeding Up Dynamic Programming with Representative Sets (Q2867093) (← links)
- SPHF-Friendly Non-interactive Commitments (Q2867220) (← links)
- Fixed Parameter Tractability of Crossing Minimization of Almost-Trees (Q2867670) (← links)
- Modeling and verification of reliable messaging by graph transformation systems (Q2867887) (← links)
- GeoThms -- a web system for Euclidean constructive geometry (Q2867934) (← links)
- Tinycals: step by step tacticals (Q2867943) (← links)
- A framework for timed concurrent constraint programming with external functions (Q2867965) (← links)
- Principles of Solomonoff Induction and AIXI (Q2868427) (← links)
