Search Results - "Kapur, Deepak"

Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties by Kapur, Deepak

“…Algorithms for computing congruence closure of ground equations over uninterpreted symbols and interpreted symbols satisfying associativity and commutativity…”
Get full text

Uniform Interpolants in EUF: Algorithms using DAG-representations by Ghilardi, Silvio, Gianola, Alessandro, Kapur, Deepak

“…The concept of uniform interpolant for a quantifier-free formula from a given formula with a list of symbols, while well-known in the logic literature, has…”
Get full text

An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system by Kapur, Deepak, Sun, Yao, Wang, Dingkang

“…A new efficient algorithm for computing a comprehensive Gröbnersystem of a parametric polynomial ideal over k[U][X] is presented. This algorithm generates…”
Get full text

An efficient method for computing comprehensive Gröbner bases by Kapur, Deepak, Sun, Yao, Wang, Dingkang

“…A new approach is proposed for computing a comprehensive Gröbner basis of a parameterized polynomial system. The key new idea is not to simplify a polynomial…”
Get full text

Causality Relationship between Advertising Expenditure and Sales: A Study of Indian Service Sector by Sharma, Sneha, Kapur, Deepak

“…Advertising plays a major role in marketing for the companies. The conventional approach suggests that advertising by the company helps in increasing the…”
Get full text

Distinct patterns of mutations occurring in de novo AML versus AML arising in the setting of severe congenital neutropenia by Link, Daniel C., Kunter, Ghada, Kasai, Yumi, Zhao, Yu, Miner, Tracie, McLellan, Michael D., Ries, Rhonda E., Kapur, Deepak, Nagarajan, Rakesh, Dale, David C., Bolyard, Audrey Anna, Boxer, Laurence A., Welte, Karl, Zeidler, Cornelia, Donadieu, Jean, Bellanné-Chantelot, Christine, Vardiman, James W., Caligiuri, Michael A., Bloomfield, Clara D., DiPersio, John F., Tomasson, Michael H., Graubert, Timothy A., Westervelt, Peter, Watson, Mark, Shannon, William, Baty, Jack, Mardis, Elaine R., Wilson, Richard K., Ley, Timothy J.

“…Severe congenital neutropenia (SCN) is an inborn disorder of granulopoiesis. Like most other bone marrow failure syndromes, it is associated with a marked…”
Get full text

ON INVARIANT CHECKING by Zhang, Zhihai, Kapur, Deepak

“…Checking whether a given formula is an invariant at a given program location （especially, inside a loop） can be quite nontrivial even for simple loop programs,…”
Get full text

A new algorithm for Gröbner bases conversion by Hashemi, Amir, Kapur, Deepak

“…A new approach for Gröbner bases conversion of polynomial ideals (over a field) of arbitrary dimension is presented. In contrast to the only other approach…”
Get full text

Conditional Congruence Closure over Uninterpreted and Interpreted Symbols by Kapur, Deepak

“…A framework for generating congruence closure and conditional congruence closure of ground terms over uninterpreted as well as interpreted symbols satisfying…”
Get full text

Does social media activity lead to more funds? – A study on Indian start-ups by Singhal, Nidhi, Kapur, Deepak

“…Purpose This study aims to examine the impact of signaling through social media (SM) on funding achieved by start-ups. Design/methodology/approach This study…”
Get full text

Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols by Baader, Franz, Kapur, Deepak

“…The word problem for a finite set of ground identities is known to be decidable in polynomial time using congruence closure, and this is also the case if some…”
Get full text

Mind your own business and communicate the same! – signaling content that makes investors interested by Singhal, Nidhi, Kapur, Deepak

“…Purpose This study aims to understand the impact of underlying theme in the communication on social media on funding received by early-stage start-ups…”
Get full text

Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm by Kapur, Deepak

“…Gröbner basis theory for parametric polynomial ideals is explored with the main objective of mimicking the Gröbner basis theory for ideals. Given a parametric…”
Get full text

Unification modulo a partial theory of exponentiation by Kapur, Deepak, Marshall, Andrew, Narendran, Paliath

“…Modular exponentiation is a common mathematical operation in modern cryptography. This, along with modular multiplication at the base and exponent levels (to…”
Get full text

Comprehensive GrSbner Basis Theory for a Parametric Polynomial Ideal and the Associated Completion Algorithm by KAPUR Deepak

“…Groebner basis theory for parametric polynomial ideals is explored with the main objec- tive of nfinicking the Groebner basis theory for ideals. Given a…”
Get full text

Comparative Analysis of Brain Drain, Brain Circulation and Brain Retain: A Case Study of Indian Institutes of Technology by Varma, Roli, Kapur, Deepak

“…The migration of students in science and engineering (S&E) is a global phenomenon that affects the economic, technological and social progress of societies and…”
Get full text

Algorithms for computing greatest common divisors of parametric multivariate polynomials by Kapur, Deepak, Lu, Dong, Monagan, Michael, Sun, Yao, Wang, Dingkang

“…Two new efficient algorithms for computing greatest common divisors (gcds) of parametric multivariate polynomials over k[U][X] are presented. The key idea of…”
Get full text

Carbon mitigation potential of Indian steel industry by Pal, Pooja, Gupta, Himangana, Kapur, Deepak

“…Steel dominates the global metal production accounting for 5 % of increase in Earth’s atmospheric carbon dioxide (CO₂). Today, India is the 4th largest…”
Get full text

Access, satisfaction, and future: undergraduate education at the Indian Institutes of Technology by Varma, Roli, Kapur, Deepak

“…The Indian Institutes of Technology (IITs) are among the most prestigious technical institutes in India (and perhaps in the world) for undergraduate…”
Get full text

Preface by Demri, Stéphane, Kapur, Deepak, Weidenbach, Christoph

Get full text