Taking the simple examples of an Abelian 1-form gauge theory in two (1+1)-dimensions, a 2-form ga... more Taking the simple examples of an Abelian 1-form gauge theory in two (1+1)-dimensions, a 2-form gauge theory in four (3+1)-dimensions and a 3-form gauge theory in six (5+1)-dimensions of space–time, we establish that such gauge theories respect, in addition to the gauge symmetry transformations that are generated by the first-class constraints of the theory, additional continuous symmetry transformations. We christen the latter symmetry transformations as the dual-gauge transformations. We generalize the above gauge and dual-gauge transformations to obtain the proper (anti-)BRST and (anti-)dual-BRST transformations for the Abelian 3-form gauge theory within the framework of BRST formalism. We concisely mention such symmetries for the 2D free Abelian 1-form and 4D free Abelian 2-form gauge theories and briefly discuss their topological aspects in our present endeavor. We conjecture that any arbitrary Abelian p-form gauge theory would respect the above cited additional symmetry in D = ...
2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2014
Psychological health disorders pose a growing threat to society. Disorders such as Depression, Po... more Psychological health disorders pose a growing threat to society. Disorders such as Depression, Post-Traumatic Stress Disorder (PTSD), and mild Traumatic Brain Injury (mTBI), are often under-diagnosed and under-treated. Crisis hotlines are often the last resort for people who, from the lack of proper treatment, are considering suicide or intend to harm themselves or others. This paper describes a system that automatically analyzes online crisis hotline chats to (1) extract fine-grained distress indicators that map to Diagnostic and Statistical Manual of Mental Disorders (DSM) IV codes, and to (2) perform triage classification based on the severity of distress. For distress detection, we present several approaches which leverage annotator rationales and dialogue structure to improve classification performance, demonstrating significant gains over a stateof-the-art approach from literature. For triage classification, we demonstrate early detection capability for the most severe triage code. We evaluate our work on a large corpus of chats from the U.S. Department of Veterans Affairs' online Crisis Hotline.
We present a framework for processing formulas in automatic theorem provers, with generation of d... more We present a framework for processing formulas in automatic theorem provers, with generation of detailed proofs. The main components are a generic contextual recursion algorithm and an extensible set of inference rules. Clausification, skolemization, theory-specific simplifications, and expansion of 'let' expressions are instances of this framework. With suitable data structures, proof generation adds only a linear-time overhead, and proofs can be checked in linear time. We implemented the approach in the SMT solver veriT. This allowed us to dramatically simplify the code base while increasing the number of problems for which detailed proofs can be produced, which is important for independent checking and reconstruction in proof assistants.
Uploads
Papers by Rohit Kumar