Browse by

 

 

Recent Submissions

  • Abstracting Extensible Data Types: Or, Rows by Any Other Name 

    Morris, J. Garrett; McKinna, James (Association for Computing Machinery, 2019)
    Extensible data types, row types, row polymorphism, qualified types
  • Exceptional Asynchronous Session Types: Session Types without Tiers 

    Fowler, Simon; Lindley, Sam; Morris, J. Garrett; Decova, Sara (Association for Computing Machinery, 2019)
    Session types statically guarantee that communication complies with a protocol. However, most accounts of session typing do not account for failure, which means they are of limited use in real applicationsÐespecially distributed ...
  • Vision-Based Real-Time Aerial Object Localization and Tracking for UAV Sensing System 

    Wu, Yuanwei; Sui, Yao; Wang, Guanghui (Institute of Electrical and Electronics Engineers, 2017-10-23)
    This paper focuses on the problem of vision-based obstacle detection and tracking for unmanned aerial vehicle navigation. A real-time object localization and tracking strategy from monocular image sequences is developed ...
  • Robust Structure and Motion Recovery Based on Augmented Factorization 

    Wang, Guanghui (Institute of Electrical and Electronics Engineers, 2017-09-21)
    This paper proposes a new strategy to promote the robustness of structure from motion algorithm from uncalibrated video sequences. First, an augmented affine factorization algorithm is formulated to circumvent the difficulty ...
  • Mixed Messages: Measuring Conformance and Non-Interference in TypeScript 

    Williams, Jack; Morris, J. Garrett; Wadler, Philip; Zalewski, Jakub (Schloss Dagstuhl, 2017)
    TypeScript participates in the recent trend among programming languages to support gradual typing. The DefinitelyTyped Repository for TypeScript supplies type definitions for over 2000 popular JavaScript libraries. However, ...
  • Phase noise characterization of a QD-based diode laser frequency comb 

    Vedala, Govind; Al-Qadi, Mustafa; O'Sullivan, Maurice; Cartledge, John; Hui, Rongqing (Optical Society of America, 2017)
    We measure, simultaneously, the phases of a large set of comb lines from a passively mode locked, InAs/InP, quantum dot laser frequency comb (QDLFC) by comparing the lines to a stable comb reference using multi-heterodyne ...
  • The Root Cause of Blame: Contracts for Intersection and Union Types 

    Williams, Jack; Morris, J. Garrett; Wadler, Philip (Association for Computing Machinery, 2018-11)
    Gradual typing has emerged as the tonic for programmers with a thirst for a blend of static and dynamic typing. Contracts provide a lightweight form of gradual typing as they can be implemented as a library, rather than ...
  • Multiplex lexical networks reveal patterns in early word acquisition in children 

    Stella, Massimo; Beckage, Nicole M.; Brede, Markus (Nature Research, 2017)
    Network models of language have provided a way of linking cognitive processes to language structure. However, current approaches focus only on one linguistic relationship at a time, missing the complex multi-relational ...
  • Multiplex model of mental lexicon reveals explosive learning in humans 

    Stella, Massimo; Beckage, Nicole M.; Brede, Markus; De Domenico, Manlio (Nature Publishing Group, 2018-02-02)
    Word similarities affect language acquisition and use in a multi-relational way barely accounted for in the literature. We propose a multiplex network representation of this mental lexicon of word similarities as a natural ...
  • The Non-Coding RNA Ontology (NCRO): a comprehensive resource for the unification of non-coding RNA biology 

    Huang, Jingshan; Eilbeck, Karen; Smith, Barry; Blake, Judith A.; Dou, Dejing; Huang, Weili; Natale, Darren A.; Ruttenberg, Alan; Huan, Jun; Zimmermann, Michael T.; Jiang, Guoqian; Lin, Yu; Wu, Bin; Strachan, Harrison J.; He, Yongqun; Zhang, Shaojie; Wang, Xiaowei; Liu, Zixing; Borchert, Glen M.; Tan, Ming (BioMed Central, 2016-05-04)
    In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given ...
  • RefSelect: a reference sequence selection algorithm for planted (l, d) motif search 

    Yu, Qiang; Huo, Hongwei; Zhao, Ruixing; Feng, Dazheng; Vitter, Jeffrey Scott; Huan, Jun (BioMed Central, 2015-11-12)
    Background The planted (l, d) motif search (PMS) is an important yet challenging problem in computational biology. Pattern-driven PMS algorithms usually use k out of t input sequences as reference sequences to generate ...
  • Predictive Toxicology: Modeling Chemical Induced Toxicological Response Combining Circular Fingerprints with Random Forest and Support Vector Machine 

    Koutsoukas, Alexios; St. Amand, Joseph; Mishra, Meenakshi; Huan, Jun (Frontiers Media, 2016-03-02)
    Modern drug discovery and toxicological research are under pressure, as the cost of developing and testing new chemicals for potential toxicological risk is rising. Extensive evaluation of chemical products for potential ...
  • Direct observation of bulk second-harmonic generation inside a glass slide with tightly focused optical fields 

    Wang, Xianghui; Fardad, Shima; Das, Susobhan; Slandrino, Alessandro; Hui, Rongqing (American Physical Society, 2016-04-18)
    Bulk second-harmonic generation (SHG) inside glass slides is directly detected unambiguously without interference from surface contributions. This is enabled by tightly focused and highly localized ultrashort laser pulses. ...
  • A Comparison of Four Approaches to Discretization Based on Entropy † 

    Grzymala-Busse, Jerzy W. (MDPI, 2016-02-25)
    We compare four discretization methods, all based on entropy: the original C4.5 approach to discretization, two globalized methods, known as equal interval width and equal frequency per interval, and a relatively new method ...
  • Constrained Type Families 

    Morris, J. Garrett; Eisenberg, Richard A. (Association for Computing Machinery, 2017-09)
    We present an approach to support partiality in type-level computation without compromising expressiveness or type safety. Existing frameworks for type-level computation either require totality or implicitly assume it. For ...
  • Contour Detection-based Discovery of Mid-level Discriminative Patches for Scene Classification 

    Yang, Jinfu; Zhang, Jizhao; Wang, Guanghui; Li, Mingai (Thieme Publishing, 2017-05-15)
    Feature extraction and representation is a key step in scene classification. In this paper, a contour detection-based mid-level features learning method is proposed for scene classification. First, a sketch tokens-based ...
  • Metagenome and Metatranscriptome Analyses Using Protein Family Profiles 

    Zhong, Cuncong; Edlund, Anna; Yang, Youngik; McLean, Jeffrey S.; Yooseph, Shibu (PLoS, 2016-07-11)
    Analyses of metagenome data (MG) and metatranscriptome data (MT) are often challenged by a paucity of complete reference genome sequences and the uneven/low sequencing depth of the constituent organisms in the microbial ...
  • GRASPx: efficient homolog-search of short peptide metagenome database through simultaneous alignment and assembly 

    Zhong, Cuncong; Yang, Youngik; Yooseph, Shibu (BioMed Central, 2016-08-31)
    Background Metagenomics is a cultivation-independent approach that enables the study of the genomic composition of microbes present in an environment. Metagenomic samples are routinely sequenced using next-generation ...
  • Fiber Laser Based Two-Photon FRET Measurement of Calmodulin and mCherry-E0GFP Proteins 

    Adany, Peter; Johnson, Carey K.; Hui, Rongqing (Wiley, 2012-06)
    The speed and accuracy of Förster Resonance Energy Transfer (FRET) measurements can be improved by rapidly alternating excitation wavelengths between the donor and acceptor fluorophore. We demonstrate FRET efficiency ...
  • Single fiber laser based wavelength tunable excitation for CRS spectroscopy 

    Su, Jue; Xie, Ruxin; Johnson, Carey K.; Hui, Rongqing (Optical Society of America, 2013-06-01)
    We demonstrate coherent Raman spectroscopy (CRS) using a tunable excitation source based on a single femtosecond fiber laser. The frequency difference between the pump and the Stokes pulses was generated by soliton ...

View more