Zobrazeno 1 - 10
of 800
pro vyhledávání: '"Mishra, Om"'
The problem of checking whether a recursive query can be rewritten as query without recursion is a fundamental reasoning task, known as the boundedness problem. Here we study the boundedness problem for Unions of Conjunctive Regular Path Queries (UCR
Externí odkaz:
http://arxiv.org/abs/2407.20782
Autor:
Haase, Christoph, Krishna, Shankara Narayanan, Madnani, Khushraj, Mishra, Om Swostik, Zetzsche, Georg
All known quantifier elimination procedures for Presburger arithmetic require doubly exponential time for eliminating a single block of existentially quantified variables. It has even been claimed in the literature that this upper bound is tight. We
Externí odkaz:
http://arxiv.org/abs/2405.01183
Publikováno v:
In Optics Communications 15 May 2024 559
Autor:
Yadav, Kusumlata, Mishra, Om P., Khandhadiya, Ketki, Mishra, Surendra P., Mishra, Arpita, Singh, Ashok, Agrawal, Ritesh K., Sanghvi, Nirali, Mishra, Akash
Publikováno v:
In Pediatric Hematology Oncology Journal March 2024 9(1):9-14
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Computer Methods in Biomechanics & Biomedical Engineering: Imaging & Visualisation; Dec2024, Vol. 11 Issue 7, p1-9, 9p
Publikováno v:
In Materials Today: Proceedings 2020 24 Part 4:2231-2237
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kulanthaivel, Ponnusamy, Krishnaraja, Ammapalyam Ramasamy, Muthusamy, Suresh, Mishra, Om Prava, Sha, Mizaj Shabil, Sadasivuni, Kishor Kumar
Publikováno v:
Iranian Journal of Science and Technology. Transactions of Civil Engineering; June 2024, Vol. 48 Issue: 3 p1573-1579, 7p
Autor:
Gunasekaran, Prabhakar, Sivasubramanian, Rajaram, Periyasamy, Karuppasamy, Muthusamy, Suresh, Mishra, Om Prava, Ramamoorthi, Ponarun, Sadasivuni, Kishor Kumar, Geetha, Mithra
Publikováno v:
Journal of the Brazilian Society of Mechanical Sciences & Engineering; Apr2024, Vol. 46 Issue 4, p1-14, 14p