Skip to main content

Showing 1–34 of 34 results for author: Rajput, S

Searching in archive cs. Search in all archives.
.
  1. arXiv:2404.02872  [pdf, other

    cs.AI

    Integrating Explanations in Learning LTL Specifications from Demonstrations

    Authors: Ashutosh Gupta, John Komp, Abhay Singh Rajput, Krishna Shankaranarayanan, Ashutosh Trivedi, Namrita Varshney

    Abstract: This paper investigates whether recent advances in Large Language Models (LLMs) can assist in translating human explanations into a format that can robustly support learning Linear Temporal Logic (LTL) from demonstrations. Both LLMs and optimization-based methods can extract LTL specifications from demonstrations; however, they have distinct limitations. LLMs can quickly generate solutions and inc… ▽ More

    Submitted 3 April, 2024; originally announced April 2024.

    Comments: 21 Pages, 13 Page Appendix

    ACM Class: I.2.8

  2. arXiv:2402.01841  [pdf, other

    cs.SE cs.AI cs.CL

    COMET: Generating Commit Messages using Delta Graph Context Representation

    Authors: Abhinav Reddy Mandli, Saurabhsingh Rajput, Tushar Sharma

    Abstract: Commit messages explain code changes in a commit and facilitate collaboration among developers. Several commit message generation approaches have been proposed; however, they exhibit limited success in capturing the context of code changes. We propose Comet (Context-Aware Commit Message Generation), a novel approach that captures context of code changes using a graph-based representation and lever… ▽ More

    Submitted 2 February, 2024; originally announced February 2024.

    Comments: 22 Pages, 7 Figures

  3. arXiv:2401.12974  [pdf, other

    eess.IV cs.CV q-bio.QM

    SegmentAnyBone: A Universal Model that Segments Any Bone at Any Location on MRI

    Authors: Hanxue Gu, Roy Colglazier, Haoyu Dong, Jikai Zhang, Yaqian Chen, Zafer Yildiz, Yuwen Chen, Lin Li, Jichen Yang, Jay Willhite, Alex M. Meyer, Brian Guo, Yashvi Atul Shah, Emily Luo, Shipra Rajput, Sally Kuehn, Clark Bulleit, Kevin A. Wu, Jisoo Lee, Brandon Ramirez, Darui Lu, Jay M. Levin, Maciej A. Mazurowski

    Abstract: Magnetic Resonance Imaging (MRI) is pivotal in radiology, offering non-invasive and high-quality insights into the human body. Precise segmentation of MRIs into different organs and tissues would be highly beneficial since it would allow for a higher level of understanding of the image content and enable important measurements, which are essential for accurate diagnosis and effective treatment pla… ▽ More

    Submitted 23 January, 2024; originally announced January 2024.

    Comments: 15 pages, 15 figures

  4. arXiv:2308.14929  [pdf, other

    cs.LG

    Maestro: Uncovering Low-Rank Structures via Trainable Decomposition

    Authors: Samuel Horvath, Stefanos Laskaridis, Shashank Rajput, Hongyi Wang

    Abstract: Deep Neural Networks (DNNs) have been a large driver for AI breakthroughs in recent years. However, these models have been getting increasingly large as they become more accurate and safe. This means that their training becomes increasingly costly and time-consuming and typically yields a single model to fit all targets. Various techniques have been proposed in the literature to mitigate this, inc… ▽ More

    Submitted 14 June, 2024; v1 submitted 28 August, 2023; originally announced August 2023.

    Comments: Accepted at the 41st International Conference on Machine Learning (ICML 2024)

  5. arXiv:2308.12264  [pdf, other

    cs.LG cs.AI cs.PF cs.SE

    Enhancing Energy-Awareness in Deep Learning through Fine-Grained Energy Measurement

    Authors: Saurabhsingh Rajput, Tim Widmayer, Ziyuan Shang, Maria Kechagia, Federica Sarro, Tushar Sharma

    Abstract: With the increasing usage, scale, and complexity of Deep Learning (DL) models, their rapidly growing energy consumption has become a critical concern. Promoting green development and energy awareness at different granularities is the need of the hour to limit carbon emissions of DL systems. However, the lack of standard and repeatable tools to accurately measure and optimize energy consumption at… ▽ More

    Submitted 1 February, 2024; v1 submitted 23 August, 2023; originally announced August 2023.

  6. arXiv:2305.11896  [pdf

    cs.HC cs.AI

    Hyper-automation-The next peripheral for automation in IT industries

    Authors: Ayush Singh Rajput, Richa Gupta

    Abstract: The extension of legacy business process automation beyond the bounds of specific processes is known as hyperautomation. Hyperautomation provides automation for nearly any repetitive action performed by business users by combining AI tools with RPA. It automates complex IT business processes that a company's top brains might not be able to complete. This is an end-to-end automation of a standard b… ▽ More

    Submitted 14 May, 2023; originally announced May 2023.

  7. arXiv:2305.11057  [pdf, other

    cs.CY

    From Assistive Technologies to Metaverse: Technologies in Inclusive Higher Education for Students with Specific Learning Difficulties

    Authors: Gokul Yenduri, Rajesh Kaluri, Dharmendra Singh Rajput, Kuruva Lakshmanna, Thippa Reddy Gadekallu, Mufti Mahmud, David J. Brown

    Abstract: The development of new technologies and their expanding use in a wide range of educational environments are driving the transformation of higher education. Assistive technologies are a subset of cutting-edge technology that can help students learn more effectively and make education accessible to everyone. Assistive technology can enhance, maintain, or improve the capacities of students with learn… ▽ More

    Submitted 5 May, 2023; originally announced May 2023.

    Comments: Submitted to peer review

  8. arXiv:2305.05065  [pdf, other

    cs.IR cs.LG

    Recommender Systems with Generative Retrieval

    Authors: Shashank Rajput, Nikhil Mehta, Anima Singh, Raghunandan H. Keshavan, Trung Vu, Lukasz Heldt, Lichan Hong, Yi Tay, Vinh Q. Tran, Jonah Samost, Maciej Kula, Ed H. Chi, Maheswaran Sathiamoorthy

    Abstract: Modern recommender systems perform large-scale retrieval by first embedding queries and item candidates in the same unified space, followed by approximate nearest neighbor search to select top candidates given a query embedding. In this paper, we propose a novel generative retrieval approach, where the retrieval model autoregressively decodes the identifiers of the target candidates. To that end,… ▽ More

    Submitted 3 November, 2023; v1 submitted 8 May, 2023; originally announced May 2023.

    Comments: To appear in The 37th Conference on Neural Information Processing Systems (NeurIPS 2023)

  9. arXiv:2302.07937  [pdf, other

    cs.LG cs.AI stat.ML

    The Expressive Power of Tuning Only the Normalization Layers

    Authors: Angeliki Giannou, Shashank Rajput, Dimitris Papailiopoulos

    Abstract: Feature normalization transforms such as Batch and Layer-Normalization have become indispensable ingredients of state-of-the-art deep neural networks. Recent studies on fine-tuning large pretrained models indicate that just tuning the parameters of these affine transforms can achieve high accuracy for downstream tasks. These findings open the questions about the expressive power of tuning the norm… ▽ More

    Submitted 4 July, 2023; v1 submitted 15 February, 2023; originally announced February 2023.

  10. arXiv:2301.13196  [pdf, other

    cs.LG cs.AI

    Looped Transformers as Programmable Computers

    Authors: Angeliki Giannou, Shashank Rajput, Jy-yong Sohn, Kangwook Lee, Jason D. Lee, Dimitris Papailiopoulos

    Abstract: We present a framework for using transformer networks as universal computers by programming them with specific weights and placing them in a loop. Our input sequence acts as a punchcard, consisting of instructions and memory for data read/writes. We demonstrate that a constant number of encoder layers can emulate basic computing blocks, including embedding edit operations, non-linear functions, fu… ▽ More

    Submitted 30 January, 2023; originally announced January 2023.

  11. arXiv:2210.12215  [pdf, other

    cs.CL

    Gui at MixMT 2022 : English-Hinglish: An MT approach for translation of code mixed data

    Authors: Akshat Gahoi, Jayant Duneja, Anshul Padhi, Shivam Mangale, Saransh Rajput, Tanvi Kamble, Dipti Misra Sharma, Vasudeva Varma

    Abstract: Code-mixed machine translation has become an important task in multilingual communities and extending the task of machine translation to code mixed data has become a common task for these languages. In the shared tasks of WMT 2022, we try to tackle the same for both English + Hindi to Hinglish and Hinglish to English. The first task dealt with both Roman and Devanagari script as we had monolingual… ▽ More

    Submitted 21 October, 2022; originally announced October 2022.

  12. arXiv:2206.06565  [pdf, other

    cs.LG cs.CL

    LIFT: Language-Interfaced Fine-Tuning for Non-Language Machine Learning Tasks

    Authors: Tuan Dinh, Yuchen Zeng, Ruisu Zhang, Ziqian Lin, Michael Gira, Shashank Rajput, Jy-yong Sohn, Dimitris Papailiopoulos, Kangwook Lee

    Abstract: Fine-tuning pretrained language models (LMs) without making any architectural changes has become a norm for learning various language downstream tasks. However, for non-language downstream tasks, a common practice is to employ task-specific designs for input, output layers, and loss functions. For instance, it is possible to fine-tune an LM into an MNIST classifier by replacing the word embedding… ▽ More

    Submitted 30 October, 2022; v1 submitted 13 June, 2022; originally announced June 2022.

    Comments: Accepted at NeurIPS 2022

  13. arXiv:2205.11616  [pdf, other

    cs.CL cs.LG

    Utilizing Language-Image Pretraining for Efficient and Robust Bilingual Word Alignment

    Authors: Tuan Dinh, Jy-yong Sohn, Shashank Rajput, Timothy Ossowski, Yifei Ming, Junjie Hu, Dimitris Papailiopoulos, Kangwook Lee

    Abstract: Word translation without parallel corpora has become feasible, rivaling the performance of supervised methods. Recent findings have shown that the accuracy and robustness of unsupervised word translation (UWT) can be improved by making use of visual observations, which are universal representations across languages. In this work, we investigate the potential of using not only visual observations b… ▽ More

    Submitted 7 November, 2022; v1 submitted 23 May, 2022; originally announced May 2022.

    Comments: In Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP Findings)

  14. arXiv:2110.10342  [pdf, other

    cs.LG math.OC stat.ML

    Minibatch vs Local SGD with Shuffling: Tight Convergence Bounds and Beyond

    Authors: Chulhee Yun, Shashank Rajput, Suvrit Sra

    Abstract: In distributed learning, local SGD (also known as federated averaging) and its simple baseline minibatch SGD are widely studied optimization methods. Most existing analyses of these methods assume independent and unbiased gradient estimates obtained via with-replacement sampling. In contrast, we study shuffling-based variants: minibatch and local Random Reshuffling, which draw stochastic gradients… ▽ More

    Submitted 23 March, 2022; v1 submitted 19 October, 2021; originally announced October 2021.

    Comments: ICLR 2022 camera-ready (selected for an oral presentation); 76 pages, 3 figures

  15. arXiv:2110.08996  [pdf, other

    cs.LG cs.AI

    Finding Everything within Random Binary Networks

    Authors: Kartik Sreenivasan, Shashank Rajput, Jy-yong Sohn, Dimitris Papailiopoulos

    Abstract: A recent work by Ramanujan et al. (2020) provides significant empirical evidence that sufficiently overparameterized, random neural networks contain untrained subnetworks that achieve state-of-the-art accuracy on several predictive tasks. A follow-up line of theoretical work provides justification of these findings by proving that slightly overparameterized neural networks, with commonly used cont… ▽ More

    Submitted 22 October, 2021; v1 submitted 17 October, 2021; originally announced October 2021.

  16. arXiv:2106.07724  [pdf, other

    cs.LG cs.IT stat.ML

    An Exponential Improvement on the Memorization Capacity of Deep Threshold Networks

    Authors: Shashank Rajput, Kartik Sreenivasan, Dimitris Papailiopoulos, Amin Karbasi

    Abstract: It is well known that modern deep neural networks are powerful enough to memorize datasets even when the labels have been randomized. Recently, Vershynin (2020) settled a long standing question by Baum (1988), proving that \emph{deep threshold} networks can memorize $n$ points in $d$ dimensions using $\widetilde{\mathcal{O}}(e^{1/δ^2}+\sqrt{n})$ neurons and… ▽ More

    Submitted 14 June, 2021; originally announced June 2021.

  17. arXiv:2104.02830  [pdf, other

    cs.CV cs.LG

    IndoFashion : Apparel Classification for Indian Ethnic Clothes

    Authors: Pranjal Singh Rajput, Shivangi Aneja

    Abstract: Cloth categorization is an important research problem that is used by e-commerce websites for displaying correct products to the end-users. Indian clothes have a large number of clothing categories both for men and women. The traditional Indian clothes like "Saree" and "Dhoti" are worn very differently from western clothes like t-shirts and jeans. Moreover, the style and patterns of ethnic clothes… ▽ More

    Submitted 6 April, 2021; originally announced April 2021.

  18. arXiv:2104.02749  [pdf, other

    cs.CV cs.AI

    Heuristics2Annotate: Efficient Annotation of Large-Scale Marathon Dataset For Bounding Box Regression

    Authors: Pranjal Singh Rajput, Yeshwanth Napolean, Jan van Gemert

    Abstract: Annotating a large-scale in-the-wild person re-identification dataset especially of marathon runners is a challenging task. The variations in the scenarios such as camera viewpoints, resolution, occlusion, and illumination make the problem non-trivial. Manually annotating bounding boxes in such large-scale datasets is cost-inefficient. Additionally, due to crowdedness and occlusion in the videos,… ▽ More

    Submitted 6 April, 2021; originally announced April 2021.

  19. arXiv:2103.03296  [pdf, other

    cs.CL cs.HC cs.LG

    PVG at WASSA 2021: A Multi-Input, Multi-Task, Transformer-Based Architecture for Empathy and Distress Prediction

    Authors: Atharva Kulkarni, Sunanda Somwase, Shivam Rajput, Manisha Marathe

    Abstract: Active research pertaining to the affective phenomenon of empathy and distress is invaluable for improving human-machine interaction. Predicting intensities of such complex emotions from textual data is difficult, as these constructs are deeply rooted in the psychological theory. Consequently, for better prediction, it becomes imperative to take into account ancillary factors such as the psycholog… ▽ More

    Submitted 4 March, 2021; originally announced March 2021.

    Comments: Accepted at the 11th Workshop on Computational Approaches to Subjectivity, Sentiment and Social Media Analysis (WASSA 2021), co-located with EACL 2021

  20. arXiv:2102.09718  [pdf, other

    cs.LG math.OC stat.ML

    Permutation-Based SGD: Is Random Optimal?

    Authors: Shashank Rajput, Kangwook Lee, Dimitris Papailiopoulos

    Abstract: A recent line of ground-breaking results for permutation-based SGD has corroborated a widely observed phenomenon: random permutations offer faster convergence than with-replacement sampling. However, is random optimal? We show that this depends heavily on what functions we are optimizing, and the convergence gap between optimal and random permutations can vary from exponential to nonexistent. We f… ▽ More

    Submitted 24 November, 2021; v1 submitted 18 February, 2021; originally announced February 2021.

  21. arXiv:2102.06026  [pdf

    cs.LG eess.SP

    Roughsets-based Approach for Predicting Battery Life in IoT

    Authors: Rajesh Kaluri, Dharmendra Singh Rajput, Qin Xin, Kuruva Lakshmanna, Sweta Bhattacharya, Thippa Reddy Gadekallu, Praveen Kumar Reddy Maddikunta

    Abstract: Internet of Things (IoT) and related applications have successfully contributed towards enhancing the value of life in this planet. The advanced wireless sensor networks and its revolutionary computational capabilities have enabled various IoT applications become the next frontier, touching almost all domains of life. With this enormous progress, energy optimization has also become a primary conce… ▽ More

    Submitted 8 February, 2021; originally announced February 2021.

  22. arXiv:2101.10589  [pdf, other

    eess.IV cs.CV stat.AP

    Glioblastoma Multiforme Patient Survival Prediction

    Authors: Snehal Rajput, Rupal Agravat, Mohendra Roy, Mehul S Raval

    Abstract: Glioblastoma Multiforme is a very aggressive type of brain tumor. Due to spatial and temporal intra-tissue inhomogeneity, location and the extent of the cancer tissue, it is difficult to detect and dissect the tumor regions. In this paper, we propose survival prognosis models using four regressors operating on handcrafted image-based and radiomics features. We hypothesize that the radiomics shape… ▽ More

    Submitted 26 January, 2021; originally announced January 2021.

    Comments: 10 pages, 9 figures

    Journal ref: 2021 International Conference on Medical Imaging and Computer-Aided Diagnosis (MICAD 2021)

  23. arXiv:2101.09821  [pdf, other

    cs.AR

    A Survey of Novel Cache Hierarchy Designs for High Workloads

    Authors: Pranjal Singh Rajput, Sonnya Dellarosa, Kanya Satis

    Abstract: Traditional on-die, three-level cache hierarchy design is very commonly used but is also prone to latency, especially at the Level 2 (L2) cache. We discuss three distinct ways of improving this design in order to have better performance. Performance is especially important for systems with high workloads. The first method proposes to eliminate L2 altogether while proposing a new prefetching techni… ▽ More

    Submitted 24 January, 2021; originally announced January 2021.

  24. arXiv:2101.09793  [pdf, other

    cs.CV eess.IV

    cGANs for Cartoon to Real-life Images

    Authors: Pranjal Singh Rajput, Kanya Satis, Sonnya Dellarosa, Wenxuan Huang, Obinna Agba

    Abstract: The image-to-image translation is a learning task to establish a visual mapping between an input and output image. The task has several variations differentiated based on the purpose of the translation, such as synthetic to real translation, photo to caricature translation, and many others. The problem has been tackled using different approaches, either through traditional computer vision methods,… ▽ More

    Submitted 24 January, 2021; originally announced January 2021.

  25. arXiv:2009.06341  [pdf

    cs.CY

    A Detail Study of Security and Privacy issues of Internet of Things

    Authors: Mohan Krishna Kagita, Navod Thilakarathne, Dharmendra Singh Rajput, Dr Surekha Lanka

    Abstract: The Internet of Things, or IoT, refers to the billions of physical objects around the planet that are now connected to the Internet, many of which store and exchange the data without human interaction. In recent years the Internet of Things (IoT) has incredibly become a groundbreaking technical innovation that has contributed to massive impact in the ways where all the information is handled incor… ▽ More

    Submitted 14 September, 2020; originally announced September 2020.

  26. arXiv:2007.05084  [pdf, other

    cs.LG cs.CR cs.DC stat.ML

    Attack of the Tails: Yes, You Really Can Backdoor Federated Learning

    Authors: Hongyi Wang, Kartik Sreenivasan, Shashank Rajput, Harit Vishwakarma, Saurabh Agarwal, Jy-yong Sohn, Kangwook Lee, Dimitris Papailiopoulos

    Abstract: Due to its decentralized nature, Federated Learning (FL) lends itself to adversarial attacks in the form of backdoors during training. The goal of a backdoor is to corrupt the performance of the trained model on specific sub-tasks (e.g., by classifying green cars as frogs). A range of FL backdoor attacks have been introduced in the literature, but also methods to defend against them, and it is cur… ▽ More

    Submitted 9 July, 2020; originally announced July 2020.

  27. arXiv:2006.07990  [pdf, other

    cs.LG cs.IT stat.ML

    Optimal Lottery Tickets via SubsetSum: Logarithmic Over-Parameterization is Sufficient

    Authors: Ankit Pensia, Shashank Rajput, Alliot Nagle, Harit Vishwakarma, Dimitris Papailiopoulos

    Abstract: The strong {\it lottery ticket hypothesis} (LTH) postulates that one can approximate any target neural network by only pruning the weights of a sufficiently over-parameterized random network. A recent work by Malach et al. \cite{MalachEtAl20} establishes the first theoretical analysis for the strong LTH: one can provably approximate a neural network of width $d$ and depth $l$, by pruning a random… ▽ More

    Submitted 11 March, 2021; v1 submitted 14 June, 2020; originally announced June 2020.

  28. arXiv:2006.01632  [pdf

    eess.IV cs.CV cs.LG

    A Review on End-To-End Methods for Brain Tumor Segmentation and Overall Survival Prediction

    Authors: Snehal Rajput, Mehul S Raval

    Abstract: Brain tumor segmentation intends to delineate tumor tissues from healthy brain tissues. The tumor tissues include necrosis, peritumoral edema, and active tumor. In contrast, healthy brain tissues include white matter, gray matter, and cerebrospinal fluid. The MRI based brain tumor segmentation research is gaining popularity as; 1. It does not irradiate ionized radiation like X-ray or computed tomo… ▽ More

    Submitted 31 May, 2020; originally announced June 2020.

    Comments: 22 pages. Azerbaijan Journal for High Performance Computing, 2020

  29. arXiv:2005.00463  [pdf, other

    cs.AI cs.CL cs.CV

    HLVU : A New Challenge to Test Deep Understanding of Movies the Way Humans do

    Authors: Keith Curtis, George Awad, Shahzad Rajput, Ian Soboroff

    Abstract: In this paper we propose a new evaluation challenge and direction in the area of High-level Video Understanding. The challenge we are proposing is designed to test automatic video analysis and understanding, and how accurately systems can comprehend a movie in terms of actors, entities, events and their relationship to each other. A pilot High-Level Video Understanding (HLVU) dataset of open sourc… ▽ More

    Submitted 1 May, 2020; originally announced May 2020.

  30. arXiv:2002.10400  [pdf, other

    cs.LG math.OC stat.ML

    Closing the convergence gap of SGD without replacement

    Authors: Shashank Rajput, Anant Gupta, Dimitris Papailiopoulos

    Abstract: Stochastic gradient descent without replacement sampling is widely used in practice for model training. However, the vast majority of SGD analyses assumes data is sampled with replacement, and when the function minimized is strongly convex, an $\mathcal{O}\left(\frac{1}{T}\right)$ rate can be established when SGD is run for $T$ iterations. A recent line of breakthrough works on SGD without replace… ▽ More

    Submitted 9 July, 2020; v1 submitted 24 February, 2020; originally announced February 2020.

    Comments: Simplified some proofs and fixed typos

  31. arXiv:1907.12205  [pdf, other

    cs.LG cs.DC stat.ML

    DETOX: A Redundancy-based Framework for Faster and More Robust Gradient Aggregation

    Authors: Shashank Rajput, Hongyi Wang, Zachary Charles, Dimitris Papailiopoulos

    Abstract: To improve the resilience of distributed training to worst-case, or Byzantine node failures, several recent approaches have replaced gradient averaging with robust aggregation methods. Such techniques can have high computational costs, often quadratic in the number of compute nodes, and only have limited robustness guarantees. Other methods have instead used redundancy to guarantee robustness, but… ▽ More

    Submitted 7 March, 2020; v1 submitted 29 July, 2019; originally announced July 2019.

  32. arXiv:1905.09209  [pdf, other

    cs.LG math.OC stat.ML

    Convergence and Margin of Adversarial Training on Separable Data

    Authors: Zachary Charles, Shashank Rajput, Stephen Wright, Dimitris Papailiopoulos

    Abstract: Adversarial training is a technique for training robust machine learning models. To encourage robustness, it iteratively computes adversarial examples for the model, and then re-trains on these examples via some update rule. This work analyzes the performance of adversarial training on linearly separable data, and provides bounds on the number of iterations required for large margin. We show that… ▽ More

    Submitted 22 May, 2019; originally announced May 2019.

  33. arXiv:1905.03177  [pdf, other

    cs.LG stat.ML

    Does Data Augmentation Lead to Positive Margin?

    Authors: Shashank Rajput, Zhili Feng, Zachary Charles, Po-Ling Loh, Dimitris Papailiopoulos

    Abstract: Data augmentation (DA) is commonly used during model training, as it significantly improves test error and model robustness. DA artificially expands the training set by applying random noise, rotations, crops, or even adversarial perturbations to the input data. Although DA is widely used, its capacity to provably improve robustness is not fully understood. In this work, we analyze the robustness… ▽ More

    Submitted 8 May, 2019; originally announced May 2019.

    Comments: ICML 2019

  34. arXiv:1904.00138  [pdf

    stat.ML cs.LG eess.SP

    On Arrhythmia Detection by Deep Learning and Multidimensional Representation

    Authors: K. S. Rajput, S. Wibowo, C. Hao, M. Majmudar

    Abstract: An electrocardiogram (ECG) is a time-series signal that is represented by one-dimensional (1-D) data. Higher dimensional representation contains more information that is accessible for feature extraction. Hidden variables such as frequency relation and morphology of segment is not directly accessible in the time domain. In this paper, 1-D time series data is converted into multi-dimensional repres… ▽ More

    Submitted 11 April, 2019; v1 submitted 29 March, 2019; originally announced April 2019.

    Comments: draft paper; prepared for journal