12 results on '"Mufid, Muhammad Syifa'ul"'
Search Results
2. Control Design of Autonomous Cars Using Satisfiability Modulo Theory
3. Interpolation polynomials associated to linear recurrences
4. Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
5. Tropical Abstractions of Max-Plus Linear Systems
6. Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems
7. On The Lagrange Interpolation of Fibonacci Sequence
8. Eigenproblems of latin squares in bipartite (min,max,+)-systems
9. EIGENVALUES AND EIGENVECTORS OF LATIN SQUARES IN MAX-PLUS ALGEBRA
10. SMART GENERATIVE ALGORITHM (SMART GEN-A): 2D ARCHITECTURAL PHOTO CONVERTER TO BE THE DIGITAL 3D OBJECT
11. ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
12. ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.