wanyu/IteraTeR_v2 huggingface dataset:
Original:  This result, the first application of graph embedding to quantum circuits and devices, provides a new tool for compiler development, emphasizes the impact of quantum computer architecture  , and acts as a cautionary note when evaluating the time performance of quantum algorithms.
Revised:  This result, the first application of graph embedding to quantum circuits and devices, provides a new tool for compiler development, emphasizes the impact of quantum computer architecture on performance , and acts as a cautionary note when evaluating the time performance of quantum algorithms.
Edit intent: clarity
Original:  We find that, for very large random problem instances, when solutions obtained by the survey-propagation algorithm and the walksat algorithm are used as initial conditions for the belief-propagation algorithm, the algorithm is unable to reach a fixed point.
Revised:  We find that, for very large random problem instances, when solutions obtained by the survey-propagation or the walksat algorithm are used as initial conditions for the belief-propagation algorithm, the algorithm is unable to reach a fixed point.
Edit intent: fluency
Original:  A single solution cluster of a random 3-SAT formula may have further community structures.
Revised:  This work indicates that a single solution cluster of a random 3-SAT formula may have further community structures.
Edit intent: clarity
Original:  We prove that Copeland^{0.5}, the system commonly referred to as `` Copeland voting, '' provides full resistance to constructive control, and we prove the same for Copeland^\alpha, for all rational \alpha, 0 < \alpha < 1. Copeland voting is the first natural election system proven to have full resistance to constructive control.
Revised:  We prove that Copeland^{0.5}, the system commonly referred to as " Copeland voting, '' provides full resistance to constructive control, and we prove the same for Copeland^\alpha, for all rational \alpha, 0 < \alpha < 1. Copeland voting is the first natural election system proven to have full resistance to constructive control.
Edit intent: fluency
Original:  We prove that Copeland^{0.5}, the system commonly referred to as `` Copeland voting, '' provides full resistance to constructive control, and we prove the same for Copeland^\alpha, for all rational \alpha, 0 < \alpha < 1. Copeland voting is the first natural election system proven to have full resistance to constructive control.
Revised:  We prove that Copeland^{0.5}, the system commonly referred to as `` Copeland voting, " provides full resistance to constructive control, and we prove the same for Copeland^\alpha, for all rational \alpha, 0 < \alpha < 1. Copeland voting is the first natural election system proven to have full resistance to constructive control.
Edit intent: fluency
Original: A conjecture of Kaiser and Raspaud 6%DIFDELCMD < ] %%% asserts (in a special form due to Macajov\'a and Skoviera)ajov\'a and Skoviera asserts } that every bridgeless cubic graph has two perfect matchings whose intersection does not contain any odd edge cut.
Revised: A conjecture of Kaiser and Raspaud %DIFDELCMD < ] %%% asserts (in a special form due to Macajov\'a and Skoviera)ajov\'a and Skoviera asserts } that every bridgeless cubic graph has two perfect matchings whose intersection does not contain any odd edge cut.
Edit intent: fluency
Original: A conjecture of Kaiser and Raspaud 6%DIFDELCMD < ] %%% asserts (in a special form due to Macajov\'a and Skoviera)ajov\'a and Skoviera asserts } that every bridgeless cubic graph has two perfect matchings whose intersection does not contain any odd edge cut.
Revised: A conjecture of Kaiser and Raspaud 6%DIFDELCMD < ] %%% M\'a\u{cajov\'a and Skoviera asserts } that every bridgeless cubic graph has two perfect matchings whose intersection does not contain any odd edge cut.
Edit intent: clarity
Original:  We also show a counterintuitive result that prey fishing alone has the same effect.
Revised:  We also show that prey fishing alone has the same effect.
Edit intent: clarity
Original:  At Kingman, it was recently discovered that apex predators constitute 85\% of the total fish biomass.
Revised:  At Kingman, it was recently discovered that apex predators constitute 85\% of the fish biomass.
Edit intent: clarity
Original:  We deduce the EXISTENCE of an O(m^2/n^2) space data structure for S that, given p and time O(log n), allows to approximate the number of occluded segments up to arbitrary constant absolute error;
Revised:  We deduce the EXISTENCE of an O(m^2/n^2) space data structure for S that, given p and time O(log n), allows to approximate the ratio of occluded segments up to arbitrary constant absolute error;
Edit intent: clarity
Original: Psychophysiological correlations form the basis for various disciplines, but the nature of the relation between mind and body has not yet been fully understood.
Revised: Correlations between psychological and physiological phenomena form the basis for various disciplines, but the nature of the relation between mind and body has not yet been fully understood.
Edit intent: clarity
Original: Psychophysiological correlations form the basis for various disciplines, but the nature of the relation between mind and body has not yet been fully understood.
Revised: Psychophysiological correlations form the basis for various disciplines, but the nature of this relation has not yet been fully understood.
Edit intent: clarity
Original:  We propose to understand the mental as ``emerging'' from neural processes in the precise sense that psychology and physiology provide two different descriptions of the same system.
Revised:  We propose to understand the mental as "emerging" from neural processes in the precise sense that psychology and physiology provide two different descriptions of the same system.
Edit intent: fluency
Original:  We propose to understand the mental as ``emerging'' from neural processes in the precise sense that psychology and physiology provide two different descriptions of the same system.
Revised:  We propose to understand the mental as ``emerging'' from neural processes in the specific sense that psychology and physiology provide two different descriptions of the same system.
Edit intent: fluency
Original:  Stating the two descriptions in terms of coarser- and finer-grained system states , both descriptions may be equally adequate if the coarse-graining preserves the possibility to obtain a dynamical rule for the system.
Revised:  Stating these descriptions in terms of coarser- and finer-grained system states , both descriptions may be equally adequate if the coarse-graining preserves the possibility to obtain a dynamical rule for the system.
Edit intent: clarity
Original:  To test the empirical validity of our approach, we describe an algorithm to obtain a specific form of such a coarse-graining from empirical data.
Revised:  To test the empirical viability of our approach, we describe an algorithm to obtain a specific form of such a coarse-graining from empirical data.
Edit intent: clarity
Original:  After illustrating the method using a simulated system, we apply the algorithm to electroencephalographic data , where we are able to identify states that correspond to mental states of the subject.
Revised:  After illustrating the method using a simulated dynamical system. We then apply the method to an electroencephalographic (EEG) recording , where we are able to identify states that correspond to mental states of the subject.
Edit intent: clarity
Original:  When the selfish users choose their transmission probabilities independently without any coordination mechanism, Nash equilibria usually result in a network collapse.
Revised:  When selfish users choose their transmission probabilities independently without any coordination mechanism, Nash equilibria usually result in a network collapse.
Edit intent: fluency
Original:  The Stackelberg equilibrium of the Stackelberg game can overcome the deficiency of the Nash equilibria of the original game.
Revised:  Stackelberg equilibria of the Stackelberg game can overcome the deficiency of the Nash equilibria of the original game.
Edit intent: clarity
Original:  We  show that a kernel of this syntax can replace PGA as a carrier for program algebra by providing axioms for defining single-pass congruence and structural congruence, and equations for thread extraction.
Revised:  We show that a kernel of this syntax can replace PGA as a carrier for PGA by providing axioms for defining single-pass congruence and structural congruence, and equations for thread extraction.
Edit intent: clarity
Original:  We  show that a kernel of this syntax can replace PGA as a carrier for program algebra by providing axioms for defining single-pass congruence and structural congruence, and equations for thread extraction.
Revised:  We show that a kernel of this syntax can replace PGA as a carrier for program algebra by providing axioms for single-pass congruence and structural congruence, and equations for thread extraction.
Edit intent: clarity
Original:  We  show that a kernel of this syntax can replace PGA as a carrier for program algebra by providing axioms for defining single-pass congruence and structural congruence, and equations for thread extraction.
Revised:  We show that a kernel of this syntax can replace PGA as a carrier for program algebra by providing axioms for defining single-pass congruence , structural congruence, and equations for thread extraction.
Edit intent: fluency
Original:  We  show that a kernel of this syntax can replace PGA as a carrier for program algebra by providing axioms for defining single-pass congruence and structural congruence, and equations for thread extraction.
Revised:  We show that a kernel of this syntax can replace PGA as a carrier for program algebra by providing axioms for defining single-pass congruence and structural congruence, and thread extraction.
Edit intent: clarity
Original:  Finally, we discuss the related program notation PGLA that serves as a basis for PGA's tool set .
Revised:  Finally, we discuss the related program notation PGLA that serves as a basis for PGA's toolset .
Edit intent: fluency
Original:  This  is motivated by characteristic differences in the spectra of beats during the three rhythms.
Revised:  This is motivated by characteristic differences in the spectra of beat timings during the three rhythms.
Edit intent: clarity
Original:  We plot patient data derived from 10-beat windows on a `disorder map' and identify rhythm-defining ranges in the level and variance of spectral entropy values.
Revised:  We plot patient data derived from ten-beat windows on a `disorder map' and identify rhythm-defining ranges in the level and variance of spectral entropy values.
Edit intent: fluency
Original:  We plot patient data derived from 10-beat windows on a `disorder map' and identify rhythm-defining ranges in the level and variance of spectral entropy values.
Revised:  We plot patient data derived from 10-beat windows on a "disorder map" and identify rhythm-defining ranges in the level and variance of spectral entropy values.
Edit intent: fluency
Original:  When the algorithm is set to identify abnormal rhythms within 6s it agrees with 85.7\% of the annotations of professional rhythm assessors;
Revised:  When the algorithm is set to identify abnormal rhythms within 6 s it agrees with 85.7\% of the annotations of professional rhythm assessors;
Edit intent: fluency
Original:  for a response time of 30s this becomes 89.5\%, and with 60s it is 90.3\%.
Revised:  for a response time of 30 s this becomes 89.5\%, and with 60s it is 90.3\%.
Edit intent: fluency
Original:  for a response time of 30s this becomes 89.5\%, and with 60s it is 90.3\%.
Revised:  for a response time of 30s this becomes 89.5\%, and with 60 s it is 90.3\%.
Edit intent: fluency
Original:  The algorithm provides a rapid way to detect atrial fibrillation, demonstrating usable response times as low as six seconds .
Revised:  The algorithm provides a rapid way to detect atrial fibrillation, demonstrating usable response times as low as 6 s .
Edit intent: clarity
Original: Multirhythmicity, the coexistence of multiple stable oscillatory states in a dynamic system, is explored in two models of a bursting nerve cell.
Revised: Multirhythmicity, the coexistence of multiple oscillatory attractors in a dynamic system, is explored in two models of a bursting nerve cell.
Edit intent: clarity
Original: Multirhythmicity, the coexistence of multiple stable oscillatory states in a dynamic system, is explored in two models of a bursting nerve cell.
Revised: Multirhythmicity, the coexistence of multiple stable oscillatory states in a dynamic system, is explored in a type of bursting nerve cell.
Edit intent: clarity
Original:  We demonstrate geometrically why multirhythmicity exists in some classes of bursting neurons.
Edit intent: coherence
Original:  It is shown that in the multirhythmic  regime, spike addition during the active phase of bursting causes alternating concentric regions of contraction and expansion in the reduced vector field of the slow variables.
Revised:  It is shown that in the multirhythmic regime, spike addition during the active phase of bursting causes alternating concentric regions of contraction and expansion in the vector field of the slow variables.
Edit intent: clarity
Original:  This produces multiple concentric isolated annuluses in phase spaceand , therefore, multirhythmicity.
Revised:  This produces concentric, isolated annuluses in phase spaceand , therefore, multirhythmicity.
Edit intent: clarity
Original:  This produces multiple concentric isolated annuluses in phase spaceand , therefore, multirhythmicity.
Revised:  This produces multiple concentric isolated annuluses in state space , therefore, multirhythmicity.
Edit intent: clarity
Original: Multirhythmicity , the coexistence of multiple oscillatory attractors in a dynamic system, is explored in a type of bursting nerve cell.
Revised: Multistability , the coexistence of multiple oscillatory attractors in a dynamic system, is explored in a type of bursting nerve cell.
Edit intent: clarity
Original: Multirhythmicity , the coexistence of multiple oscillatory attractors in a dynamic system, is explored in a type of bursting nerve cell.
Revised: Multirhythmicity , the coexistence of multiple attractors in a dynamic system, is explored in a type of bursting nerve cell.
Edit intent: clarity
Original: Multirhythmicity , the coexistence of multiple oscillatory attractors in a dynamic system, is explored in a type of bursting nerve cell.
Revised: Multirhythmicity , the coexistence of multiple oscillatory attractors in a dynamical system, is explored in a type of bursting nerve cell.
Edit intent: clarity
Original:  Evidence for the existance of multirthmic behaviour in neurons of the aquatic mollusc Aplysia Californica that is consistent with our proposed mechanism is presented.
Revised:  Evidence for the existence of multirhythmic behavior in neurons of the aquatic mollusc Aplysia Californica that is consistent with our proposed mechanism is presented.
Edit intent: fluency
Original:  Evidence for the existance of multirthmic behaviour in neurons of the aquatic mollusc Aplysia Californica that is consistent with our proposed mechanism is presented.
Revised:  Evidence for the existance of multirthmic behaviour in neurons of the aquatic mollusc Aplysia californica that is consistent with our proposed mechanism is presented.
Edit intent: fluency
Original:  Although these experimental results are preliminary, they indicate that single neurons may be capable of dynamically storing temporal information for longer time scales than typically attributed to non-synaptic mechanisms
Revised:  Although these experimental results are preliminary, they indicate that single neurons may be capable of dynamically storing information for longer time scales than typically attributed to non-synaptic mechanisms
Edit intent: clarity
Original:  Although these experimental results are preliminary, they indicate that single neurons may be capable of dynamically storing temporal information for longer time scales than typically attributed to non-synaptic mechanisms
Revised:  Although these experimental results are preliminary, they indicate that single neurons may be capable of dynamically storing temporal information for longer time scales than typically attributed to nonsynaptic mechanisms.
Edit intent: fluency
Original: This paper deals with products of moderate-size primes, familiarly known as %DIFDELCMD < {\sl %%% smooth numbers . Smooth numbers play an crucial role in information theory, signal processing and cryptography.
Revised: This paper deals with products of moderate-size primes, familiarly known as %DIFDELCMD < {\sl %%% smooth numbers . Smooth numbers play an crucial role in information theory, signal processing and cryptography.
Edit intent: fluency
Original:  Smooth numbers play an crucial role in information theory, signal processing and cryptography.
Revised:  Smooth numbers play a crucial role in information theory, signal processing and cryptography.
Edit intent: fluency
Original: In the paper the n-ary k-valued functions (k>2) on a finite set of k elements with essential arity gap equal to p, p<k are investigated.
Revised: Given an n-ary k-valued functions (k>2) on a finite set of k elements with essential arity gap equal to p, p<k are investigated.
Edit intent: clarity
Original:  We particularly solve a problem concerning the explicit determination of n-ary k-valued functions f with 2 < gap(f)\leq n\leq k.
Revised:  We particularly solve a problem concerning the explicit determination of n-ary k-valued functions f with 2 \leq gap(f)\leq n\leq k.
Edit intent: clarity
Original:  These cell-penetrating peptides (CPPs)  when fused to biologically active peptides promise to be medically useful .
Revised:  These cell-penetrating peptides (CPPs) promise to be medically useful when fused to biologically active peptides promise to be medically useful .
Edit intent: fluency
Original:  These cell-penetrating peptides (CPPs)  when fused to biologically active peptides promise to be medically useful .
Revised:  These cell-penetrating peptides (CPPs) when fused to biologically active peptides .
Edit intent: clarity
Original:  I offer a simple model in which phosphatidylserines (and possibly other anions) transduce CPPs.
Revised:  I offer a simple model in which phosphatidylserines transduce CPPs.
Edit intent: clarity
Original:  The model is consistent with the empirical upper limit on the cargo peptide of about 50 amino acids .
Revised:  The model is consistent with an empirical upper limit on the cargo peptide of about 50 amino acids .
Edit intent: fluency
Original: We analyze how node mobility can influence the convergence time of averaging gossip algorithms on networks .
Revised: The influence of node mobility on the convergence time of averaging gossip algorithms on networks .
Edit intent: clarity
Original:  We develop a method for deriving lower bounds on the convergence time by merging nodes according to their mobility pattern.
Revised:  A method is developed for deriving lower bounds on the convergence time by merging nodes according to their mobility pattern.
Edit intent: clarity
Original:  We use this method to show that if the agents have one-dimensional mobility in the same direction the convergence time is improved by at most a constant.
Revised:  This method is used to show that if the agents have one-dimensional mobility in the same direction the convergence time is improved by at most a constant.
Edit intent: clarity
Original:  We also obtain upper bounds on the convergence time using the Poincar\'{e and show that simple models of mobility can dramatically accelerate gossip as long as the mobility paths significantly overlap.
Revised:  Upper bounds are obtained on the convergence time using the Poincar\'{e and show that simple models of mobility can dramatically accelerate gossip as long as the mobility paths significantly overlap.
Edit intent: clarity
Original:  We use simulations to show that our bounds are still valid for more general mobility models that seem analytically intractable, and further illustrate that different mobility patterns can have significantly different effects on the convergence of distributed algorithms.
Revised:  Simulations show that these bounds are still valid for more general mobility models that seem analytically intractable, and further illustrate that different mobility patterns can have significantly different effects on the convergence of distributed algorithms.
Edit intent: clarity
Original:  Simulations show that these bounds are still valid for more general mobility models that seem analytically intractable, and further illustrate that different mobility patterns can have significantly different effects on the convergence of distributed algorithms.
Revised:  Simulations verify that different mobility patterns can have significantly different effects on the convergence of distributed algorithms.
Edit intent: clarity
Original:  Examining microRNA (miRNA) genes of several eukaryotic species, Borenstein and Ruppin  PNAS 103: 6593 (2006) , showed that the structure of miRNA precursor stem-loops exhibits significantly increased mutational robustness in comparison with a sample of random RNA sequences with the same stem-loop structure.
Revised:  Examining microRNA (miRNA) genes of several eukaryotic species, Borenstein and Ruppin PNAS 103: 6593 ) , showed that the structure of miRNA precursor stem-loops exhibits significantly increased mutational robustness in comparison with a sample of random RNA sequences with the same stem-loop structure.
Edit intent: coherence
Original:  We demonstrate that the sampling method used by Borenstein and Ruppin introduced significant bias that lead to an overestimation of robustness.
Edit intent: coherence
Original:  Introducing a novel measure of environmental robustness based on the equilibrium thermodynamic ensemble of secondary structures of the stem-loop sequences we demonstrate the existence of a previously unreported level of correlation between genetic (mutational) and environmental (thermodynamic) robustness induced by the biophysics of RNA folding .
Revised:  Introducing a novel measure of environmental robustness based on the equilibrium thermodynamic ensemble of secondary structures of the stem-loop sequences we demonstrate that the biophysics of RNA folding, induces a high level of correlation between genetic (mutational) and environmental (thermodynamic) robustness induced by the biophysics of RNA folding .
Edit intent: clarity
Original:  For the within-host competition between multiple viral strains, a strain with an " optimum " replication rate in the persistence range could outcompete another strain with a higher or lower replication rate, therefore natural selection of viruses stabilizes the viral persistence.
Revised:  For the within-host competition between multiple viral strains, a strain with a " optimum " replication rate in the persistence range could outcompete another strain with a higher or lower replication rate, therefore natural selection of viruses stabilizes the viral persistence.
Edit intent: fluency
Original:  For the within-host competition between multiple viral strains, a strain with an " optimum " replication rate in the persistence range could outcompete another strain with a higher or lower replication rate, therefore natural selection of viruses stabilizes the viral persistence.
Revised:  For the within-host competition between multiple viral strains, a strain with an " stable " replication rate in the persistence range could outcompete another strain with a higher or lower replication rate, therefore natural selection of viruses stabilizes the viral persistence.
Edit intent: clarity