Skip to main content

Showing 1–34 of 34 results for author: Xi, J

  1. arXiv:2406.07894  [pdf, other

    cs.RO cs.HC

    100 Drivers, 2200 km: A Natural Dataset of Driving Style toward Human-centered Intelligent Driving Systems

    Authors: Chaopeng Zhang, Wenshuo Wang, Zhaokun Chen, Junqiang Xi

    Abstract: Effective driving style analysis is critical to developing human-centered intelligent driving systems that consider drivers' preferences. However, the approaches and conclusions of most related studies are diverse and inconsistent because no unified datasets tagged with driving styles exist as a reliable benchmark. The absence of explicit driving style labels makes verifying different approaches a… ▽ More

    Submitted 12 June, 2024; originally announced June 2024.

  2. arXiv:2405.20775  [pdf, other

    cs.CR cs.AI cs.CL cs.MM

    Cross-Modality Jailbreak and Mismatched Attacks on Medical Multimodal Large Language Models

    Authors: Xijie Huang, Xinyuan Wang, Hantao Zhang, Jiawen Xi, Jingkun An, Hao Wang, Chengwei Pan

    Abstract: Security concerns related to Large Language Models (LLMs) have been extensively explored, yet the safety implications for Multimodal Large Language Models (MLLMs), particularly in medical contexts (MedMLLMs), remain insufficiently studied. This paper delves into the underexplored security vulnerabilities of MedMLLMs, especially when deployed in clinical environments where the accuracy and relevanc… ▽ More

    Submitted 26 May, 2024; originally announced May 2024.

  3. Wavefront Threading Enables Effective High-Level Synthesis

    Authors: Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, Doug Burger

    Abstract: Digital systems are growing in importance and computing hardware is growing more heterogeneous. Hardware design, however, remains laborious and expensive, in part due to the limitations of conventional hardware description languages (HDLs) like VHDL and Verilog. A longstanding research goal has been programming hardware like software, with high-level languages that can generate efficient hardware… ▽ More

    Submitted 10 June, 2024; v1 submitted 29 May, 2024; originally announced May 2024.

    Comments: Accepted to PLDI'24

  4. arXiv:2405.05945  [pdf, other

    cs.CV

    Lumina-T2X: Transforming Text into Any Modality, Resolution, and Duration via Flow-based Large Diffusion Transformers

    Authors: Peng Gao, Le Zhuo, Dongyang Liu, Ruoyi Du, Xu Luo, Longtian Qiu, Yuhang Zhang, Chen Lin, Rongjie Huang, Shijie Geng, Renrui Zhang, Junlin Xi, Wenqi Shao, Zhengkai Jiang, Tianshuo Yang, Weicai Ye, He Tong, Jingwen He, Yu Qiao, Hongsheng Li

    Abstract: Sora unveils the potential of scaling Diffusion Transformer for generating photorealistic images and videos at arbitrary resolutions, aspect ratios, and durations, yet it still lacks sufficient implementation details. In this technical report, we introduce the Lumina-T2X family - a series of Flow-based Large Diffusion Transformers (Flag-DiT) equipped with zero-initialized attention, as a unified f… ▽ More

    Submitted 13 June, 2024; v1 submitted 9 May, 2024; originally announced May 2024.

    Comments: Technical Report; Code at: https://github.com/Alpha-VLLM/Lumina-T2X

  5. arXiv:2404.01595  [pdf, other

    cs.LG stat.ME stat.ML

    Propensity Score Alignment of Unpaired Multimodal Data

    Authors: Johnny Xi, Jason Hartford

    Abstract: Multimodal representation learning techniques typically rely on paired samples to learn common representations, but paired samples are challenging to collect in fields such as biology where measurement devices often destroy the samples. This paper presents an approach to address the challenge of aligning unpaired samples across disparate modalities in multimodal representation learning. We draw an… ▽ More

    Submitted 1 April, 2024; originally announced April 2024.

  6. arXiv:2402.09742  [pdf, other

    cs.CL

    AI Hospital: Benchmarking Large Language Models in a Multi-agent Medical Interaction Simulator

    Authors: Zhihao Fan, Jialong Tang, Wei Chen, Siyuan Wang, Zhongyu Wei, Jun Xi, Fei Huang, Jingren Zhou

    Abstract: Artificial intelligence has significantly advanced healthcare, particularly through large language models (LLMs) that excel in medical question answering benchmarks. However, their real-world clinical application remains limited due to the complexities of doctor-patient interactions. To address this, we introduce \textbf{AI Hospital}, a multi-agent framework simulating dynamic medical interactions… ▽ More

    Submitted 27 June, 2024; v1 submitted 15 February, 2024; originally announced February 2024.

    Comments: https://github.com/LibertFan/AI_Hospital

  7. arXiv:2401.15196  [pdf, other

    cs.AI

    Regularized Q-Learning with Linear Function Approximation

    Authors: Jiachen Xi, Alfredo Garcia, Petar Momcilovic

    Abstract: Several successful reinforcement learning algorithms make use of regularization to promote multi-modal policies that exhibit enhanced exploration and robustness. With functional approximation, the convergence properties of some of these algorithms (e.g. soft Q-learning) are not well understood. In this paper, we consider a single-loop algorithm for minimizing the projected Bellman error with finit… ▽ More

    Submitted 26 January, 2024; originally announced January 2024.

  8. arXiv:2310.15057  [pdf, other

    cs.RO

    Shareable Driving Style Learning and Analysis with a Hierarchical Latent Model

    Authors: Chaopeng Zhang, Wenshuo Wang, Zhaokun Chen, Jian Zhang, Lijun Sun, Junqiang Xi

    Abstract: Driving style is usually used to characterize driving behavior for a driver or a group of drivers. However, it remains unclear how one individual's driving style shares certain common grounds with other drivers. Our insight is that driving behavior is a sequence of responses to the weighted mixture of latent driving styles that are shareable within and between individuals. To this end, this paper… ▽ More

    Submitted 24 October, 2023; v1 submitted 23 October, 2023; originally announced October 2023.

  9. arXiv:2309.11725  [pdf, other

    cs.SD cs.AI eess.AS

    FluentEditor: Text-based Speech Editing by Considering Acoustic and Prosody Consistency

    Authors: Rui Liu, Jiatian Xi, Ziyue Jiang, Haizhou Li

    Abstract: Text-based speech editing (TSE) techniques are designed to enable users to edit the output audio by modifying the input text transcript instead of the audio itself. Despite much progress in neural network-based TSE techniques, the current techniques have focused on reducing the difference between the generated speech segment and the reference target in the editing region, ignoring its local and gl… ▽ More

    Submitted 21 September, 2023; v1 submitted 20 September, 2023; originally announced September 2023.

    Comments: Submitted to ICASSP'2024

  10. arXiv:2308.12834  [pdf

    cs.CE

    A Blockchain based Fund Management System for Construction Projects -- A Comprehensive Case Study in Xiong'an New Area China

    Authors: Wenlue Song, Hanyuan Wu, Hongwei Meng, Evan Bian, Cong Tang, Jiaqi Xi, Haogang Zhu

    Abstract: As large scale construction projects become increasingly complex, the use and integration of advanced technologies are being emphasized more and more. However, the construction industry often lags behind most industries in the application of digital technologies. In recent years, a decentralized, peer-topeer blockchain technology has attracted widespread attention from academia and industry. This… ▽ More

    Submitted 24 August, 2023; originally announced August 2023.

    Comments: Accepted to the 8th International Conference on Smart Finance (ICSF 2023)

  11. arXiv:2307.10233  [pdf, other

    cs.CV

    RayMVSNet++: Learning Ray-based 1D Implicit Fields for Accurate Multi-View Stereo

    Authors: Yifei Shi, Junhua Xi, Dewen Hu, Zhiping Cai, Kai Xu

    Abstract: Learning-based multi-view stereo (MVS) has by far centered around 3D convolution on cost volumes. Due to the high computation and memory consumption of 3D CNN, the resolution of output depth is often considerably limited. Different from most existing works dedicated to adaptive refinement of cost volumes, we opt to directly optimize the depth value along each camera ray, mimicking the range findin… ▽ More

    Submitted 15 July, 2023; originally announced July 2023.

    Comments: IEEE Transactions on Pattern Analysis and Machine Intelligence. arXiv admin note: substantial text overlap with arXiv:2204.01320

  12. arXiv:2204.01320  [pdf, other

    cs.CV

    RayMVSNet: Learning Ray-based 1D Implicit Fields for Accurate Multi-View Stereo

    Authors: Junhua Xi, Yifei Shi, Yijie Wang, Yulan Guo, Kai Xu

    Abstract: Learning-based multi-view stereo (MVS) has by far centered around 3D convolution on cost volumes. Due to the high computation and memory consumption of 3D CNN, the resolution of output depth is often considerably limited. Different from most existing works dedicated to adaptive refinement of cost volumes, we opt to directly optimize the depth value along each camera ray, mimicking the range (depth… ▽ More

    Submitted 4 April, 2022; originally announced April 2022.

    Comments: cvpr 2022, 11 pages

  13. arXiv:2112.07097  [pdf, other

    cs.IT

    Grant Free MIMO-NOMA with Differential Modulation for Machine Type Communications

    Authors: Yuanyuan Zhang, Zhengdao Yuan, Qinghua Guo, Zhongyong Wang, Jiangtao Xi, Yanguang Yu, Yonghui Li

    Abstract: This paper considers a challenging scenario of machine type communications, where we assume internet of things (IoT) devices send short packets sporadically to an access point (AP) and the devices are not synchronized in the packet level. High transmission efficiency and low latency are concerned. Motivated by the great potential of multiple-input multiple-output non-orthogonal multiple access (MI… ▽ More

    Submitted 11 June, 2024; v1 submitted 13 December, 2021; originally announced December 2021.

  14. arXiv:2008.10771  [pdf, other

    cs.CR

    MuCo: Publishing Microdata with Privacy Preservation through Mutual Cover

    Authors: Boyu Li, Jianfeng Ma, Junhua Xi, Lili Zhang, Tao Xie, Tongfei Shang

    Abstract: We study the anonymization technique of k-anonymity family for preserving privacy in the publication of microdata. Although existing approaches based on generalization can provide good enough protections, the generalized table always suffers from considerable information loss, mainly because the distributions of QI (Quasi-Identifier) values are barely preserved and the results of query statements… ▽ More

    Submitted 29 March, 2024; v1 submitted 24 August, 2020; originally announced August 2020.

  15. arXiv:2004.03462  [pdf

    eess.SP cs.DC

    Efficient Task Mapping for Manycore Systems

    Authors: Xiqian Wang, Jiajin Xi, Yinghao Wang, Paul Bogdan, Shahin Nazarian

    Abstract: System-on-chip (SoC) has migrated from single core to manycore architectures to cope with the increasing complexity of real-life applications. Application task mapping has a significant impact on the efficiency of manycore system (MCS) computation and communication. We present WAANSO, a scalable framework that incorporates a Wavelet Clustering based approach to cluster application tasks. We also i… ▽ More

    Submitted 5 April, 2020; originally announced April 2020.

    Comments: This paper is accepted to appear in ISCAS 2020

  16. arXiv:2003.01307  [pdf, other

    cs.IT

    Bayesian Receiver Design for Grant-Free NOMA with Message Passing Based Structured Signal Estimation

    Authors: Yuanyuan Zhang, Zhengdao Yuan, Qinghua Guo, Zhongyong Wang, Jiangtao Xi, Yonghui Li

    Abstract: Grant-free non-orthogonal multiple access (NOMA) is promising to achieve low latency massive access in Internet of Things (IoT) applications. In grant-free NOMA, pilot signals are often used for user activity detection (UAD) and channel estimation (CE) prior to multiuser detection (MUD) of active users. However, the pilot overhead makes the communications inefficient for IoT devices with sporadic… ▽ More

    Submitted 2 March, 2020; originally announced March 2020.

  17. Spatiotemporal Learning of Multivehicle Interaction Patterns in Lane-Change Scenarios

    Authors: Chengyuan Zhang, Jiacheng Zhu, Wenshuo Wang, Junqiang Xi

    Abstract: Interpretation of common-yet-challenging interaction scenarios can benefit well-founded decisions for autonomous vehicles. Previous research achieved this using their prior knowledge of specific scenarios with predefined models, limiting their adaptive capabilities. This paper describes a Bayesian nonparametric approach that leverages continuous (i.e., Gaussian processes) and discrete (i.e., Diric… ▽ More

    Submitted 5 September, 2020; v1 submitted 2 March, 2020; originally announced March 2020.

    Comments: for the supplements, see https://chengyuan-zhang.github.io/Multivehicle-Interaction/

  18. arXiv:2002.05645  [pdf, other

    cs.LG cs.DC stat.ML

    Training Large Neural Networks with Constant Memory using a New Execution Algorithm

    Authors: Bharadwaj Pudipeddi, Maral Mesmakhosroshahi, Jinwen Xi, Sujeeth Bharadwaj

    Abstract: Widely popular transformer-based NLP models such as BERT and Turing-NLG have enormous capacity trending to billions of parameters. Current execution methods demand brute-force resources such as HBM devices and high speed interconnectivity for data parallelism. In this paper, we introduce a new relay-style execution technique called L2L (layer-to-layer) where at any given moment, the device memory… ▽ More

    Submitted 4 June, 2020; v1 submitted 13 February, 2020; originally announced February 2020.

  19. arXiv:1909.08974  [pdf, ps, other

    cs.MA eess.SY

    Robust time-varying formation design for multi-agent systems with disturbances: Extended-state-observer method

    Authors: Le Wang, Jianxiang Xi, Ming He, Guangbin Liu

    Abstract: Robust time-varying formation design problems for second-order multi-agent systems subjected to external disturbances are investigated. Firstly, by constructing an extended state observer, the disturbance compensation is estimated, which is a critical term in the proposed robust time-varying formation control protocol. Then, an explicit expression of the formation center function is determined and… ▽ More

    Submitted 19 September, 2019; originally announced September 2019.

    Comments: 14 pages, 5 figures

    Journal ref: INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL Volume: 30 Issue: 7 Pages: 2796-2808 Published: MAY 10 2020

  20. Limited-budget output consensus for descriptor multiagent systems with energy constraints

    Authors: Jianxiang Xi, Cheng Wang, Xiaojun Yang, Bailong Yang

    Abstract: The current paper deals with limited-budget output consensus for descriptor multiagent systems with two types of switching communication topologies; that is, switching connected ones and jointly connected ones. Firstly, a singular dynamic output feedback control protocol with switching communication topologies is proposed on the basis of the observable decomposition, where an energy constraint is… ▽ More

    Submitted 18 September, 2019; originally announced September 2019.

    Comments: 10 pages, 5 figures

    Journal ref: IEEE Transactions on Cybernetics 2020

  21. arXiv:1906.09841  [pdf, ps, other

    eess.SP cs.IT cs.NI

    On the Performance of Massive MIMO Systems With Low-Resolution ADCs Over Rician Fading Channels

    Authors: Tianle Liu, Jun Tong, Qinghua Guo, Jiangtao Xi, Yanguang Yu, Zhitao Xiao

    Abstract: This paper considers uplink massive multiple-input multiple-output (MIMO) systems with lowresolution analog-to-digital converters (ADCs) over Rician fading channels. Maximum-ratio-combining (MRC) and zero-forcing (ZF) receivers are considered under the assumption of perfect and imperfect channel state information (CSI). Low-resolution ADCs are considered for both data detection and channel estimat… ▽ More

    Submitted 24 June, 2019; originally announced June 2019.

    Comments: 12 pages, 7 figures

  22. arXiv:1901.05104  [pdf

    cs.CV

    A Comprehensive Performance Evaluation for 3D Transformation Estimation Techniques

    Authors: Bao Zhao, Xiaobo Chen, Xinyi Le, Juntong Xi

    Abstract: 3D local feature extraction and matching is the basis for solving many tasks in the area of computer vision, such as 3D registration, modeling, recognition and retrieval. However, this process commonly draws into false correspondences, due to noise, limited features, occlusion, incomplete surface and etc. In order to estimate accurate transformation based on these corrupted correspondences, numero… ▽ More

    Submitted 15 January, 2019; originally announced January 2019.

  23. Linear Shrinkage Estimation of Covariance Matrices Using Low-Complexity Cross-Validation

    Authors: Jun Tong, Rui Hu, Jiangtao Xi, Zhitao Xiao, Qinghua Guo, Yanguang Yu

    Abstract: Shrinkage can effectively improve the condition number and accuracy of covariance matrix estimation, especially for low-sample-support applications with the number of training samples smaller than the dimensionality. This paper investigates parameter choice for linear shrinkage estimators. We propose data-driven, leave-one-out cross-validation (LOOCV) methods for automatically choosing the shrinka… ▽ More

    Submitted 19 October, 2018; originally announced October 2018.

    Comments: 12 pages, 6 figures. Published in Signal Processing

    Journal ref: J. Tong, R. Hu, J. Xi, Z. Xiao, Q. Guo, and Y. Yu, "Linear shrinkage estimation of covariance matrices using low-complexity cross-validation," Signal Processing, vol.148, pp. 223-233, July 2018

  24. Matrix Completion-Based Channel Estimation for MmWave Communication Systems With Array-Inherent Impairments

    Authors: Rui Hu, Jun Tong, Jiangtao Xi, Qinghua Guo, Yanguang Yu

    Abstract: Hybrid massive MIMO structures with reduced hardware complexity and power consumption have been widely studied as a potential candidate for millimeter wave (mmWave) communications. Channel estimators that require knowledge of the array response, such as those using compressive sensing (CS) methods, may suffer from performance degradation when array-inherent impairments bring unknown phase errors a… ▽ More

    Submitted 10 October, 2018; originally announced October 2018.

    Comments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible

  25. arXiv:1806.09757  [pdf, ps, other

    cs.MA

    Adaptive guaranteed-performance consensus design for high-order multiagent systems

    Authors: Jianxiang Xi, Jie Yang, Hao Liu, Tang Zheng

    Abstract: The current paper addresses the distributed guaranteed-performance consensus design problems for general high-order linear multiagent systems with leaderless and leader-follower structures, respectively. The information about the Laplacian matrix of the interaction topology or its minimum nonzero eigenvalue is usually required in existing works on the guaranteed-performance consensus, which means… ▽ More

    Submitted 25 June, 2018; originally announced June 2018.

  26. arXiv:1802.07923  [pdf, ps, other

    eess.SY cs.DC

    Dynamic Output Feedback Guaranteed-Cost Synchronization for Multiagent Networks with Given Cost Budgets

    Authors: Jianxiang Xi, Cheng Wang, Hao Liu, Zhong Wang

    Abstract: The current paper addresses the distributed guaranteed-cost synchronization problems for general high-order linear multiagent networks. Existing works on the guaranteed-cost synchronization usually require all state information of neighboring agents and cannot give the cost budget previously. For both leaderless and leader-following interaction topologies, the current paper firstly proposes a dyna… ▽ More

    Submitted 22 February, 2018; originally announced February 2018.

    Comments: 12 pages

  27. Learning and Inferring a Driver's Braking Action in Car-Following Scenarios

    Authors: Wenshuo Wang, Junqiang Xi, Ding Zhao

    Abstract: Accurately predicting and inferring a driver's decision to brake is critical for designing warning systems and avoiding collisions. In this paper we focus on predicting a driver's intent to brake in car-following scenarios from a perception-decision-action perspective according to his/her driving history. A learning-based inference method, using onboard data from CAN-Bus, radar and cameras as expl… ▽ More

    Submitted 11 January, 2018; originally announced January 2018.

  28. arXiv:1711.05368  [pdf

    cs.CV

    A Novel SDASS Descriptor for Fully Encoding the Information of 3D Local Surface

    Authors: Bao Zhao, Xinyi Le, Juntong Xi

    Abstract: Local feature description is a fundamental yet challenging task in 3D computer vision. This paper proposes a novel descriptor, named Statistic of Deviation Angles on Subdivided Space (SDASS), of encoding geometrical and spatial information of local surface on Local Reference Axis (LRA). In terms of encoding geometrical information, considering that surface normals, which are usually used for encod… ▽ More

    Submitted 26 June, 2018; v1 submitted 14 November, 2017; originally announced November 2017.

    Comments: 21 pages, 15 figures

  29. arXiv:1708.08986  [pdf, other

    cs.CV

    Driving Style Analysis Using Primitive Driving Patterns With Bayesian Nonparametric Approaches

    Authors: Wenshuo Wang, Junqiang Xi, Ding Zhao

    Abstract: Analysis and recognition of driving styles are profoundly important to intelligent transportation and vehicle calibration. This paper presents a novel driving style analysis framework using the primitive driving patterns learned from naturalistic driving data. In order to achieve this, first, a Bayesian nonparametric learning method based on a hidden semi-Markov model (HSMM) is introduced to extra… ▽ More

    Submitted 15 August, 2017; originally announced August 2017.

  30. arXiv:1702.01228  [pdf, other

    cs.LG eess.SY

    A Learning-Based Approach for Lane Departure Warning Systems with a Personalized Driver Model

    Authors: Wenshuo Wang, Ding Zhao, Junqiang Xi, Wei Han

    Abstract: Misunderstanding of driver correction behaviors (DCB) is the primary reason for false warnings of lane-departure-prediction systems. We propose a learning-based approach to predicting unintended lane-departure behaviors (LDB) and the chance for drivers to bring the vehicle back to the lane. First, in this approach, a personalized driver model for lane-departure and lane-keeping behavior is establi… ▽ More

    Submitted 3 February, 2017; originally announced February 2017.

    Comments: 12 pages, 13 figures, Journal

  31. arXiv:1609.05693  [pdf, ps, other

    cs.IT

    Low-Complexity and Basis-Free Channel Estimation for Switch-Based mmWave MIMO Systems via Matrix Completion

    Authors: Rui Hu, Jun Tong, Jiangtao Xi, Qinghua Guo, Yanguang Yu

    Abstract: Recently, a switch-based hybrid massive MIMO structure that aims to reduce the hardware complexity and power consumption has been proposed as a potential candidate for millimeter wave (mmWave) communications. Exploiting the sparse nature of the mmWave channel, compressive sensing (CS)-based channel estimators have been proposed. When applied to real mmWave channels, the CS-based channel estimators… ▽ More

    Submitted 23 November, 2016; v1 submitted 19 September, 2016; originally announced September 2016.

    Comments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible

  32. Statistical Pattern Recognition for Driving Styles Based on Bayesian Probability and Kernel Density Estimation

    Authors: Wenshuo Wang, Junqiang Xi, Xiaohan Li

    Abstract: Driving styles have a great influence on vehicle fuel economy, active safety, and drivability. To recognize driving styles of path-tracking behaviors for different divers, a statistical pattern-recognition method is developed to deal with the uncertainty of driving styles or characteristics based on probability density estimation. First, to describe driver path-tracking styles, vehicle speed and t… ▽ More

    Submitted 3 June, 2016; originally announced June 2016.

    Comments: 10 pages, 9 figures. Submitted to International Journal of Automotive Technology

    Journal ref: IET Intelligent Transportation Systems, 2018

  33. arXiv:1605.06742  [pdf, other

    stat.ML cs.CV cs.LG

    A Rapid Pattern-Recognition Method for Driving Types Using Clustering-Based Support Vector Machines

    Authors: Wenshuo Wang, Junqiang Xi

    Abstract: A rapid pattern-recognition approach to characterize driver's curve-negotiating behavior is proposed. To shorten the recognition time and improve the recognition of driving styles, a k-means clustering-based support vector machine ( kMC-SVM) method is developed and used for classifying drivers into two types: aggressive and moderate. First, vehicle speed and throttle opening are treated as the fea… ▽ More

    Submitted 22 May, 2016; originally announced May 2016.

    Comments: 6 pages, 9 figures, 2 tables. To be appear in 2016 American Control Conference, Boston, MA, USA, 2016

    Journal ref: 2017 American Control Conference

  34. arXiv:1504.04799  [pdf, ps, other

    cs.IT

    Approximate Message Passing with Unitary Transformation

    Authors: Qinghua Guo, Jiangtao Xi

    Abstract: Approximate message passing (AMP) and its variants, developed based on loopy belief propagation, are attractive for estimating a vector x from a noisy version of z = Ax, which arises in many applications. For a large A with i. i. d. elements, AMP can be characterized by the state evolution and exhibits fast convergence. However, it has been shown that, AMP mayeasily diverge for a generic A. In thi… ▽ More

    Submitted 19 April, 2015; originally announced April 2015.

    Comments: 5 pages