Skip to main content

Showing 1–44 of 44 results for author: King, C

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

    cs.RO cs.AI cs.SE

    Fast and Modular Autonomy Software for Autonomous Racing Vehicles

    Authors: Andrew Saba, Aderotimi Adetunji, Adam Johnson, Aadi Kothari, Matthew Sivaprakasam, Joshua Spisak, Prem Bharatia, Arjun Chauhan, Brendan Duff Jr., Noah Gasparro, Charles King, Ryan Larkin, Brian Mao, Micah Nye, Anjali Parashar, Joseph Attias, Aurimas Balciunas, Austin Brown, Chris Chang, Ming Gao, Cindy Heredia, Andrew Keats, Jose Lavariega, William Muckelroy III, Andre Slavescu , et al. (5 additional authors not shown)

    Abstract: Autonomous motorsports aim to replicate the human racecar driver with software and sensors. As in traditional motorsports, Autonomous Racing Vehicles (ARVs) are pushed to their handling limits in multi-agent scenarios at extremely high ($\geq 150mph$) speeds. This Operational Design Domain (ODD) presents unique challenges across the autonomy stack. The Indy Autonomous Challenge (IAC) is an interna… ▽ More

    Submitted 27 August, 2024; originally announced August 2024.

    Comments: Published in Journal of Field Robotics

    Journal ref: Field Robotics Volume 4 (2024) 1-45

  2. arXiv:2407.20814  [pdf, other

    eess.SY cs.GT

    Embracing Fairness in Consumer Electricity Markets using an Automatic Market Maker

    Authors: Shaun Sweeney, Chris King, Mark O'Malley, Robert Shorten

    Abstract: As consumer flexibility becomes expected, it is important that the market mechanisms which attain that flexibility are perceived as fair. We set out fairness issues in energy markets today, and propose a market design to address them. Consumption is categorised as either essential or flexible with different prices and reliability levels for each. Prices are generated by an Automatic Market Maker (… ▽ More

    Submitted 30 July, 2024; originally announced July 2024.

    Comments: Under review for inclusion in Special Issue of Applied Energy on `(R)Evolution of Electricity Markets: Designing Smart Electricity Markets for a Decarbonized World'

  3. arXiv:2406.04557  [pdf, other

    cs.CY

    Countrywide natural experiment reveals impact of built environment on physical activity

    Authors: Tim Althoff, Boris Ivanovic, Jennifer L. Hicks, Scott L. Delp, Abby C. King, Jure Leskovec

    Abstract: While physical activity is critical to human health, most people do not meet recommended guidelines. More walkable built environments have the potential to increase activity across the population. However, previous studies on the built environment and physical activity have led to mixed findings, possibly due to methodological limitations such as small cohorts, few or single locations, over-relian… ▽ More

    Submitted 6 June, 2024; originally announced June 2024.

  4. arXiv:2405.15965  [pdf, other

    cs.CV

    What is a Goldilocks Face Verification Test Set?

    Authors: Haiyu Wu, Sicong Tian, Aman Bhatta, Jacob Gutierrez, Grace Bezold, Genesis Argueta, Karl Ricanek Jr., Michael C. King, Kevin W. Bowyer

    Abstract: Face Recognition models are commonly trained with web-scraped datasets containing millions of images and evaluated on test sets emphasizing pose, age and mixed attributes. With train and test sets both assembled from web-scraped images, it is critical to ensure disjoint sets of identities between train and test sets. However, existing train and test sets have not considered this. Moreover, as accu… ▽ More

    Submitted 24 May, 2024; originally announced May 2024.

  5. Blockchain Metrics and Indicators in Cryptocurrency Trading

    Authors: Juan C. King, Roberto Dale, José M. Amigó

    Abstract: The objective of this paper is the construction of new indicators that can be useful to operate in the cryptocurrency market. These indicators are based on public data obtained from the blockchain network, specifically from the nodes that make up Bitcoin mining. Therefore, our analysis is unique to that network. The results obtained with numerical simulations of algorithmic trading and prediction… ▽ More

    Submitted 11 February, 2024; originally announced March 2024.

    Comments: 26 pages; 14 figures

    Journal ref: Solitons & Fractals, 178, 114305 (2024)

  6. arXiv:2309.05180  [pdf, other

    cs.CV cs.AI cs.CY

    What's color got to do with it? Face recognition in grayscale

    Authors: Aman Bhatta, Domingo Mery, Haiyu Wu, Joyce Annan, Micheal C. King, Kevin W. Bowyer

    Abstract: State-of-the-art deep CNN face matchers are typically created using extensive training sets of color face images. Our study reveals that such matchers attain virtually identical accuracy when trained on either grayscale or color versions of the training set, even when the evaluation is done using color test images. Furthermore, we demonstrate that shallower models, lacking the capacity to model co… ▽ More

    Submitted 2 July, 2024; v1 submitted 10 September, 2023; originally announced September 2023.

    Comments: This is replacement version of the previous arxiv submission: 2309.05180 (Our Deep CNN Face Matchers Have Developed Achromatopsia). The past version is published in CVPRW and available in IEEE proceedings. This submitted version is an extension of the conference paper

  7. arXiv:2309.04447  [pdf, other

    cs.CV cs.CY

    Impact of Blur and Resolution on Demographic Disparities in 1-to-Many Facial Identification

    Authors: Aman Bhatta, Gabriella Pangelinan, Michael C. King, Kevin W. Bowyer

    Abstract: Most studies to date that have examined demographic variations in face recognition accuracy have analyzed 1-to-1 matching accuracy, using images that could be described as "government ID quality". This paper analyzes the accuracy of 1-to-many facial identification across demographic groups, and in the presence of blur and reduced resolution in the probe image as might occur in "surveillance camera… ▽ More

    Submitted 23 January, 2024; v1 submitted 8 September, 2023; originally announced September 2023.

    Comments: 9 pages, 8 figures, Conference submission

  8. arXiv:2308.02273  [pdf, other

    cs.SE eess.SY

    Is Scenario Generation Ready for SOTIF? A Systematic Literature Review

    Authors: Lukas Birkemeyer, Christian King, Ina Schaefer

    Abstract: Scenario-based testing is considered state-of-the-art to verify and validate Advanced Driver Assistance Systems or Automated Driving Systems. Due to the official launch of the SOTIF-standard (ISO 21448), scenario-based testing becomes more and more relevant for releasing those Highly Automated Driving Systems. However, an essential missing detail prevent the practical application of the SOTIF-stan… ▽ More

    Submitted 8 August, 2023; v1 submitted 4 August, 2023; originally announced August 2023.

    Comments: accepted at IEEE ITSC 2023

  9. arXiv:2305.06307  [pdf, other

    cs.CV

    Analysis of Adversarial Image Manipulations

    Authors: Ahsi Lo, Gabriella Pangelinan, Michael C. King

    Abstract: As virtual and physical identity grow increasingly intertwined, the importance of privacy and security in the online sphere becomes paramount. In recent years, multiple news stories have emerged of private companies scraping web content and doing research with or selling the data. Images uploaded online can be scraped without users' consent or knowledge. Users of social media platforms whose image… ▽ More

    Submitted 10 May, 2023; originally announced May 2023.

  10. arXiv:2304.07175  [pdf, other

    cs.CV

    Exploring Causes of Demographic Variations In Face Recognition Accuracy

    Authors: Gabriella Pangelinan, K. S. Krishnapriya, Vitor Albiero, Grace Bezold, Kai Zhang, Kushal Vangara, Michael C. King, Kevin W. Bowyer

    Abstract: In recent years, media reports have called out bias and racism in face recognition technology. We review experimental results exploring several speculated causes for asymmetric cross-demographic performance. We consider accuracy differences as represented by variations in non-mated (impostor) and / or mated (genuine) distributions for 1-to-1 face matching. Possible causes explored include differen… ▽ More

    Submitted 14 April, 2023; originally announced April 2023.

  11. arXiv:2303.02570  [pdf, other

    cs.LG cs.AI

    Time Associated Meta Learning for Clinical Prediction

    Authors: Hao Liu, Muhan Zhang, Zehao Dong, Lecheng Kong, Yixin Chen, Bradley Fritz, Dacheng Tao, Christopher King

    Abstract: Rich Electronic Health Records (EHR), have created opportunities to improve clinical processes using machine learning methods. Prediction of the same patient events at different time horizons can have very different applications and interpretations; however, limited number of events in each potential time window hurts the effectiveness of conventional machine learning algorithms. We propose a nove… ▽ More

    Submitted 4 March, 2023; originally announced March 2023.

  12. arXiv:2301.11608  [pdf, other

    cs.CL cs.AI

    A Multi-View Joint Learning Framework for Embedding Clinical Codes and Text Using Graph Neural Networks

    Authors: Lecheng Kong, Christopher King, Bradley Fritz, Yixin Chen

    Abstract: Learning to represent free text is a core task in many clinical machine learning (ML) applications, as clinical text contains observations and plans not otherwise available for inference. State-of-the-art methods use large language models developed with immense computational resources and training data; however, applying these models is challenging because of the highly varying syntax and vocabula… ▽ More

    Submitted 27 January, 2023; originally announced January 2023.

  13. arXiv:2211.04442  [pdf, other

    cs.LG

    Algorithmic Bias in Machine Learning Based Delirium Prediction

    Authors: Sandhya Tripathi, Bradley A Fritz, Michael S Avidan, Yixin Chen, Christopher R King

    Abstract: Although prediction models for delirium, a commonly occurring condition during general hospitalization or post-surgery, have not gained huge popularity, their algorithmic bias evaluation is crucial due to the existing association between social determinants of health and delirium risk. In this context, using MIMIC-III and another academic hospital dataset, we present some initial experimental evid… ▽ More

    Submitted 26 November, 2022; v1 submitted 8 November, 2022; originally announced November 2022.

    Comments: Extended Abstract presented at Machine Learning for Health (ML4H) symposium 2022, November 28th, 2022, New Orleans, United States & Virtual, http://www.ml4h.cc, 14 pages

  14. arXiv:2210.07356  [pdf, other

    cs.CV

    Consistency and Accuracy of CelebA Attribute Values

    Authors: Haiyu Wu, Grace Bezold, Manuel Günther, Terrance Boult, Michael C. King, Kevin W. Bowyer

    Abstract: We report the first systematic analysis of the experimental foundations of facial attribute classification. Two annotators independently assigning attribute values shows that only 12 of 40 common attributes are assigned values with >= 95% consistency, and three (high cheekbones, pointed nose, oval face) have essentially random consistency. Of 5,068 duplicate face appearances in CelebA, attributes… ▽ More

    Submitted 16 April, 2023; v1 submitted 13 October, 2022; originally announced October 2022.

  15. arXiv:2210.04417  [pdf, other

    cs.LG

    Self-explaining Hierarchical Model for Intraoperative Time Series

    Authors: Dingwen Li, Bing Xue, Christopher King, Bradley Fritz, Michael Avidan, Joanna Abraham, Chenyang Lu

    Abstract: Major postoperative complications are devastating to surgical patients. Some of these complications are potentially preventable via early predictions based on intraoperative data. However, intraoperative data comprise long and fine-grained multivariate time series, prohibiting the effective learning of accurate models. The large gaps associated with clinical events and protocols are usually ignore… ▽ More

    Submitted 9 October, 2022; originally announced October 2022.

  16. arXiv:2207.03536  [pdf, other

    cs.DB cs.LG

    Deep Learning to Jointly Schema Match, Impute, and Transform Databases

    Authors: Sandhya Tripathi, Bradley A. Fritz, Mohamed Abdelhack, Michael S. Avidan, Yixin Chen, Christopher R. King

    Abstract: An applied problem facing all areas of data science is harmonizing data sources. Joining data from multiple origins with unmapped and only partially overlapping features is a prerequisite to developing and testing robust, generalizable algorithms, especially in health care. We approach this issue in the common but difficult case of numeric features such as nearly Gaussian and binary features, wher… ▽ More

    Submitted 22 June, 2022; originally announced July 2022.

  17. arXiv:2206.04867  [pdf, other

    cs.CV cs.AI

    The Gender Gap in Face Recognition Accuracy Is a Hairy Problem

    Authors: Aman Bhatta, Vítor Albiero, Kevin W. Bowyer, Michael C. King

    Abstract: It is broadly accepted that there is a "gender gap" in face recognition accuracy, with females having higher false match and false non-match rates. However, relatively little is known about the cause(s) of this gender gap. Even the recent NIST report on demographic effects lists "analyze cause and effect" under "what we did not do". We first demonstrate that female and male hairstyles have importa… ▽ More

    Submitted 10 June, 2022; originally announced June 2022.

  18. arXiv:2206.01881  [pdf, other

    cs.CV

    Face Recognition Accuracy Across Demographics: Shining a Light Into the Problem

    Authors: Haiyu Wu, Vítor Albiero, K. S. Krishnapriya, Michael C. King, Kevin W. Bowyer

    Abstract: We explore varying face recognition accuracy across demographic groups as a phenomenon partly caused by differences in face illumination. We observe that for a common operational scenario with controlled image acquisition, there is a large difference in face region brightness between African-American and Caucasian, and also a smaller difference between male and female. We show that impostor image… ▽ More

    Submitted 16 April, 2023; v1 submitted 3 June, 2022; originally announced June 2022.

  19. arXiv:2203.12620  [pdf

    eess.IV cs.CV cs.LG

    Evaluation of Non-Invasive Thermal Imaging for detection of Viability of Onchocerciasis worms

    Authors: Ronak Dedhiya, Siva Teja Kakileti, Goutham Deepu, Kanchana Gopinath, Nicholas Opoku, Christopher King, Geetha Manjunath

    Abstract: Onchocerciasis is causing blindness in over half a million people in the world today. Drug development for the disease is crippled as there is no way of measuring effectiveness of the drug without an invasive procedure. Drug efficacy measurement through assessment of viability of onchocerca worms requires the patients to undergo nodulectomy which is invasive, expensive, time-consuming, skill-depen… ▽ More

    Submitted 23 March, 2022; originally announced March 2022.

    Comments: It is submitted to EMBC 2022 and is currently under review

  20. arXiv:2202.12210  [pdf, other

    cs.CL cs.LG

    BERTVision -- A Parameter-Efficient Approach for Question Answering

    Authors: Siduo Jiang, Cristopher Benge, William Casey King

    Abstract: We present a highly parameter efficient approach for Question Answering that significantly reduces the need for extended BERT fine-tuning. Our method uses information from the hidden state activations of each BERT transformer layer, which is discarded during typical BERT inference. Our best model achieves maximal BERT performance at a fraction of the training time and GPU or TPU expense. Performan… ▽ More

    Submitted 24 February, 2022; originally announced February 2022.

    Comments: 7 pages, 11 with appendix

    MSC Class: 68T07 ACM Class: I.2

  21. arXiv:2202.07869  [pdf, other

    cs.RO

    Automating the Learning of Inverse Kinematics for Robotic Arms with Redundant DoFs

    Authors: Chi-Kai Ho, Chung-Ta King

    Abstract: Inverse Kinematics (IK) solves the problem of mapping from the Cartesian space to the joint configuration space of a robotic arm. It has a wide range of applications in areas such as computer graphics, protein structure prediction, and robotics. With the vast advances of artificial neural networks (NNs), many researchers recently turned to data-driven approaches to solving the IK problem. Unfortun… ▽ More

    Submitted 29 August, 2022; v1 submitted 16 February, 2022; originally announced February 2022.

  22. Gendered Differences in Face Recognition Accuracy Explained by Hairstyles, Makeup, and Facial Morphology

    Authors: Vítor Albiero, Kai Zhang, Michael C. King, Kevin W. Bowyer

    Abstract: Media reports have accused face recognition of being ''biased'', ''sexist'' and ''racist''. There is consensus in the research literature that face recognition accuracy is lower for females, who often have both a higher false match rate and a higher false non-match rate. However, there is little published research aimed at identifying the cause of lower accuracy for females. For instance, the 2019… ▽ More

    Submitted 29 December, 2021; originally announced December 2021.

    Comments: arXiv admin note: substantial text overlap with arXiv:2008.06989

  23. arXiv:2107.08574  [pdf, other

    cs.LG cs.AI

    A Modulation Layer to Increase Neural Network Robustness Against Data Quality Issues

    Authors: Mohamed Abdelhack, Jiaming Zhang, Sandhya Tripathi, Bradley A Fritz, Daniel Felsky, Michael S Avidan, Yixin Chen, Christopher R King

    Abstract: Data missingness and quality are common problems in machine learning, especially for high-stakes applications such as healthcare. Developers often train machine learning models on carefully curated datasets using only high quality data; however, this reduces the utility of such models in production environments. We propose a novel neural network modification to mitigate the impacts of low quality… ▽ More

    Submitted 22 April, 2023; v1 submitted 18 July, 2021; originally announced July 2021.

    Journal ref: Transactions on Machine Learning Research 2023

  24. arXiv:2104.14685  [pdf, other

    cs.CV

    Analysis of Manual and Automated Skin Tone Assignments for Face Recognition Applications

    Authors: KS Krishnapriya, Michael C. King, Kevin W. Bowyer

    Abstract: News reports have suggested that darker skin tone causes an increase in face recognition errors. The Fitzpatrick scale is widely used in dermatology to classify sensitivity to sun exposure and skin tone. In this paper, we analyze a set of manual Fitzpatrick skin type assignments and also employ the individual typology angle to automatically estimate the skin tone from face images. The set of manua… ▽ More

    Submitted 29 April, 2021; originally announced April 2021.

  25. arXiv:2104.13803  [pdf, other

    cs.CV cs.AI cs.CY

    Does Face Recognition Error Echo Gender Classification Error?

    Authors: Ying Qiu, Vítor Albiero, Michael C. King, Kevin W. Bowyer

    Abstract: This paper is the first to explore the question of whether images that are classified incorrectly by a face analytics algorithm (e.g., gender classification) are any more or less likely to participate in an image pair that results in a face recognition error. We analyze results from three different gender classification algorithms (one open-source and two commercial), and two face recognition algo… ▽ More

    Submitted 28 April, 2021; originally announced April 2021.

  26. arXiv:2103.08241  [pdf, other

    cs.LG

    Reinforcement Learning with Algorithms from Probabilistic Structure Estimation

    Authors: Jonathan P. Epperlein, Roman Overko, Sergiy Zhuk, Christopher King, Djallel Bouneffouf, Andrew Cullen, Robert Shorten

    Abstract: Reinforcement learning (RL) algorithms aim to learn optimal decisions in unknown environments through experience of taking actions and observing the rewards gained. In some cases, the environment is not influenced by the actions of the RL agent, in which case the problem can be modeled as a contextual multi-armed bandit and lightweight myopic algorithms can be employed. On the other hand, when the… ▽ More

    Submitted 1 June, 2022; v1 submitted 15 March, 2021; originally announced March 2021.

  27. arXiv:2102.01740  [pdf, other

    cs.AI stat.AP

    Reliability Analysis of Artificial Intelligence Systems Using Recurrent Events Data from Autonomous Vehicles

    Authors: Yili Hong, Jie Min, Caleb B. King, William Q. Meeker

    Abstract: Artificial intelligence (AI) systems have become increasingly common and the trend will continue. Examples of AI systems include autonomous vehicles (AV), computer vision, natural language processing, and AI medical experts. To allow for safe and effective deployment of AI systems, the reliability of such systems needs to be assessed. Traditionally, reliability assessment is based on reliability t… ▽ More

    Submitted 2 February, 2021; originally announced February 2021.

    Comments: 30 pages, 9 figures

  28. arXiv:2011.02036  [pdf, other

    cs.LG cs.AI

    (Un)fairness in Post-operative Complication Prediction Models

    Authors: Sandhya Tripathi, Bradley A. Fritz, Mohamed Abdelhack, Michael S. Avidan, Yixin Chen, Christopher R. King

    Abstract: With the current ongoing debate about fairness, explainability and transparency of machine learning models, their application in high-impact clinical decision-making systems must be scrutinized. We consider a real-life example of risk estimation before surgery and investigate the potential for bias or unfairness of a variety of algorithms. Our approach creates transparent documentation of potentia… ▽ More

    Submitted 3 November, 2020; originally announced November 2020.

  29. arXiv:2010.12446  [pdf, other

    eess.IV cs.CV cs.LG

    Estimation of Cardiac Valve Annuli Motion with Deep Learning

    Authors: Eric Kerfoot, Carlos Escudero King, Tefvik Ismail, David Nordsletten, Renee Miller

    Abstract: Valve annuli motion and morphology, measured from non-invasive imaging, can be used to gain a better understanding of healthy and pathological heart function. Measurements such as long-axis strain as well as peak strain rates provide markers of systolic function. Likewise, early and late-diastolic filling velocities are used as indicators of diastolic function. Quantifying global strains, however,… ▽ More

    Submitted 23 October, 2020; originally announced October 2020.

    Comments: 10 pages, STACOM abstract

  30. arXiv:2002.00065  [pdf, other

    cs.CV

    Analysis of Gender Inequality In Face Recognition Accuracy

    Authors: Vítor Albiero, Krishnapriya K. S., Kushal Vangara, Kai Zhang, Michael C. King, Kevin W. Bowyer

    Abstract: We present a comprehensive analysis of how and why face recognition accuracy differs between men and women. We show that accuracy is lower for women due to the combination of (1) the impostor distribution for women having a skew toward higher similarity scores, and (2) the genuine distribution for women having a skew toward lower similarity scores. We show that this phenomenon of the impostor and… ▽ More

    Submitted 31 January, 2020; originally announced February 2020.

    Comments: Paper will appear at The 2nd Workshop on Demographic Variation in the Performance of Biometric Systems at WACV 2020

  31. arXiv:1911.06396  [pdf, other

    cs.CV

    Does Face Recognition Accuracy Get Better With Age? Deep Face Matchers Say No

    Authors: Vítor Albiero, Kevin W. Bowyer, Kushal Vangara, Michael C. King

    Abstract: Previous studies generally agree that face recognition accuracy is higher for older persons than for younger persons. But most previous studies were before the wave of deep learning matchers, and most considered accuracy only in terms of the verification rate for genuine pairs. This paper investigates accuracy for age groups 16-29, 30-49 and 50-70, using three modern deep CNN matchers, and conside… ▽ More

    Submitted 14 November, 2019; originally announced November 2019.

    Comments: Paper will appear at the WACV 2020

  32. arXiv:1907.12596  [pdf, other

    cs.LG stat.ML

    A Factored Generalized Additive Model for Clinical Decision Support in the Operating Room

    Authors: Zhicheng Cui, Bradley A Fritz, Christopher R King, Michael S Avidan, Yixin Chen

    Abstract: Logistic regression (LR) is widely used in clinical prediction because it is simple to deploy and easy to interpret. Nevertheless, being a linear model, LR has limited expressive capability and often has unsatisfactory performance. Generalized additive models (GAMs) extend the linear model with transformations of input features, though feature interaction is not allowed for all GAM variants. In th… ▽ More

    Submitted 29 July, 2019; originally announced July 2019.

    Comments: Accepted for publication in AMIA 2019 Annual Symposium

  33. arXiv:1904.07325  [pdf

    cs.CV

    Characterizing the Variability in Face Recognition Accuracy Relative to Race

    Authors: KS Krishnapriya, Kushal Vangara, Michael C. King, Vitor Albiero, Kevin Bowyer

    Abstract: Many recent news headlines have labeled face recognition technology as biased or racist. We report on a methodical investigation into differences in face recognition accuracy between African-American and Caucasian image cohorts of the MORPH dataset. We find that, for all four matchers considered, the impostor and the genuine distributions are statistically significantly different between cohorts.… ▽ More

    Submitted 8 May, 2019; v1 submitted 15 April, 2019; originally announced April 2019.

    Comments: Paper will appear in the BEFA workshop at CVPR 2019

  34. Distributed Ledger Technology for IoT: Parasite Chain Attacks

    Authors: Andrew Cullen, Pietro Ferraro, Christopher King, Robert Shorten

    Abstract: Directed Acyclic Graph (DAG) based Distributed Ledgers can be useful in a number of applications in the IoT domain. A distributed ledger should serve as an immutable and irreversible record of transactions, however, a DAG structure is a more complicated mathematical object than its blockchain counterparts, and as a result, providing guarantees of immutability and irreversibility is more involved.… ▽ More

    Submitted 10 November, 2020; v1 submitted 21 March, 2019; originally announced April 2019.

    Journal ref: in IEEE Internet of Things Journal, vol. 7, no. 8, pp. 7112-7122, Aug. 2020

  35. IOTA-based Directed Acyclic Graphs without Orphans

    Authors: Pietro Ferraro, Christopher King, Robert Shorten

    Abstract: Directed Acylic Graphs (DAGs) are emerging as an attractive alternative to traditional blockchain architectures for distributed ledger technology (DLT). In particular DAG ledgers with stochastic attachment mechanisms potentially offer many advantages over blockchain, including scalability and faster transaction speeds. However, the random nature of the attachment mechanism coupled with the require… ▽ More

    Submitted 12 November, 2020; v1 submitted 12 December, 2018; originally announced January 2019.

    Comments: This paper has been published with the title "On the stability of unverified transactions in a DAG-based Distributed Ledger"

    Journal ref: in IEEE Transactions on Automatic Control, vol. 65, no. 9, pp. 3772-3783, Sept. 2020

  36. Distributed Ledger Technology, Cyber-Physical Systems, and Social Compliance

    Authors: Pietro Ferraro, Christopher King, Robert Shorten

    Abstract: This paper describes how Distributed Ledger Technologies can be used to design a class of cyber-physical systems, as well as to enforce social contracts and to orchestrate the behaviour of agents trying to access a shared resource. The first part of the paper analyses the advantages and disadvantages of using Distributed Ledger Technologies architectures to implement certain control systems in an… ▽ More

    Submitted 20 October, 2018; v1 submitted 2 July, 2018; originally announced July 2018.

    Comments: This paper has been accepted for publication on the journal IEEE Access, with the title "Distributed Ledger Technology for Smart Cities, the Sharing Economy, and Social Compliance"

  37. arXiv:1712.08348  [pdf, other

    cs.RO cs.HC cs.SE

    Towards Software Development For Social Robotics Systems

    Authors: Chong Sun, Jiongyan Zhang, Cong Liu, Barry Chew Bao King, Yuwei Zhang, Matthew Galle, Maria Spichkova

    Abstract: In this paper we introduce the core results of the project on software development for social robotics systems. The usability of maintenance and control features is crucial for many kinds of systems, but in the case of social robotics we also have to take into account that (1) the humanoid robot physically interacts with humans, (2) the conversation with children might have different requirements… ▽ More

    Submitted 22 December, 2017; originally announced December 2017.

  38. Tosca: Operationalizing Commitments Over Information Protocols

    Authors: Thomas C. King, Akın Günay, Amit K. Chopra, Munindar P. Singh

    Abstract: The notion of commitment is widely studied as a high-level abstraction for modeling multiagent interaction. An important challenge is supporting flexible decentralized enactments of commitment specifications. In this paper, we combine recent advances on specifying commitments and information protocols. Specifically, we contribute Tosca, a technique for automatically synthesizing information protoc… ▽ More

    Submitted 10 August, 2017; originally announced August 2017.

  39. Governing Governance: A Formal Framework for Analysing Institutional Design and Enactment Governance

    Authors: Thomas C. King

    Abstract: This dissertation is motivated by the need, in today's globalist world, for a precise way to enable governments, organisations and other regulatory bodies to evaluate the constraints they place on themselves and others. An organisation's modus operandi is enacting and fulfilling contracts between itself and its participants. Yet, organisational contracts should respect external laws, such as those… ▽ More

    Submitted 21 April, 2017; originally announced April 2017.

    Journal ref: SIKS Dissertation Series No. 2016-41

  40. arXiv:1212.0469  [pdf, ps, other

    cs.HC q-bio.NC

    Pushing the Communication Speed Limit of a Noninvasive BCI Speller

    Authors: Po T. Wang, Christine E. King, An H. Do, Zoran Nenadic

    Abstract: Electroencephalogram (EEG) based brain-computer interfaces (BCI) may provide a means of communication for those affected by severe paralysis. However, the relatively low information transfer rates (ITR) of these systems, currently limited to 1 bit/sec, present a serious obstacle to their widespread adoption in both clinical and non-clinical applications. Here, we report on the development of a nov… ▽ More

    Submitted 7 February, 2013; v1 submitted 3 December, 2012; originally announced December 2012.

  41. arXiv:1210.1223  [pdf

    physics.ins-det cs.SE

    Further developments in generating type-safe messaging

    Authors: R. Neswold, C. King

    Abstract: At ICALEPCS '09, we introduced a source code generator that allows processes to communicate safely using data types native to each host language. In this paper, we discuss further development that has occurred since the conference in Kobe, Japan, including the addition of three more client languages, an optimization in network packet size and the addition of a new protocol data type.

    Submitted 3 October, 2012; originally announced October 2012.

    Comments: 4 pp. 13th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2011). 10-14 Oct 2011. Grenoble, France

    Report number: FERMILAB-CONF-11-594-AD

  42. arXiv:1209.1859  [pdf, other

    cs.HC q-bio.NC

    Operation of a Brain-Computer Interface Walking Simulator by Users with Spinal Cord Injury

    Authors: Christine E. King, Po T. Wang, Luis A. Chui, An H. Do, Zoran Nenadic

    Abstract: Background: Spinal cord injury (SCI) can leave the affected individuals unable to ambulate. Since there are no restorative treatments for SCI, novel approaches such as brain-controlled prostheses have been sought. Our recent studies show that a brain-computer interface (BCI) can be used to control ambulation within a virtual reality environment (VRE), suggesting that a BCI-controlled lower extremi… ▽ More

    Submitted 9 September, 2012; originally announced September 2012.

    Comments: 17 pages, 7 figures, 5 tables, supplementary video link (http://www.youtube.com/watch?v=K4Frq9pwAz8)

  43. arXiv:1208.6057  [pdf, ps, other

    cs.HC

    Self-paced brain-computer interface control of ambulation in a virtual reality environment

    Authors: Po T. Wang, Christine E. King, Luis A. Chui, An H. Do, Zoran Nenadic

    Abstract: Objective: Spinal cord injury (SCI) often leaves affected individuals unable to ambulate. Electroencephalogramme (EEG) based brain-computer interface (BCI) controlled lower extremity prostheses may restore intuitive and able-body-like ambulation after SCI. To test its feasibility, the authors developed and tested a novel EEG-based, data-driven BCI system for intuitive and self-paced control of the… ▽ More

    Submitted 29 August, 2012; originally announced August 2012.

    Comments: 20 pages, 7 figures, link to video supplementary material (http://youtu.be/GXmovT3BxEo)

  44. arXiv:1208.5024  [pdf, other

    cs.HC cs.RO

    Brain-Computer Interface Controlled Robotic Gait Orthosis

    Authors: An H. Do, Po T. Wang, Christine E. King, Sophia N. Chun, Zoran Nenadic

    Abstract: Reliance on wheelchairs after spinal cord injury (SCI) leads to many medical co-morbidities. Treatment of these conditions contributes to the majority of SCI health care costs. Restoring able-body-like ambulation after SCI may reduce the incidence of these conditions, and increase independence and quality of life. However, no biomedical solution exists that can reverse this lost neurological funct… ▽ More

    Submitted 26 August, 2013; v1 submitted 24 August, 2012; originally announced August 2012.

    Comments: Supplementary video (http://www.youtube.com/watch?v=W97Z8fEAQ7g and http://www.youtube.com/watch?v=HXNCwonhjG8)