wanyu/IteraTeR_v2 huggingface dataset:
Original:  We derive a  formula for the population growth rate , which only depends on the variability of single-cell growth rate , independent of other sources of noises .
Revised:  We derive a formula for the population growth rate and demonstrate that it only depends on the variability of single-cell growth rate , independent of other sources of noises .
Edit intent: clarity
Original:  We derive a  formula for the population growth rate , which only depends on the variability of single-cell growth rate , independent of other sources of noises .
Revised:  We derive a formula for the population growth rate , which only depends on the single-cell growth rate , independent of other sources of noises .
Edit intent: clarity
Original:  Our work shows that a population can enhance the population growth by reducing the growth ratevariability, which may be the reason for the mild growth rate variability observed in many microorganisms .
Revised:  Our work provides an evolutionary rationale for the narrow growth rate distributions often observed in nature: when single-cell growth rates are less variable but have a fixed mean, the population will exhibit an enhanced population growth rate, as long as the correlations between the mother and daughter cells' growth rates are not too strong .
Edit intent: clarity
Original:  The low-dimensional models also well reproduce stable oscillatory spike rate dynamics that is generated by recurrent synaptic excitation and neuronal adaptation. [...] Therefore we have made available implementations that allow to numerically integrate the low-dimensional spike rate models as well as the Fokker-Planck partial differential equation in efficient ways for arbitrary model parametrizations as open source software.
Revised:  The low-dimensional models also well reproduce stable oscillatory spike rate dynamics that is generated by recurrent synaptic excitation and neuronal adaptation. [...] We have made available implementations that allow to numerically integrate the low-dimensional spike rate models as well as the Fokker-Planck partial differential equation in efficient ways for arbitrary model parametrizations as open source software.
Edit intent: coherence
Original: Objective: Brain-Computer Interface technologies (BCI) enable the direct communication between humans and computers by analyzing brain measurements, such as electroencephalography (EEG).
Revised: Objective: Brain-Computer Interface (BCI) enable the direct communication between humans and computers by analyzing brain measurements, such as electroencephalography (EEG).
Edit intent: clarity
Original: Objective: Brain-Computer Interface technologies (BCI) enable the direct communication between humans and computers by analyzing brain measurements, such as electroencephalography (EEG).
Revised: Objective: Brain-Computer Interface technologies (BCI) technologies enable direct communication between humans and computers by analyzing brain measurements, such as electroencephalography (EEG).
Edit intent: clarity
Original:  Results: We show state-of-the-art classification performance across four different BCI paradigms : P300 event-related potential , error-related negativity  , movement-related cortical potential , and sensory motor rhythm, with as few as 500 EEG trials.
Revised:  Results: We show state-of-the-art approach across four different BCI paradigms : P300 event-related potential , error-related negativity , movement-related cortical potential , and sensory motor rhythm, with as few as 500 EEG trials.
Edit intent: clarity
Original:  Results: We show state-of-the-art classification performance across four different BCI paradigms : P300 event-related potential , error-related negativity  , movement-related cortical potential , and sensory motor rhythm, with as few as 500 EEG trials.
Revised:  Results: We show state-of-the-art classification performance across four different BCI classification tasks : P300 event-related potential , error-related negativity , movement-related cortical potential , and sensory motor rhythm, with as few as 500 EEG trials.
Edit intent: clarity
Original:  Results: We show state-of-the-art classification performance across four different BCI paradigms : P300 event-related potential , error-related negativity  , movement-related cortical potential , and sensory motor rhythm, with as few as 500 EEG trials.
Revised:  Results: We show state-of-the-art classification performance across four different BCI paradigms : P300 event-related potential , error-related negativity , movement-related cortical potentials (MRCP) , and sensory motor rhythm, with as few as 500 EEG trials.
Edit intent: clarity
Original:  Conclusion: We provide preliminary evidence suggesting that our model can be used with small EEG databases while improving upon the state-of-the-art performance across several tasks and across subjects . Significance: The EEGNet neural network architectureprovides state-of-the-art performance across several tasks and across subjects, challenging the notion that large datasets are required to obtain optimal performance .
Revised:  Conclusion: We provide preliminary evidence suggesting that our model can be used with small EEG databases while improving upon the state-of-the-art performance across several tasks and across subjects . Significance: Our findings suggest that a common simplified architecture, EEGNet, can provide robust performance across many different BCI modalities .
Edit intent: clarity
Original: Objective: Brain-Computer Interface (BCI) technologies enable direct communication between humans and computers by analyzing brain measurements, such as electroencephalography (EEG)  . BCI processing typically consists of heuristically extracting features for specific tasks, limiting the generalizability of the BCI across tasks.
Revised: Brain computer interfaces (BCI) technologies enable direct communication between humans and computers by analyzing brain measurements, such as electroencephalography (EEG) . BCI processing typically consists of heuristically extracting features for specific tasks, limiting the generalizability of the BCI across tasks.
Edit intent: clarity
Original: Objective: Brain-Computer Interface (BCI) technologies enable direct communication between humans and computers by analyzing brain measurements, such as electroencephalography (EEG)  . BCI processing typically consists of heuristically extracting features for specific tasks, limiting the generalizability of the BCI across tasks.
Revised: Objective: Brain-Computer Interface (BCI) enable direct communication between humans and computers by analyzing brain measurements, such as electroencephalography (EEG) . BCI processing typically consists of heuristically extracting features for specific tasks, limiting the generalizability of the BCI across tasks.
Edit intent: clarity
Original: Objective: Brain-Computer Interface (BCI) technologies enable direct communication between humans and computers by analyzing brain measurements, such as electroencephalography (EEG)  . BCI processing typically consists of heuristically extracting features for specific tasks, limiting the generalizability of the BCI across tasks.
Revised: Objective: Brain-Computer Interface (BCI) technologies enable direct communication between humans and computers by analyzing brain measurements, such as electroencephalography (EEG) . 
Edit intent: coherence
Original:  Here, we asked whether we can find a single generalized neural network architecture that can accurately classify EEG signals in different BCI tasks.
Revised:  Here, we ask if we can design a single CNN architecture to accurately classify EEG signals in different BCI tasks.
Edit intent: clarity
Original:  Approach: In this work we introduce EEGNet, a compact fully convolutional network for EEG-based BCIs.
Revised:  Approach: In this work we introduce EEGNet, a compact convolutional network for EEG-based BCIs.
Edit intent: clarity
Original:  We compare EEGNet to the current state-of-the-art approach across four different BCI classification tasks : P300 visual-evoked potentials, error-related negativity responses (ERN), movement-related cortical potentials (MRCP), and sensory motor rhythms (SMR).
Revised:  We compare EEGNet to the current state-of-the-art approaches across four BCI paradigms : P300 visual-evoked potentials, error-related negativity responses (ERN), movement-related cortical potentials (MRCP), and sensory motor rhythms (SMR).
Edit intent: clarity
Original:  This  signal is generally chosen from a variety of well-studied electroencephalogram (EEG) signals.
Revised:  This neural signal is generally chosen from a variety of well-studied electroencephalogram (EEG) signals.
Edit intent: clarity
Original:  Convolutional Neural Networks (CNNs), which have been used in computer vision and speech recognition to perform automatic feature extraction and classification , have successfully been applied to EEG-based BCIs;
Revised:  Convolutional Neural Networks (CNNs), which have been used in computer vision and speech recognition , have successfully been applied to EEG-based BCIs;
Edit intent: clarity
Original:  Here, we ask if we can design a single CNN architecture to accurately classify EEG signals from different BCI paradigms, while simultaneously being as compact as possible (defined as the number of parameters in the model) .
Revised:  Here, we ask if we can design a single CNN architecture to accurately classify EEG signals from different BCI paradigms, while simultaneously being as compact as possible .
Edit intent: clarity
Original:  We introduce the use of depthwise and separable convolutions to more efficiently extract relevant features for EEG-based BCIs . We compare EEGNet , both for within-subject and cross-subject classification, to current state-of-the-art approaches across four BCI paradigms: P300 visual-evoked potentials, error-related negativity responses (ERN), movement-related cortical potentials (MRCP), and sensory motor rhythms (SMR).
Revised:  We introduce the use of depthwise and separable convolutions to more efficiently extract relevant features for EEG-based BCIs . We compare EEGNet to current state-of-the-art approaches across four BCI paradigms: P300 visual-evoked potentials, error-related negativity responses (ERN), movement-related cortical potentials (MRCP), and sensory motor rhythms (SMR).
Edit intent: clarity
Original: Affiliation with various social groups can be a critical factor when it comes to quality of life of every individual, making these groups an essential element of every society.
Revised: The affiliation with various social groups can be a critical factor when it comes to quality of life of every individual, making these groups an essential element of every society.
Edit intent: fluency
Original: Affiliation with various social groups can be a critical factor when it comes to quality of life of every individual, making these groups an essential element of every society.
Revised: Affiliation with various social groups can be a critical factor when it comes to quality of life of each individual, making these groups an essential element of every society.
Edit intent: fluency
Original: Affiliation with various social groups can be a critical factor when it comes to quality of life of every individual, making these groups an essential element of every society.
Revised: Affiliation with various social groups can be a critical factor when it comes to quality of life of every individual, making such groups an essential element of every society.
Edit intent: clarity
Original:  It was shown that high heterogeneity of scientist's engagement in conference activities of the specific scientific community depends on the balance between the number of previous attendance and non-attendance and is directly related to scientist's association with that community.
Revised:  It was shown that high heterogeneity of scientist's engagement in conference activities of the specific scientific community depends on the balance between the numbers of previous attendances and non-attendances and is directly related to scientist's association with that community.
Edit intent: fluency
Original:  Here we show that the same holds for leisure groups of  Meetup website and further quantify member' s association with the group.
Revised:  Here we show that the same holds for leisure groups of the Meetup website and further quantify member' s association with the group.
Edit intent: fluency
Original:  Here we show that the same holds for leisure groups of  Meetup website and further quantify member' s association with the group.
Revised:  Here we show that the same holds for leisure groups of Meetup website and further quantify individual members' association with the group.
Edit intent: clarity
Original:  We examine how structure of personal social networks is evolving with  event attendance.
Revised:  We examine how structure of personal social networks is evolving with the event attendance.
Edit intent: fluency
Original:  Our results show that member's increasing engagement in  group activities is primarily associated with the strengthening of already existing ties and increase of bonding social capital.
Revised:  Our results show that member's increasing engagement in the group activities is primarily associated with the strengthening of already existing ties and increase of bonding social capital.
Edit intent: fluency
Original:  Our results show that member's increasing engagement in  group activities is primarily associated with the strengthening of already existing ties and increase of bonding social capital.
Revised:  Our results show that member's increasing engagement in group activities is primarily associated with the strengthening of already existing ties and increase in the bonding social capital.
Edit intent: clarity
Original:  We also show that Meetup social networks  grow trough big events  while small events contribute to the group's cohesiveness.
Revised:  We also show that Meetup social networks grow trough big events , while small events contribute to the group's cohesiveness.
Edit intent: fluency
Original:  We also show that Meetup social networks  grow trough big events  while small events contribute to the group's cohesiveness.
Revised:  We also show that Meetup social networks grow trough big events while small events contribute to the groups cohesiveness.
Edit intent: clarity
Original:  The guards win if they can eternally maintain a dominating set against any sequence of attacks, otherwise  the rioter wins.
Revised:  The guards win if they can eternally maintain a dominating set against any sequence of attacks, otherwise , the rioter wins.
Edit intent: fluency
Original:  Our novel strategy implements a square rotation principle and eternally dominates m \times n grids with the guards' number converging to 20%DIFDELCMD < \\%%% %DIF < of the nodes as m, n grow.abstract  guards, which is asymptotically optimal even for ordinary domination.}
Revised:  Our novel strategy implements a square rotation principle and eternally dominates m \times n grids %DIFDELCMD < \\%%% %DIF < of the nodes as m, n grow.abstract guards, which is asymptotically optimal even for ordinary domination.}
Edit intent: clarity
Original: In the  Eternal Domination game, a team of guard tokens initially occupies a dominating set on a graph G. A rioter then picks a node without a guard on it and attacks it.
Revised: In the Eternal Domination game, a team of guard tokens initially occupies a dominating set on a graph G. An attacker then picks a node without a guard on it and attacks it.
Edit intent: clarity
Original: In the  Eternal Domination game, a team of guard tokens initially occupies a dominating set on a graph G. A rioter then picks a node without a guard on it and attacks it.
Revised: In the Eternal Domination game, a team of guard tokens initially occupies a dominating set on a graph G. A rioter then picks a vertex without a guard on it and attacks it.
Edit intent: clarity
Original:  The guards defend against the attack: one of them has to move to the attacked node , while each remaining one can choose to move to one of his neighboring nodes .
Revised:  The guards defend against the attack: one of them has to move to the attacked vertex , while each remaining one can choose to move to one of his neighboring nodes .
Edit intent: clarity
Original:  The guards defend against the attack: one of them has to move to the attacked node , while each remaining one can choose to move to one of his neighboring nodes .
Revised:  The guards defend against the attack: one of them has to move to the attacked node , while each remaining one can choose to move to one of his neighboring vertices .
Edit intent: clarity
Original:  This attack-defend procedure continues perpetually .
Revised:  This attack-defend procedure continues eternally .
Edit intent: clarity
Original:  The guards win if they can eternally maintain a dominating set against any sequence of attacks, otherwise, the rioter wins.
Revised:  The guards win if they can eternally maintain a dominating set against any sequence of attacks, otherwise, the attacker wins. The m-
Edit intent: clarity
Original: We investigate the dynamics and interplay between human communication, movement, and social proximity by analyzing data collected from smartphones distributed among 638 individuals.
Revised: A day in the life of a person involves a broad range of activities which are common across many people. Going beyond diurnal cycles, a central question is: to what extent do individuals act according to patterns shared across an entire population? Here we investigate the interplay between different activity types, namely communication, motion, and physical proximity by analyzing data collected from smartphones distributed among 638 individuals.
Edit intent: clarity
Original:  The main question we consider is: to what extent do individuals act according to patternsshared across an entire population?
Revised:  We explore two central questions: Which underlying principles govern the formation of the activity patterns? Are the patterns specific to each individual or shared across the entire population?
Edit intent: clarity
Original:  Based on statistics of the entire population , we successfully predict 71\\%DIF < of the activity and 85\\% of the inactivity involved in communication, movement, and social proximity.
Revised:  We find that statistics of the entire population , we successfully predict 71\\%DIF < of the activity and 85\\% of the inactivity involved in communication, movement, and social proximity.
Edit intent: coherence
Original:  Based on statistics of the entire population , we successfully predict 71\\%DIF < of the activity and 85\\% of the inactivity involved in communication, movement, and social proximity.
Revised:  Based on statistics of the entire population allows us to successfully predict 71\\%DIF < of the activity and 85\\% of the inactivity involved in communication, movement, and social proximity.
Edit intent: coherence
Original:  We find that %DIF > of the activity and 85\\% of the  individual level statistics only result in marginally better predictions, indicating a high degree of shared activity patterns across the population  .
Revised:  We find that %DIF > of the activity and 85\\% of the individual level statistics only result in marginally better predictions, indicating that a majority of activity patterns are shared across .
Edit intent: clarity
Original: We establish the equivalence on finite directed graphs between a class of asynchronous distributed automata and a small fragment of least fixpoint logic  .
Revised: We establish the equivalence between a class of asynchronous distributed automata and a small fragment of least fixpoint logic .
Edit intent: clarity
Original:  More specifically, the logic we consider is (a variant of) the fragment of  modal \mu-calculus that allows least fixpoints but forbids greatest fixpoints.
Revised:  More specifically, the logic we consider is (a variant of) the fragment of the modal \mu-calculus that allows least fixpoints but forbids greatest fixpoints.
Edit intent: fluency
Original:  Exploiting the connection with logic, we also prove that the expressive power of these machines is independent of whether or not messages can be lost.
Revised:  Exploiting the connection with logic, we also prove that the expressive power of those machines is independent of whether or not messages can be lost.
Edit intent: fluency
Original:  The new randomized feasible interpolation applies to this proof system and also to the semantic versions of the cutting planes proof system  (as randomized protocols efficiently simulate protocols with small real communication complexity of K.(1998))  and to random resolution  of Buss, Kolodziejczyk and Thapen (2014).
Revised:  The new randomized feasible interpolation applies to this proof system and also to the semantic versions of the cutting planes proof system CP (as randomized protocols efficiently simulate protocols with small real communication complexity of K.(1998)) and to random resolution of Buss, Kolodziejczyk and Thapen (2014).
Edit intent: fluency
Original:  The new randomized feasible interpolation applies to this proof system and also to the semantic versions of the cutting planes proof system  (as randomized protocols efficiently simulate protocols with small real communication complexity of K.(1998))  and to random resolution  of Buss, Kolodziejczyk and Thapen (2014).
Revised:  The new randomized feasible interpolation applies to this proof system and also to the semantic versions of the cutting planes proof system (as randomized protocols efficiently simulate protocols with small real communication complexity of K.(1998)) and to random resolution RR of Buss, Kolodziejczyk and Thapen (2014).
Edit intent: fluency
Original: We present a simple mathematical formulation to describe the little penguins parade in Phillip Island.
Revised: Penguins are flightless, so they are forced to walk while on land. In particular, they show rather specific behaviors in their homecoming, which are interesting to observe and to describe analytically. In this paper, we present a simple mathematical formulation to describe the little penguins parade in Phillip Island.
Edit intent: coherence
Original:  The mathematical framework that we introduce describes this phenomenon, by taking into account natural parameters, such as the sight of the penguins, their cruising speed and the possible fear of animals.
Revised:  The mathematical framework that we introduce describes this phenomenon, by taking into account "natural parameters" such as the sight of the penguins, their cruising speed and the possible fear of animals.
Edit intent: fluency
Original:  The mathematical framework that we introduce describes this phenomenon, by taking into account natural parameters, such as the sight of the penguins, their cruising speed and the possible fear of animals.
Revised:  The mathematical framework that we introduce describes this phenomenon, by taking into account natural parameters, such as the eye-sight of the penguins, their cruising speed and the possible fear of animals.
Edit intent: clarity
Original:  The mathematical framework that we introduce describes this phenomenon, by taking into account natural parameters, such as the sight of the penguins, their cruising speed and the possible fear of animals.
Revised:  The mathematical framework that we introduce describes this phenomenon, by taking into account natural parameters, such as the sight of the penguins, their cruising speed and the possible "fear" of animals.
Edit intent: coherence
Original:  On the one hand, this favors the formation of rafts of penguins but, on the other hand, this may lead to the panic of isolated and exposed individuals.
Revised:  On the one hand, this favors the formation of conglomerates of penguins that gather together, but, on the other hand, this may lead to the panic of isolated and exposed individuals.
Edit intent: clarity