Author: "Subramani, K" / Publisher: springer berlin heidelberg - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Subramani, K"' showing total 64 results

Start Over Author "Subramani, K" Publisher springer berlin heidelberg

64 results on '"Subramani, K"'

1. The Complexity of Finding Read-Once NAE-Resolution Refutations

Author: Büning, Hans Kleine, Wojciechowski, Piotr, Subramani, K., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ghosh, Sujata, editor, and Prasad, Sanjiva, editor
Published: 2017
Full Text: View/download PDF

2. On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs

Author: Caskurlu, Bugra, Mkrtchyan, Vahan, Parekh, Ojas, Subramani, K., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Diaz, Josep, editor, Lanese, Ivan, editor, and Sangiorgi, Davide, editor
Published: 2014
Full Text: View/download PDF

3. A Polynomial-Time Algorithm for the Planar Quantified Integer Programming Problem

Author: Liang, Zhiyao, Subramani, K., Kacprzyk, Janusz, editor, Wang, Yinglin, editor, and Li, Tianrui, editor
Published: 2011
Full Text: View/download PDF

4. Algorithmic Aspects of Risk Management

Author: Gehani, Ashish, Zaniewski, Lee, Subramani, K., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Agha, Gul, editor, Danvy, Olivier, editor, and Meseguer, José, editor
Published: 2011
Full Text: View/download PDF

5. A New Algorithm for Linear and Integer Feasibility in Horn Constraints

Author: Subramani, K., Worthington, James, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Achterberg, Tobias, editor, and Beck, J. Christopher, editor
Published: 2011
Full Text: View/download PDF

6. A Combinatorial Algorithm for Horn Programs

Author: Chandrasekaran, R., Subramani, K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dong, Yingfei, editor, Du, Ding-Zhu, editor, and Ibarra, Oscar, editor
Published: 2009
Full Text: View/download PDF

7. Improved Algorithms for Detecting Negative Cost Cycles in Undirected Graphs

Author: Gu, Xiaofeng, Madduri, Kamesh, Subramani, K., Lai, Hong-Jian, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Deng, Xiaotie, editor, Hopcroft, John E., editor, and Xue, Jinyun, editor
Published: 2009
Full Text: View/download PDF

8. Two-Level Heaps: A New Priority Queue Structure with Applications to the Single Source Shortest Path Problem

Author: Subramani, K., Madduri, Kamesh, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Du, Ding-Zhu, editor, Hu, Xiaodong, editor, and Pardalos, Panos M., editor
Published: 2009
Full Text: View/download PDF

9. Absorbing Random Walks and the NAE2SAT Problem

Author: Subramani, K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Preparata, Franco P., editor, Wu, Xiaodong, editor, and Yin, Jianping, editor
Published: 2008
Full Text: View/download PDF

10. Accomplishing Approximate FCFS Fairness Without Queues

Author: Subramani, K., Madduri, K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Aluru, Srinivas, editor, Parashar, Manish, editor, Badrinath, Ramamurthy, editor, and Prasanna, Viktor K., editor
Published: 2007
Full Text: View/download PDF

11. A Randomized Algorithm for BBCSPs in the Prover-Verifier Model

Author: Subramani, K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jones, Cliff B., editor, Liu, Zhiming, editor, and Woodcock, Jim, editor
Published: 2007
Full Text: View/download PDF

12. Analyzing Chain Programs over Difference Constraints

Author: Subramani, K., Argentieri, John, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cai, Jin-Yi, editor, Cooper, S. Barry, editor, and Li, Angsheng, editor
Published: 2006
Full Text: View/download PDF

13. Totally Clairvoyant Scheduling with Relative Timing Constraints

Author: Subramani, K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Emerson, E. Allen, editor, and Namjoshi, Kedar S., editor
Published: 2006
Full Text: View/download PDF

14. In vitro evaluation of osteoblast responses to carbon nanotube-coated titanium surfaces

Author: Subramani, K., Pandruvada, S. N., Puleo, D. A., Hartsfield, Jr, J. K., and Huja, S. S.
Published: 2016
Full Text: View/download PDF

15. On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks

Author: Subramani, K., Desovski, D., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Sunderam, Vaidy S., editor, van Albada, Geert Dick, editor, Sloot, Peter M. A., editor, and Dongarra, Jack J., editor
Published: 2005
Full Text: View/download PDF

16. Stressing is Better Than Relaxing for Negative Cost Cycle Detection in Networks

Author: Subramani, K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Syrotiuk, Violet R., editor, and Chávez, Edgar, editor
Published: 2005
Full Text: View/download PDF

17. A New Verification Procedure for Partially Clairvoyant Scheduling

Author: Subramani, K., Desovski, D., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Pettersson, Paul, editor, and Yi, Wang, editor
Published: 2005
Full Text: View/download PDF

18. Zero-Clairvoyant Scheduling with Inter-period Constraints

Author: Subramani, K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Maher, Michael J., editor
Published: 2005
Full Text: View/download PDF

