wanyu/IteraTeR_v2 huggingface dataset:
Original:  A cluster of machines connected via standard Gigabit Ethernet actually performs worse than a single many-core server.
Revised:  A cluster of machines actually performed worse than a single many-core server.
Edit intent: clarity
Original:  The increased main-memory capacity in the cluster remains the sole benefit of such a scale-out.
Revised:  The increased main-memory capacity of the cluster remained the sole benefit of such a scale-out.
Edit intent: clarity
Original:  This paper presents HyPer's distributed query engine that is carefully tailored for both the network in the small and in the large.
Revised:  This paper presents the blueprint for a distributed query engine that is carefully tailored for both the network in the small and in the large.
Edit intent: clarity
Original:  It facilitates NUMA-aware message buffer management for fast local processing, remote direct memory access (RDMA) for high-throughput communication, and asynchronous operations to overlap computation and communication .
Revised:  It facilitates NUMA-aware message buffer management for fast local processing, remote direct memory access and asynchronous operations to overlap computation and communication .
Edit intent: clarity
Original:  An extensive evaluation  using the TPC-H benchmark shows that this holistic approach not only allows larger inputs due to the increased main-memory capacity of the cluster, but also speeds up query execution compared to a single server .
Revised:  An extensive evaluation using the TPC-H benchmark shows that our holistic approach indeed enables high-speed query processing over high-speed networks .
Edit intent: clarity
Original:  The huge performance gap between these two  networks used to slow down distributed query processing to such an extent that a cluster of machines actually performed worse than a single many-core server.
Revised:  The huge performance gap between these two types of networks used to slow down distributed query processing to such an extent that a cluster of machines actually performed worse than a single many-core server.
Edit intent: clarity
Original:  The economic viability of Infiniband and other high-speed interconnects has changed the game by narrowing the performance gap between these two levels of networks.
Revised:  The economic viability of high-speed interconnects has changed the game by narrowing the performance gap between these two levels of networks.
Edit intent: clarity
Original:  This paper presents the blueprint for a distributed query engine that is carefully tailored for both the network in the small and in the large .
Revised:  This paper presents the blueprint for a distributed query engine that addresses these problems by considering both levels of networks holistically .
Edit intent: clarity
Original:  An extensive evaluation of our implementation within the HyPer  system using the TPC-H benchmark shows that our holistic approach indeed enables high-speed query processing over high-speed networks.
Revised:  An extensive evaluation within the HyPer system using the TPC-H benchmark shows that our holistic approach indeed enables high-speed query processing over high-speed networks.
Edit intent: clarity
Original:  We characterize the languages for which short advice can be removed by the notion of selector: a paddable language has a selector if and only if short advice of a probabilistic machine that accepts the language can be removed under any relativized worlds . Previously, instance checkers have served as a useful tool to remove short advice of probabilistic computation.
Revised:  We characterize the languages for which short advice can be removed by the notion of selector: a paddable language has a selector if and only if short advice of a probabilistic machine that accepts the language can be removed under any relativized world . Previously, instance checkers have served as a useful tool to remove short advice of probabilistic computation.
Edit intent: fluency
Original:  We indicate that existence of instance checkers is a property stronger than that of removing short advice: there exists a selector for EXP^NP-complete languages, whereas no instance checker for these {\rm   languages exists unless {\rm   = }{\rm  {\rm EXP ^NP-complete language, by building on the proof of }{\rm  = {\rm NEXP  .
Revised:  We indicate that existence of instance checkers is a property stronger than that of removing short advice: although no instance checker for these {\rm languages exists unless {\rm = }{\rm {\rm EXP ^NP-complete language, by building on the proof of }{\rm = {\rm NEXP .
Edit intent: coherence
Original:  We indicate that existence of instance checkers is a property stronger than that of removing short advice: there exists a selector for EXP^NP-complete languages, whereas no instance checker for these {\rm   languages exists unless {\rm   = }{\rm  {\rm EXP ^NP-complete language, by building on the proof of }{\rm  = {\rm NEXP  .
Revised:  We indicate that existence of instance checkers is a property stronger than that of removing short advice: there exists a selector for EXP^NP-complete languages, whereas no instance checker for {\rm languages exists unless {\rm = }{\rm {\rm EXP ^NP-complete language, by building on the proof of }{\rm = {\rm NEXP .
Edit intent: clarity
Original:  We indicate that existence of instance checkers is a property stronger than that of removing short advice: there exists a selector for EXP^NP-complete languages, whereas no instance checker for these {\rm   languages exists unless {\rm   = }{\rm  {\rm EXP ^NP-complete language, by building on the proof of }{\rm  = {\rm NEXP  .
Revised:  We indicate that existence of instance checkers is a property stronger than that of removing short advice: there exists a selector for EXP^NP-complete languages, whereas no instance checker for these {\rm EXP languages exists unless {\rm = }{\rm {\rm EXP ^NP-complete language, by building on the proof of }{\rm = {\rm NEXP .
Edit intent: fluency
Original:  We indicate that existence of instance checkers is a property stronger than that of removing short advice: there exists a selector for EXP^NP-complete languages, whereas no instance checker for these {\rm   languages exists unless {\rm   = }{\rm  {\rm EXP ^NP-complete language, by building on the proof of }{\rm  = {\rm NEXP  .
Revised:  We indicate that existence of instance checkers is a property stronger than that of removing short advice: there exists a selector for EXP^NP-complete languages, whereas no instance checker for these {\rm languages exists unless {\rm EXP = }{\rm {\rm EXP ^NP-complete language, by building on the proof of }{\rm = {\rm NEXP .
Edit intent: fluency
Original:  We indicate that existence of instance checkers is a property stronger than that of removing short advice: there exists a selector for EXP^NP-complete languages, whereas no instance checker for these {\rm   languages exists unless {\rm   = }{\rm  {\rm EXP ^NP-complete language, by building on the proof of }{\rm  = {\rm NEXP  .
Revised:  We indicate that existence of instance checkers is a property stronger than that of removing short advice: there exists a selector for EXP^NP-complete languages, whereas no instance checker for these {\rm languages exists unless {\rm = }{\rm {\rm EXP ^{\rm NP-complete language, by building on the proof of }{\rm = {\rm NEXP .
Edit intent: fluency
Original: We present the Pantheon 1.0 dataset: a manually curated dataset of individuals that have transcended linguistic, temporal, and geographic boundaries.
Revised: We present the Pantheon 1.0 dataset: a manually verified dataset of individuals that have transcended linguistic, temporal, and geographic boundaries.
Edit intent: clarity
Original:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii)  measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Revised:  (i) manually verified demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii) measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Edit intent: clarity
Original:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii)  measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Revised:  (i) manually curated demographic information (place and date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii) measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Edit intent: fluency
Original:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii)  measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Revised:  (i) manually curated demographic information (place of birth, date of birth, gender) (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii) measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Edit intent: fluency
Original:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii)  measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Revised:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a taxonomy of occupations classifying each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii) measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Edit intent: clarity
Original:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii)  measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Revised:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation and (iii) measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Edit intent: coherence
Original:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii)  measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Revised:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii) measures of global popularity including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Edit intent: clarity
Original:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii)  measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Revised:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii) measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia (L ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Edit intent: coherence
Original:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii)  measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and a global visibility metric we name the Historical Popularity Index (HPI) .
Revised:  (i) manually curated demographic information (place of birth, date of birth, and gender) , (ii) a cultural domain classification categorizing each biography at three levels of aggregation (i.e. Arts/Fine Arts/Painting), and (iii) measures of global visibility (fame) including the number of languages in which a biography is present in Wikipedia , the monthly page-views received by a biography (2008-2013 ), and the Historical Popularity Index (HPI) .
Edit intent: clarity
Original:  In all of these cases we find that measures of accomplishments and fame ( HPI) correlate with an R^2 \geq 50\% , suggesting that measures of global fame are appropriate proxies for measures of accomplishment .
Revised:  In all of these cases we find that measures of popularity (L and HPI) correlate with an R^2 \geq 50\% , suggesting that measures of global fame are appropriate proxies for measures of accomplishment .
Edit intent: clarity
Original:  This case is the subject of the Algebraic CSP Dichotomy Conjecture prediciting for which constraint languages CSPs are tractable and for which NP-hard.
Revised:  This case is the subject of the Algebraic CSP Dichotomy Conjecture predicting for which constraint languages CSPs are tractable and for which NP-hard.
Edit intent: fluency
Original:  In practice, the empirical distribution of transmission and recovery times for many real spreading processes, such as the spread of web content through the Internet, are far from exponential.
Revised:  In practice, the empirical distribution of transmission times for many real spreading processes, such as the spread of web content through the Internet, are far from exponential.
Edit intent: clarity
Original:   To bridge this gap between theory and practice, we propose a methodology to model and analyze spreading processes with arbitrary transmission and recovery times using phase-type distributions.
Revised:  To bridge this gap between theory and practice, we propose a methodology to model and analyze spreading processes with arbitrary transmission times using phase-type distributions.
Edit intent: clarity
Original:  To illustrate our methodology, we focus on a popular model of disease spreading over networks: the susceptible-infected-susceptible (SIS) networked model.
Revised:  To illustrate our methodology, we focus on a popular model of spreading over networks: the susceptible-infected-susceptible (SIS) networked model.
Edit intent: clarity
Original:  In the standard version of this model, infected individuals transmit a disease to its neighbors at an exponential rate.
Revised:  In the standard version of this model, individuals informed about a piece of information transmit this piece to its neighbors at an exponential rate.
Edit intent: clarity
Original:  In this paper, we extend this model to the case of transmission and recovery rates following a phase-type distribution.
Revised:  In this paper, we extend this model to the case of transmission rates following a phase-type distribution.
Edit intent: clarity
Original:  Using this extended model, we derive conditions to eradicate the disease based on a vectorial representations of phase-type distributions.
Revised:  Using this extended model, we analyze the dynamics of the spread based on a vectorial representations of phase-type distributions.
Edit intent: clarity
Original:  In particular, the inter-arrival time of Twitter messages or the propagation time of news stories on a social media site can be explained using lognormal distributions.
Edit intent: coherence
Original:  Furthermore, numerical simulations of the optimal fishing regime with MPAs aiming at maximizing the fishing yields suggest that biomass yields monotonically decrease with the fraction of the MPAs.
Revised:  Furthermore, numerical simulations of the optimal fishing regime with MPAs aiming at maximizing the fishing yields suggest that biomass yields decrease with the fraction of the MPAs.
Edit intent: clarity
Original:  Accordingly, a number of studies have been conducted to understand broad rules for the creation of MPAs and have tested the effects of marine reserves for specific regionsof interest .
Revised:  Accordingly, a number of studies have been conducted to establish broad rules for the creation of MPAs and have tested the effects of marine reserves for specific regionsof interest .
Edit intent: clarity
Original:  Accordingly, a number of studies have been conducted to understand broad rules for the creation of MPAs and have tested the effects of marine reserves for specific regionsof interest .
Revised:  Accordingly, a number of studies have been conducted to understand broad rules for the creation of MPAs , or to test the effects of marine reserves for specific regionsof interest .
Edit intent: coherence
Original:  Accordingly, a number of studies have been conducted to understand broad rules for the creation of MPAs and have tested the effects of marine reserves for specific regionsof interest .
Revised:  Accordingly, a number of studies have been conducted to understand broad rules for the creation of MPAs and have tested the effects of MPAs in specific regions .
Edit intent: clarity
Original:  Then what sequences can be greatly compressed was classified and discussed  .
Revised:  Then what strings can be greatly compressed was classified and discussed .
Edit intent: clarity
Original:  Then what sequences can be greatly compressed was classified and discussed  .
Revised:  Then what sequences can be greatly compressed were classified and discussed .
Edit intent: fluency
Original:  We do this with a simple application of the first and second moment methods, boosting the probability of satisfiability below d^\star to 1-o(1) using the small subgreaph conditioning method.
Revised:  We do this with a simple application of the first and second moment methods, boosting the probability of satisfiability below d^\star to 1-o(1) using the small subgraph conditioning method.
Edit intent: fluency
Original: A k-uniform, d-regular instance of Exact Cover is a family of m sets F_{n,d,k} = \{ S_j \subseteq \{1, \ldots ,n\} \}, where each subset has size k and each 1 \le i \le n is contained in d of the S_j. It is satisfiable if there is a subset T \subseteq \{1, \ldots ,n\} such that |T \cap S_j|=1 for all j.
Revised: A k-uniform, d-regular instance of Exact Cover is a family of m sets F_{n,d,k} = \{ S_j \subseteq \{1, ... ,n\} \}, where each subset has size k and each 1 \le i \le n is contained in d of the S_j. It is satisfiable if there is a subset T \subseteq \{1, \ldots ,n\} such that |T \cap S_j|=1 for all j.
Edit intent: clarity
Original: A k-uniform, d-regular instance of Exact Cover is a family of m sets F_{n,d,k} = \{ S_j \subseteq \{1, \ldots ,n\} \}, where each subset has size k and each 1 \le i \le n is contained in d of the S_j. It is satisfiable if there is a subset T \subseteq \{1, \ldots ,n\} such that |T \cap S_j|=1 for all j.
Revised: A k-uniform, d-regular instance of Exact Cover is a family of m sets F_{n,d,k} = \{ S_j \subseteq \{1, \ldots ,n\} \}, where each subset has size k and each 1 \le i \le n is contained in d of the S_j. It is satisfiable if there is a subset T \subseteq \{1, ... ,n\} such that |T \cap S_j|=1 for all j.
Edit intent: clarity
Original:  \%Activity-based models are widely used in transport research to generate and study travel demand.
Edit intent: coherence
Original: Recently it has been shown in \mbox{ HajekWuXuSDP14 that the semidefinite programming (SDP) relaxation of the maximum likelihood estimator achieves the sharp threshold for exactly recovering the community strucuture under the binary stochastic block model of two equal-sized clusters.
Revised: Recently it has been shown in \mbox{ HajekWuXuSDP14 that the semidefinite programming (SDP) relaxation of the maximum likelihood estimator achieves the sharp threshold for exactly recovering the community structure under the binary stochastic block model of two equal-sized clusters.
Edit intent: fluency
Original:  Extending the techniques in \mbox{ HajekWuXuSDP14 , in this paper we show that SDP relaxations also achieve the sharp recovery threshold in the following cases: (1) Binary stochastic block model with two clusters of sizes proportional to n but not necessarily equal;
Revised:  Extending the techniques in \mbox{ HajekWuXuSDP14 , in this paper it is shown that SDP relaxations also achieve the sharp recovery threshold in the following cases: (1) Binary stochastic block model with two clusters of sizes proportional to n but not necessarily equal;
Edit intent: clarity