485,398 results on '"Theoretical computer science"'
Search Results
2. Randomised algorithms for low temperature spin systems
3. Promise constraint satisfaction problems
4. A second-quantised Shannon theory
5. Geometric Spanners: New Algorithms and Frameworks
6. Structural results for total search complexity classes with applications to game theory and optimisation
7. The complexity of meta-computational problems
8. TheoretiCS
9. Journal of Kufa for Mathematics and Computer
10. Managerial Problems and Cultural Heritage in Information Technology
11. Mathematical Statistics and Learning
12. Artwork based on automatic sequences.
13. A Proposal for a Framework to Accompany Formal Methods Learning Tools : (Short Paper)
14. Compact Data Structures for Dedekind Groups and Finite Rings
15. Troubled IS/IT projects: searching for the root causes
16. Towards Programmable Chemistries
17. Virtual Teacher Based Tool for Teaching Context-Free Grammars by Active Pedagogy and eMathTeacher Philosophy
18. Games as mathematics of logic and computation
19. Almost optimal query algorithm for hitting set using a subset query
20. Linear-time 2-party secure merge from additively homomorphic encryption
21. An efficient numerical method based on Fibonacci polynomials to solve fractional differential equations
22. A numerical approach based on Bernstein collocation method: Application to differential Lyapunov and Sylvester matrix equations
23. Uniformly convergent scheme for steady MHD duct flow problems with high Hartmann numbers on structured and unstructured grids
24. Adaptive quasi-synchronization analysis for Caputo delayed Cohen–Grossberg neural networks
25. Asymptotic stability in pth moment of uncertain dynamical systems with time-delays
26. Intuitionistic fuzzy approach to reliability assessment of multi-state systems
27. A memory behavior related hybrid event-triggered mechanism for an improved robust control on neural networks
28. Convergence analysis of flow direction algorithm in continuous search space and its improvement
29. Dynamic analysis of HIV model with a general incidence, CTLs immune response and intracellular delays
30. Assessing the impact of escalating attacks on soft targets by criminal gang: A modelling viewpoint using bifurcation analysis
31. A novel improved chef-based optimization algorithm with Gaussian random walk-based diffusion process for global optimization and engineering problems
32. A new simultaneously compact finite difference scheme for high-dimensional time-dependent PDEs
33. Fully decoupled linear BDF2 scheme for the penalty incompressible Ericksen–Leslie equations
34. New characterizations of the (discrete) Lindley distribution and their applications
35. A finite element approximation to a viscoelastic Euler–Bernoulli beam with internal damping
36. A quasi-reversibility method for solving a two-dimensional time-fractional inverse heat conduction problem
37. Analysis and simulation of a delayed HIV model with reaction–diffusion and sliding control
38. A new fractional derivative operator with generalized cardinal sine kernel: Numerical simulation
39. Heuristic computing with sequential quadratic programming for solving a nonlinear hepatitis B virus model
40. Parameter uniform numerical method for a system of singularly perturbed parabolic convection–diffusion equations
41. Improved uniform error bounds of a time-splitting Fourier pseudo-spectral scheme for the Klein–Gordon–Schrödinger equation with the small coupling constant
42. A fourth-order fractional Adams-type implicit–explicit method for nonlinear fractional ordinary differential equations with weakly singular solutions
43. Change point estimation in an M/M/2 queue with heterogeneous servers
44. The impact of invasive species on some ecological services in a harvested predator–prey system
45. Stochastic SEIR epidemic models with virus mutation and logistic growth of susceptible populations
46. A theory of consciousness from a theoretical computer science perspective: Insights from the Conscious Turing Machine.
47. Constructive Proofs of Heterogeneous Equalities in Cubical Type Theory
48. The dynamical behavior of a class of stochastic vegetation models
49. A new overset grid assembly strategy for dynamic grid systems
50. An efficient algorithm for pricing reinsurance contract under the regime-switching model
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.