The following pages link to Ashish Kumar Tiwari (Q1611409):
Displaying 50 items.
- (Q518405) (redirect page) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Hydrodynamic permeability of membranes built up by spherical particles covered by porous shells: effect of stress jump condition (Q608975) (← links)
- Box invariance in biologically-inspired dynamical systems (Q963961) (← links)
- Slow viscous flow through a membrane built up from porous cylindrical particles with an impermeable core (Q972008) (← links)
- Context unification with one context variable (Q1041589) (← links)
- Abstract congruence closure (Q1425161) (← links)
- A greedy genetic algorithm for the quadratic assignment problem (Q1577374) (← links)
- Method of the summation of a complicated series appearing in problems on electromagnetics (Q1611410) (← links)
- Hydrodynamic permeability of a membrane built up by spheroidal particles covered by porous layer (Q1640352) (← links)
- Characterizing confluence by rewrite closure and right ground term rewrite systems (Q1885352) (← links)
- Deciding confluence of certain term rewriting systems in polynomial time (Q1886319) (← links)
- TeLEx: learning signal temporal logic from positive examples using tightness metric (Q2008282) (← links)
- Solute dispersion in non-Newtonian fluids flow through small blood vessels: a varying viscosity approach (Q2134606) (← links)
- Look for the proof to find the program: decorated-component-based program synthesis (Q2164214) (← links)
- Neural flocking: MPC-based supervised learning of flocking controllers (Q2200808) (← links)
- Non-linear rewrite closure and weak normalization (Q2351264) (← links)
- On the solution of a partial differential equation representing irrotational flow in bispherical polar coordinates (Q2378789) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- (Q2723409) (← links)
- (Q2723421) (← links)
- (Q2769581) (← links)
- Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories (Q2786124) (← links)
- Deductive Verification of Continuous Dynamical Systems (Q2920146) (← links)
- Synthesis for Polynomial Lasso Programs (Q2938082) (← links)
- Lifting abstract interpreters to quantified logical domains (Q3189843) (← links)
- ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans (Q3303936) (← links)
- Invariant Checking for Programs with Procedure Calls (Q3392933) (← links)
- Program Synthesis Using Dual Interpretation (Q3454117) (← links)
- Gamifying Program Analysis (Q3460089) (← links)
- Severity Levels of Inconsistent Code (Q3460549) (← links)
- Constraint-Based Approach for Analysis of Hybrid Systems (Q3512493) (← links)
- Generating Box Invariants (Q3523152) (← links)
- Synthesizing Switching Logic Using Constraint Solving (Q3600482) (← links)
- Logical Interpretation: Static Program Analysis Using Theorem Proving (Q3608771) (← links)
- Combining Equational Reasoning (Q3655192) (← links)
- (Q4417994) (← links)
- (Q4418639) (← links)
- (Q4418865) (← links)
- (Q4449293) (← links)
- (Q4474230) (← links)
- (Q4518873) (← links)
- D-bases for polynomial ideals over commutative noetherian rings (Q4594222) (← links)
- One Context Unification Problems Solvable in Polynomial Time (Q4635831) (← links)
- (Q4736610) (← links)
- (Q4938606) (← links)
- Attacking the V: On the Resiliency of Adaptive-Horizon MPC (Q5096101) (← links)
- Sherlock - A tool for verification of neural network feedback systems (Q5239249) (← links)
- Verification and synthesis using real quantifier elimination (Q5254190) (← links)
- Classes of term rewrite systems with polynomial confluence problems (Q5277699) (← links)
