wanyu/IteraTeR_v2 huggingface dataset:
Original: We develop a method to investigate the effect of noise timescale on the first-passage time of nonlinear oscillators.
Revised: We develop a method to investigate the effect of noise timescales on the first-passage time of nonlinear oscillators.
Edit intent: fluency
Original: We observe that the amount of hate speech  is steadily increasing , with new users being exposed to hate speech at a faster rate.
Revised: We observe that the amount of hate speech is steadily increasing and the new users are becoming hateful at an increased and faster rate.
Edit intent: clarity
Original:  We also observe that the language used by the Gab users are aligning more with the hateful users with time.
Revised:  We also observe that the language used by the community as a whole seem to correlate more with that of the hateful users with time.
Edit intent: clarity
Original: We present an rp-adaptation strategy for the high-fidelity simulation of compressible inviscid flows with shocks.
Revised: We present an rp-adaptation strategy for high-fidelity simulation of compressible inviscid flows with shocks.
Edit intent: fluency
Original:  In regions of smooth flow, we locally increase or decrease the local resolution through increasing or decreasing the polynomial order of the elements  .
Revised:  In regions of smooth flow, we locally increase or decrease the local resolution through increasing or decreasing the polynomial order of the elements , respectively .
Edit intent: clarity
Original:  The method was implemented in the open-source spectral/hp element framework Nektar++, and its dedicated high-order mesh generation tool NekMesh.
Revised:  The method has been implemented in the open-source spectral/hp element framework Nektar++, and its dedicated high-order mesh generation tool NekMesh.
Edit intent: fluency
Original: A number of real world networks are, in fact, one-mode projections of bipartite networks comprised of two types of nodes.
Revised: A number of real-world networks are, in fact, one-mode projections of bipartite networks comprised of two types of nodes.
Edit intent: fluency
Original:  We propose new network based metrics to quantify how collaborative agents are in the co-patenting network.
Revised:  We propose new network-based metrics to quantify how collaborative agents are in the co-patenting network.
Edit intent: fluency
Original:  The gradient provides information on the direction in which  function has the steepest rate of change.
Revised:  The gradient provides information on the direction in which a function has the steepest rate of change.
Edit intent: fluency
Original:  Thus, these methods do not take the advantage of local change in gradients.
Revised:  Thus, these methods do not take advantage of local change in gradients.
Edit intent: fluency
Original:  In the proposed diffGrad optimization technique, the step size is adjusted for each parameter in such a way that it should have a larger step size for faster gradient changing parameters and  lower step size for lower gradient changing parameters.
Revised:  In the proposed diffGrad optimization technique, the step size is adjusted for each parameter in such a way that it should have a larger step size for faster gradient changing parameters and a lower step size for lower gradient changing parameters.
Edit intent: fluency
Original:  The experiments show that diffGrad outperforms the other optimizers.
Revised:  The experiments show that diffGrad outperforms other optimizers.
Edit intent: fluency
Original:  Also, we showed that diffGrad performs uniformly well on network using different activation functions.
Revised:  Also, we show that diffGrad performs uniformly well on network using different activation functions.
Edit intent: fluency
Original:  Also, we showed that diffGrad performs uniformly well on network using different activation functions.
Revised:  Also, we showed that diffGrad performs uniformly well for training CNN using different activation functions.
Edit intent: clarity
Original:  We present a new analysis of the one-round `` split and mix '' protocol of Ishai et al.
Revised:  We present a new analysis of the one-round " split and mix '' protocol of Ishai et al.
Edit intent: fluency
Original:  We present a new analysis of the one-round `` split and mix '' protocol of Ishai et al.
Revised:  We present a new analysis of the one-round `` split and mix " protocol of Ishai et al.
Edit intent: fluency
Original: We study planar straight-line drawings of graphs that minimize the ratio between the lenght of the longest and the shortest edge.
Revised: We study planar straight-line drawings of graphs that minimize the ratio between the length of the longest and the shortest edge.
Edit intent: fluency
Original:  On the other hand, when the ratio is restricted to adjacent edges only, we provide a procedure that for any 2-tree yields a drawing with the ratio arbitrarily close to 4.
Revised:  On the other hand, when the ratio is restricted to adjacent edges only, we prove that any 2-tree yields a drawing with the ratio arbitrarily close to 4.
Edit intent: clarity
Original: The use of spatio-temporal logics in control applications is motivated by the need to impose complex spatial and temporal behavior on dynamical systems, and to control the systems accordingly.
Revised: The use of spatio-temporal logics in control is motivated by the need to impose complex spatial and temporal behavior on dynamical systems, and to control the systems accordingly.
Edit intent: clarity
Original: The use of spatio-temporal logics in control applications is motivated by the need to impose complex spatial and temporal behavior on dynamical systems, and to control the systems accordingly.
Revised: The use of spatio-temporal logics in control applications is motivated by the need to impose complex spatial and temporal behavior on dynamical systems, and to control these systems accordingly.
Edit intent: clarity
Original:  Synthesizing correct-by-design control laws is a challenging task resulting in computationally demand-ing methods.
Revised:  Synthesizing correct-by-design control laws is a challenging task resulting in computationally demanding methods.
Edit intent: fluency
Original:  A timed signal transducer is obtained accepting all Boolean signals that satisfy a metric interval temporal logic specification, which is associated with the signal interval temporal logic specification at hand.
Revised:  A timed signal transducer is obtained accepting all Boolean signals that satisfy a metric interval temporal logic specification, which is abstracted from the signal interval temporal logic specification at hand.
Edit intent: clarity
Original:  Notably, the state space explosion , typically induced by forming a product automaton between an abstraction of the system and the specification , is avoided .
Revised:  Notably, the state space explosion that is typically induced by forming a product automaton between an abstraction of the system and the specification , is avoided .
Edit intent: fluency
Original:  Notably, the state space explosion , typically induced by forming a product automaton between an abstraction of the system and the specification , is avoided .
Revised:  Notably, the state space explosion , typically induced by forming a product automaton between an abstraction of the system and the specification .
Edit intent: clarity
Original:  To help accelerate the design  of infill graded microstructures, a novel asymptotic homogenisation topology optimisation method has been proposed by Zhu et al.
Revised:  To accelerate the design of infill graded microstructures, a novel asymptotic homogenisation topology optimisation method has been proposed by Zhu et al.
Edit intent: coherence
Original:  To help accelerate the design  of infill graded microstructures, a novel asymptotic homogenisation topology optimisation method has been proposed by Zhu et al.
Revised:  To help accelerate the design process of infill graded microstructures, a novel asymptotic homogenisation topology optimisation method has been proposed by Zhu et al.
Edit intent: clarity
Original:  To help accelerate the design  of infill graded microstructures, a novel asymptotic homogenisation topology optimisation method has been proposed by Zhu et al.
Revised:  To help accelerate the design of infill graded microstructures, a novel asymptotic homogenisation topology optimisation method was proposed by Zhu et al.
Edit intent: clarity
Original:  2) deriving an homogenised formulation underpinning its stress analysis in consistency with fine-scale results.
Revised:  2) deriving an homogenised formulation for stress analysis in consistency with fine-scale results.
Edit intent: clarity
Original:  But the work is severely confined from being widely applied  mainly due to the following two reasons.
Revised:  But the work is severely confined from being widely applied , mainly due to the following two reasons.
Edit intent: fluency
Original:  Firstly, to circumvent the extremely time-consuming computation of the microscopic cell problems at every macroscopic point, its linearised form has to be used in numerical implementation, and this significantly reduces the design freedom.
Revised:  Firstly, to circumvent the macroscopically pointwise computation for solving various microscopic cell problems at every macroscopic point, its linearised form has to be used in numerical implementation, and this significantly reduces the design freedom.
Edit intent: clarity
Original:  Firstly, to circumvent the extremely time-consuming computation of the microscopic cell problems at every macroscopic point, its linearised form has to be used in numerical implementation, and this significantly reduces the design freedom.
Revised:  Firstly, to circumvent the extremely time-consuming computation of the microscopic cell problems , linearisation had to be adopted for its numerical implementation, and this significantly reduces the design freedom.
Edit intent: clarity
Original:  Secondly, lacking of an associated formulation of sensitive analysis, genetic algorithm was chosen for optimisation, which inevitably decreases the computational efficiency.
Revised:  Secondly, lacking of sensitive analysis, genetic algorithm was chosen for optimisation, which inevitably decreases the computational efficiency.
Edit intent: clarity
Original:  Secondly, lacking of an associated formulation of sensitive analysis, genetic algorithm was chosen for optimisation, which inevitably decreases the computational efficiency.
Revised:  Secondly, lacking of an associated formulation of sensitive analysis, genetic algorithm was chosen for optimisation, inevitably decreasing the computational efficiency.
Edit intent: coherence
Original:  The present approachis also applied for the topology optimisation of three-dimensional graded microstructures, which have barely been examined in literature, possibly because of the high computational cost , and the significantly high computational efficiency of the proposed scheme is clearly demonstrated by the provided examples .
Revised:  The present approachis also applied for the topology optimisation of three-dimensional graded microstructures, which are not frequently discussed in literature, possibly because of the high computational cost , and the significantly high computational efficiency of the proposed scheme is clearly demonstrated by the provided examples .
Edit intent: clarity
Original:  The present approachis also applied for the topology optimisation of three-dimensional graded microstructures, which have barely been examined in literature, possibly because of the high computational cost , and the significantly high computational efficiency of the proposed scheme is clearly demonstrated by the provided examples .
Revised:  The present approachis also applied for the topology optimisation of three-dimensional graded microstructures, which have barely been examined in literature, possibly because of the high computational cost generated .
Edit intent: clarity
Original:  In recent years, the use of deep neural networks , such as time delay neural network (TDNN), and attention model have boosted speaker recognition performance .
Revised:  In recent years, the use of deep neural networks has significantly boosted speaker recognition performance .
Edit intent: clarity
Original:  However , it is still a challenging task to tackle speaker recognition in severe acoustic environments.
Revised:  However , it is still challenging to separate speakers in poor acoustic environments.
Edit intent: clarity
Original:  To build a robust speaker recognition system against noise, we employ a two-stage attention model and combine it with a TDNN model.
Revised:  To improve robustness of speaker recognition system against noise, we employ a two-stage attention model and combine it with a TDNN model.
Edit intent: clarity
Original:  To build a robust speaker recognition system against noise, we employ a two-stage attention model and combine it with a TDNN model.
Revised:  To build a robust speaker recognition system performance in noise, a novel two-stage attention model and combine it with a TDNN model.
Edit intent: clarity
Original:  Previously, the study of women's menstruation was done primarily through survey results;
Revised:  Previously, menstruation was primarily studied through survey results;
Edit intent: clarity
Original:  however, as mobile apps for menstrual tracking become more widely adopted, they provide an increasingly large, content-rich source of menstrual health experiences and behaviors over time.
Revised:  however, as menstrual tracking mobile apps become more widely adopted, they provide an increasingly large, content-rich source of menstrual health experiences and behaviors over time.
Edit intent: clarity
Original:  In this paper, we show that self-reported data from menstrual trackers can reveal statistically significant relationships between per-person variability of cycle length and self-reported qualitative symptoms.
Revised:  In this paper, we show that self-reported menstrual tracker data can reveal statistically significant relationships between per-person variability of cycle length and self-reported qualitative symptoms.
Edit intent: clarity
Original:  In this paper, we show that self-reported data from menstrual trackers can reveal statistically significant relationships between per-person variability of cycle length and self-reported qualitative symptoms.
Revised:  In this paper, we show that self-reported data from menstrual trackers can reveal statistically significant relationships between per-person cycle length variability and self-reported qualitative symptoms.
Edit intent: clarity
Original:  Specifically, we explore a database collected using the Clue app by Biowink GmbH of over 378,000 users and 4.9 million natural cycles of user-tracked observations across a wide range of categories to better understand variation of menstrual experience within and across individuals.
Edit intent: coherence
Original:  A concern for self-tracked data is that these reflect not only physiological behaviors, but also the engagement dynamics of app users.
Revised:  A concern for self-tracked data is that they reflect not only physiological behaviors, but also the engagement dynamics of app users.
Edit intent: fluency
Original:  We mitigate such potential artifacts by developing a procedure to exclude cycles lacking user engagement, thereby allowing us to better distinguish true menstrual patterns from tracking anomalies.
Revised:  To mitigate such potential artifacts by developing a procedure to exclude cycles lacking user engagement, thereby allowing us to better distinguish true menstrual patterns from tracking anomalies.
Edit intent: fluency
Original:  We mitigate such potential artifacts by developing a procedure to exclude cycles lacking user engagement, thereby allowing us to better distinguish true menstrual patterns from tracking anomalies.
Revised:  We mitigate such potential artifacts , we develop a procedure to exclude cycles lacking user engagement, thereby allowing us to better distinguish true menstrual patterns from tracking anomalies.
Edit intent: fluency
Original:  We find that women located at different ends of the spectrum of menstrual patterns , based on the consistency of their cycle length statistics, exhibit statistically significant differences in  cycle characteristics and symptom tracking .
Revised:  We uncover that women located at different ends of the spectrum of menstrual patterns , based on the consistency of their cycle length statistics, exhibit statistically significant differences in cycle characteristics and symptom tracking .
Edit intent: clarity
Original:  We find that women located at different ends of the spectrum of menstrual patterns , based on the consistency of their cycle length statistics, exhibit statistically significant differences in  cycle characteristics and symptom tracking .
Revised:  We find that women located at different ends of the menstrual variability spectrum , based on the consistency of their cycle length statistics, exhibit statistically significant differences in cycle characteristics and symptom tracking .
Edit intent: clarity
Original:  We find that women located at different ends of the spectrum of menstrual patterns , based on the consistency of their cycle length statistics, exhibit statistically significant differences in  cycle characteristics and symptom tracking .
Revised:  We find that women located at different ends of the spectrum of menstrual patterns , based on the consistency of their cycle length statistics, exhibit statistically significant differences in their cycle characteristics and symptom tracking .
Edit intent: fluency
Original:  Our findings showcase the potential of longitudinal, high-resolution self-tracked data for an improved understanding of menstruation and women's health as a whole.
Revised:  Our findings showcase the potential of longitudinal, high-resolution self-tracked data to improve understanding of menstruation and women's health as a whole.
Edit intent: fluency
Original:  In this paper , we develop an augmented reality-driven , negotiation-based (ARN) framework for HRC , where ARN supports planning-phase negotiations within human-robot teams through a novel AR-based interface .
Revised:  In this paper , we develop an AR-mediated , negotiation-based (ARN) framework for HRC , where ARN supports planning-phase negotiations within human-robot teams through a novel AR-based interface .
Edit intent: clarity
Original:  In this paper , we develop an augmented reality-driven , negotiation-based (ARN) framework for HRC , where ARN supports planning-phase negotiations within human-robot teams through a novel AR-based interface .
Revised:  In this paper , we develop an augmented reality-driven , negotiation-based (ARN) framework for HRC .
Edit intent: coherence
Original:  From the experimental results, we observe that ARN significantly reduced the human-robot team's task completion time in comparison to a non-AR baseline  .
Revised:  Results suggest that ARN significantly reduced the human-robot team's task completion time in comparison to a non-AR baseline .
Edit intent: coherence
Original:  From the experimental results, we observe that ARN significantly reduced the human-robot team's task completion time in comparison to a non-AR baseline  .
Revised:  From the experimental results, we observe that ARN significantly reduced the human-robot team's task completion time compared to a non-AR baseline .
Edit intent: fluency
Original:  From the experimental results, we observe that ARN significantly reduced the human-robot team's task completion time in comparison to a non-AR baseline  .
Revised:  From the experimental results, we observe that ARN significantly reduced the human-robot team's task completion time in comparison to a non-AR baseline approach .
Edit intent: clarity
Original: We study an extension of the product-free Distributive Full Non-associative Lambek Calculus with iterative division operators.
Revised: We study an extension of the Distributive Full Non-associative Lambek Calculus with iterative division operators.
Edit intent: clarity
Original:  Here, following  method from our recent study 1 , we have extended the classic Nos\'e-Hoover scheme with an additional temperature control tool.
Revised:  Here, following a method from our recent study 1 , we have extended the classic Nos\'e-Hoover scheme with an additional temperature control tool.
Edit intent: fluency
Original:  However, as with the NH thermostat , a single thermostat variable is used.
Revised:  However, as with the NH scheme , a single thermostat variable is used.
Edit intent: clarity
Original:  In the presented study we analyze the statistical properties of the modified equations of motion with an emphasis on ergodicity.
Revised:  In the present study we analyze the statistical properties of the modified equations of motion with an emphasis on ergodicity.
Edit intent: fluency
Original:  Simultaneous thermostatting of all phase variables with minimal extra computational costs is an advantage of the presented specific theoretical scheme  .
Revised:  Simultaneous thermostatting of all phase variables with minimal extra computational costs is an advantage of the specific theoretical scheme .
Edit intent: clarity
Original:  Simultaneous thermostatting of all phase variables with minimal extra computational costs is an advantage of the presented specific theoretical scheme  .
Revised:  Simultaneous thermostatting of all phase variables with minimal extra computational costs is an advantage of the presented specific theoretical scheme presented here .
Edit intent: clarity
Original: In this paper, we study problems at the interface of two important fields:submodular optimization andonline learning .
Revised: In this paper, we study submodular optimization andonline learning .
Edit intent: clarity
Original: In this paper, we study problems at the interface of two important fields:submodular optimization andonline learning .
Revised: In this paper, we study problems at the interface of two important fields: andonline learning .
Edit intent: clarity
Original: In this paper, we study problems at the interface of two important fields:submodular optimization andonline learning .
Revised: In this paper, we study problems at the interface of two important fields:submodular optimization online learning .
Edit intent: fluency
Original: In this paper, we study problems at the interface of two important fields:submodular optimization andonline learning .
Revised: In this paper, we study problems at the interface of two important fields:submodular optimization and .
Edit intent: clarity
Original:  In this work, we are study the problem of maximizingnon-monotone continuous DR-submodular functions within the framework of online learning.
Revised:  In this work, we are study the problem of maximizing continuous DR-submodular functions within the framework of online learning.
Edit intent: clarity
Original:  First, we present an online algorithm (in full-information setting) that achieves an approximation guarantee (depending on the search space) for the problem of maximizing non-monotone continuous DR-submodular functions over a general convex domain .
Revised:  First, we present an online algorithm that achieves an approximation guarantee (depending on the search space) for the problem of maximizing non-monotone continuous DR-submodular functions over a general convex domain .
Edit intent: clarity
Original:  To best of our knowledge, no prior approximation algorithm in full-information setting was known for the non-monotone continuous DR submodular functions even for thedown-closed convex domain.
Revised:  To best of our knowledge, no prior algorithm with approximation guarantee was known for the non-monotone continuous DR submodular functions even for thedown-closed convex domain.
Edit intent: clarity