wanyu/IteraTeR_v2 huggingface dataset:
Original:  As a starting point, we propose a formal language for specifying complex events, called CEPL , that contains the common features used in the literature and has a simple and denotational semantics.
Revised:  As a starting point, we propose a formal language for specifying complex events, called CEPL , that contains the main features used in the literature and has a simple and denotational semantics.
Edit intent: clarity
Original:  As a starting point, we propose a formal language for specifying complex events, called CEPL , that contains the common features used in the literature and has a simple and denotational semantics.
Revised:  As a starting point, we propose a formal language for specifying complex events, called CEPL , that contains the common features used in the literature and has a denotational and compositional semantics.
Edit intent: clarity
Original:  We also formalize the so-called selection strategies, which are the cornerstone of CEP and had only been presented as by-design extensions to existing frameworks.
Revised:  We also formalize the so-called selection strategies, which had only been presented as by-design extensions to existing frameworks.
Edit intent: clarity
Original:  Furthermore , we introduce a formal computational model for CEP based on transducers and symbolic automata, called match automata , that captures the regular core of CEPL, i.e. formulas with unary predicates.
Revised:  Furthermore , we introduce a formal computational model for CEP , that captures the regular core of CEPL, i.e. formulas with unary predicates.
Edit intent: coherence
Original:  By using rewriting techniques and automata-based translations, we show that formulas in the regular core of CEPL can be evaluated using constant time per event followed by constant-delay enumeration of the output (under data complexity) .
Revised:  By using rewriting techniques and automata-based translations, we show that formulas in the regular core of CEPL can be evaluated using constant time per event followed by constant-delay enumeration of the results .
Edit intent: clarity
Original: We consider the development of folds, or sulci (troughs) and gyri (crests), of the brain.
Revised: We consider the mechanisms by which folds, or sulci (troughs) and gyri (crests), of the brain.
Edit intent: clarity
Original: We consider the development of folds, or sulci (troughs) and gyri (crests), of the brain.
Revised: We consider the development of folds, or sulci (troughs) and gyri (crests), develop in the brain.
Edit intent: clarity
Original:  This phenomenon , common to many gyrencephalic species including humans, has attracted recent attention from soft matter physicists.
Revised:  This feature , common to many gyrencephalic species including humans, has attracted recent attention from soft matter physicists.
Edit intent: clarity
Original:  It occurs due to inhomogeneous  and predominantly tangential  growth of the cortex, causing circumferential compressionand leading to a bifurcation of the solution path into a folded configuration.
Revised:  It occurs due to inhomogeneous , and predominantly tangential growth of the cortex, causing circumferential compressionand leading to a bifurcation of the solution path into a folded configuration.
Edit intent: fluency
Original:  It occurs due to inhomogeneous  and predominantly tangential  growth of the cortex, causing circumferential compressionand leading to a bifurcation of the solution path into a folded configuration.
Revised:  It occurs due to inhomogeneous and predominantly tangential , growth of the cortex, causing circumferential compressionand leading to a bifurcation of the solution path into a folded configuration.
Edit intent: fluency
Original:  It occurs due to inhomogeneous  and predominantly tangential  growth of the cortex, causing circumferential compressionand leading to a bifurcation of the solution path into a folded configuration.
Revised:  It occurs due to inhomogeneous and predominantly tangential growth of the cortex, which causes circumferential compression, leading to a bifurcation of the solution path into a folded configuration.
Edit intent: coherence
Original:  It occurs due to inhomogeneous  and predominantly tangential  growth of the cortex, causing circumferential compressionand leading to a bifurcation of the solution path into a folded configuration.
Revised:  It occurs due to inhomogeneous and predominantly tangential growth of the cortex, causing circumferential compressionand leading to a bifurcation of the solution path to a folded configuration.
Edit intent: fluency
Original:  The problem can be framed as one of buckling in the linearized elasticity regime .
Revised:  The problem can be framed as one of buckling in the regime of linearized elasticity .
Edit intent: fluency
Original:  However, the brain is a very soft solid  subject to large strains due to inhomogeneous growth.
Revised:  However, the brain is a very soft solid , which is subject to large strains due to inhomogeneous growth.
Edit intent: coherence
Original:  Nonlinear elasticity studies of growth-driven brain folding have established the conditions necessary for the onset of folding  and for its progression to configurations broadly resembling gyrencephalic brains.
Revised:  Nonlinear elasticity studies of growth-driven brain folding have established the conditions necessary for the onset of folding , and for its progression to configurations broadly resembling gyrencephalic brains.
Edit intent: fluency
Original:  The reference, unfolded, configurations in these treatments have a high degree of symmetry--often spherical . Depending on the boundary conditions, the folded configurations have patterns of symmetry or anti-symmetry .
Revised:  The reference, unfolded, configurations in these treatments have a high degree of symmetry--often spherical . Depending on the boundary conditions, the folded configurations have symmetric or anti-symmetric patterns .
Edit intent: clarity
Original:  Here, we initiate studies on the physical conditions and parameters responsible for the development of primary sulci and gyri.
Revised:  Here, we initiate studies on the physical mechanisms and geometry that control the development of primary sulci and gyri.
Edit intent: clarity
Original:  In this preliminary communication we work with idealized geometries, boundary conditions and parameters to perform computations aimed at understanding the formation of the first fold to form: the Central Sulcus.
Revised:  In this preliminary communication we carry out computations with idealized geometries, boundary conditions and parameters to perform computations aimed at understanding the formation of the first fold to form: the Central Sulcus.
Edit intent: clarity
Original:  In this preliminary communication we work with idealized geometries, boundary conditions and parameters to perform computations aimed at understanding the formation of the first fold to form: the Central Sulcus.
Revised:  In this preliminary communication we work with idealized geometries, boundary conditions and parameters , seeking a pattern resembling one of the first fold to form: the Central Sulcus.
Edit intent: clarity
Original:  In this preliminary communication we work with idealized geometries, boundary conditions and parameters to perform computations aimed at understanding the formation of the first fold to form: the Central Sulcus.
Revised:  In this preliminary communication we work with idealized geometries, boundary conditions and parameters to perform computations aimed at understanding the formation of the first folds to form: the Central Sulcus.
Edit intent: fluency
Original: Rule-based techniques and tools to extract entities and relational entities from documents allow users to specify desired entities using natural language questions, finite state automata, regular expressions , structured query language statements, or proprietary scripts.
Revised: Rule-based techniques to extract relational entities from documents allow users to specify desired entities using natural language questions, finite state automata, regular expressions , structured query language statements, or proprietary scripts.
Edit intent: clarity
Original: Rule-based techniques and tools to extract entities and relational entities from documents allow users to specify desired entities using natural language questions, finite state automata, regular expressions , structured query language statements, or proprietary scripts.
Revised: Rule-based techniques and tools to extract entities and relational entities from documents allow users to specify desired entities with natural language questions, finite state automata, regular expressions , structured query language statements, or proprietary scripts.
Edit intent: fluency
Original: Rule-based techniques and tools to extract entities and relational entities from documents allow users to specify desired entities using natural language questions, finite state automata, regular expressions , structured query language statements, or proprietary scripts.
Revised: Rule-based techniques and tools to extract entities and relational entities from documents allow users to specify desired entities using natural language questions, finite state automata, regular expressions and structured query language statements, or proprietary scripts.
Edit intent: fluency
Original:  These techniques and tools require expertise in linguistics and programming and lack support of Arabic morphological analysis which is key to process Arabic text.
Revised:  These techniques and tools require expertise in linguistics and programming and lack support for Arabic morphological analysis which is key to process Arabic text.
Edit intent: fluency
Original:  MERF computes feature matches, regular expression matches, and constructs entities and relational entities from user defined relations .
Revised:  MERF constructs entities and relational entities from user defined relations .
Edit intent: coherence
Original:  MERF computes feature matches, regular expression matches, and constructs entities and relational entities from user defined relations .
Revised:  MERF computes feature matches, regular expression matches, and constructs entities and relational entities from matches of the specifications .
Edit intent: clarity
Original:  We evaluated our work with several case studies and compared with existing application-specific techniques .
Revised:  We evaluated our work with several case studies .
Edit intent: clarity
Original: To understand the spatial deployment of base stations (BSs) is the first step to facilitate the performance analyses of cellular networks , as well as the design of efficient networking protocols.
Revised: To understand the spatial deployment of base stations (BSs) is the first step to analyze the performance of cellular networks , as well as the design of efficient networking protocols.
Edit intent: clarity
Original: To understand the spatial deployment of base stations (BSs) is the first step to facilitate the performance analyses of cellular networks , as well as the design of efficient networking protocols.
Revised: To understand the spatial deployment of base stations (BSs) is the first step to facilitate the performance analyses of cellular networks and further design efficient networking protocols.
Edit intent: clarity
Original:  Poisson point process (PPP)  has been widely adopted to characterize the deployment of BSs and established the reputation to give tractable results in the stochastic geometry analyses .
Revised:  Poisson point process (PPP) , which has been widely adopted to characterize the deployment of BSs and established the reputation to give tractable results in the stochastic geometry analyses .
Edit intent: coherence
Original:  The \alpha -stable distribution, one kind of heavy-tailed distributions, has  demonstrated superior accuracy to statistically model the spatial density of BSs . In this paper, we start with the new findings on \alpha%DIFDELCMD < }%%% -stable distributed BSs deployment and investigate the intrinsic feature (i.e., the spatial self-similarity) embedded in the BSs.
Revised:  The \alpha -stable distribution, one kind of heavy-tailed distributions, has recently demonstrated superior accuracy to statistically model the spatial density of BSs . In this paper, we start with the new findings on \alpha%DIFDELCMD < }%%% -stable distributed BSs deployment and investigate the intrinsic feature (i.e., the spatial self-similarity) embedded in the BSs.
Edit intent: clarity
Original:  The \alpha -stable distribution, one kind of heavy-tailed distributions, has  demonstrated superior accuracy to statistically model the spatial density of BSs . In this paper, we start with the new findings on \alpha%DIFDELCMD < }%%% -stable distributed BSs deployment and investigate the intrinsic feature (i.e., the spatial self-similarity) embedded in the BSs.
Revised:  The \alpha -stable distribution, one kind of heavy-tailed distributions, has demonstrated superior accuracy to statistically model the spatial density of BSs . In this paper, we start with \alpha%DIFDELCMD < }%%% -stable distributed BSs deployment and investigate the intrinsic feature (i.e., the spatial self-similarity) embedded in the BSs.
Edit intent: clarity
Original:  The \alpha -stable distribution, one kind of heavy-tailed distributions, has  demonstrated superior accuracy to statistically model the spatial density of BSs . In this paper, we start with the new findings on \alpha%DIFDELCMD < }%%% -stable distributed BSs deployment and investigate the intrinsic feature (i.e., the spatial self-similarity) embedded in the BSs.
Revised:  The \alpha -stable distribution, one kind of heavy-tailed distributions, has demonstrated superior accuracy to statistically model the spatial density of BSs . In this paper, we start with the new findings on \alpha%DIFDELCMD < }%%% these new findings and investigate the intrinsic feature (i.e., the spatial self-similarity) embedded in the BSs.
Edit intent: clarity
Original:  Extending previous work on reidentifiability of spatial data and trajectory matching, we now present the first large-scale analysis of user matchability in real mobility datasets on realistic scales, i.e. ~ among two datasets that consist of several million people's mobility traces for a one week interval each.
Revised:  Extending previous work on reidentifiability of spatial data and trajectory matching, we now present the first large-scale analysis of user matchability in real mobility datasets on realistic scales, i.e. among two datasets that consist of several million people's mobility traces for a one week interval each.
Edit intent: fluency
Original:  We derive that for individuals with typical activity in the transportation system (those making 3-4 trips per day on average), a matching algorithm based on the co-occurrence of their activities is expected to achieve a 16.8 \% success rate based only on a \\%DIF > success rate based only on a one-week long observation of their mobility traces.
Revised:  We derive that for individuals with typical activity in the transportation system (those making 3-4 trips per day on average), a matching algorithm based on the co-occurrence of their activities is expected to achieve a 16.8 \\%DIF > success rate based only on a one-week long observation of their mobility traces.
Edit intent: fluency
Original:  Extrapolating for longer time intervals, we expect a success rate of over 55 \% after four week long \\%DIF > after four week long observations.
Revised:  Extrapolating for longer time intervals, we expect a success rate of over 55 \\%DIF > after four week long observations.
Edit intent: fluency
Original:  Extending previous work on reidentifiability of spatial data and trajectory matching, we now present the first large-scale analysis of user matchability in real mobility datasets on realistic scales, i.e. among two datasets that consist of several million people's mobility traces for a one week interval each .
Revised:  Extending previous work on reidentifiability of spatial data and trajectory matching, we present the first large-scale analysis of user matchability in real mobility datasets on realistic scales, i.e. among two datasets that consist of several million people's mobility traces for a one week interval each .
Edit intent: coherence
Original:  We extract the relevant statistical properties which influence the matching process and provide an estimate on a performance of matching and thus the matchability of users.
Revised:  We extract the relevant statistical properties which influence the matching process and analyze their impact on the matchability of users.
Edit intent: clarity
Original:  We derive that for individuals with typical activity in the transportation system (those making 3-4 trips per day on average), a matching algorithm based on the co-occurrence of their activities is expected to achieve a 16.8 %DIFDELCMD < \\%%% %DIF < success rate based only on a  one-week long observation of their mobility traces . Extrapolating for longer time intervals, we expect a success rate of over 55 %DIFDELCMD < \\%%% %DIF < after four week long observations.
Revised:  We show that for individuals with typical activity in the transportation system (those making 3-4 trips per day on average), a matching algorithm based on the co-occurrence of their activities is expected to achieve a 16.8 %DIFDELCMD < \\%%% %DIF < success rate based only on a one-week long observation of their mobility traces . Extrapolating for longer time intervals, we expect a success rate of over 55 %DIFDELCMD < \\%%% %DIF < after four week long observations.
Edit intent: clarity
Original:  We derive that for individuals with typical activity in the transportation system (those making 3-4 trips per day on average), a matching algorithm based on the co-occurrence of their activities is expected to achieve a 16.8 %DIFDELCMD < \\%%% %DIF < success rate based only on a  one-week long observation of their mobility traces . Extrapolating for longer time intervals, we expect a success rate of over 55 %DIFDELCMD < \\%%% %DIF < after four week long observations.
Revised:  We derive that for individuals with typical activity in the transportation system (those making 3-4 trips per day on average), a matching algorithm based on the co-occurrence of their activities is expected to achieve a 16.8 %DIFDELCMD < \\%%% %DIF < success rate based only on a one-week long observation of their mobility traces , and over 55 %DIFDELCMD < \\%%% %DIF < after four week long observations.
Edit intent: coherence
Original:  We further evaluate different scenarios of data collection frequency , giving estimates of matchability over time in several realastic cases of mobility datasets .
Revised:  We further evaluate different scenarios of data collection frequency and give estimates of matchability over time in several realastic cases of mobility datasets .
Edit intent: fluency
Original: This paper reports the analysis of audio and visual features in predicting the  emotion dimensions under the seventh Audio/Visual Emotion Subchallenge (AVEC 2017)  .
Revised: This paper reports the analysis of audio and visual features in predicting the emotion dimensions under the seventh Audio/Visual Emotion Challenge (AVEC 2017) .
Edit intent: fluency
Original: More and more evidence shows that mating preference is a mechanism that can lead to a reproductive isolation event.
Revised: More and more evidence shows that mating preference is a mechanism that may lead to a reproductive isolation event.
Edit intent: clarity
Original:  In this paper, we consider a haploid population living on two patches linked by migration  .
Revised:  In this paper, a haploid population living on two patches linked by migration .
Edit intent: clarity
Original:  In this paper, we consider a haploid population living on two patches linked by migration  .
Revised:  In this paper, we consider a haploid population living on two patches linked by migration is considered .
Edit intent: clarity
Original:  Individuals are ecologically and demographically neutral on the space and differ only on a trait, a or A, determining both mating success and migration rate.
Revised:  Individuals are ecologically and demographically neutral on the space and differ only on a trait, a or A, affecting both mating success and migration rate.
Edit intent: clarity
Original:  The special feature of this paper is to assume that the strength of the mating preference and the migration depend on the trait carried.
Revised:  The special feature of this paper is to assume that the strengths of the mating preference and the migration depend on the trait carried.
Edit intent: fluency
Original:  Indeed  patterns of mating preferences are generally asymmetrical between the subspecies of a population.
Revised:  Indeed , patterns of mating preferences are generally asymmetrical between the subspecies of a population.
Edit intent: fluency
Original:  We prove that mating preference alone can lead to a reproductive isolation and we explicit the time before reproductive isolation occurs.
Revised:  I prove that mating preference alone can lead to a reproductive isolation and we explicit the time before reproductive isolation occurs.
Edit intent: fluency
Original:  We prove that mating preference alone can lead to a reproductive isolation and we explicit the time before reproductive isolation occurs.
Revised:  We prove that mating preference alone can lead to a reproductive isolation . Then, I describe the time before reproductive isolation occurs.
Edit intent: coherence
Original:  Then using simulations, we study the time before reproductive isolation with respect to the strength of migration and the strength of both mating preferences, highlighting that large migration rates tend to favor the most permissive types .
Revised:  Finally, I study how the time before reproductive isolation with respect to the strength of migration and the strength of both mating preferences, highlighting that large migration rates tend to favor the most permissive types .
Edit intent: clarity
Original:  Then using simulations, we study the time before reproductive isolation with respect to the strength of migration and the strength of both mating preferences, highlighting that large migration rates tend to favor the most permissive types .
Revised:  Then using simulations, we study the time before reproductive isolation is influenced by the parameters of migration and the strength of both mating preferences, highlighting that large migration rates tend to favor the most permissive types .
Edit intent: clarity
Original:  Then using simulations, we study the time before reproductive isolation with respect to the strength of migration and the strength of both mating preferences, highlighting that large migration rates tend to favor the most permissive types .
Revised:  Then using simulations, we study the time before reproductive isolation with respect to the strength of migration and of mating preferences, highlighting that large migration rates tend to favor the most permissive types .
Edit intent: clarity
Original:  Here, we study the starvation-induced aggregation of gliding Myxococcus xanthus bacteria and show that these cells phase separate by tuning their motility over time.
Revised:  Here, we study the starvation-induced fruiting body (FB) formation in Myxococcus xanthus is a phase separation driven by cells that tune their motility over time.
Edit intent: clarity
Original:  Thus, M. xanthus evolved to take advantage of an active-matter phase transition that can be controlled through changes in motility at the individual cell levelwithout complex feedback and chemical communication between cells .
Revised:  Thus, M. xanthus take advantage of an active-matter phase transition that can be controlled through changes in motility at the individual cell levelwithout complex feedback and chemical communication between cells .
Edit intent: clarity