Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Ved Prakash

dblp:69/9552 · DBLP profile ↗
← Back
8ranked-venue papers
1as first author
5since 2021 · last 2025
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 1 first-author · 3 since 2021Human-computer interaction and ubiquitous computing · 3 · 1 first-author · 3 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2 · 2 since 2021Theory of computation · 2Computer networks · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Algorithms and data structures · 50% Computational complexity · 50%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational complexity › decision problems
element distinctness
0.212014
An Improved Interactive Streaming Algorithm for the Distinct Elements Problem · ICALP (1) 2014
Algorithms and data structures › data streams
streaming algorithms
0.212014
An Improved Interactive Streaming Algorithm for the Distinct Elements Problem · ICALP (1) 2014

Methods — techniques the papers use, named apart from their topics

interactive streaming · 0.2
YearPublicationVenuePosition
2025 Analysis of Merge Non-dominated Sorting Algorithm
Sumit Mishra, Ved Prakash, Carlos A. Coello Coello
EMO (2)2
2024 Know How Much Sensitive Precision and Recall Validity Measures Are?
Sumit Mishra, Srinibas Swain, Ved Prakash
ICPR (2)3
2023 On the Computational Complexity of Efficient Non-dominated Sort Using Binary Search
Ved Prakash, Sumit Mishra, Carlos A. Coello Coello
EMO1
2022 Human burn depth and grafting prognosis using ResNeXt topology based deep learning network
Dhirendra Prasad Yadav, Anand Singh Jalal, Ved Prakash
Multim. Tools Appl.3
2021 Invalid Scenarios of External Cluster Validity Indices: An Analysis Using Bell Polynomial
abstract
External cluster validity indices (CVIs) are used to evaluate various clustering algorithms by comparing the obtained clustering result with the gold standard. These indices provide some values for the obtained clustering result, indicating how good or bad the obtained clustering result is compared to the gold standard. For an external CVI, it is desirable to always provide the values within its range; otherwise, the clustering result cannot be correctly interpreted. Thus, in this work, our objective is to theoretically obtain the scenarios where these indices are unable to provide valid values. 26 commonly used indices identified in the existing literature are considered for our analysis purposes. For all these CVIs, we are able to determine the scenarios where these indices provide undefined values. Using the Bell number and Bell polynomial notion, we have attempted to represent the number of such scenarios.
Sumit Mishra, Sanjay Moulik, Ved Prakash
SMC3
2018 Capacity Based Efficient Beam-Selection Methods for mmWave 5G MIMO Communication Systems
abstract
In this work, capacity based optimal best beam set selection methods in MIMO channel condition are presented. Proposed methods are suitable for existing Verizon 5G specifications \cite{VzW} and also scalable to upcoming 3GPP NR\cite{NR} mmWave communications systems. Proposed methods are aimed at improving the performance, robustness and computational efficiency of the user equipment (UE) system where beam measurements are intended. Two methods namely, a two stage capacity maximization (CM) based method and a hybrid power and capacity maximization based method are proposed herein. Capacity based solutions are preferred over received signal strength (RSS) based methods in view of its superior performance in presence of unknown interference and noise. Hybrid method exploits the sparse channels inherent in beamformed mmWave systems. Also, it is preferable as it complies with the evolving 5G communication requirements which need estimation of additional alternative MIMO transmit and receive beam pairs apart from the serving beams to achieve higher throughput by overcoming random beam blockage and misalignment. Efficacy and performance of the proposed beam-selection methods is compared with existing RSS based method. Also computational complexity of the proposed methods are analyzed and numerical results comparing them are presented. Advantages of the capacity based methods proposed are demonstrated through analysis and simulation results.
Jinesh P. Nair, Ranjit K. Guha, Atanu Guchhait, Chandrashekhar Thejaswi P. S., SaiDhiraj Amuru, Ved Prakash, Daeryong Lee
ICC6
2014 An Improved Interactive Streaming Algorithm for the Distinct Elements Problem
Hartmut Klauck, Ved Prakash
ICALP (1)2
2013 Streaming computations with a loquacious prover
abstract
We define a new model of data streaming algorithms that employ a prover/helper to outsource difficult computations in a verifiable way. While for the verifier the usual time (per symbol read) and space constraints of the data streaming model are in place, the prover has unbounded space. Both parties cannot look into the future (i.e., do not know data arriving later). Previous work on such models either severely restricted the total communication between the prover and the verifier, or extended the computation by a long annotation that has to be streamed from the prover to the verifier offline after the original stream has ended, delaying the computation of the result. We argue that restricting the total communication severely is unnatural and investigate a model that only bounds the communication overhead, i.e., the amount of communication sent from the prover to the verifier per symbol of the data stream. This allows for vastly more communication between prover and verifier while maintaining the online nature of the model (in particular long annotations sent after the stream has ended are not allowed). Relaxing the communication requirement allows us to find simple algorithms for problems like the Longest Increasing Subsequence Problem (LIS), finding the Median, and for deciding whether the rank of a matrix is full or not. All our algorithms have a similar structure with phases whose length shrinks geometrically, and phase i being used to verify certain properties of the stream up to phase i-1 using re-streaming of parts of the previous stream. The challenge in each case is to tie the different phases together.
Hartmut Klauck, Ved Prakash
ITCS2