wanyu/IteraTeR_full_sent huggingface dataset:
Original:  The objective is to maximize the sum of the expected cumulative discounted dividends received until the moment of ruin and a penalty payment at the moment of ruin which is an increasing function of the size of the shortfall at ruin;
Revised:  The objective is to maximize the sum of the expected cumulative discounted dividend payments received until the moment of ruin and a penalty payment at the moment of ruin which is an increasing function of the size of the shortfall at ruin;
Edit intent: fluency
Original:  The solution rests on the characterization of the value-function as (i) the unique stochastic solution of the associated HJB equation and as (ii) the pointwise smallest stochastic supersolution . We show that the optimal value process admits a dividend-penalty decomposition as sum of a martingale (associated to the penalty payment at ruin) and a potential (associated to the dividend payments). We find also an explicit necessary and sufficient condition  for optimality of a single dividend-band strategy, in terms of a particular Gerber-Shiu function.
Revised:  The solution rests on the characterization of the value-function as (i) the unique stochastic solution of the associated HJB equation and as (ii) the pointwise smallest stochastic supersolution of the associated HJB equation. Furthermore, a necessary and sufficient condition for optimality of a single dividend-band strategy, in terms of a particular Gerber-Shiu function.
Edit intent: coherence
Original:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the  most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on {  rather newly released UDP-based %DIFDELCMD < \muTP %%%   protocol that is claimed to be more efficient than TCP-based clients.
Revised:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and the logs of one of the most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on { rather newly released UDP-based %DIFDELCMD < \muTP %%% protocol that is claimed to be more efficient than TCP-based clients.
Edit intent: clarity
Original:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the  most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on {  rather newly released UDP-based %DIFDELCMD < \muTP %%%   protocol that is claimed to be more efficient than TCP-based clients.
Revised:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the currently most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on { rather newly released UDP-based %DIFDELCMD < \muTP %%% protocol that is claimed to be more efficient than TCP-based clients.
Edit intent: fluency
Original:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the  most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on {  rather newly released UDP-based %DIFDELCMD < \muTP %%%   protocol that is claimed to be more efficient than TCP-based clients.
Revised:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% %DIFDELCMD < \muTorrent %%% is based on { rather newly released UDP-based %DIFDELCMD < \muTP %%% protocol that is claimed to be more efficient than TCP-based clients.
Edit intent: coherence
Original:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the  most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on {  rather newly released UDP-based %DIFDELCMD < \muTP %%%   protocol that is claimed to be more efficient than TCP-based clients.
Revised:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% \mu { rather newly released UDP-based %DIFDELCMD < \muTP %%% protocol that is claimed to be more efficient than TCP-based clients.
Edit intent: coherence
Original:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the  most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on {  rather newly released UDP-based %DIFDELCMD < \muTP %%%   protocol that is claimed to be more efficient than TCP-based clients.
Revised:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on Torrent.{ rather newly released UDP-based %DIFDELCMD < \muTP %%% protocol that is claimed to be more efficient than TCP-based clients.
Edit intent: clarity
Original:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the  most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on {  rather newly released UDP-based %DIFDELCMD < \muTP %%%   protocol that is claimed to be more efficient than TCP-based clients.
Revised:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on {\mu rather newly released UDP-based %DIFDELCMD < \muTP %%% protocol that is claimed to be more efficient than TCP-based clients.
Edit intent: fluency
Original:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the  most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on {  rather newly released UDP-based %DIFDELCMD < \muTP %%%   protocol that is claimed to be more efficient than TCP-based clients.
Revised:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on { Torrent is founded upon a rather newly released UDP-based %DIFDELCMD < \muTP %%% protocol that is claimed to be more efficient than TCP-based clients.
Edit intent: meaning-changed
Original:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the  most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on {  rather newly released UDP-based %DIFDELCMD < \muTP %%%   protocol that is claimed to be more efficient than TCP-based clients.
Revised:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on { rather newly released UDP-based %DIFDELCMD < \muTP %%% \mu protocol that is claimed to be more efficient than TCP-based clients.
Edit intent: meaning-changed
Original:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the  most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on {  rather newly released UDP-based %DIFDELCMD < \muTP %%%   protocol that is claimed to be more efficient than TCP-based clients.
Revised:  Two sources of BitTorrent data were utilized: meta-data files that describe the content of resources shared by BitTorrent users and logs of the currently one of the most popular BitTorrent clients - %DIFDELCMD < \muTorrent%%% .%DIFDELCMD < \muTorrent %%% is based on { rather newly released UDP-based %DIFDELCMD < \muTP %%% TP protocol that is claimed to be more efficient than TCP-based clients.
Edit intent: fluency
Original:  Moreover, comparative analysis of the clients' connections with and without %DIFDELCMD < \muTP %%%   protocol is carried out to verify to what extent %DIFDELCMD < \muTP %%%   improves BitTorrent transmissions.
Revised:  Moreover, comparative analysis of the clients' connections with and without %DIFDELCMD < \muTP %%% \mu protocol is carried out to verify to what extent %DIFDELCMD < \muTP %%% improves BitTorrent transmissions.
Edit intent: meaning-changed
Original:  Moreover, comparative analysis of the clients' connections with and without %DIFDELCMD < \muTP %%%   protocol is carried out to verify to what extent %DIFDELCMD < \muTP %%%   improves BitTorrent transmissions.
Revised:  Moreover, comparative analysis of the clients' connections with and without %DIFDELCMD < \muTP %%% TP protocol is carried out to verify to what extent %DIFDELCMD < \muTP %%% improves BitTorrent transmissions.
Edit intent: meaning-changed
Original:  Moreover, comparative analysis of the clients' connections with and without %DIFDELCMD < \muTP %%%   protocol is carried out to verify to what extent %DIFDELCMD < \muTP %%%   improves BitTorrent transmissions.
Revised:  Moreover, comparative analysis of the clients' connections with and without %DIFDELCMD < \muTP %%% protocol is carried out to verify to what extent %DIFDELCMD < \muTP %%% \mu improves BitTorrent transmissions.
Edit intent: meaning-changed
Original:  Moreover, comparative analysis of the clients' connections with and without %DIFDELCMD < \muTP %%%   protocol is carried out to verify to what extent %DIFDELCMD < \muTP %%%   improves BitTorrent transmissions.
Revised:  Moreover, comparative analysis of the clients' connections with and without %DIFDELCMD < \muTP %%% protocol is carried out to verify to what extent %DIFDELCMD < \muTP %%% TP improves BitTorrent transmissions.
Edit intent: meaning-changed
Original: We have studied the empirical distribution of cancellation positions through rebuilding the limit-order book using the order flow data of 23 liquid stocks traded on the Shenzhen Stock Exchange in the year 2003.
Revised: Order submission and cancellation are two constituent actions of stock trading behaviors in order-driven markets. Order submission dynamics has been extensively studied for different markets, while order cancellation dynamics is less understood. There are two positions associated with a cancellation, that is, the price level in the limit-order book (LOB) and the position in the queue at each price level. We study the profiles of these two order cancellation positions through rebuilding the limit-order book using the order flow data of 23 liquid stocks traded on the Shenzhen Stock Exchange in the year 2003.
Edit intent: meaning-changed
Original:  We then analyze the PDF of normalized relative price levels by removing the factor of order numbers stored at the price level, and find that the PDF has a power-law behavior in the tails for both buy and sell orders.
Revised:  We then analyze the PDF of normalized relative price levels by removing the factor of order numbers stored at the price level, we find that the PDF has a power-law behavior in the tails for both buy and sell orders.
Edit intent: coherence
Original:  We then analyze the PDF of normalized relative price levels by removing the factor of order numbers stored at the price level, and find that the PDF has a power-law behavior in the tails for both buy and sell orders.
Revised:  We then analyze the PDF of normalized relative price levels by removing the factor of order numbers stored at the price level, and find that the profiles exhibit a power-law behavior in the tails for both buy and sell orders.
Edit intent: clarity
Original:  We then analyze the PDF of normalized relative price levels by removing the factor of order numbers stored at the price level, and find that the PDF has a power-law behavior in the tails for both buy and sell orders.
Revised:  We then analyze the PDF of normalized relative price levels by removing the factor of order numbers stored at the price level, and find that the PDF has a power-law scaling behavior on the right tails for both buy and sell orders.
Edit intent: meaning-changed
Original:  When we focus on the probability distribution of cancellation positions at a certain price level, we find that the PDF increases rapidly in the front of the queue, and then fluctuates around a constat value until the end of the queue.
Revised:  When focusing on the order cancellation positions in the queue at each price level, we find that the PDF increases rapidly in the front of the queue, and then fluctuates around a constat value until the end of the queue.
Edit intent: clarity
Original:  When we focus on the probability distribution of cancellation positions at a certain price level, we find that the PDF increases rapidly in the front of the queue, and then fluctuates around a constat value until the end of the queue.
Revised:  When we focus on the probability distribution of cancellation positions at a certain price level, we find that the profiles increase rapidly in the front of the queue, and then fluctuates around a constat value until the end of the queue.
Edit intent: clarity
Original:  When we focus on the probability distribution of cancellation positions at a certain price level, we find that the PDF increases rapidly in the front of the queue, and then fluctuates around a constat value until the end of the queue.
Revised:  When we focus on the probability distribution of cancellation positions at a certain price level, we find that the PDF increases rapidly in the front of the queue, and then fluctuate around a constant value till the end of the queue.
Edit intent: fluency
Original:  In addtion, the PDF of cancellation positions can be fitted by the exponent function for both buy and sell orders  .
Revised:  In addtion, the PDF of cancellation positions can be fitted by the exponent function for both buy and sell orders . These two kinds of cancellation profiles seem universal for different stocks investigated and exhibit minor asymmetry between buy and sell orders. Our empirical findings shed new light on the order cancellation dynamics and pose constraints on the construction of order-driven stock market models .
Edit intent: meaning-changed
Original: The fundamental law for protein folding is the %DIFDELCMD < {\bf %%% Thermodynamic Principle : the amino acid sequence of a protein determines its native structure and the native structure has the minimum Gibbs free energy among all possible conformations of the protein.
Revised: The fundamental law for protein folding is the %DIFDELCMD < {\bf %%% Thermodynamic Principle : the amino acid sequence of a protein determines its native structure and the native structure has the minimum Gibbs free energy among all possible conformations of the protein.
Edit intent: fluency
Original: The fundamental law for protein folding is the %DIFDELCMD < {\bf %%% Thermodynamic Principle : the amino acid sequence of a protein determines its native structure and the native structure has the minimum Gibbs free energy among all possible conformations of the protein. The very essential of the thermodynamic principle, a Gibbs free energy formula G( %DIFDELCMD < \bX%%%  ) for every possible conformation %DIFDELCMD < \bX %%%  of the protein , has never been theoretically formulated from the fundamental physical laws.
Revised: The fundamental law for protein folding is the %DIFDELCMD < {\bf %%% Thermodynamic Principle : the amino acid sequence of a protein determines its native structure and the native structure has the minimum Gibbs free energy . If all chemical problems can be answered by quantum mechanics, there should be a quantum mechanics derivation of Gibbs free energy formula G( %DIFDELCMD < \bX%%% ) for every possible conformation %DIFDELCMD < \bX %%% of the protein , has never been theoretically formulated from the fundamental physical laws.
Edit intent: meaning-changed
Original:  The very essential of the thermodynamic principle, a Gibbs free energy formula G( %DIFDELCMD < \bX%%%  ) for every possible conformation %DIFDELCMD < \bX %%%  of the protein , has never been theoretically formulated from the fundamental physical laws.
Revised:  The very essential of the thermodynamic principle, a Gibbs free energy formula G( %DIFDELCMD < \bX%%% X ) for every possible conformation %DIFDELCMD < \bX %%% of the protein , has never been theoretically formulated from the fundamental physical laws.
Edit intent: meaning-changed
Original:  The very essential of the thermodynamic principle, a Gibbs free energy formula G( %DIFDELCMD < \bX%%%  ) for every possible conformation %DIFDELCMD < \bX %%%  of the protein , has never been theoretically formulated from the fundamental physical laws.
Revised:  The very essential of the thermodynamic principle, a Gibbs free energy formula G( %DIFDELCMD < \bX%%% ) for every possible conformation %DIFDELCMD < \bX %%% X of the protein , has never been theoretically formulated from the fundamental physical laws.
Edit intent: fluency
Original:  The very essential of the thermodynamic principle, a Gibbs free energy formula G( %DIFDELCMD < \bX%%%  ) for every possible conformation %DIFDELCMD < \bX %%%  of the protein , has never been theoretically formulated from the fundamental physical laws. We will apply quantum statistics to derive such a formula.
Revised:  The very essential of the thermodynamic principle, a Gibbs free energy formula G( %DIFDELCMD < \bX%%% ) for every possible conformation %DIFDELCMD < \bX %%% of the protein . We apply quantum statistics to derive such a formula.
Edit intent: clarity
Original:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Revised:  equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Edit intent: coherence
Original:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Revised:  The formula has two versions, the chemical balance version is: %DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Edit intent: fluency
Original:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Revised:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% %DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Edit intent: coherence
Original:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Revised:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% %DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Edit intent: fluency
Original:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Revised:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Edit intent: meaning-changed
Original:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Revised:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Edit intent: fluency
Original:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), equation*%DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Revised:  The formula has two versions, the chemical balance version is: equation*%DIFDELCMD < } %%% G(%DIFDELCMD < \bX%%% ) = \mu_eN_e(%DIFDELCMD < \bX%%% ) + \sum_{i=1^H \mu_i N_i(}%DIFDELCMD < \bX%%% ), %DIFDELCMD < } %%% where N_e(%DIFDELCMD < \bX%%% ) is the mean number of electrons in the space included by the first hydration shell of%DIFDELCMD < \bX%%% , \mu_e is its chemical potential;
Edit intent: fluency