wanyu/IteraTeR_v2 huggingface dataset:
Original:  The delay in diagnosis, limited hospital resources , and other treatment resources lead to the rapid spread of COVID-19.
Revised:  The delay in diagnosis, limited hospital resources , and other treatment resources leads to rapid spread of COVID-19.
Edit intent: fluency
Original: In database-as-a-service platforms, automated verification of query equivalence helps eliminate redundant computation across queries (i.e., overlapping sub-queries ).
Revised: In database-as-a-service platforms, automated verification of query equivalence helps eliminate redundant computation in the form of overlapping sub-queries ).
Edit intent: clarity
Original:   The first technique is based on reducing queries to algebraic expressions and proving their equivalence using an algebraic theory.
Revised:  The first approach consists of reducing the queries to algebraic expressions and proving their equivalence using an algebraic theory.
Edit intent: clarity
Original:  The limitations of this approach are threefold.
Revised:  The limitations of this technique are threefold.
Edit intent: clarity
Original:  We implement our two-stage approach in SPES . SPES proves the equivalence of a larger set of query pairs ( 90 /232) under bag semantics compared to the state-of-the-art tools based on algebraic (30/232) under bag semantics and symbolic approaches (67/232)  under set semantics.
Revised:  We implement our two-stage approach in SPES and demonstrate that SPES proves the equivalence of a larger set of query pairs ( 90 /232) under bag semantics compared to the state-of-the-art tools based on algebraic (30/232) under bag semantics and symbolic approaches (67/232) under set semantics.
Edit intent: coherence
Original:  We implement our two-stage approach in SPES . SPES proves the equivalence of a larger set of query pairs ( 90 /232) under bag semantics compared to the state-of-the-art tools based on algebraic (30/232) under bag semantics and symbolic approaches (67/232)  under set semantics.
Revised:  We implement our two-stage approach in SPES . SPES proves the equivalence of a larger set of query pairs ( 90 /232) under bag semantics compared to the state-of-the-art tools based on algebraic (30/232) and symbolic approaches (67/232) under set semantics.
Edit intent: fluency
Original: In cellular federated edge learning (FEEL), multiple edge devices holding local data jointly train a learning algorithm by communicating learning updates with an access point without exchanging their data samples.
Revised: In cellular federated edge learning (FEEL), multiple edge devices holding local data jointly train a neural network by communicating learning updates with an access point without exchanging their data samples.
Edit intent: clarity
Original:  With  limited communication resources, it is beneficial to schedule the most informative local learning update .
Revised:  With very limited communication resources, it is beneficial to schedule the most informative local learning update .
Edit intent: clarity
Original:  With  limited communication resources, it is beneficial to schedule the most informative local learning update .
Revised:  With limited communication resources, it is beneficial to schedule the most informative local learning updates .
Edit intent: fluency
Original:  In this paper, a novel scheduling policy is proposed to exploit both diversity in multiuser channels and diversity in the importance of the edge devices' learning updates.
Revised:  In this paper, a novel scheduling policy is proposed to exploit both diversity in multiuser channels and diversity in the "importance" of the edge devices' learning updates.
Edit intent: fluency
Original:  The importance of a local learning update is measured by  gradient divergence.
Revised:  The importance of a local learning update is measured by its gradient divergence.
Edit intent: clarity
Original: In response to the rapid spread of the Coronavirus (COVID-19) , with ten thousands of deaths and intensive-care hospitalizations, a large number of regions and countries have been put under lockdown by their respective governments.
Revised: The rapid spread of the Coronavirus (COVID-19) , with ten thousands of deaths and intensive-care hospitalizations, a large number of regions and countries have been put under lockdown by their respective governments.
Edit intent: clarity
Original:  Policy makers are confronted in this situation with the problem of balancing public health considerations , with the economic costs of a persistent lockdown.
Revised:  Policy makers are confronted in this situation with the problem of balancing public health considerations with the economic costs of a persistent lockdown.
Edit intent: fluency
Original:  We introduce a modified epidemic model, the controlled-SIR model, in which the disease reproduction rates evolve dynamically in response to political and societal reactions.
Revised:  We introduce a modified epidemic model, the controlled-SIR model, in which the disease reproduction rate evolves dynamically in response to political and societal reactions.
Edit intent: fluency
Original:  We estimate the total cost of several distinct containment policies incurring over the entire path of the endemic .
Revised:  We estimate the total cost of several distinct containment policies incurring over the entire course of the epidemic .
Edit intent: clarity
Original:  Costs comprise direct medical cost for intensive care , the economic cost of social distancing, as well as the economic value of lives saved.
Revised:  Costs comprise medical care cost , the economic cost of social distancing, as well as the economic value of lives saved.
Edit intent: clarity
Original:  Very strict measures fare best, with a hands-off policy coming second.
Revised:  Very strict measures fare better than a hands-off policy coming second.
Edit intent: clarity
Original: The rapid spread of the Coronavirus (COVID-19) confronts policy makers with the problem of measuring the effectiveness of containment strategies and the need to balance public health considerations with the economic costs of a persistent lockdown .
Revised: The rapid spread of the Coronavirus (COVID-19) confronts policy makers with the problem of measuring the effectiveness of containment strategies , balancing public health considerations with the economic costs of a persistent lockdown .
Edit intent: coherence
Original:  We introduce a modified epidemic model , the controlled-SIR model, in which the disease reproduction rate evolves dynamically in response to political and societal reactions.
Revised:  We introduce a modified epidemic model that we name the controlled-SIR model, in which the disease reproduction rate evolves dynamically in response to political and societal reactions.
Edit intent: clarity
Original:  A single unbiased feedback parameter is extracted from field data and used to formulate an index that measures the efficiency of containment policies (the CEI index).
Revised:  A single unbiased feedback parameter is extracted from field data and used to formulate an index that measures the efficiency of containment strategies (the CEI index).
Edit intent: clarity
Original:  Strategies based on actual case numbers lead to substantially higher total costs than strategies based on the overall history of the epidemic.
Revised:  Strategies based on current case numbers lead to substantially higher total costs than strategies based on the overall history of the epidemic.
Edit intent: clarity
Original:  Each job consists of a set of tasks that can be processed in parallel, however, the job is considered completed only when all its tasks finish their processing, which we refer to as " synchronization " constraint.
Revised:  Each job consists of a set of tasks that can be processed in parallel, however, the job is considered completed only when all its tasks finish their processing, which we refer to as " synchronization " constraint.
Edit intent: fluency
Original:  Further, assignment of tasks to machines is subject to " placement " constraints, i.e., each task can be processed only on a subset of machines, and processing times can also be machine dependent.
Revised:  Further, assignment of tasks to machines is subject to " placement " constraints, i.e., each task can be processed only on a subset of machines, and processing times can also be machine dependent.
Edit intent: fluency
Original:  A machine can process (" pack ") multiple tasks at the same time, however the cumulative resource requirement of the tasks should not exceed the machine's capacity.
Revised:  A machine can process (" pack ") multiple tasks at the same time, however the cumulative resource requirement of the tasks should not exceed the machine's capacity.
Edit intent: fluency
Original:  In this study, we improve RawNet by rescaling feature maps using various methods.
Revised:  In this study, we improve RawNet by scaling feature maps using various methods.
Edit intent: clarity
Original:  The proposed mechanism utilizes a filter-wise rescale map that adopts a sigmoid non-linear function.
Revised:  The proposed mechanism utilizes a scale vector that adopts a sigmoid non-linear function.
Edit intent: clarity
Original:  Using a filter-wise rescale map , we propose to rescale the feature map multiplicatively, additively, or both.
Revised:  Using a filter-wise rescale map , we propose to scale the feature map multiplicatively, additively, or both.
Edit intent: clarity
Original:  Experiments performed on the VoxCeleb1 evaluation dataset demonstrate that the proposed methods are effective , and the best performing system reduces the equal error rate by half compared to the original RawNet.
Revised:  Experiments performed on the VoxCeleb1 evaluation dataset demonstrate the effectiveness of the proposed methods , and the best performing system reduces the equal error rate by half compared to the original RawNet.
Edit intent: clarity
Original:  Our experiments show that a straightforward application of language models such as BERT, DistilBERT, or ALBERT pre-trained on large text corpora already significantly improves the matching quality and outperforms previous state-of-the-art (SOTA), by up to 19 \% of F1 score on benchmark datasets.
Revised:  Our experiments show that a straightforward application of language models such as BERT, DistilBERT, or RoBERTa pre-trained on large text corpora already significantly improves the matching quality and outperforms previous state-of-the-art (SOTA), by up to 19 \% of F1 score on benchmark datasets.
Edit intent: fluency
Original:  Numerical results  show the potential of the proposed strategy for various applications for hyperspectral imaging, PET-MR and multi-contrast MRI  : typical misalignments between modalities such as rotations, translations, zooms can be effectively corrected during the reconstruction process.
Revised:  Numerical results show the potential of the proposed strategy for various applications in multi-contrast MRI : typical misalignments between modalities such as rotations, translations, zooms can be effectively corrected during the reconstruction process.
Edit intent: coherence
Original:  Numerical results  show the potential of the proposed strategy for various applications for hyperspectral imaging, PET-MR and multi-contrast MRI  : typical misalignments between modalities such as rotations, translations, zooms can be effectively corrected during the reconstruction process.
Revised:  Numerical results show the potential of the proposed strategy for various applications for hyperspectral imaging, PET-MR and multi-contrast MRI , PET-MR, and hyperspectral imaging : typical misalignments between modalities such as rotations, translations, zooms can be effectively corrected during the reconstruction process.
Edit intent: coherence
Original: The Assignment problem is a fundamental , well-studied problem in the intersection of Social Choice, Computational Economics and Discrete Allocation.
Revised: The Assignment problem is a fundamental and well-studied problem in the intersection of Social Choice, Computational Economics and Discrete Allocation.
Edit intent: fluency
Original:  In the Assignment problem, we seek a pareto optimal allocation of items to agents given the preferences of the agents .
Revised:  In the Assignment problem, a group of agents expresses preferences over a set of items, and the task is to find a pareto optimal allocation of items to agents given the preferences of the agents .
Edit intent: clarity
Original:  In the Assignment problem, we seek a pareto optimal allocation of items to agents given the preferences of the agents .
Revised:  In the Assignment problem, we seek a pareto optimal allocation of items to agents .
Edit intent: clarity
Original:  Here, we consider several natural parameters such as the number of layers,  number of agents,  number of items, and maximal length of a preference list ;
Revised:  Here, we consider several natural parameters such as the number of layers, the number of agents, number of items, and maximal length of a preference list ;
Edit intent: fluency
Original:  Here, we consider several natural parameters such as the number of layers,  number of agents,  number of items, and maximal length of a preference list ;
Revised:  Here, we consider several natural parameters such as the number of layers, number of agents, the number of items, and maximal length of a preference list ;
Edit intent: fluency
Original:  Here, we consider several natural parameters such as the number of layers,  number of agents,  number of items, and maximal length of a preference list ;
Revised:  Here, we consider several natural parameters such as the number of layers, number of agents, number of items, and the maximum length of a preference list ;
Edit intent: fluency
Original: As the coronavirus disease 2019 (COVID-19) becomes a global pandemic, policy makers must enact interventions to stop its spread.
Revised: As the coronavirus disease 2019 (COVID-19) continues to be a global pandemic, policy makers must enact interventions to stop its spread.
Edit intent: clarity
Original:  Particularizing to the case of homogeneous parameters, we show that the average optimal inventory of the finite population converges to its mean-field counterpart, uniformly over a fixed trading horizon , as the population size grows to infinity .
Revised:  Particularizing to the horizon with vanishing inventory .
Edit intent: clarity
Original:  We prove the existence and uniqueness of a Nash equilibrium in both frameworks, alongside a characterization, under suitable weak interaction assumptions.
Revised:  We prove the existence and uniqueness of a Nash equilibrium in both frameworks, alongside a characterization, under suitable assumptions.
Edit intent: clarity
Original: To facilitate the emerging applications in the 5G networks and beyond , mobile network operators will provide many powerful control functionalities such as RAN slicing and resource scheduling.
Revised: To facilitate the emerging applications in 5G networks and beyond , mobile network operators will provide many powerful control functionalities such as RAN slicing and resource scheduling.
Edit intent: fluency
Original: To facilitate the emerging applications in the 5G networks and beyond , mobile network operators will provide many powerful control functionalities such as RAN slicing and resource scheduling.
Revised: To facilitate the emerging applications in the 5G networks , mobile network operators will provide many powerful control functionalities such as RAN slicing and resource scheduling.
Edit intent: clarity
Original:  However, training the ML models offline is inefficient, due to the excessive overhead for forwarding the huge volume of data samples from cellular networks to remote ML training clouds .
Revised:  However, training the ML models offline is inefficient, due to the excessive overhead for transmitting a huge volume of data samples from cellular networks to remote ML training clouds .
Edit intent: clarity
Original:  However, training the ML models offline is inefficient, due to the excessive overhead for forwarding the huge volume of data samples from cellular networks to remote ML training clouds .
Revised:  However, training the ML models offline is inefficient, due to the excessive overhead for forwarding the huge volume of dataset to remote ML training clouds .
Edit intent: clarity
Original:  We build a comprehensive model and formulate an online data scheduling problem to optimize the framework cost while reconciling the data skew from both short-term and long-term perspective.
Revised:  We build a comprehensive model and formulate an online data scheduling problem to optimize the framework cost while alleviating the data skew from both short-term and long-term perspective.
Edit intent: clarity
Original:  A small-scale testbed and large-scale simulations validate the superior performance of our  framework.
Revised:  A small-scale testbed and large-scale simulations validate the superior performance of our proposed framework.
Edit intent: clarity
Original: Graphs in the real world are constantly changing and of large scale.
Revised: Evolving graphs in the real world are constantly changing and of large scale.
Edit intent: clarity
Original:  The evaluation shows RisGraph can ingest millions of updates per second and its 99.9\%ile latency is within 20 milliseconds for graphs with hundreds of millions of vertices and billions of edges on a single commodity machine .
Revised:  The evaluation shows RisGraph can ingest millions of updates per second for graphs with hundreds of millions of vertices and billions of edges on a single commodity machine .
Edit intent: coherence
Original:  The evaluation shows RisGraph can ingest millions of updates per second and its 99.9\%ile latency is within 20 milliseconds for graphs with hundreds of millions of vertices and billions of edges on a single commodity machine .
Revised:  The evaluation shows RisGraph can ingest millions of updates per second and its 99.9\%ile latency is within 20 milliseconds for graphs with several hundred million vertices and billions of edges on a single commodity machine .
Edit intent: clarity
Original:  In some exceptional cases the response time distribution of the mean field limit has an explicit form.
Revised:  In some cases the waiting time distribution of the mean field limit has an explicit form.
Edit intent: clarity
Original:  In most cases it can be computed using either a recursion or a differential equation (for exponential job sizes with mean one).
Revised:  In other cases it can be computed using either a recursion or a differential equation (for exponential job sizes with mean one).
Edit intent: clarity
Original:  In this paper we study the value of the mean response time E[ R _\lambda] as the arrival rate \lambda approaches 1  (i.e. the system gets close to instability).
Revised:  In this paper we study the limit of the mean response time E[ R _\lambda] as the arrival rate \lambda approaches 1 (i.e. the system gets close to instability).
Edit intent: clarity
Original:  In this paper we study the value of the mean response time E[ R _\lambda] as the arrival rate \lambda approaches 1  (i.e. the system gets close to instability).
Revised:  In this paper we study the value of the mean waiting time E[ R _\lambda] as the arrival rate \lambda approaches 1 (i.e. the system gets close to instability).
Edit intent: clarity
Original:  In contrast, we present a general result that holds for any policy for which the associated recursion or differential equation satisfies a list of criteria.
Revised:  In contrast, we present a general result that holds for any policy for which the associated differential equation satisfies a list of criteria.
Edit intent: clarity
Original: The recent worldwide outbreak of the novel corona-virus (COVID-19)  opened up new challenges to the research community.
Revised: The recent worldwide outbreak of the novel coronavirus (COVID-19) opened up new challenges to the research community.
Edit intent: clarity
Original: The recent worldwide outbreak of the novel corona-virus (COVID-19)  opened up new challenges to the research community.
Revised: The recent worldwide outbreak of the novel corona-virus (COVID-19) has opened up new challenges to the research community.
Edit intent: fluency
Original:  Here, we propose a shallow Long short-term memory (LSTM) based neural network to predict the risk category of a country.
Revised:  Here, we propose a shallow long short-term memory (LSTM) based neural network to predict the risk category of a country.
Edit intent: fluency
Original:  We have used a Bayesian optimization framework to optimized and automatically design country-specific networks.
Revised:  We have used a Bayesian optimization framework to optimize and automatically design country-specific networks.
Edit intent: fluency
Original:  We have combined the trend data and weather data together for the prediction.
Edit intent: coherence
Original:  The results show that the proposed pipeline outperforms against state-of-the-art methods for 170 countries data and can be a useful tool for such risk categorization.
Revised:  The results show that the proposed pipeline outperforms state-of-the-art methods for 170 countries data and can be a useful tool for such risk categorization.
Edit intent: clarity
Original:  The tool can be used to predict long-duration outbreak of such an epidemic such that we can take preventive steps earlier .
Revised:  The tool can be used to predict long-duration outbreak of such an epidemic such that we can take preventive steps earlier 
Edit intent: fluency
Original:  These resources include vital components to sustain growth and replication, and the resulting cellular burden is a widely recognised bottleneck in the design of robust circuits.
Revised:  These resources include vital components to sustain growth and replication, and the resulting cellular burden is a widely recognised bottleneck in the design of robust circuits.
Edit intent: fluency
Original:  For the case of COVID-19 spreading in Germany, we detect change points in the effective growth rate which correlate well with the times of publicly announced interventions.
Revised:  For the case of COVID-19 spreading in Germany, we detect change points in the effective growth rate that correlate well with the times of publicly announced interventions.
Edit intent: fluency
Original:  Thereby, we can (a) quantify the effects of recent governmental measures to mitigating the disease spread, and (b) incorporate analogue change points to forecast future scenarios and case numbers.
Revised:  Thereby, we can (a) quantify the effects of recent governmental measures to mitigating the disease spread, and (b) incorporate the corresponding change points to forecast future scenarios and case numbers.
Edit intent: clarity
Original:  A main challenge for short-term forecasts is the assessment of key epidemiological parameters and how they change as first governmental intervention measures are showing an effect.
Revised:  A main challenge for short-term forecasts is the assessment of key epidemiological parameters and how they change when first interventions show an effect.
Edit intent: clarity
Original:  For the case of COVID-19 spreading in Germany, we detect change points in the effective growth rate that correlate well with the times of publicly announced interventions.
Revised:  Focusing on the COVID-19 spreading in Germany, we detect change points in the effective growth rate that correlate well with the times of publicly announced interventions.
Edit intent: clarity
Original:  For the case of COVID-19 spreading in Germany, we detect change points in the effective growth rate that correlate well with the times of publicly announced interventions.
Revised:  For the case of COVID-19 spread in Germany, we detect change points in the effective growth rate that correlate well with the times of publicly announced interventions.
Edit intent: fluency