Autor: "Kulkarni, Raghav" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Kulkarni, Raghav"" wg kryterium: Autor

Wyświetlanie 1-20 z 77

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: : Gazing in the Black Box of SAT Solving
Autorzy:: Soos, Mate
Kulkarni, Raghav
Meel, Kuldeep S.; Pokaż więcej
Źródło:: Theory and Applications of Satisfiability Testing – SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings. 11628:371-387

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Efficient Compression Technique for Sparse Sets
Autorzy:: Pratap, Rameshwar
Sohony, Ishan
Kulkarni, Raghav; Pokaż więcej
Źródło:: Advances in Knowledge Discovery and Data Mining : 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part III. 10939:164-176

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Reachability Is in DynFO.
Autorzy:: Datta, Samir
Kulkarni, Raghav
Mukherjee, Anish
Schwentick, Thomas
Zeume, Thomas; Pokaż więcej
Źródło:: Journal of the ACM. Sep2018, Vol. 65 Issue 5, p1-24. 24p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 5.

Tytuł:: Any monotone property of 3-uniform hypergraphs is weakly evasive
Autorzy:: Kulkarni, Raghav
Qiao, Youming
Sun, Xiaoming; Pokaż więcej
Źródło:: In Theoretical Computer Science 11 July 2015 588:16-23

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Reachability is in DynFO
Autorzy:: Datta, Samir
Kulkarni, Raghav
Mukherjee, Anish
Schwentick, Thomas
Zeume, Thomas; Pokaż więcej
Źródło:: Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. 9135:159-170

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Upper Bounds on Fourier Entropy
Autorzy:: Chakraborty, Sourav
Kulkarni, Raghav
Lokam, Satyanarayana V.
Saurabh, Nitin; Pokaż więcej
Źródło:: Computing and Combinatorics : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings. 9198:771-782

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: On the Power of Parity Queries in Boolean Decision Trees
Autorzy:: Kulkarni, Raghav
Qiao, Youming
Sun, Xiaoming; Pokaż więcej
Źródło:: Theory and Applications of Models of Computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings. 9076:99-109

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: An Efficient Quantum Algorithm for Finding Hidden Parabolic Subgroups in the General Linear Group
Autorzy:: Decker, Thomas
Ivanyos, Gábor
Kulkarni, Raghav
Qiao, YoumingAff19, Aff20
Santha, MiklosAff19, Aff21; Pokaż więcej
Źródło:: Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II. 8635:226-238

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: On the Complexity of Trial and Error for Constraint Satisfaction Problems
Autorzy:: Ivanyos, Gábor
Kulkarni, Raghav
Qiao, YoumingAff20, Aff22
Santha, MiklosAff20, Aff21
Sundaram, Aarthi; Pokaż więcej
Źródło:: Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. 8572:663-675

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Dynamic Complexity of Directed Reachability and Other Problems
Autorzy:: Datta, Samir
Hesse, William
Kulkarni, Raghav; Pokaż więcej
Źródło:: Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. 8572:356-367

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Property Testing Bounds for Linear and Quadratic Functions via Parity Decision Trees
Autorzy:: Bhrushundi, Abhishek
Chakraborty, Sourav
Kulkarni, Raghav; Pokaż więcej
Źródło:: Computer Science - Theory and Applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings. 8476:97-110

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Space Complexity of Optimization Problems in Planar Graphs
Autorzy:: Datta, Samir
Kulkarni, Raghav; Pokaż więcej
Źródło:: Theory and Applications of Models of Computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings. 8402:300-311

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Any Monotone Property of 3-Uniform Hypergraphs Is Weakly Evasive
Autorzy:: Kulkarni, Raghav
Qiao, Youming
Sun, Xiaoming; Pokaż więcej
Źródło:: Theory and Applications of Models of Computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings. 7876:224-235

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Query Complexity of Matroids
Autorzy:: Kulkarni, Raghav
Santha, MiklosAff19, Aff20; Pokaż więcej
Źródło:: Algorithms and Complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings. 7878:300-311

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Planarity, Determinants, Permanents, and (Unique) Matchings
Autorzy:: Datta, Samir
Kulkarni, Raghav
Limaye, Nutan
Mahajan, Meena; Pokaż więcej
Źródło:: Computer Science – Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings. 4649:115-126

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: A New NC-Algorithm for Finding a Perfect Matching in d-Regular Bipartite Graphs When d Is Small
Autorzy:: Kulkarni, Raghav; Pokaż więcej
Źródło:: Algorithms and Complexity : 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings. 3998:308-319

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Seeking a Vertex of the Planar Matching Polytope in NC
Autorzy:: Kulkarni, Raghav
Mahajan, Meena; Pokaż więcej
Źródło:: Algorithms – ESA 2004 : 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings. 3221:472-483

Książka elektroniczna

na półce

Szczegóły

Wyświetlanie 1-20 z 77

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""Kulkarni, Raghav"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji