wanyu/IteraTeR_v2 huggingface dataset:
Original:  In this paper , a hybrid QKD network composed of multiple types of QKD protocols based on trusted-relays is considered from the perspective of topology, and then an analytical model for  optimizing the deployment of  QKD devices and trusted-relays is proposed to provide secure communication services for a large scale and a wide range of users at the minimum cost .
Revised:  In this research , a hybrid QKD network composed of multiple types of QKD protocols based on trusted-relays is considered from the perspective of topology, and then an analytical model for optimizing the deployment of QKD devices and trusted-relays is proposed to provide secure communication services for a large scale and a wide range of users at the minimum cost .
Edit intent: clarity
Original:  In this paper , a hybrid QKD network composed of multiple types of QKD protocols based on trusted-relays is considered from the perspective of topology, and then an analytical model for  optimizing the deployment of  QKD devices and trusted-relays is proposed to provide secure communication services for a large scale and a wide range of users at the minimum cost .
Revised:  In this paper , a hybrid QKD network is studied for the first time from the perspective of topology, and then an analytical model for optimizing the deployment of QKD devices and trusted-relays is proposed to provide secure communication services for a large scale and a wide range of users at the minimum cost .
Edit intent: clarity
Original:  In this paper , a hybrid QKD network composed of multiple types of QKD protocols based on trusted-relays is considered from the perspective of topology, and then an analytical model for  optimizing the deployment of  QKD devices and trusted-relays is proposed to provide secure communication services for a large scale and a wide range of users at the minimum cost .
Revised:  In this paper , a hybrid QKD network composed of multiple types of QKD protocols based on trusted-relays is considered from the perspective of topology, and then an analytical model for optimizing the deployment of various QKD devices and trusted-relays is proposed to provide secure communication services for a large scale and a wide range of users at the minimum cost .
Edit intent: clarity
Original:  The effectiveness and universality of this proposed analytical model are verified by plentiful simulation results .
Revised:  The effectiveness and universality of this proposed analytical model are verified .
Edit intent: clarity
Original:  The motivation for combining the Argyris triangle element with a recent C^1 quadrilateral construction, inspired by isogeometric analysis, is two-fold: On one hand, the ability to connect triangle and quadrilateral finite elements in a C^1 fashion is non-trivial and of theoretical interest.
Revised:  The motivation for combining the Argyris triangle element with a recent C^1 quadrilateral construction, inspired by isogeometric analysis, is two-fold: on one hand, the ability to connect triangle and quadrilateral finite elements in a C^1 fashion is non-trivial and of theoretical interest.
Edit intent: fluency
Original:  Following the techniques in 18, Chapter 3%DIFDELCMD < ] %%% and 23%DIFDELCMD < ]%%% , we establish the convergence and error analysis in L^2 setting for Petrov-Galerkin methods under Fourier basis when g \in H^r(0,2\pi), r \geq 1 , and prove that the optimal convergence rate are obtained for least squares and Bubnov-Galerkin methods.
Revised:  Following the techniques in %DIFDELCMD < ] %%% and 23%DIFDELCMD < ]%%% , we establish the convergence and error analysis in L^2 setting for Petrov-Galerkin methods under Fourier basis when g \in H^r(0,2\pi), r \geq 1 , and prove that the optimal convergence rate are obtained for least squares and Bubnov-Galerkin methods.
Edit intent: coherence
Original:  Following the techniques in 18, Chapter 3%DIFDELCMD < ] %%% and 23%DIFDELCMD < ]%%% , we establish the convergence and error analysis in L^2 setting for Petrov-Galerkin methods under Fourier basis when g \in H^r(0,2\pi), r \geq 1 , and prove that the optimal convergence rate are obtained for least squares and Bubnov-Galerkin methods.
Revised:  Following the techniques in 18, Chapter 3%DIFDELCMD < ] %%% 23%DIFDELCMD < ]%%% , we establish the convergence and error analysis in L^2 setting for Petrov-Galerkin methods under Fourier basis when g \in H^r(0,2\pi), r \geq 1 , and prove that the optimal convergence rate are obtained for least squares and Bubnov-Galerkin methods.
Edit intent: coherence
Original:  Following the techniques in 18, Chapter 3%DIFDELCMD < ] %%% and 23%DIFDELCMD < ]%%% , we establish the convergence and error analysis in L^2 setting for Petrov-Galerkin methods under Fourier basis when g \in H^r(0,2\pi), r \geq 1 , and prove that the optimal convergence rate are obtained for least squares and Bubnov-Galerkin methods.
Revised:  Following the techniques in 18, Chapter 3%DIFDELCMD < ] %%% and %DIFDELCMD < ]%%% , we establish the convergence and error analysis in L^2 setting for Petrov-Galerkin methods under Fourier basis when g \in H^r(0,2\pi), r \geq 1 , and prove that the optimal convergence rate are obtained for least squares and Bubnov-Galerkin methods.
Edit intent: fluency
Original:  We provide an algorithm to construct a novel structure, called minimax basis reachability graph (minimax-BRG): it provides an abstract description of the reachability set of a net while preserving all information needed to test if the net is blocking.
Revised:  We construct a structure, called minimax basis reachability graph (minimax-BRG): it provides an abstract description of the reachability set of a net while preserving all information needed to test if the net is blocking.
Edit intent: clarity
Original:  We prove that a bounded deadlock-free Petri net is nonblocking if and only if its minimax-BRG is unobstructed, which can be verified by solving a set of integer linear programming problems (ILPPs) .
Revised:  We prove that a bounded deadlock-free Petri net is nonblocking if and only if its minimax-BRG is unobstructed, which can be verified by solving a set of integer constraints and then examining the minimax-BRG .
Edit intent: clarity
Original:  This can be done with an efficient approach based on the computation of maximal implicit firing sequences enabled by the markings in the minimax-BRG.
Revised:  This can be done with an approach based on the computation of maximal implicit firing sequences enabled by the markings in the minimax-BRG.
Edit intent: clarity
Original:  The approach we developed does not require exhaustive exploration of the state space and therefore achieves significant practical efficiency, as shown by means of numerical simulations .
Revised:  The approach we developed does not require the construction of the reachability graph and has wide applicability .
Edit intent: clarity
Original: In this paper we introduce a general class of stream and block ciphers that are defined by means of systems of (ordinary) explicit difference equations over a finite field.
Revised: In this paper we model a class of stream and block ciphers that are defined by means of systems of (ordinary) explicit difference equations over a finite field.
Edit intent: clarity
Original: In this paper we introduce a general class of stream and block ciphers that are defined by means of systems of (ordinary) explicit difference equations over a finite field.
Revised: In this paper we introduce a general class of stream and block ciphers as systems of (ordinary) explicit difference equations over a finite field.
Edit intent: clarity
Original:  We then propose general algebraic attacks to difference ciphers which are experimented by means of  Bivium and Keeloq.
Revised:  We then propose general algebraic attacks to difference ciphers which are experimented by means of the ciphers Bivium and Keeloq.
Edit intent: clarity
Original:  We perform a detailed statistical analysis of the models, including influential cases, variance inflation factors, validation of the linearity assumption, pseudo R squared measures and no-information rate.
Revised:  We perform a detailed statistical analysis of the models, including influential cases, variance inflation factors, validation of the linearity assumption, pseudo R sq. measures and no-information rate.
Edit intent: fluency
Original:  The study investigates  micro-event detection on textual data using a sample of messages from the Stack Overflow Q&A platform in order to detect Free/Libre Open Source Software (FLOSS) version releases . Micro-events are detected using logistic regression models with step-wise forward regression feature selection from a set of LDA topics and sentiment analysis features.
Revised:  The study investigates the feasibility of micro-event detection on textual data using a sample of messages from the Stack Overflow Q&A platform in order to detect Free/Libre Open Source Software (FLOSS) version releases . Micro-events are detected using logistic regression models with step-wise forward regression feature selection from a set of LDA topics and sentiment analysis features.
Edit intent: clarity
Original:  The study investigates  micro-event detection on textual data using a sample of messages from the Stack Overflow Q&A platform in order to detect Free/Libre Open Source Software (FLOSS) version releases . Micro-events are detected using logistic regression models with step-wise forward regression feature selection from a set of LDA topics and sentiment analysis features.
Revised:  The study investigates micro-event detection on textual data using a sample of messages from the Stack Overflow Q&A platform and Free/Libre Open Source Software (FLOSS) version releases . Micro-events are detected using logistic regression models with step-wise forward regression feature selection from a set of LDA topics and sentiment analysis features.
Edit intent: clarity
Original:  We perform a detailed statistical analysis of the models, including influential cases, variance inflation factors, validation of the linearity assumption, pseudo R sq. measures and no-information rate.
Revised:  We perform a detailed statistical analysis of the models, including influential cases, variance inflation factors, validation of the linearity assumption, pseudo R squared measures and no-information rate.
Edit intent: fluency
Original:  Finally, in order to understand the detection limits and improve the performance of the estimators, we suggest a method for generating micro-event synthetic datasets  and use them  identify the micro-event detectability thresholds .
Revised:  Finally, in order to study limits of micro-event detection, we design a method for generating micro-event synthetic datasets and use them identify the micro-event detectability thresholds .
Edit intent: clarity
Original:  Finally, in order to understand the detection limits and improve the performance of the estimators, we suggest a method for generating micro-event synthetic datasets  and use them  identify the micro-event detectability thresholds .
Revised:  Finally, in order to understand the detection limits and improve the performance of the estimators, we suggest a method for generating micro-event synthetic datasets and use them to identify the micro-event detectability thresholds .
Edit intent: fluency
Original:  The findings presentedhere should contribute to the understanding of the behavior of the disease expansion and the role of the restrictive measures on the evolution of the expansion .
Revised:  The findings presentedhere should contribute to the understanding of the behavior of the disease expansion and the role of the restrictive measures on the spreading of the disease .
Edit intent: clarity
Original: We model and forecast the  evolution of the COVID-19 pandemic in Brazil using Brazilian recent data from February , 25, 2020 to March , 28, 2020.
Revised: We model and forecast the evolution of the COVID-19 pandemic in Brazil using Brazilian recent data from February 25, 2020 to March , 28, 2020.
Edit intent: fluency
Original:   We use two variations of the SIR model and we include a parameter in this model that accounts for the effects of confinement measures.
Revised:  We use two variations of the SIR model and we include a parameter that comprises the effects of confinement measures.
Edit intent: clarity
Original:  Long terms forecasts show that the confinement policy imposed by the government is able to flatten the pattern of infection of the COVID-19 and we are able to find the optimal date to end the policy .
Revised:  Long terms forecasts show that the confinement policy imposed by the government is able to flatten the pattern of infection of the COVID-19 .
Edit intent: coherence
Original:  However, our results  show that if this policy does not last enough time, it is only able to shift the peak of infection into the future keeping the value of the peak in almost the same value  .
Revised:  However, our results also show that if this policy does not last enough time, it is only able to shift the peak of infection into the future keeping the value of the peak in almost the same value .
Edit intent: coherence
Original:  Short and Long terms forecasts show that the social distancing policy imposed by the government is able to flatten the pattern of infection of the COVID-19.
Revised:  Short and long term forecasts show that the social distancing policy imposed by the government is able to flatten the pattern of infection of the COVID-19.
Edit intent: fluency
Original: We develop a rigorous convergence analysis for finite-dimensional approximations of nonlinear functionals, functional derivatives, and functional differential equations (FDEs) defined on compact subsets of real separable Hilbert spaces .
Revised: We present a rigorous convergence analysis for finite-dimensional approximations of nonlinear functionals, functional derivatives, and functional differential equations (FDEs) defined on compact subsets of real separable Hilbert spaces .
Edit intent: clarity
Original: We develop a rigorous convergence analysis for finite-dimensional approximations of nonlinear functionals, functional derivatives, and functional differential equations (FDEs) defined on compact subsets of real separable Hilbert spaces .
Revised: We develop a rigorous convergence analysis for finite-dimensional approximations of nonlinear functionals, functional derivatives, and functional differential equations (FDEs) .
Edit intent: clarity
Original:  The purpose  this analysis is twofold: first, we prove that under rather mild conditions, nonlinear functionals, functional derivatives and FDEs can be approximated uniformly  by high-dimensional multivariate functions and high-dimensional partial differential equations (PDEs), respectively.
Revised:  The purpose of this analysis is twofold: first, we prove that under rather mild conditions, nonlinear functionals, functional derivatives and FDEs can be approximated uniformly by high-dimensional multivariate functions and high-dimensional partial differential equations (PDEs), respectively.
Edit intent: coherence
Original:  Second, we prove that such functional approximations can converge exponentially fast , depending on the regularity of the functional (in particular its Fr\'echet differentiability), and its domain.
Revised:  Second, we show that the convergence rate of such functional approximations can converge exponentially fast , depending on the regularity of the functional (in particular its Fr\'echet differentiability), and its domain.
Edit intent: clarity
Original:  Second, we prove that such functional approximations can converge exponentially fast , depending on the regularity of the functional (in particular its Fr\'echet differentiability), and its domain.
Revised:  Second, we prove that such functional approximations can be exponential , depending on the regularity of the functional (in particular its Fr\'echet differentiability), and its domain.
Edit intent: clarity
Original:  We also provide  sufficient conditions for consistency, stability and convergence of functional approximation schemes to compute the solution of FDEs, thus extending the Lax-Richtmyer theorem from PDEs to FDEs . Numerical applications are presented and discussed for prototype nonlinear functional approximation problems , and for linear FDEs .
Revised:  We also provide necessary and sufficient conditions for consistency, stability and convergence of functional approximation schemes to compute the solution of FDEs, thus extending the Lax-Richtmyer theorem from PDEs to FDEs . Numerical applications are presented and discussed for prototype nonlinear functional approximation problems , and for linear FDEs .
Edit intent: clarity
Original:  We also provide  sufficient conditions for consistency, stability and convergence of functional approximation schemes to compute the solution of FDEs, thus extending the Lax-Richtmyer theorem from PDEs to FDEs . Numerical applications are presented and discussed for prototype nonlinear functional approximation problems , and for linear FDEs .
Revised:  We also provide sufficient conditions for consistency, stability and convergence of functional approximations to linear FDEs. These results open the possibility to utilize numerical techniques for high-dimensional model representation such as deep neural networks and numerical tensor methods to approximate nonlinear functionals in terms of high-dimensional functions, and compute approximate solutions to FDEs by solving high-dimensional PDEs. Numerical demonstrations are presented and discussed for prototype nonlinear functional approximation problems , and for linear FDEs .
Edit intent: clarity
Original:  Numerical demonstrations are presented and discussed for prototype nonlinear functionals in the space of square-integrable functions , and for an initial value problem involving a linear FDE.
Revised:  Numerical demonstrations are presented and discussed for prototype nonlinear functionals in the space of square-integrable functions and for an initial value problem involving a linear FDE.
Edit intent: fluency
Original:  These results open the possibility to utilize numerical techniques for high-dimensional model representation such as deep neural networks and numerical tensor methods to approximate nonlinear functionals in terms of high-dimensional functions, and compute approximate solutions to FDEs by solving high-dimensional PDEs.
Revised:  These results open the possibility to utilize numerical techniques for high-dimensional systems such as deep neural networks and numerical tensor methods to approximate nonlinear functionals in terms of high-dimensional functions, and compute approximate solutions to FDEs by solving high-dimensional PDEs.
Edit intent: clarity
Original:  Numerical demonstrations are presented and discussed for prototype nonlinear functionals in the space of square-integrable functions and for an initial value problem involving a linear FDE.
Revised:  Numerical examples are presented and discussed for prototype nonlinear functionals in the space of square-integrable functions and for an initial value problem involving a linear FDE.
Edit intent: clarity
Original:  Numerical demonstrations are presented and discussed for prototype nonlinear functionals in the space of square-integrable functions and for an initial value problem involving a linear FDE.
Revised:  Numerical demonstrations are presented and discussed for prototype nonlinear functionals and for an initial value problem involving a linear FDE.
Edit intent: clarity
Original:  Lung injury with severe respiratory failure is the leading cause of death in COVID-19 . Inhibition of ACE2  caused by spike protein of (SARS)-CoV-2 is the most plausible mechanism of lung injury in COVID-19.
Revised:  Lung injury with severe respiratory failure is the leading cause of death in COVID-19 . Inhibition of ACE2 ) caused by spike protein of (SARS)-CoV-2 is the most plausible mechanism of lung injury in COVID-19.
Edit intent: fluency
Original:  Lung injury with severe respiratory failure is the leading cause of death in COVID-19 . Inhibition of ACE2  caused by spike protein of (SARS)-CoV-2 is the most plausible mechanism of lung injury in COVID-19.
Revised:  Lung injury with severe respiratory failure is the leading cause of death in COVID-19 . Inhibition of ACE2 caused by spike protein of SARS-CoV-2 is the most plausible mechanism of lung injury in COVID-19.
Edit intent: fluency
Original:  We proposed six candidate drugs, including geldanamycin, panobinostat, trichostatin A, narciclasine, COL-3  and CGP-60474 , that could best reverse abnormal gene expression caused by (SARS) -CoV-2-induced inhibition of ACE2 in lung cells, for the promise of treating lung injuries in COVID-19  .
Revised:  We proposed six candidate drugs, COL-3 and CGP-60474 , that could best reverse abnormal gene expression caused by (SARS) -CoV-2-induced inhibition of ACE2 in lung cells, for the promise of treating lung injuries in COVID-19 .
Edit intent: coherence
Original:  The draconian social measures implemented by China were very effective and thus were subsequently adopted by most world countries to various degrees.
Revised:  The strict disciplinary measures implemented by China were very effective and thus were subsequently adopted by most world countries to various degrees.
Edit intent: clarity
Original: The COVID-19 pandemic has affected all countries of the world producing a substantial number of fatalities accompanied by a major disruption in their social, financial  and educational organization 1 . The strict disciplinary measures implemented by China were very effective and thus were subsequently adopted by most world countries to various degrees.
Revised: The COVID-19 pandemic has affected all countries of the world producing a substantial number of fatalities accompanied by a major disruption in their social, financial , and educational organization 1 . The strict disciplinary measures implemented by China were very effective and thus were subsequently adopted by most world countries to various degrees.
Edit intent: fluency
Original: The COVID-19 pandemic has affected all countries of the world producing a substantial number of fatalities accompanied by a major disruption in their social, financial  and educational organization 1 . The strict disciplinary measures implemented by China were very effective and thus were subsequently adopted by most world countries to various degrees.
Revised: The COVID-19 pandemic has affected all countries of the world producing a substantial number of fatalities accompanied by a major disruption in their social, financial and educational organization . The strict disciplinary measures implemented by China were very effective and thus were subsequently adopted by most world countries to various degrees.
Edit intent: coherence
Original:  This analysis predicts both the expected number of daily infections per country and, perhaps more importantly, the duration of the epidemic in each country.
Revised:  The analysis predicts successfully both the expected number of daily infections per country and, perhaps more importantly, the duration of the epidemic in each country.
Edit intent: clarity
Original:  (ii) that the distance correlation of the power-law curves between countries are statistically highly correlated, showing the universality of such curves around the World;
Revised:  (ii) by using the distance correlation of the power-law curves between countries are statistically highly correlated, showing the universality of such curves around the World;
Edit intent: coherence
Original:  (ii) that the distance correlation of the power-law curves between countries are statistically highly correlated, showing the universality of such curves around the World;
Revised:  (ii) that the distance correlation , that the power-law curves between countries are statistically highly correlated, showing the universality of such curves around the World;
Edit intent: fluency