wanyu/IteraTeR_v2 huggingface dataset:
Original:  For the proportional reinsurance we can observe for example the interesting phenomenon that is dependence of choice of the optimal barrier  on the initial reserves.
Revised:  For the proportional reinsurance we can observe for example the interesting phenomenon that choice of the optimal barrier on the initial reserves.
Edit intent: clarity
Original:  For the proportional reinsurance we can observe for example the interesting phenomenon that is dependence of choice of the optimal barrier  on the initial reserves.
Revised:  For the proportional reinsurance we can observe for example the interesting phenomenon that is dependence of choice of the optimal barrier depends on the initial reserves.
Edit intent: clarity
Original:  This is a contrast to the one-dimensional Cram\'{e}r-Lundberg model where the optimal choice of barrier among optimal barrier strategies is uniform for all initial reserves.
Revised:  This is in contrast with the one-dimensional Cram\'{e}r-Lundberg model where the optimal choice of barrier among optimal barrier strategies is uniform for all initial reserves.
Edit intent: fluency
Original:  This is a contrast to the one-dimensional Cram\'{e}r-Lundberg model where the optimal choice of barrier among optimal barrier strategies is uniform for all initial reserves.
Revised:  This is a contrast to the one-dimensional Cram\'{e}r-Lundberg model where the optimal choice of the barrier is uniform for all initial reserves.
Edit intent: clarity
Original:  With logical operators standing for operations on games, the formalism of CL is open-ended, and has already undergone series of extensions.
Revised:  With logical operators standing for operations on games, the formalism of CoL is open-ended, and has already undergone series of extensions.
Edit intent: clarity
Original:  This article extends the expressive power of CL in a qualitatively new way, generalizing formulas (to which the earlier languages of CL were limited) to circuit-style structures termed cirquents.
Revised:  This article extends the expressive power of CoL in a qualitatively new way, generalizing formulas (to which the earlier languages of CL were limited) to circuit-style structures termed cirquents.
Edit intent: clarity
Original:  This article extends the expressive power of CL in a qualitatively new way, generalizing formulas (to which the earlier languages of CL were limited) to circuit-style structures termed cirquents.
Revised:  This article extends the expressive power of CL in a qualitatively new way, generalizing formulas (to which the earlier languages of CoL were limited) to circuit-style structures termed cirquents.
Edit intent: clarity
Original:  Among the many advantages offered by this ability is that it allows us to capture, refine and generalize the well known independence-friendly logic which, after the present leap forward, naturally becomes a conservative fragment of CL , just as classical logic had been known to be a conservative fragment of the formula-based version of CL . Technically, this paper is self-contained, and can be read without any prior familiarity with CL .
Revised:  Among the many advantages offered by this ability is that it allows us to capture, refine and generalize the well known independence-friendly logic which, after the present leap forward, naturally becomes a conservative fragment of CoL , just as classical logic had been known to be a conservative fragment of the formula-based version of CL . Technically, this paper is self-contained, and can be read without any prior familiarity with CL .
Edit intent: clarity
Original:  Among the many advantages offered by this ability is that it allows us to capture, refine and generalize the well known independence-friendly logic which, after the present leap forward, naturally becomes a conservative fragment of CL , just as classical logic had been known to be a conservative fragment of the formula-based version of CL . Technically, this paper is self-contained, and can be read without any prior familiarity with CL .
Revised:  Among the many advantages offered by this ability is that it allows us to capture, refine and generalize the well known independence-friendly logic which, after the present leap forward, naturally becomes a conservative fragment of CL , just as classical logic had been known to be a conservative fragment of the formula-based version of CoL . Technically, this paper is self-contained, and can be read without any prior familiarity with CL .
Edit intent: clarity
Original:  Among the many advantages offered by this ability is that it allows us to capture, refine and generalize the well known independence-friendly logic which, after the present leap forward, naturally becomes a conservative fragment of CL , just as classical logic had been known to be a conservative fragment of the formula-based version of CL . Technically, this paper is self-contained, and can be read without any prior familiarity with CL .
Revised:  Among the many advantages offered by this ability is that it allows us to capture, refine and generalize the well known independence-friendly logic which, after the present leap forward, naturally becomes a conservative fragment of CL , just as classical logic had been known to be a conservative fragment of the formula-based version of CL . Technically, this paper is self-contained, and can be read without any prior familiarity with CoL .
Edit intent: clarity
Original: Computability logic (CoL) (see URL is a recently introduced semantical platform and ambitious program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth which logic has more traditionally been.
Revised: Computability logic (CoL) (see URL is a recently introduced semantical platform and ambitious program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth that logic has more traditionally been.
Edit intent: fluency
Original:  We prove that the linearized system is governed by a quasicontraction semigroup.
Revised:  We prove that the linearised system is governed by a quasicontraction semigroup.
Edit intent: fluency
Original:  In a special case of the model ingredients we discuss the nonlinear dynamics of the system when the spectral bound of the linearized operator equals zero, i.e. when linearization does not decide stability.
Revised:  In a special case of the model ingredients we discuss the nonlinear dynamics of the system when the spectral bound of the linearised operator equals zero, i.e. when linearization does not decide stability.
Edit intent: fluency
Original:  In a special case of the model ingredients we discuss the nonlinear dynamics of the system when the spectral bound of the linearized operator equals zero, i.e. when linearization does not decide stability.
Revised:  In a special case of the model ingredients we discuss the nonlinear dynamics of the system when the spectral bound of the linearized operator equals zero, i.e. when linearisation does not decide stability.
Edit intent: fluency
Original:  In fact, the linearized system exhibits bistability, for a certain range of values of the external inflow, induced potentially by Allee-effect .
Revised:  In fact, the linearised system exhibits bistability, for a certain range of values of the external inflow, induced potentially by Allee-effect .
Edit intent: fluency
Original:  In fact, the linearized system exhibits bistability, for a certain range of values of the external inflow, induced potentially by Allee-effect .
Revised:  In fact, the linearized system exhibits bistability, for a certain range of values of the external inflow, induced potentially by All\'{e .
Edit intent: clarity
Original: In this paper we present and study the connectivity problem for wireless networks under the Signal to Interference plus Noise Ratio (SINR) model.
Revised: In this paper we study the connectivity problem for wireless networks under the Signal to Interference plus Noise Ratio (SINR) model.
Edit intent: coherence
Original:  We investigate the dynamics of quantum entanglement in this model, and demonstrate intriguing connections between radical-pair entanglement and the magnetic field sensitivity of the compass.
Revised:  We calculate the dynamics of quantum entanglement in this model, and demonstrate intriguing connections between radical-pair entanglement and the magnetic field sensitivity of the compass.
Edit intent: clarity
Original:  The nature of the nuclear-spin environment plays an essential role for the observed effects .
Revised:  Beyond their immediate application to the radical pair mechanism, these results also demonstrate how state-of-art quantum technologies could potentially be used to probe and control biological functions in living animals .
Edit intent: clarity
Original:  Beyond their immediate application to the radical pair mechanism, these results also demonstrate how state-of-art quantum technologies could potentially be used to probe and control biological functions in living animals.
Revised:  Beyond their immediate application to the radical pair mechanism, these results also demonstrate how state-of-art quantum technologies could potentially be used to probe and control biological functions in animals.
Edit intent: clarity
Original:  Here, we show how quantum control can be used to either enhance or reduce the performance of such a chemical compass, providing a  route to further test this hypothesis experimentally.
Revised:  Here, we show how quantum control can be used to either enhance or reduce the performance of such a chemical compass, providing a new route to further test this hypothesis experimentally.
Edit intent: clarity
Original:  We calculate the dynamics of quantum entanglement in this model , and demonstrate intriguing connections between radical-pair entanglement and the magnetic field sensitivity of the compass.
Revised:  We calculate the dynamics of quantum entanglement in this mechanism , and demonstrate intriguing connections between radical-pair entanglement and the magnetic field sensitivity of the compass.
Edit intent: clarity
Original:  Beyond their immediate application to the radical pair mechanism, these results also demonstrate how state-of-art quantum technologies could potentially be used to probe and control biological functions in animals .
Revised:  Beyond their immediate application to the radical pair mechanism, these results also demonstrate how state-of-the-art quantum technologies could potentially be used to probe and control biological functions in animals .
Edit intent: fluency
Original:  Beyond their immediate application to the radical pair mechanism, these results also demonstrate how state-of-art quantum technologies could potentially be used to probe and control biological functions in animals .
Revised:  Beyond their immediate application to the radical pair mechanism, these results also demonstrate how state-of-art quantum technologies could potentially be used to probe and control biological functions .
Edit intent: clarity
Original:  We then relate our theoretical findings to the nematic ordering observed in Hen Lysozyme fibril solution and find reasonable agreement between theory and experiments .
Revised:  We then relate our theoretical findings to the nematic ordering observed in Hen Lysozyme fibril solution .
Edit intent: coherence
Original:  We study communication systems that utilize the limited feedback in the form of link-layer Automatic Repeat-reQuest (ARQ) to maximize the physical-layer transmission rate , subject to a certain upper bound on the expected packet error rate .
Revised:  We study communication systems that utilize the limited feedback in the form of link-layer Automatic Repeat-reQuest (ARQ) , we maximize the physical-layer transmission rate , subject to a certain upper bound on the expected packet error rate .
Edit intent: clarity
Original:  We study communication systems that utilize the limited feedback in the form of link-layer Automatic Repeat-reQuest (ARQ) to maximize the physical-layer transmission rate , subject to a certain upper bound on the expected packet error rate .
Revised:  We study communication systems that utilize the limited feedback in the form of link-layer Automatic Repeat-reQuest (ARQ) to maximize the physical-layer transmission rate subject to an upper bound on the expected packet error rate .
Edit intent: clarity
Original:  We assume that there is no knowledge of the prior distribution of the channel state at the transmitter .
Revised:  We assume that there is no knowledge of the prior distribution of the channel state .
Edit intent: clarity
Original:  We first analyze the fundamental limitations of such systems and derive an upper bound on the achievable rate for signalling schemes based on uncoded modulation with QAM and random-coded modulation with Gaussian ensembles.
Revised:  We first analyze the fundamental limitations of such systems and derive an upper bound on the achievable rate for signalling schemes based on uncoded QAM and random Gaussian ensembles.
Edit intent: fluency
Original:  Based on limited feedback in the form of link-layer Automatic Repeat-reQuest (ARQ) , we maximize the physical-layer transmission rate subject to an upper bound on the expected packet error rate without assuming any particular prior distribution on the channel state.
Revised:  In particular, based on limited feedback in the form of link-layer Automatic Repeat-reQuest (ARQ) , we maximize the physical-layer transmission rate subject to an upper bound on the expected packet error rate without assuming any particular prior distribution on the channel state.
Edit intent: coherence
Original:  In particular, based on limited feedback in the form of link-layer acknowledgements (ACK) and negative acknowledgements (NAK), we maximize the physical-layer transmission rate subject to an upper bound on the expected packet error rate without assuming any particular prior distribution on the channel state.
Revised:  In particular, based on limited feedback in the form of link-layer acknowledgements (ACK) and negative acknowledgements (NAK), we maximize the physical-layer transmission rate subject to an upper bound on the expected packet error rate . \textr{We take a robust approach in that we do not assume any particular prior distribution on the channel state.
Edit intent: coherence
Original:  We first analyze the fundamental limitations of such systems and derive an upper bound on the achievable rate for signalling schemes based on uncoded QAM and random Gaussian ensembles.
Revised:  We first analyze the fundamental limitations of such systems and derive an upper bound on the achievable rate for signaling schemes based on uncoded QAM and random Gaussian ensembles.
Edit intent: fluency
Original:  However, individual artifacts such as instrument data and associated calibration information may have little value alone ;
Revised:  However, artifacts such as instrument data and associated calibration information may have little value alone ;
Edit intent: clarity
Original:  However, individual artifacts such as instrument data and associated calibration information may have little value alone ;
Revised:  However, individual artifacts such as instrument data and associated calibration information may have little value in isolation ;
Edit intent: clarity
Original:  Individual artifacts thus are best described and represented as components of value chains, which may be specific to the life cycle of a given research project.
Revised:  Individual artifacts are best represented as components of value chains, which may be specific to the life cycle of a given research project.
Edit intent: clarity
Original:  Individual artifacts thus are best described and represented as components of value chains, which may be specific to the life cycle of a given research project.
Revised:  Individual artifacts thus are best described and represented as components of a life cycle that is specific to a scientific research domain or project.
Edit intent: clarity
Original:  The Open Archives Initiative - Object Reuse and Exchange protocol (OAI-ORE) meets these requirements.
Revised:  The Open Archives Initiative 's Object Reuse and Exchange protocol (OAI-ORE) meets these requirements.
Edit intent: fluency
Original:  We demonstrate , through the use of case studies in seismology and environmental engineering, how OAI-ORE can be used to express value chains within a life cycle of scientific research . By establishing the relationships between publications, data, and contextual research information, we can obtain a richer and more realistic view of scholarly practices.
Revised:  We demonstrate , through the use of case studies in seismology and environmental sciences . By establishing the relationships between publications, data, and contextual research information, we can obtain a richer and more realistic view of scholarly practices.
Edit intent: clarity
Original:  We demonstrate , through the use of case studies in seismology and environmental engineering, how OAI-ORE can be used to express value chains within a life cycle of scientific research . By establishing the relationships between publications, data, and contextual research information, we can obtain a richer and more realistic view of scholarly practices.
Revised:  We demonstrate , through the use of case studies in seismology and environmental engineering, how OAI-ORE can be used to express value chains within a life cycle of scientific research . By establishing relationships between publications, data, and contextual research information, we can obtain a richer and more realistic view of scholarly practices.
Edit intent: fluency
Original:  We demonstrate , through the use of case studies in seismology and environmental engineering, how OAI-ORE can be used to express value chains within a life cycle of scientific research . By establishing the relationships between publications, data, and contextual research information, we can obtain a richer and more realistic view of scholarly practices.
Revised:  We demonstrate , through the use of case studies in seismology and environmental engineering, how OAI-ORE can be used to express value chains within a life cycle of scientific research . By establishing the relationships between publications, data, and contextual research information, we illustrate how to obtain a richer and more realistic view of scholarly practices.
Edit intent: coherence
Original:  We demonstrate , through the use of case studies in seismology and environmental engineering, how OAI-ORE can be used to express value chains within a life cycle of scientific research . By establishing the relationships between publications, data, and contextual research information, we can obtain a richer and more realistic view of scholarly practices.
Revised:  We demonstrate , through the use of case studies in seismology and environmental engineering, how OAI-ORE can be used to express value chains within a life cycle of scientific research . By establishing the relationships between publications, data, and contextual research information, we can obtain a richer and more realistic view of scientific practices.
Edit intent: clarity
Original:  That view can be used to facilitate new forms of scientific research and learning.
Revised:  That view can facilitate new forms of scientific research and learning.
Edit intent: clarity
Original: We confront past suggestions of a close link between terrestrial climate change and the Sun's transit of spiral arms in its path through the Milky Way galaxy.
Revised: We re-examine past suggestions of a close link between terrestrial climate change and the Sun's transit of spiral arms in its path through the Milky Way galaxy.
Edit intent: clarity
Original:  Comparing the times of these transits to changes in the climate of Earth, not only do the claimed correlations disappear, but also we find that they cannot be resurrected for any reasonable pattern speed.
Revised:  If we compare the times of these transits to changes in the climate of Earth, not only do the claimed correlations disappear, but also we find that they cannot be resurrected for any reasonable pattern speed.
Edit intent: fluency
Original:  We illustrate this procedure in a prominent example of spiking neurons, recording simultaneously from the two H1 neurons located in the lobula plate of the fly Chrysomya megacephala .
Revised:  We illustrate this procedure in a prominent example of spiking neurons, recording simultaneously from the two H1 neurons located in the lobula plate of the fly Chrysomya megacephala .
Edit intent: fluency
Original: Motivated by experiments with catenane molecules  ,   we explore quantization of the response of a molecular motor to periodic modulation of control parameters.
Revised: Motivated by experiments with catenane molecules , , we explore quantization of the response of a molecular motor to periodic modulation of control parameters.
Edit intent: fluency
Original:  We formulate a generic exact result, referred to as the Pumping-Quantization Theorem (PQT) that identifies the conditions for robust integer and fractional quantized behavior of a periodically driven molecular machine.
Revised:  We formulate a generic exact result, referred to as the Pumping-Quantization Theorem (PQT) that identifies the conditions for robust integer quantized behavior of a periodically driven molecular machine.
Edit intent: clarity
Original: Motivated by experiments with catenane molecules Leigh et al, "Nature (London)", 424, 174 (2003)%DIFDELCMD < ]%%% , we explore quantization of the response of a molecular motor to periodic modulation of control parameters.
Revised:  Leigh et al, "Nature (London)", 424, 174 (2003)%DIFDELCMD < ]%%% , we explore quantization of the response of a molecular motor to periodic modulation of control parameters.
Edit intent: coherence
Original: Motivated by experiments with catenane molecules Leigh et al, "Nature (London)", 424, 174 (2003)%DIFDELCMD < ]%%% , we explore quantization of the response of a molecular motor to periodic modulation of control parameters.
Revised: Motivated by experiments with catenane molecules %DIFDELCMD < ]%%% , we explore quantization of the response of a molecular motor to periodic modulation of control parameters.
Edit intent: coherence
Original: Motivated by experiments with catenane molecules Leigh et al, "Nature (London)", 424, 174 (2003)%DIFDELCMD < ]%%% , we explore quantization of the response of a molecular motor to periodic modulation of control parameters.
Revised: Motivated by experiments with catenane molecules Leigh et al, "Nature (London)", 424, 174 (2003)%DIFDELCMD < ]%%% We explore quantization of the response of a molecular motor to periodic modulation of control parameters.
Edit intent: fluency
Original:  We formulate a generic exact result, referred to as the Pumping-Quantization Theorem (PQT) that identifies the conditions for robust integer quantized behavior of a periodically driven molecular machine.
Revised:  We formulate the Pumping-Quantization Theorem (PQT) that identifies the conditions for robust integer quantized behavior of a periodically driven molecular machine.
Edit intent: coherence
Original:  We use the term probabilistic instruction sequence for an instruction sequence that contains probabilistic instructions, i.e. instructions that are themselves probabilistic by nature , rather than an instruction sequence of which the instructions are intended to be processed in a probabilistic way .
Revised:  We use the term probabilistic instruction sequence for an instruction sequence that contains probabilistic instructions, i.e. instructions that are themselves probabilistic by nature .
Edit intent: coherence