We present a novel beam-search decoder for grammatical error correction. The decoder iteratively generates new hypothesis corrections from current hypotheses and scores them based on features of grammatical correctness and fluency. These features include scores from discriminative classifiers for specific error categories, such as articles and prepositions. Unlike all previous approaches, our m...

An edge in a graph G is called a wing if it is one of the two non-incident edges of an induced P 4 (a path on four vertices) in G. For a graph G its wing-graph W(G) is deened as the graph whose vertices are the wings of G and two vertices in W(G) are connected if the corresponding wings in G belong to the same P 4. We will characterize all graphs whose wing-graph is a cycle. This solves a conje...

In this paper, we describe the University of Illinois system that participated in Helping Our Own (HOO), a shared task in text correction. We target several common errors, such as articles, prepositions, word choice, and punctuation errors, and we describe the approaches taken to address each error type. Our system is based on a combination of classifiers, combined with adaptation techniques fo...

When oxygenic photosynthesis evolved, one of the key functions of carotenoids was to protect aerobic photosynthetic organisms against destruction by photodynamic sensitization. Aerobic photosynthesis would not exist without the coevolution of carotenoids alongside the chlorophylls. As carotenoids are abundant in nature, in many fruits and vegetables, they are able to react with excited states o...

The aim of the Helping Our Own (HOO) Shared Task is to promote the development of automated tools and techniques that can assist authors in the writing task, with a specific focus on writing within the natural language processing community. This paper reports on the results of a pilot run of the shared task, in which six teams participated. We describe the nature of the task and the data used, ...

This paper addresses the problems of stability analysis and decentralized control of interconnected linear systems with constant time-delays in the state of each subsystems as well as in the interconnections. We develop delay-dependent methods of stability analysis and decentralized stabilization via linear memoryless state-feedback. The proposed methods are given in terms of linear matrix ineq...

In this paper, density functional theory (DFT) calculations are performed to analyze the electrochemical water-splitting process producing molecular oxygen (O2) and hydrogen (H2). We investigate the trends in the electro-catalytic properties of (110) surfaces of three rutile-type oxides (RuO2, IrO2, and TiO2). The two first of these oxide anodes show lower O2-evolving over-potentials than metal...

Incorrect usage of prepositions and determiners constitute the most common types of errors made by non-native speakers of English. It is not surprising, then, that there has been a significant amount of work directed towards the automated detection and correction of such errors. However, to date, the use of different data sets and different task definitions has made it difficult to compare work...

$EVWUDFW 7KH PDLQ LGHD RI WKH $VVHPEO\ 7HFKQRORJ\ DQG LWV DSSOLFDWLRQ WR SDUDOOHOLVDWLRQ RI WKH 3DUWLFOH ,Q &HOO 3,& PHWKRG LV FRQVLGHUHG 7KH DOJRULWKPV RI WKH 3,& PHWKRG UHDOLVDWLRQ IRU PXOWLFRPSXWHUV DUH SUHVHQWHG '\QDPLF ORDG EDODQFLQJ IRU WKH 3,& PHWKRG UHDOLVDWLRQ LV GLVFXVVHG 7KH 3,& UHDOLVDWLRQ ZLWK WKH DVVHPEO\ WHFKQRORJ\ LV EDVHG RQ FRQVWUXFWLRQ RI D IUDJPHQWHG SDUDOOHO SURJUDP ZKLFK L...