wanyu/IteraTeR_full_sent huggingface dataset:
Original:  A single spiking neuron has been shown to be able to solve many of these required tasks for homogeneous Poisson input statistics, a commonly used model for spiking activity in the neocortex ; when modeled as leaky integrate and fire with gradient decent learning algorithm it was shown to posses a wide variety of complex computational capabilities.
Revised:  A single spiking neuron has been shown to be able to solve many of these required tasks for homogeneous Poisson input statistics, a commonly used model for spiking activity in the neocortex . When modeled as leaky integrate and fire with gradient decent learning algorithm it was shown to posses a wide variety of complex computational capabilities.
Edit intent: fluency
Original:  The improved gradient-based local learning rule allows for significantly better and stable generalization and more efficient performance. We finally apply our model to a problem of multiple instance learning  with counting where labels are only available for collections of concepts.
Revised:  The improved gradient-based local learning rule allows for significantly better and stable generalization . We also show that with its improved capabilities it can count weakly labeled concepts by applying our model to a problem of multiple instance learning with counting where labels are only available for collections of concepts.
Edit intent: meaning-changed
Original:  With the rapid development of the technology and adaptation of CAV, it is more critical to develop the new evaluation method and  standard which could evaluate the impacts on energy consumption and environmental pollution of CAV fairly, especially under the various traffic conditions.
Revised:  With the rapid development of the technology and adaptation of CAV, it is more critical to develop the universal evaluation method and standard which could evaluate the impacts on energy consumption and environmental pollution of CAV fairly, especially under the various traffic conditions.
Edit intent: clarity
Original:  With the rapid development of the technology and adaptation of CAV, it is more critical to develop the new evaluation method and  standard which could evaluate the impacts on energy consumption and environmental pollution of CAV fairly, especially under the various traffic conditions.
Revised:  With the rapid development of the technology and adaptation of CAV, it is more critical to develop the new evaluation method and the testing standard which could evaluate the impacts on energy consumption and environmental pollution of CAV fairly, especially under the various traffic conditions.
Edit intent: clarity
Original:  In this paper, we proposed a new method  to evaluate the fuel economy and emission level of the vehicle based on the unsupervised learning of the real-world driving data of the evaluated vehicle and typical driving primitive analysis of the naturalistic driving dataset of a large number of different vehicles .
Revised:  In this paper, we proposed a new method and framework to evaluate the fuel economy and emission level of the vehicle based on the unsupervised learning of the real-world driving data of the evaluated vehicle and typical driving primitive analysis of the naturalistic driving dataset of a large number of different vehicles .
Edit intent: clarity
Original:  In this paper, we proposed a new method  to evaluate the fuel economy and emission level of the vehicle based on the unsupervised learning of the real-world driving data of the evaluated vehicle and typical driving primitive analysis of the naturalistic driving dataset of a large number of different vehicles .
Revised:  In this paper, we proposed a new method to evaluate the energy efficiency and emission of the vehicle based on the unsupervised learning of the real-world driving data of the evaluated vehicle and typical driving primitive analysis of the naturalistic driving dataset of a large number of different vehicles .
Edit intent: clarity
Original:  In this paper, we proposed a new method  to evaluate the fuel economy and emission level of the vehicle based on the unsupervised learning of the real-world driving data of the evaluated vehicle and typical driving primitive analysis of the naturalistic driving dataset of a large number of different vehicles .
Revised:  In this paper, we proposed a new method to evaluate the fuel economy and emission level of the vehicle based on the unsupervised learning methods. Both the real-world driving data of the evaluated vehicle and typical driving primitive analysis of the naturalistic driving dataset of a large number of different vehicles .
Edit intent: clarity
Original:  In this paper, we proposed a new method  to evaluate the fuel economy and emission level of the vehicle based on the unsupervised learning of the real-world driving data of the evaluated vehicle and typical driving primitive analysis of the naturalistic driving dataset of a large number of different vehicles .
Revised:  In this paper, we proposed a new method to evaluate the fuel economy and emission level of the vehicle based on the unsupervised learning of the real-world driving data of the evaluated vehicle and the large naturalistic driving dataset of a large number of different vehicles .
Edit intent: clarity
Original:  In this paper, we proposed a new method  to evaluate the fuel economy and emission level of the vehicle based on the unsupervised learning of the real-world driving data of the evaluated vehicle and typical driving primitive analysis of the naturalistic driving dataset of a large number of different vehicles .
Revised:  In this paper, we proposed a new method to evaluate the fuel economy and emission level of the vehicle based on the unsupervised learning of the real-world driving data of the evaluated vehicle and typical driving primitive analysis of the naturalistic driving dataset are used to perform the driving primitive analysis and coupling. Then the linear weighted estimation method could be used to calculate the testing result of the evaluated vehicle .
Edit intent: meaning-changed
Original:  The results show that this method can successfully identify the key driving primitives, patterns, and parameters of the vehicle speed and acceleration, and couple the driving primitives from the evaluated vehicle with typical driving primitives from the large real-world driving dataset , which could enhance the evaluation method and standard of fuel economy and emission for CAV .
Revised:  The results show that this method can successfully identify the typical driving primitives. The couples of the driving primitives from the evaluated vehicle with typical driving primitives from the large real-world driving dataset , which could enhance the evaluation method and standard of fuel economy and emission for CAV .
Edit intent: clarity
Original:  The results show that this method can successfully identify the key driving primitives, patterns, and parameters of the vehicle speed and acceleration, and couple the driving primitives from the evaluated vehicle with typical driving primitives from the large real-world driving dataset , which could enhance the evaluation method and standard of fuel economy and emission for CAV .
Revised:  The results show that this method can successfully identify the key driving primitives, patterns, and parameters of the vehicle speed and acceleration, and couple the driving primitives from the evaluated vehicle and the typical driving primitives from the large real-world driving dataset , which could enhance the evaluation method and standard of fuel economy and emission for CAV .
Edit intent: fluency
Original:  The results show that this method can successfully identify the key driving primitives, patterns, and parameters of the vehicle speed and acceleration, and couple the driving primitives from the evaluated vehicle with typical driving primitives from the large real-world driving dataset , which could enhance the evaluation method and standard of fuel economy and emission for CAV .
Revised:  The results show that this method can successfully identify the key driving primitives, patterns, and parameters of the vehicle speed and acceleration, and couple the driving primitives from the evaluated vehicle with typical driving primitives from the large real-world driving dataset coincide with each other very well. This new method could enhance the evaluation method and standard of fuel economy and emission for CAV .
Edit intent: meaning-changed
Original:  The results show that this method can successfully identify the key driving primitives, patterns, and parameters of the vehicle speed and acceleration, and couple the driving primitives from the evaluated vehicle with typical driving primitives from the large real-world driving dataset , which could enhance the evaluation method and standard of fuel economy and emission for CAV .
Revised:  The results show that this method can successfully identify the key driving primitives, patterns, and parameters of the vehicle speed and acceleration, and couple the driving primitives from the evaluated vehicle with typical driving primitives from the large real-world driving dataset , which could enhance the standard development of the energy efficiency and emission testing of CAV and other off-cycle credits .
Edit intent: clarity
Original: Consider SAT with the following restrictions. An input formula is in CNF form, and, there exists an ordering of the clauses in which clauses containing any fixed literal appear contiguously. We call this restricted SAT CONTIGUOUS SAT.
Revised: We define the problem segment cover as follows. We are given a set of pairs of sub-intervals of the unit interval. The problem asks if there is a choice of a single interval from each pair such that the union of the chosen intervals covers the entire unit interval.
Edit intent: meaning-changed
Original:  The simplest case is when each obstacle is randomly chosen from two possible line segments. We define the problem SEGMENT COVER capturing the situation. In SEGMENT COVER, we are given a set of uncertain segments, each uncertain segment defined to be a random interval, chosen from two possible sub-intervals of the unit interval. Then, SEGMENT COVER asks if the probability of covering the entire unit interval is non-zero. We prove that SEGMENT COVER and hence CONTIGUOUS SAT are NP-hard.
Revised:  Segment cover is equivalent to a restricted version of SAT which we call contiguous SAT. Consider a SAT with the following restrictions. An input formula is in CNF form and an ordering of the clauses is given in which clauses containing any fixed literal appear contiguously. We call this restricted problem contiguous SAT. Our main result is that the problems segment cover and contiguous SAT are NP-hard.
Edit intent: meaning-changed
Original:  We further show that we can assume all intervals of SEGMENT COVER to be of equal lengths, this proves another problem called BCU to be NP-hard in dimension 1. Moreover, we also deduce hardness of approximation for CONTIGUOUS SAT and show it cannot have a PTAS, unless P=NP .
Revised:  We also discuss hardness of approximation for CONTIGUOUS SAT and show it cannot have a PTAS, unless P=NP .
Edit intent: clarity
Original:  We further show that we can assume all intervals of SEGMENT COVER to be of equal lengths, this proves another problem called BCU to be NP-hard in dimension 1. Moreover, we also deduce hardness of approximation for CONTIGUOUS SAT and show it cannot have a PTAS, unless P=NP .
Revised:  We further show that we can assume all intervals of SEGMENT COVER to be of equal lengths, this proves another problem called BCU to be NP-hard in dimension 1. Moreover, we also deduce hardness of approximation for these problems .
Edit intent: clarity
Original:  Here we show that population bimodality can emerge in a more natural way, due to the stochastic partitioning of a cell component with an optimal copy number.
Revised:  Here we show that population bimodality can emerge even when biological processes are homogenous at the cell level and the environment is kept constant. Our model is based on the stochastic partitioning of a cell component with an optimal copy number.
Edit intent: meaning-changed
Original:  To minimize performance degradation due to load imbalance on modern HPC platforms , it is important to ensure that the DLS techniques employed in scientific applications today adhere to their original design goals and specifications.
Revised:  This work is concerned with the minimization of the sources of uncertainty in the implementation of DLS techniques to avoid unnecessary influences on the performance of scientific applications. Therefore , it is important to ensure that the DLS techniques employed in scientific applications today adhere to their original design goals and specifications.
Edit intent: meaning-changed
Original:  The goal of this work is to reproduce and predict the performance of a selection of scheduling experiments from the 1992 original work that introduced factoring , an efficient DLS technique proposed for shared-memory systems, both, via simulative and native experimentation.
Revised:  The goal of this work is to attain and increase the trust in the implementation of DLS techniques in present studies. To achieve this goal, the performance of a selection of scheduling experiments from the 1992 original work that introduced factoring , an efficient DLS technique proposed for shared-memory systems, both, via simulative and native experimentation.
Edit intent: meaning-changed
Original:  The goal of this work is to reproduce and predict the performance of a selection of scheduling experiments from the 1992 original work that introduced factoring , an efficient DLS technique proposed for shared-memory systems, both, via simulative and native experimentation.
Revised:  The goal of this work is to reproduce and predict the performance of a selection of scheduling experiments from the 1992 original work that introduced factoring is reproduced and predicted via both, simulative and native experimentation.
Edit intent: clarity
Original:  To address these challenges, we first analytically characterize regions that predict equilibria in the first-stage game with possibly more than two players, and ascertain a monotonic pattern of these regions . Based on this finding, we derive bounds on the average treatment effects ( ATE's ) under nonparametric shape restrictions and the existence of excluded exogenous variables.
Revised:  To address these challenges, we first establish a monotonic pattern of the equilibria in the first-stage game with possibly more than two players, and ascertain a monotonic pattern of these regions . Based on this finding, we derive bounds on the average treatment effects ( ATE's ) under nonparametric shape restrictions and the existence of excluded exogenous variables.
Edit intent: clarity
Original:  To address these challenges, we first analytically characterize regions that predict equilibria in the first-stage game with possibly more than two players, and ascertain a monotonic pattern of these regions . Based on this finding, we derive bounds on the average treatment effects ( ATE's ) under nonparametric shape restrictions and the existence of excluded exogenous variables.
Revised:  To address these challenges, we first analytically characterize regions that predict equilibria in the first-stage game in terms of the number of treatments selected . Based on this finding, we derive bounds on the average treatment effects ( ATE's ) under nonparametric shape restrictions and the existence of excluded exogenous variables.
Edit intent: clarity
Original:  To address these challenges, we first analytically characterize regions that predict equilibria in the first-stage game with possibly more than two players, and ascertain a monotonic pattern of these regions . Based on this finding, we derive bounds on the average treatment effects ( ATE's ) under nonparametric shape restrictions and the existence of excluded exogenous variables.
Revised:  To address these challenges, we first analytically characterize regions that predict equilibria in the first-stage game with possibly more than two players, and ascertain a monotonic pattern of these regions . Based on this finding, we derive bounds on the average treatment effects ( ATEs ) under nonparametric shape restrictions and the existence of excluded exogenous variables.
Edit intent: coherence
Original: Persistence diagrams (PDs) are now routinely used to summarize the underlying topology of sophisticated dataencountered in challenging learning problems . Despite several appealing properties, integrating PDs in learning pipelines can be challenging because their natural geometry is not Hilbertian.
Revised: Persistence diagrams (PDs) are now routinely used to summarize the underlying topology of complex data . Despite several appealing properties, integrating PDs in learning pipelines can be challenging because their natural geometry is not Hilbertian.
Edit intent: clarity
Original: Persistence diagrams (PDs) are now routinely used to summarize the underlying topology of sophisticated dataencountered in challenging learning problems . Despite several appealing properties, integrating PDs in learning pipelines can be challenging because their natural geometry is not Hilbertian.
Revised: Persistence diagrams (PDs) are now routinely used to summarize the underlying topology of sophisticated dataencountered in challenging learning problems . Despite several appealing properties, incorporating PDs in learning pipelines can be challenging because their natural geometry is not Hilbertian.
Edit intent: fluency
Original:  This framework builds upon a formulation of PD metrics as optimal transport (OT) problems , for which recent computational advances , in particular entropic regularization and its convolutional formulation on regular grids, can all be leveraged to provide efficient and (GPU) scalable computations .
Revised:  This framework builds upon a reformulation of PD metrics as optimal transport (OT) problems , for which recent computational advances , in particular entropic regularization and its convolutional formulation on regular grids, can all be leveraged to provide efficient and (GPU) scalable computations .
Edit intent: clarity
Original:  This framework builds upon a formulation of PD metrics as optimal transport (OT) problems , for which recent computational advances , in particular entropic regularization and its convolutional formulation on regular grids, can all be leveraged to provide efficient and (GPU) scalable computations .
Revised:  This framework builds upon a formulation of PD metrics as optimal transport (OT) problems . Doing so, we can exploit recent computational advances , in particular entropic regularization and its convolutional formulation on regular grids, can all be leveraged to provide efficient and (GPU) scalable computations .
Edit intent: clarity
Original:  This framework builds upon a formulation of PD metrics as optimal transport (OT) problems , for which recent computational advances , in particular entropic regularization and its convolutional formulation on regular grids, can all be leveraged to provide efficient and (GPU) scalable computations .
Revised:  This framework builds upon a formulation of PD metrics as optimal transport (OT) problems , for which recent computational advances : the OT problem on a planar grid, when regularized with entropy, is convex can be solved in linear time using the Sinkhorn algorithm and convolutions. This results in scalable computations that can stream on GPUs .
Edit intent: meaning-changed
Original:  The open-source toolbox CARE-rCortex provides an easy-to-use interface to detect CR events, define baselines, and analyse in time-frequency (TF) domain the  EEG potentials.
Revised:  The open-source toolbox CARE-rCortex provides an easy-to-use interface to detect CR events, define baselines, and analyse in time-frequency (TF) domain the CR-based EEG potentials.
Edit intent: meaning-changed
Original:  Conclusions: The analysis of CR-related EEG activities could provide valuable information about cognitive or pathological brain states . CARE-rCortex provides an efficient and automatic detection of CR events for a posterior analysis of event-related EEG activities . CARE-rCortex runs in Matlab as a plug-in of the EEGLAB software, and it is publicly available at URL
Revised:  Conclusions: The analysis of CR-related EEG activities could provide valuable information about cognitive or pathological brain states . CARE-rCortex runs in Matlab as a plug-in of the EEGLAB software, and it is publicly available at URL
Edit intent: coherence
Original: In this study , and through an understanding of neuronal system communication, A light was shed upon a novel model serves as an assistive technology for locked-in people suffering from Motor neuronal disease . MNDpatients, who have an intact minds, are able -till now- to make a mean of on-screen communication .
Revised: In this project , and through an understanding of neuronal system communication, A light was shed upon a novel model serves as an assistive technology for locked-in people suffering from Motor neuronal disease . MNDpatients, who have an intact minds, are able -till now- to make a mean of on-screen communication .
Edit intent: clarity
Original: In this study , and through an understanding of neuronal system communication, A light was shed upon a novel model serves as an assistive technology for locked-in people suffering from Motor neuronal disease . MNDpatients, who have an intact minds, are able -till now- to make a mean of on-screen communication .
Revised: In this study , and through an understanding of neuronal system communication, A novel model serves as an assistive technology for locked-in people suffering from Motor neuronal disease . MNDpatients, who have an intact minds, are able -till now- to make a mean of on-screen communication .
Edit intent: clarity
Original: In this study , and through an understanding of neuronal system communication, A light was shed upon a novel model serves as an assistive technology for locked-in people suffering from Motor neuronal disease . MNDpatients, who have an intact minds, are able -till now- to make a mean of on-screen communication .
Revised: In this study , and through an understanding of neuronal system communication, A light was shed upon a novel model serves as an assistive technology for locked-in people suffering from Motor neuronal disease (MND) is proposed .
Edit intent: coherence
Original:  The intervention is in a software is used to classify imagined right and left limb movement into binary results, and then make use of the magnetic field produced by the amplified pulses to reconstruct the activity into ferrofluid droplets movement- these moved due rotation of a  desk according to the data received .
Revised:  The project novelty is in the feedback step, where an electromagnets magnetic field is used to showcase the command in ferrofluid droplets movement- these moved due rotation of a desk according to the data received .
Edit intent: clarity
Original:  The intervention is in a software is used to classify imagined right and left limb movement into binary results, and then make use of the magnetic field produced by the amplified pulses to reconstruct the activity into ferrofluid droplets movement- these moved due rotation of a  desk according to the data received .
Revised:  The intervention is in a software is used to classify imagined right and left limb movement into binary results, and then make use of the magnetic field produced by the amplified pulses to reconstruct the activity into ferrofluid droplets movement- these moved to assigned targets due to rotation of a desk according to the data received .
Edit intent: clarity