wanyu/IteraTeR_v2 huggingface dataset:
Original: While different containment measures of the Covid-19 epidemic have been applied recently a quantitative measure of their efficiency is not available.
Revised: While containment policies of the Covid-19 epidemic have been applied recently a quantitative measure of their efficiency is not available.
Edit intent: clarity
Original: While different containment measures of the Covid-19 epidemic have been applied recently a quantitative measure of their efficiency is not available.
Revised: While different containment measures of the Covid-19 epidemic have been applied recently a quantitative measure of the efficiency of these policies is not available.
Edit intent: clarity
Original:  The results clearly show that LFT containment policy has been able to reduce both the intensity and time width of the Covid-19 pandemic dome achieving both a low number of deaths and low economic losses .
Revised:  The results clearly show that LFT containment policy has been able to reduce both the intensity and time width of the Covid-19 pandemic dome achieving both a low number of deaths and low economic losses 
Edit intent: fluency
Original: While containment policies of the Covid-19 epidemic have been applied in different countries, a comparative quantitative measure of the efficiency of these policies is not available .
Revised: The Covid-19 epidemic have been applied in different countries, a comparative quantitative measure of the efficiency of these policies is not available .
Edit intent: clarity
Original: While containment policies of the Covid-19 epidemic have been applied in different countries, a comparative quantitative measure of the efficiency of these policies is not available .
Revised: While containment policies of the Covid-19 epidemic have been applied , their efficiency are not known quantitatively .
Edit intent: clarity
Original:  This is consistent with the perspective that the proof of work must cost a sizable fraction of the value that can be transferred through the network in order to keep the Blockchain system secure from double spending attacks .
Revised:  This is consistent with the perspective that the proof of work must cost a sizable fraction of the value that can be transferred through the network .
Edit intent: clarity
Original: We develop a minimalist compartmental model to analyze policies on mobility restriction in Italy during the Covid-19 outbreak.
Revised: We develop a minimalist compartmental model to analyze the impact of mobility restrictions in Italy during the Covid-19 outbreak.
Edit intent: clarity
Original:  Our findings show that an early lockdown barely shifts the epidemic in time : moreover , beyond a critical value of the lockdown strength, an epidemic that seems to be quelled fully recovers after lifting the restrictions.
Revised:  Our findings show that early lockdowns shifts the epidemic in time : moreover , beyond a critical value of the lockdown strength, an epidemic that seems to be quelled fully recovers after lifting the restrictions.
Edit intent: clarity
Original:  Our findings show that an early lockdown barely shifts the epidemic in time : moreover , beyond a critical value of the lockdown strength, an epidemic that seems to be quelled fully recovers after lifting the restrictions.
Revised:  Our findings show that an early lockdown barely shifts the epidemic in time while , beyond a critical value of the lockdown strength, an epidemic that seems to be quelled fully recovers after lifting the restrictions.
Edit intent: coherence
Original:  Our findings show that an early lockdown barely shifts the epidemic in time : moreover , beyond a critical value of the lockdown strength, an epidemic that seems to be quelled fully recovers after lifting the restrictions.
Revised:  Our findings show that an early lockdown barely shifts the epidemic in time : moreover , beyond a critical value of the lockdown strength, the epidemic restarts after lifting the restrictions.
Edit intent: clarity
Original:  We investigate the effects on lockdown scenarios and exit strategies by introducing heterogeneities in the model.
Revised:  We investigate the effects of different lockdown scenarios and exit strategies by introducing heterogeneities in the model.
Edit intent: clarity
Original:  In particular, we consider Italian regions as separate administrative entities  in which social interactions through different age classes occur.
Revised:  In particular, we consider Italian regions as separate administrative entities , in which social interactions through different age classes occur.
Edit intent: fluency
Original:  We find that, due to the sparsity of the mobility matrix, epidemics  develop independently in different regions once the outbreak starts.
Revised:  We find that, due to the sparsity of the mobility matrix, epidemics tend to develop independently in different regions once the outbreak starts.
Edit intent: clarity
Original:  We also find that disregarding the structure of social contacts could lead to severe underestimation of the post-lockdown effects .
Revised:  We also find that disregarding the structure of social contacts could lead to severe underestimation of post-lockdown effects .
Edit intent: fluency
Original:  Finally, we point out that these results can be generalized beyond this particular model by providing a description of the effects of key parameters on non-medical epidemic mitigation strategies .
Revised:  Finally, we point out that these results can be generalized beyond this particular model by providing a description of the effects of key parameters on non-pharmaceutical mitigation mechanisms for epidemics .
Edit intent: clarity
Original: We develop a minimalist compartmental model to analyze the impact of mobility restrictions in Italy during the Covid-19 outbreak.
Revised: We develop a minimalist compartmental model to study the impact of mobility restrictions in Italy during the Covid-19 outbreak.
Edit intent: clarity
Original:  Our findings show that early lockdowns shifts the epidemic in time while, beyond a critical value of the lockdown strength, the epidemic restarts after lifting the restrictions.
Revised:  We show that an early lockdown shifts the epidemic in time while, beyond a critical value of the lockdown strength, the epidemic restarts after lifting the restrictions.
Edit intent: clarity
Original:  Our findings show that early lockdowns shifts the epidemic in time while, beyond a critical value of the lockdown strength, the epidemic restarts after lifting the restrictions.
Revised:  Our findings show that early lockdowns shifts the epidemic in time , while that beyond a critical value of the lockdown strength, the epidemic restarts after lifting the restrictions.
Edit intent: fluency
Original:  Our findings show that early lockdowns shifts the epidemic in time while, beyond a critical value of the lockdown strength, the epidemic restarts after lifting the restrictions.
Revised:  Our findings show that early lockdowns shifts the epidemic in time while, beyond a critical value of the lockdown strength, the epidemic tend to restart after lifting the restrictions.
Edit intent: clarity
Original:  We investigate the effects of different lockdown scenarios and exit mechanisms by accounting for two fundamental sources of heterogeneity within the model: geography and demography.
Revised:  We investigate the effects of different lockdown scenarios and exit mechanisms by accounting for two fundamental sources of heterogeneity , i.e. geography and demography.
Edit intent: clarity
Original:  We consider Italian Regions as separate administrative entities, in which social interactions between age cohorts occur.
Revised:  First, we consider Italian regions as separate administrative entities, in which social interactions between age cohorts occur.
Edit intent: fluency
Original:  We consider Italian Regions as separate administrative entities, in which social interactions between age cohorts occur.
Revised:  We consider Italian Regions as separate administrative entities, in which social interactions between age classs occur.
Edit intent: clarity
Original:  Our model is general, and it highlights the effects of key parameters on non-pharmaceutical mitigation mechanisms for  epidemics.
Revised:  Our model is general, and it highlights the effects of key parameters on non-pharmaceutical mitigation mechanisms for the epidemics.
Edit intent: fluency
Original:  With yet higher testing capacity , random testing further allows detection of geographical differences in spreading rates and thus the formulation of optimal strategies for a safe reboot of the economy.
Revised:  Still higher testing capacity , random testing further allows detection of geographical differences in spreading rates and thus the formulation of optimal strategies for a safe reboot of the economy.
Edit intent: coherence
Original:  With yet higher testing capacity , random testing further allows detection of geographical differences in spreading rates and thus the formulation of optimal strategies for a safe reboot of the economy.
Revised:  With yet higher testing capacity permits detection of geographical differences in spreading rates and thus the formulation of optimal strategies for a safe reboot of the economy.
Edit intent: clarity
Original:  Most importantly, with daily random testing in place, a reboot could be attempted while the fraction of infected people is still an order of magnitude higher than the level required for a reboot without such polling .
Revised:  Most importantly, with daily sampling in place, a reboot could be attempted while the fraction of infected people is still an order of magnitude higher than the level required for a reboot without such polling .
Edit intent: clarity
Original: As the need for specialization increases and architectures become increasingly domain-specific , it is important for architects to understand the requirements of emerging application domains.
Revised: As we enter the era of domain-specific , it is important for architects to understand the requirements of emerging application domains.
Edit intent: clarity
Original:  Here we propose and investigate a mathematical model motivated by the Exploration--Exploitation dilemma in scene viewing.
Revised:  Here we propose and investigate a mathematical model motivated by switching between these two attentional states during scene viewing.
Edit intent: clarity
Original:  The recently introduced Neural Shuffle-Exchange network offers a computation-efficient alternative, enabling the modelling of long-range dependencies in O(n log n) time.
Revised:  The recently introduced neural Shuffle-Exchange network offers a computation-efficient alternative, enabling the modelling of long-range dependencies in O(n log n) time.
Edit intent: fluency
Original:  The model, however, is quite complex, involving a sophisticated gating mechanism derived from  Gated Recurrent Unit.
Revised:  The model, however, is quite complex, involving a sophisticated gating mechanism derived from the Gated Recurrent Unit.
Edit intent: fluency
Original:  It surpasses  Shuffle-Exchange network on the LAMBADA language modelling task and achieves state-of-the-art performance on the MusicNet dataset for music transcription while using significantly fewer parameters.
Revised:  It surpasses the Shuffle-Exchange network on the LAMBADA language modelling task and achieves state-of-the-art performance on the MusicNet dataset for music transcription while using significantly fewer parameters.
Edit intent: fluency
Original:  We show how to combine  Shuffle-Exchange network with convolutional layers  establishing it as a useful building block in long sequence processing applications.
Revised:  We show how to combine Shuffle-Exchange network with convolutional layers , establishing it as a useful building block in long sequence processing applications.
Edit intent: fluency
Original:  When the number of input parameters is very large (  around a hundred here), the metamodel building remains a challenge.
Revised:  When the number of input parameters is very large ( e.g., around a hundred here), the metamodel building remains a challenge.
Edit intent: clarity
Original:  The efficiency of this methodology is illustrated on a thermal-hydraulic industrial case simulating an accident of primary coolant loss in a Pressurized Water Reactor with 97 uncertain inputs and two scenario inputs to be penalized  .
Revised:  The efficiency of this methodology is illustrated on a thermal-hydraulic industrial case simulating an accident of primary coolant loss in a Pressurized Water Reactor . This use-case includes 97 uncertain inputs and two scenario inputs to be penalized .
Edit intent: clarity
Original:  The efficiency of this methodology is illustrated on a thermal-hydraulic industrial case simulating an accident of primary coolant loss in a Pressurized Water Reactor with 97 uncertain inputs and two scenario inputs to be penalized  .
Revised:  The efficiency of this methodology is illustrated on a thermal-hydraulic industrial case simulating an accident of primary coolant loss in a Pressurized Water Reactor with 97 uncertain inputs , two scenario inputs to be penalized .
Edit intent: coherence
Original:  The objective of this work is to identify the most penalizing (or critical ) configurations (corresponding to extreme values of the code output ) of several input parameters (called "scenario inputs"), independently of the uncertainty of the other input parameters.
Revised:  The objective of this work is to identify the critical configurations (or penalizing, in thesense of a prescribed safety margin ) of several input parameters (called "scenario inputs"), independently of the uncertainty of the other input parameters.
Edit intent: clarity
Original:  The objective of this work is to identify the most penalizing (or critical ) configurations (corresponding to extreme values of the code output ) of several input parameters (called "scenario inputs"), independently of the uncertainty of the other input parameters.
Revised:  The objective of this work is to identify the most penalizing (or critical ) configurations (corresponding to extreme values of the code output ) of several input parameters (called ``scenarioinputs''), under the uncertainty on the other input parameters.
Edit intent: clarity
Original:  To overcome this, we propose a methodology, called ICSCREAM ( Identification of penalizing Configurations using SCREening And Metamodel), based on screening techniques and Gaussian process (Gp)metamodeling.
Revised:  To overcome this, we propose a methodology, called ICSCREAM ( Identificationof penalizing Configurations using SCREening And Metamodel), based on screening techniques and Gaussian process (Gp)metamodeling.
Edit intent: fluency
Original:  The efficiency of this methodology is illustrated on a thermal-hydraulic industrial case simulating an accident of primary coolant loss in a Pressurized Water Reactor.
Revised:  The efficiency of this methodology is illustrated on a thermal-hydraulic industrial cases simulating an accident of primary coolant loss in a Pressurized Water Reactor.
Edit intent: fluency
Original:  The efficiency of this methodology is illustrated on a thermal-hydraulic industrial case simulating an accident of primary coolant loss in a Pressurized Water Reactor.
Revised:  The efficiency of this methodology is illustrated on a thermal-hydraulic industrial case simulating an accident of primarycoolant loss in a Pressurized Water Reactor.
Edit intent: fluency
Original:  The study focuses on the peak cladding temperature (PCT) and critical configurations are defined by exceeding the 90\%-quantile of PCT.
Revised:  The study focuses on the peak cladding temperature (PCT) and critical configurations aredefined by exceeding the 90\%-quantile of PCT.
Edit intent: fluency
Original:  However, many common functions, such as thresholds and pth frequency moments with p > 2, are known to require polynomial size sketches in the worst case.
Revised:  However, many common functions, such as thresholds and p-th frequency moments with p > 2, are known to require polynomial size sketches in the worst case.
Edit intent: fluency
Original:  However, many common functions, such as thresholds and pth frequency moments with p > 2, are known to require polynomial size sketches in the worst case.
Revised:  However, many common functions, such as thresholds and pth frequency moments with p > 2, are known to require polynomial-size sketches in the worst case.
Edit intent: fluency
Original: We consider the problem of identifying patterns of interest in colored strings.
Revised: In this paper, we consider the problem of identifying patterns of interest in colored strings.
Edit intent: clarity
Original:  A colored string is a string in which each position is colored with one of a finite set of colors.
Revised:  A colored string is a string where each position is colored with one of a finite set of colors.
Edit intent: clarity
Original:  A colored string is a string in which each position is colored with one of a finite set of colors.
Revised:  A colored string is a string in which each position is assigned one of a finite set of colors.
Edit intent: clarity
Original:  The goal there is to automatically infer properties of the embedded system from the analysis of its simulation traces.
Revised:  The goal there is to automatically find properties of the embedded system from the analysis of its simulation traces.
Edit intent: clarity
Original:  We show that  the number of interesting patterns is upper-bounded by O(n^2)  where n is the length of the string.
Revised:  We show that the number of patterns of interest is upper-bounded by O(n^2) where n is the length of the string.
Edit intent: clarity
Original:  We show that  the number of interesting patterns is upper-bounded by O(n^2)  where n is the length of the string.
Revised:  We show that the number of interesting patterns is upper-bounded by O(n^2) , where n is the length of the string.
Edit intent: fluency
Original:  We introduce a baseline algorithm with O(n^2) running time which identifies all interesting patterns for all colors in the string satisfying certain minimality conditions.
Revised:  We introduce a baseline algorithm , running in O(n^2) running time which identifies all interesting patterns for all colors in the string satisfying certain minimality conditions.
Edit intent: clarity
Original:  We introduce a baseline algorithm with O(n^2) running time which identifies all interesting patterns for all colors in the string satisfying certain minimality conditions.
Revised:  We introduce a baseline algorithm with O(n^2) time, which identifies all interesting patterns for all colors in the string satisfying certain minimality conditions.
Edit intent: clarity
Original:  We introduce a baseline algorithm with O(n^2) running time which identifies all interesting patterns for all colors in the string satisfying certain minimality conditions.
Revised:  We introduce a baseline algorithm with O(n^2) running time which identifies all patterns of interest satisfying certain minimality conditions, for all colors in the string satisfying certain minimality conditions.
Edit intent: clarity
Original: To facilitate the parameterized verification of distributed systems that are based on agreement protocols like consensus and leader election , we define a new computational model for parameterized systems that is based on a general global synchronization primitive and allows for global transition guards.
Revised: Inspired by distributed applications that use consensus or other agreement protocols for global coordination , we define a new computational model for parameterized systems that is based on a general global synchronization primitive and allows for global transition guards.
Edit intent: clarity
Original:  Furthermore, we investigate cutoffs for reachability properties , showing that cutoffs in general grow at least quadratically with the local state space of a process, and provide sufficient conditions for small cutoffs in a number of cases that are inspired by our target applications.
Revised:  Furthermore, we investigate cutoffs for reachability properties and provide sufficient conditions for small cutoffs in a number of cases that are inspired by our target applications.
Edit intent: coherence
Original:  in other words the scale invariance holds as it is.
Revised:  in other words , scale invariance holds as it is.
Edit intent: clarity
Original:  Our findings emphasize that, compared with environmental factors, the intrinsic cellular replication processes have stronger impact on the cell size distribution, and consequently bacteria and eukaryotes are ruled by different, yet possibly universal distributions .
Revised:  Our results emphasize the importance of intrinsic cellular replication processes have stronger impact on the cell size distribution, and consequently bacteria and eukaryotes are ruled by different, yet possibly universal distributions .
Edit intent: clarity
Original:  Our findings emphasize that, compared with environmental factors, the intrinsic cellular replication processes have stronger impact on the cell size distribution, and consequently bacteria and eukaryotes are ruled by different, yet possibly universal distributions .
Revised:  Our findings emphasize that, compared with environmental factors, the intrinsic cellular replication processes have stronger impact on the cell size distribution, and consequently bacteria and eukaryotes .
Edit intent: clarity
Original: In stable environments, cell size fluctuations are thought to be governed by simple physical principles, as suggested by recent finding of scaling properties.
Revised: In stable environments, cell size fluctuations are thought to be governed by simple physical principles, as suggested by recent findings of scaling properties.
Edit intent: fluency
Original:  Here we show, using E. coli, that the scaling concept also rules cell size fluctuations under time-dependent conditions , even though the distribution changes with time.
Revised:  Here we show, using E. coli, that the scaling concept also emerges with respect to cell size fluctuations under time-dependent conditions , even though the distribution changes with time.
Edit intent: clarity
Original:  Triggering bacterial reductive division by  switching to non-nutritious medium, we find evidence that the cell size distribution changes in a specific manner that keeps its normalized form unchanged;
Revised:  Triggering bacterial reductive division by abruptly switching to non-nutritious medium, we find evidence that the cell size distribution changes in a specific manner that keeps its normalized form unchanged;
Edit intent: clarity
Original:  Triggering bacterial reductive division by  switching to non-nutritious medium, we find evidence that the cell size distribution changes in a specific manner that keeps its normalized form unchanged;
Revised:  Triggering bacterial reductive division by switching to non-nutritious medium, we find that the cell size distribution changes in a specific manner that keeps its normalized form unchanged;
Edit intent: clarity
Original:  This finding is underpinned by simulations of a model based on cell growth and intracellular replication .
Revised:  This finding is underpinned by simulations of a model based on cell growth and cell cycle .
Edit intent: clarity
Original:   Our results emphasize the importance of intrinsic cellular replication processes in this problem, suggesting different distribution trends for bacteria and eukaryotes.
Revised:  Our results emphasize the importance of intrinsic cellular cycle processes in this problem, suggesting different distribution trends for bacteria and eukaryotes.
Edit intent: clarity
Original:  Here we show, using E. coli, that the scaling concept also emerges with respect to cell size fluctuations under abrupt starvation, even though the distribution changes with time.
Revised:  Here we show, using E. coli, we investigate the response of cell size fluctuations under abrupt starvation, even though the distribution changes with time.
Edit intent: clarity