BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Ashish Mishra contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let $G$ be a finite group and $p$ be a prime number dividing the order of $G$. An irreducible character $χ$ of $G$ is called a quasi $p$-Steinberg character if $χ(g)$ is nonzero for every $p$-regular element $g$ in $G$. In this paper, we classify quasi $p$-Steinberg characters of the complex reflection groups $G(r,q,n)$. In particular, we obtain this classification for Weyl groups of type $B_n$ and type $D_n$.
Component-based synthesis seeks to build programs using the APIs provided by a set of libraries. Oftentimes, these APIs have effects, which make it challenging to reason about the correctness of potential synthesis candidates. This is because changes to global state made by effectful library procedures affect how they may be composed together, yielding an intractably large search space that can confound typical enumerative synthesis techniques. If the nature of these effects are exposed as part of their specification, however, deductive synthesis approaches can be used to help guide the search for components. In this paper, we present a new specification-guided synthesis procedure that uses Hoare-style pre- and post-conditions to express fine-grained effects of potential library component candidates to drive a bi-directional synthesis search strategy. The procedure alternates between a forward search process that seeks to build larger terms given an existing context but which is otherwise unaware of the actual goal, alongside a backward search mechanism that seeks terms consistent with the desired goal but which is otherwise unaware of the context from which these terms must be synthesized. To further improve efficiency and scalability, we integrate a conflict-driven learning procedure into the synthesis algorithm that provides a semantic characterization of previously encountered unsuccessful search paths that is used to prune the space of possible candidates as synthesis proceeds. We have implemented our ideas in a tool called Cobalt and demonstrate its effectiveness on a number of challenging synthesis problems defined over OCaml libraries equipped with effectful specifications.
Recently, zero-shot learning (ZSL) emerged as an exciting topic and attracted a lot of attention. ZSL aims to classify unseen classes by transferring the knowledge from seen classes to unseen classes based on the class description. Despite showing promising performance, ZSL approaches assume that the training samples from all seen classes are available during the training, which is practically not feasible. To address this issue, we propose a more generalized and practical setup for ZSL, i.e., continual ZSL (CZSL), where classes arrive sequentially in the form of a task and it actively learns from the changing environment by leveraging the past experience. Further, to enhance the reliability, we develop CZSL for a single head continual learning setting where task identity is revealed during the training process but not during the testing. To avoid catastrophic forgetting and intransigence, we use knowledge distillation and storing and replay the few samples from previous tasks using a small episodic memory. We develop baselines and evaluate generalized CZSL on five ZSL benchmark datasets for two different settings of continual learning: with and without class incremental. Moreover, CZSL is developed for two types of variational autoencoders, which generates two types of features for classification: (i) generated features at output space and (ii) generated discriminative features at the latent space. The experimental results clearly indicate the single head CZSL is more generalizable and suitable for practical applications.
Early identification of COVID-19 using a deep model trained on Chest X-Ray and CT images has gained considerable attention from researchers to speed up the process of identification of active COVID-19 cases. These deep models act as an aid to hospitals that suffer from the unavailability of specialists or radiologists, specifically in remote areas. Various deep models have been proposed to detect the COVID-19 cases, but few works have been performed to prevent the deep models against adversarial attacks capable of fooling the deep model by using a small perturbation in image pixels. This paper presents an evaluation of the performance of deep COVID-19 models against adversarial attacks. Also, it proposes an efficient yet effective Fuzzy Unique Image Transformation (FUIT) technique that downsamples the image pixels into an interval. The images obtained after the FUIT transformation are further utilized for training the secure deep model that preserves high accuracy of the diagnosis of COVID-19 cases and provides reliable defense against the adversarial attacks. The experiments and results show the proposed model prevents the deep model against the six adversarial attacks and maintains high accuracy to classify the COVID-19 cases from the Chest X-Ray image and CT image Datasets. The results also recommend that a careful inspection is required before practically applying the deep models to diagnose the COVID-19 cases.
Kudryavtseva and Mazorchuk exhibited Schur-Weyl duality between the rook monoid algebra $\mathbb{C}R_n$ and the subalgebra $\mathbb{C}I_k$ of the partition algebra $\mathbb{C} A_k(n)$ acting on $(\mathbb{C}^n)^{\otimes k}$. In this paper, we consider a subalgebra $\mathbb{C}I_{k+\frac{1}{2}}$ of $\mathbb{C} I_{k+1}$ such that there is Schur-Weyl duality between the actions of $\mathbb{C} R_{n-1}$ and $\mathbb{C} I_{k+\frac{1}{2}}$ on $(\mathbb{C}^n)^{\otimes k}$. This paper studies the representation theory of partition algebras $\mathbb{C}I_k$ and $\mathbb{C}I_{k+\frac{1}{2}}$ for rook monoids inductively by considering the multiplicity free tower $$\mathbb{C} I_1\subset \mathbb{C} I_{\frac{3}{2}}\subset \mathbb{C} I_{2}\subset \cdots\subset \mathbb{C} I_{k}\subset \mathbb{C} I_{k+\frac{1}{2}}\subset\cdots.$$ Furthermore, this inductive approach is established as a spectral approach by describing the Jucys-Murphy elements and their actions on the canonical Gelfand-Tsetlin bases, determined by the aforementioned multiplicity free tower, of irreducible representations of $\mathbb{C} I_k$ and $\mathbb{C} I_{k+\frac{1}{2}}$. Also, we describe the Jucys-Murphy elements of $\mathbb{C} R_n$ which play a central role in the demonstration of the actions of Jucys-Murphy elements of $\mathbb{C} I_k$ and $\mathbb{C}I_{k+\frac{1}{2}}$.
Conventional approaches to Sketch-Based Image Retrieval (SBIR) assume that the data of all the classes are available during training. The assumption may not always be practical since the data of a few classes may be unavailable, or the classes may not appear at the time of training. Zero-Shot Sketch-Based Image Retrieval (ZS-SBIR) relaxes this constraint and allows the algorithm to handle previously unseen classes during the test. This paper proposes a generative approach based on the Stacked Adversarial Network (SAN) and the advantage of Siamese Network (SN) for ZS-SBIR. While SAN generates a high-quality sample, SN learns a better distance metric compared to that of the nearest neighbor search. The capability of the generative model to synthesize image features based on the sketch reduces the SBIR problem to that of an image-to-image retrieval problem. We evaluate the efficacy of our proposed approach on TU-Berlin, and Sketchy database in both standard ZSL and generalized ZSL setting. The proposed method yields a significant improvement in standard ZSL as well as in a more challenging generalized ZSL setting (GZSL) for SBIR.
This paper defines the partition algebra for complex reflection group $G(r,p,n)$ acting on $k$-fold tensor product $(\mathbb{C}^n)^{\otimes k}$, where $\mathbb{C}^n$ is the reflection representation of $G(r,p,n)$. A basis of the centralizer algebra of this action of $G(r,p,n)$ was given by Tanabe and for $p =1$, the corresponding partition algebra was studied by Orellana. We also establish a subalgebra as partition algebra of a subgroup of $G(r,p,n)$ acting on $(\mathbb{C}^n)^{\otimes k}$. We call these algebras as Tanabe algebras. The aim of this paper is to study representation theory of Tanabe algebras: parametrization of their irreducible modules, and construction of Bratteli diagram for the tower of Tanabe algebras. We conclude the paper by giving Jucys-Murphy elements of Tanabe algebras and their actions on the Gelfand-Tsetlin basis, determined by this multiplicity free tower, of irreducible modules.