wanyu/IteraTeR_v2 huggingface dataset:
Original: In this paper we provide a unified and flexible framework for study of the time consistency of risk  and performance measures  .
Revised: In this paper we provide a flexible framework allowing for a unified study of time consistency of risk and performance measures .
Edit intent: clarity
Original: In this paper we provide a unified and flexible framework for study of the time consistency of risk  and performance measures  .
Revised: In this paper we provide a unified and flexible framework for study of the time consistency of risk measures and performance measures .
Edit intent: fluency
Original:  The proposed framework integrates existing forms of time consistency as well as various connections between them .
Revised:  The proposed framework integrates existing forms of time consistency .
Edit intent: clarity
Original: In this paper we provide a flexible framework allowing for a unified study of time consistency of risk measures and performance measures , also known as acceptability indices  .
Revised: In this paper we provide a flexible framework allowing for a unified study of time consistency of risk measures and performance measures ( also known as acceptability indices .
Edit intent: fluency
Original: In this paper we provide a flexible framework allowing for a unified study of time consistency of risk measures and performance measures , also known as acceptability indices  .
Revised: In this paper we provide a flexible framework allowing for a unified study of time consistency of risk measures and performance measures , also known as acceptability indices ) .
Edit intent: fluency
Original:  The proposed framework  integrates existing forms of time consistency .
Revised:  The proposed framework not only integrates existing forms of time consistency .
Edit intent: coherence
Original:  As an illustration of the usefulness of our approach, we show how to recover almost all concepts of weak time consistency by means of constructing various update rules.
Revised:  As an illustration of the applicability of our approach, we show how to recover almost all concepts of weak time consistency by means of constructing various update rules.
Edit intent: clarity
Original:  As an illustration of the usefulness of our approach, we show how to recover almost all concepts of weak time consistency by means of constructing various update rules.
Revised:  As an illustration of the usefulness of our approach, we show how to recover almost all concepts of weak time consistency by means of constructing appropriate update rules.
Edit intent: clarity
Original:   The predicted values of nitrate rainout from previous work for a typical gamma ray burst (GRB) within our galaxy serve as an extreme example and are shown to be below critical loads of eutrophication and acidification for ecoregions in Europe and the US  .
Revised:  The predicted values of nitrate rainout from previous work for a typical gamma ray burst (GRB) within our galaxy serve as an extreme example and are shown to be below current critical loads for eutrophication and acidification for ecoregions in Europe and the US .
Edit intent: clarity
Original:  In addition to establishing that nitrate sourced from a present day event would not harm modern terrestrial ecosystems , we consider the possible effects on terrestrial early Paleozoic ecosystems.
Revised:  In addition to establishing that nitrate sourced from a present day event would not harm modern terrestrial ecosystems . We also considered its potential benefit to early terrestrial Paleozoic ecosystems.
Edit intent: clarity
Original:  The predicted values of nitrate rainout from previous work for a typical gamma ray burst (GRB ) within our galaxy serve as an extreme example and are shown to be below current critical loads for eutrophication and acidification for ecoregions in Europe and the US, thus too low to harm modern ecosystems .
Revised:  The predicted values of nitric acid rainout from a typical GRB within our galaxy serve as an extreme example and are shown to be below current critical loads for eutrophication and acidification for ecoregions in Europe and the US, thus too low to harm modern ecosystems .
Edit intent: clarity
Original:  The predicted values of nitrate rainout from previous work for a typical gamma ray burst (GRB ) within our galaxy serve as an extreme example and are shown to be below current critical loads for eutrophication and acidification for ecoregions in Europe and the US, thus too low to harm modern ecosystems .
Revised:  The predicted values of nitrate rainout from previous work for a typical gamma ray burst (GRB ) within our galaxy . The predicted rainout was found to be too low to harm modern ecosystems .
Edit intent: coherence
Original:  However, they are large compared with probable nitrate flux onto land prior to the invasion by plants.
Revised:  However, they are large compared with probable nitrate flux onto land prior to the invasion of plants.
Edit intent: fluency
Original:  We consider that this flux may have contributed nutrients to this invasion if, as hypothesized, the end-Ordovician extinction event were initiated by a GRB or other ionizing radiation event.
Revised:  We suggest that this flux may have contributed nutrients to this invasion if, as hypothesized, the end-Ordovician extinction event were initiated by a GRB or other ionizing radiation event.
Edit intent: clarity
Original: More than two decades after its inception, TCP and its variants still suffer from poor performance in many real-world network conditions .
Revised:  TCP and its variants still suffer from poor performance in many real-world network conditions .
Edit intent: clarity
Original:  We argue that the root cause for this situation is a fundamental architectural design deficiency: hardwiring packet-level events (e.g., packet losses) to control responses . Jumping out of this architectural deficiency, we propose Performance-oriented Congestion Control (PCC), a new congestion control architecture in which each sender controls its sending strategy based on empirically observed performancemetrics.
Revised:  We argue that the root cause for this situation is a fundamental architectural deficiency: hardwiring packet-level events (e.g., packet losses) to control responses . Jumping out of this architectural deficiency, we propose Performance-oriented Congestion Control (PCC), a new congestion control architecture in which each sender controls its sending strategy based on empirically observed performancemetrics.
Edit intent: clarity
Original:  We argue that the root cause for this situation is a fundamental architectural design deficiency: hardwiring packet-level events (e.g., packet losses) to control responses . Jumping out of this architectural deficiency, we propose Performance-oriented Congestion Control (PCC), a new congestion control architecture in which each sender controls its sending strategy based on empirically observed performancemetrics.
Revised:  We argue that the root cause for this situation is a fundamental architectural design deficiency: hardwiring packet-level events to control responses . Jumping out of this architectural deficiency, we propose Performance-oriented Congestion Control (PCC), a new congestion control architecture in which each sender controls its sending strategy based on empirically observed performancemetrics.
Edit intent: clarity
Original: We propose a statistical framework for modeling the non-Poisson variability of spike trains observed in a wide range of brain regions.
Revised: We propose a statistical method for modeling the non-Poisson variability of spike trains observed in a wide range of brain regions.
Edit intent: clarity
Original:  Central to our approach is the assumption that the variance and  mean of interspike interval are related in the form of a power function , the exponent of which can be arbitrary value .
Revised:  Central to our approach is the assumption that the variance and the mean of interspike interval are related in the form of a power function , the exponent of which can be arbitrary value .
Edit intent: fluency
Original:  Central to our approach is the assumption that the variance and  mean of interspike interval are related in the form of a power function , the exponent of which can be arbitrary value .
Revised:  Central to our approach is the assumption that the variance and mean of interspike intervals are related by a power function , the exponent of which can be arbitrary value .
Edit intent: clarity
Original:  It is shown that this single assumption allows the  spike trains to have various dependencies of the variability on the firing rate in the spike count statistics  as well as in the interval statistics, depending on the exponent of the power function.
Revised:  It is shown that this single assumption allows the variability of spike trains to have various dependencies of the variability on the firing rate in the spike count statistics as well as in the interval statistics, depending on the exponent of the power function.
Edit intent: clarity
Original:  It is shown that this single assumption allows the  spike trains to have various dependencies of the variability on the firing rate in the spike count statistics  as well as in the interval statistics, depending on the exponent of the power function.
Revised:  It is shown that this single assumption allows the spike trains to have an arbitrary scale and various dependencies on the firing rate in the spike count statistics as well as in the interval statistics, depending on the exponent of the power function.
Edit intent: clarity
Original:  It is shown that this single assumption allows the  spike trains to have various dependencies of the variability on the firing rate in the spike count statistics  as well as in the interval statistics, depending on the exponent of the power function.
Revised:  It is shown that this single assumption allows the spike trains to have various dependencies of the variability on the firing rate in the spike count statistics , as well as in the interval statistics, depending on the exponent of the power function.
Edit intent: fluency
Original:  We also propose a statistical model of spike trains that exhibits the variance-to-mean power relationship, based on which a maximum likelihood method is developed for inferring the exponent from rate-modulated spike trains.
Revised:  We also propose a statistical model for spike trains that exhibits the variance-to-mean power relationship, based on which a maximum likelihood method is developed for inferring the exponent from rate-modulated spike trains.
Edit intent: fluency
Original:  We also propose a statistical model of spike trains that exhibits the variance-to-mean power relationship, based on which a maximum likelihood method is developed for inferring the exponent from rate-modulated spike trains.
Revised:  We also propose a statistical model of spike trains that exhibits the variance-to-mean power relationship, and based on this a maximum likelihood method is developed for inferring the exponent from rate-modulated spike trains.
Edit intent: coherence
Original:  We also propose a statistical model of spike trains that exhibits the variance-to-mean power relationship, based on which a maximum likelihood method is developed for inferring the exponent from rate-modulated spike trains.
Revised:  We also propose a statistical model of spike trains that exhibits the variance-to-mean power relationship, based on which a maximum likelihood method is developed for inferring the parameters from rate-modulated spike trains.
Edit intent: clarity
Original:  The ability of the proposed method is demonstrated with simulated and experimental spike trains.
Revised:  The proposed method is demonstrated with simulated and experimental spike trains.
Edit intent: clarity
Original:  The ability of the proposed method is demonstrated with simulated and experimental spike trains.
Revised:  The ability of the proposed method is illustrated on simulated and experimental spike trains.
Edit intent: clarity
Original:  In the absence of noise, each layer supports a stationary bump solution that can be centered at any location, due to translation invariance . Using linear stability analysis, we show that delayed coupling between layers causes translating perturbations of the bumps to decay in the noise-free system.
Revised:  In the absence of noise, each layer supports a stationary bump . Using linear stability analysis, we show that delayed coupling between layers causes translating perturbations of the bumps to decay in the noise-free system.
Edit intent: clarity
Original: Africa's Albertine Rift faces a juxtaposition of rapid human population growth in a biodiversity hotspot.
Revised: The Albertine Rift region faces rapid human population growth in a biodiversity hotspot.
Edit intent: clarity
Original: Africa's Albertine Rift faces a juxtaposition of rapid human population growth in a biodiversity hotspot.
Revised: Africa's Albertine Rift faces a juxtaposition of rapid human population growth , while being a biodiversity hotspot.
Edit intent: coherence
Original:  Using satellite-derived  forest cover change  , we examined national socioeconomic, demographic, and agricultural production data, and local level demographic and geographic variables , to assess multilevel forces driving significant deforestation outside protected areas over the first decade of the 21st centuryacross six countries in the Albertine Rift .
Revised:  Using satellite-derived forest cover change data , we examined national socioeconomic, demographic, and agricultural production data, and local level demographic and geographic variables , to assess multilevel forces driving significant deforestation outside protected areas over the first decade of the 21st centuryacross six countries in the Albertine Rift .
Edit intent: fluency
Original:  Using satellite-derived  forest cover change  , we examined national socioeconomic, demographic, and agricultural production data, and local level demographic and geographic variables , to assess multilevel forces driving significant deforestation outside protected areas over the first decade of the 21st centuryacross six countries in the Albertine Rift .
Revised:  Using satellite-derived forest cover change , we examined national socioeconomic, demographic, and agricultural production data, and local demographic and geographic variables , to assess multilevel forces driving significant deforestation outside protected areas over the first decade of the 21st centuryacross six countries in the Albertine Rift .
Edit intent: clarity
Original:  Using satellite-derived  forest cover change  , we examined national socioeconomic, demographic, and agricultural production data, and local level demographic and geographic variables , to assess multilevel forces driving significant deforestation outside protected areas over the first decade of the 21st centuryacross six countries in the Albertine Rift .
Revised:  Using satellite-derived forest cover change , we examined national socioeconomic, demographic, and agricultural production data, and local level demographic and geographic variables to assess multilevel forces driving significant deforestation outside protected areas over the first decade of the 21st centuryacross six countries in the Albertine Rift .
Edit intent: fluency
Original:  Using satellite-derived  forest cover change  , we examined national socioeconomic, demographic, and agricultural production data, and local level demographic and geographic variables , to assess multilevel forces driving significant deforestation outside protected areas over the first decade of the 21st centuryacross six countries in the Albertine Rift .
Revised:  Using satellite-derived forest cover change , we examined national socioeconomic, demographic, and agricultural production data, and local level demographic and geographic variables , to assess multilevel forces driving significant deforestation outside protected areas during the first decade of the 21st centuryacross six countries in the Albertine Rift .
Edit intent: fluency
Original:  Epidemics can spread by local spreading , where infected nodes can only infect a limited set of direct target nodes and global spreading , where an infected node can infect every other node.
Revised:  Epidemics can spread by local spreading , where infected nodes can only infect a limited set of direct target nodes and global spreading , where an infected node can infect every other node.
Edit intent: fluency
Original:  In a metapopulation, made up of many weakly connected subpopulations, we show that one can calculate an optimal tradeoff between local and global spreading which will maximise the extent of the epidemic .
Revised:  We show the epidemic .
Edit intent: clarity
Original:  As an example we analyse the 2008 outbreak of the Internet worm Conficker , which uses hybrid spreading to propagate through the internet .
Revised:  As an example we show that the 2008 outbreak of the Internet worm Conficker , which uses hybrid spreading to propagate through the internet .
Edit intent: clarity
Original:  As an example we analyse the 2008 outbreak of the Internet worm Conficker , which uses hybrid spreading to propagate through the internet .
Revised:  As an example we analyse the 2008 outbreak of the Internet worm Conficker is a critically hybrid epidemic .
Edit intent: clarity
Original:  Our results suggests that the worm would have been even more infectious if it had optimised the balance between modes of spreading.
Revised:  Our results further suggest that the worm would have been even more infectious if it had optimised the balance between modes of spreading.
Edit intent: clarity
Original:  Our results suggest new strategies for maximising beneficial epidemics (e.g. disseminating information) and estimating the worst outcome of hybrid epidemics which damage health or economic activity.
Revised:  Our results provide new strategies for maximising beneficial epidemics (e.g. disseminating information) and estimating the worst outcome of hybrid epidemics which damage health or economic activity.
Edit intent: clarity
Original:  Our results provide new strategies for maximising beneficial epidemics (e.g. disseminating information) and estimating the worst outcome of hybrid epidemics which damage health or economic activity .
Revised:  Our results provide new strategies for maximising beneficial epidemics and estimating the worst outcome of hybrid epidemics which damage health or economic activity .
Edit intent: clarity
Original:  Our results provide new strategies for maximising beneficial epidemics (e.g. disseminating information) and estimating the worst outcome of hybrid epidemics which damage health or economic activity .
Revised:  Our results provide new strategies for maximising beneficial epidemics (e.g. disseminating information) and estimating the worst outcome of damaging hybrid epidemics .
Edit intent: clarity
Original:  Given a set of tokens , the goal of Census is to ensure that every node is visited by at least one token.
Revised:  Census operates by circulating a set of tokens , the goal of Census is to ensure that every node is visited by at least one token.
Edit intent: clarity
Original:  Given a set of tokens , the goal of Census is to ensure that every node is visited by at least one token.
Revised:  Given a set of tokens in the network using biased random walks such that each node is visited by at least one token.
Edit intent: clarity
Original:  The scalability and robustness of Census are demonstrated using simulations in networks ranging from 150 to 4000 nodes  .
Revised:  The scalability and robustness , which we demonstrate via simulations in networks ranging from 150 to 4000 nodes .
Edit intent: clarity
Original: Both science and engineering rely on the use of high-level descriptions .
Revised: To analyze high-dimensional systems, many fields in science and engineering rely on the use of high-level descriptions .
Edit intent: clarity
Original: Both science and engineering rely on the use of high-level descriptions .
Revised: Both science and engineering rely on high-level descriptions .
Edit intent: fluency
Original:  These go under various names, including "macrostates," "coarse-grainings," and "effective theories".
Revised:  These go under various names, including "macrostates," "coarse-grainings," or "effective theories".
Edit intent: fluency
Original:  Typically, these descriptions are constructed in an \mathit{ad~hoc .
Revised:  Typically, these descriptions are constructed without considering the ultimate reason for needing them in the first place .
Edit intent: clarity
Original:  Here, we formalize and quantify that purposeas a combination of the need to accurately predict observables of interest , and to do so efficiently and with bounded computational resources.
Revised:  Here, we formalize and quantify one such purpose: the need to accurately predict observables of interest , and to do so efficiently and with bounded computational resources.
Edit intent: clarity
Original:  Here, we formalize and quantify that purposeas a combination of the need to accurately predict observables of interest , and to do so efficiently and with bounded computational resources.
Revised:  Here, we formalize and quantify that purposeas a combination of the need to predict observables of interest , and to do so efficiently and with bounded computational resources.
Edit intent: clarity
Original:  This State Space Compression framework makes it possible to solve for the optimal high-level description of a given dynamical system, rather than relying on human intuition alone.
Revised:  This State Space Compression (SSC) framework provides a guide for how to solve for the optimal high-level description of a given dynamical system, rather than relying on human intuition alone.
Edit intent: clarity
Original:  This State Space Compression framework makes it possible to solve for the optimal high-level description of a given dynamical system, rather than relying on human intuition alone.
Revised:  This State Space Compression framework makes it possible to solve for the optimal high-level description of a given dynamical system, rather than relying on human intuition alone.
Edit intent: fluency
Original:  This State Space Compression framework makes it possible to solve for the optimal high-level description of a given dynamical system, rather than relying on human intuition alone.
Revised:  This State Space Compression framework makes it possible to solve for the optimal high-level description of a given dynamical system, rather than constructing it based on human intuition alone.
Edit intent: clarity
Original:  Overall the whole approach can be implemented with little effort using any of the deep-learning packages  .
Revised:  Overall , the approach can be implemented with little effort using any of the deep-learning packages .
Edit intent: clarity
Original:  Therefore, the aim along this line of research is to develop reasoning mechanisms as precise and scalable as possible.
Edit intent: coherence
Original: Register allocation  and instruction scheduling are two central compiler back-end problems that are critical for quality .
Revised: Register allocation and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a compiler .
Edit intent: clarity
Original:  In the last two decades, combinatorial optimization has emerged as an alternative approach to traditional, heuristic algorithms for these problems.
Revised:  In the last two decades, combinatorial optimization has emerged as an alternative to traditional, heuristic algorithms for these problems.
Edit intent: clarity
Original:  This paper surveys existing literature on combinatorial register allocation and instruction scheduling .
Revised:  This paper provides an exhaustive literature review and a classification of combinatorial optimization approaches to register allocation and instruction scheduling .
Edit intent: clarity