19. A Shared Memory Dispatching Approach for Partially Clairvoyant Schedulers

Author: Subramani, K., Yellajyosula, Kiran, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bougé, Luc, editor, and Prasanna, Viktor K., editor
Published: 2005
Full Text: View/download PDF

20. Analyzing Selected Quantified Integer Programs

Author: Subramani, K., Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Basin, David, editor, and Rusinowitch, Michaël, editor
Published: 2004
Full Text: View/download PDF

21. Resource-Optimal Scheduling Using Priced Timed Automata

Author: Rasmussen, J. I., Larsen, Kim G., Subramani, K., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Jensen, Kurt, editor, and Podelski, Andreas, editor
Published: 2004
Full Text: View/download PDF

22. On Boolean Models for Quantified Boolean Horn Formulas

Author: Kleine Büning, Hans, Subramani, K., Zhao, Xishun, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Giunchiglia, Enrico, editor, and Tacchella, Armando, editor
Published: 2004
Full Text: View/download PDF

23. On Clausal Equivalence and Hull Inclusion

Author: Subramani, K., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Blundo, Carlo, editor, and Laneve, Cosimo, editor
Published: 2003
Full Text: View/download PDF

24. An Analysis of Quantified Linear Programs

Author: Subramani, K., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Calude, Cristian S., editor, Dinneen, Michael J., editor, and Vajnovszki, Vincent, editor
Published: 2003
Full Text: View/download PDF

25. Contraction versus Relaxation: A Comparison of Two Approaches for the Negative Cost Cycle Detection Problem

Author: Subramani, K., Kovalchick, L., Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Sloot, Peter M. A., editor, Abramson, David, editor, Bogdanov, Alexander V., editor, Gorbachev, Yuriy E., editor, Dongarra, Jack J., editor, and Zomaya, Albert Y., editor
Published: 2003
Full Text: View/download PDF

26. An Analysis of Zero-Clairvoyant Scheduling

Author: Subramani, K., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Katoen, Joost-Pieter, editor, and Stevens, Perdita, editor
Published: 2002
Full Text: View/download PDF

27. On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope

Author: Subramani, K., Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Carbonell, J. G., editor, Siekmann, J., editor, Calmet, Jacques, editor, Benhamou, Belaid, editor, Caprotti, Olga, editor, Henocque, Laurent, editor, and Sorge, Volker, editor
Published: 2002
Full Text: View/download PDF

28. On Determining the Minimum Length, Tree-Like Resolution Refutation of 2SAT, and Extended 2SAT Formulas

Author: Subramani, K., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Jean-Marie, Alain, editor
Published: 2002
Full Text: View/download PDF

29. A Specification Framework for Real-Time Scheduling

Author: Subramani, K., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Grosky, William I., editor, and Plášil, František, editor
Published: 2002
Full Text: View/download PDF

30. Parametric Scheduling — Algorithms and Complexity

Author: Subramani, K., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Monien, Burkhard, editor, Prasanna, Viktor K., editor, and Vajapeyam, Sriram, editor
Published: 2001
Full Text: View/download PDF

31. Parametric Scheduling for Network Constraints

Author: Subramani, K., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Wang, Jie, editor
Published: 2001
Full Text: View/download PDF

32. A Dual Interpretation of 'Standard Constraints' in Parametric Scheduling

Author: Subramani, K., Agrawala, Ashok, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Joseph, Mathai, editor
Published: 2000
Full Text: View/download PDF

33. The Complexity of Finding Read-Once NAE-Resolution Refutations

Author: Büning, Hans Kleine, primary, Wojciechowski, Piotr, additional, and Subramani, K., additional
Published: 2016
Full Text: View/download PDF

34. On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs

Author: Caskurlu, Bugra, primary, Mkrtchyan, Vahan, additional, Parekh, Ojas, additional, and Subramani, K., additional
Published: 2014
Full Text: View/download PDF

35. Algorithmic Aspects of Risk Management

Author: Gehani, Ashish, primary, Zaniewski, Lee, additional, and Subramani, K., additional
Published: 2011
Full Text: View/download PDF

36. A New Algorithm for Linear and Integer Feasibility in Horn Constraints

Author: Subramani, K., primary and Worthington, James, additional
Published: 2011
Full Text: View/download PDF

37. Ab initio Molecular orbital and density functional studies on the ring-opening reaction of oxetene

Author: Jayaprakash, S., Jeevanandam, Jebakumar, and Subramani, K.
Published: 2014
Full Text: View/download PDF

38. Two-Level Heaps: A New Priority Queue Structure with Applications to the Single Source Shortest Path Problem

Author: Subramani, K., primary and Madduri, Kamesh, additional
Published: 2009
Full Text: View/download PDF

39. Improved Algorithms for Detecting Negative Cost Cycles in Undirected Graphs

Author: Gu, Xiaofeng, primary, Madduri, Kamesh, additional, Subramani, K., additional, and Lai, Hong-Jian, additional
Published: 2009
Full Text: View/download PDF