wanyu/IteraTeR_full_sent huggingface dataset:
Original: Constructing general programmable circuits to be able to run any given unitary operator efficiently on a quantum processor is of fundamental importance. We present a new quantum circuit design technique resulting  two general programmable circuit schemes.
Revised: Unlike fixed designs, programmable circuit designs support an infinite number of operators. The functionality of a programmable circuit can be altered by simply changing the angle values of the rotation gates in the circuit. Here, we present a new quantum circuit design technique resulting two general programmable circuit schemes.
Edit intent: meaning-changed
Original:  We also give both  classical and quantum complexity analysis for these circuits and show that the circuits require a few classical computations , and the quantum complexities of them are almost the same  as non-general circuits  .
Revised:  We also give both classical and quantum complexity analysis for these circuits and show that the circuits require a few classical computations , and the quantum complexities of them are almost the same quantum complexities as non-general circuits .
Edit intent: meaning-changed
Original:  We also give both  classical and quantum complexity analysis for these circuits and show that the circuits require a few classical computations , and the quantum complexities of them are almost the same  as non-general circuits  .
Revised:  We also give both classical and quantum complexity analysis for these circuits and show that the circuits require a few classical computations , and the quantum complexities of them are almost the same as non-general circuits . Since the presented circuit designs are independent from the matrix decomposition techniques and the global optimization processes used to find quantum circuits for a given operator, high accuracy simulations can be done for the unitary propagators of molecular Hamiltonians on quantum computers. As an example, we show how to build the circuit design for the hydrogen molecule .
Edit intent: meaning-changed
Original: The translation-transcription process with the description of the most basic "elementary" processesconsists in: 1) production of mRNA molecules, 2) initiation of these molecules by circularization with help of initiation factors, 3) initiation of translation, recruiting the small ribosomal subunit, 4) assembly of full ribosomes, 5) elongation, i.e. movement of ribosomes along mRNA with production of protein, 6) termination of translation, 7) degradation of mRNA molecules. A certain complexity in the mathematical formulation of this process arises when one tries to take into account the phenomenon of polysome first, when several ribosomes are producing peptides on a single mRNA at the same time. This leads to multiplicity of possible states of mRNA with various numbers of ribosomes with potentially different dynamics, interaction between ribosomes and other difficulties. In this preprint we provide 1) detailed mechanistic description of the translationprocess with explicit representation of every state of translating mRNA, followed by 2) deriving the simplest and basic ODE model of coupled transcription, translation and degradation , and 3) developing a model suitable for describing all known mechanisms of miRNA action on translation.
Revised: Synthesis of proteins is one of the most fundamental biological processes, which consumes a significant amount of cellular resources. Despite many efforts to produce detailed mechanistic mathematical models of translation, no basic and simple kinetic model of mRNA lifecycle ( transcription, translation and degradation , and 3) developing a model suitable for describing all known mechanisms of miRNA action on translation.
Edit intent: meaning-changed
Original:  In this preprint we provide 1) detailed mechanistic description of the translationprocess with explicit representation of every state of translating mRNA, followed by 2) deriving the simplest and basic ODE model of coupled transcription, translation and degradation , and 3) developing a model suitable for describing all known mechanisms of miRNA action on translation. The basic model is constructed by correct lumping of the detailed model states and by separating the description of ribosomal turnover. It remains linear under assumption of that the translation is not limited by availability of ribosomal subunits or initiation factors. The only serious limitation of this type of translation modeling is in that it does not take into account possible interactions between ribosomes.
Revised:  In this preprint we provide 1) detailed mechanistic description of the translationprocess with explicit representation of every state of translating mRNA, followed by 2) deriving the simplest and basic ODE model of coupled transcription, translation and degradation ) exists. We build such a model by lumping multiple states of translated mRNA into few dynamical variables and introducing a pool of translating ribosomes. The basic and simple model can be extended, if necessary, to take into account possible interactions between ribosomes.
Edit intent: clarity
Original:  The only serious limitation of this type of translation modeling is in that it does not take into account possible interactions between ribosomes. The latter might lead to more complex phenomena which can be taken into account in simulatory models of the detailed representation of translation at the cost of more difficult analytical analysis of the model .
Revised:  The only serious limitation of this type of translation modeling is in that it does not take into account various phenomena such as the interaction between translating ribosomes or regulation of translation by microRNA. The model can be used as a building block (translation module) for more complex models of cellular processes .
Edit intent: clarity
Original:  Despite many efforts to produce detailed mechanistic mathematical models of translation,  no basic and simple  kinetic model of mRNA lifecycle (transcription, translation and degradation) exists.
Revised:  Despite many efforts to produce detailed mechanistic mathematical models of translation, varying in the level of mechanistical details, surprisingly, there is no basic and simple kinetic model of mRNA lifecycle (transcription, translation and degradation) exists.
Edit intent: meaning-changed
Original:  Despite many efforts to produce detailed mechanistic mathematical models of translation,  no basic and simple  kinetic model of mRNA lifecycle (transcription, translation and degradation) exists. We build such a model by lumping multiple states of translated mRNA into few dynamical variables and introducing a pool of translating ribosomes.
Revised:  Despite many efforts to produce detailed mechanistic mathematical models of translation, no basic and simple kinetic model of this process, derived directly from the detailed kinetic model. One of the reasons for this is that the translation process is characterized by indefinite number of states, thanks to existence of polysomes. We bypass this difficulty by applying a trick consisting in lumping multiple states of translated mRNA into few dynamical variables and introducing a pool of translating ribosomes.
Edit intent: meaning-changed
Original:  The  basic and simple model can be extended, if necessary, to take into account various phenomena such as the interaction between translating ribosomes  or regulation of translation by microRNA.
Revised:  The simplest model can be solved analytically under some assumptions. The basic and simple model can be extended, if necessary, to take into account various phenomena such as the interaction between translating ribosomes or regulation of translation by microRNA.
Edit intent: meaning-changed
Original:  The model can be used as a building block (translation module) for more complex models of cellular processes  .
Revised:  The model can be used as a building block (translation module) for more complex models of cellular processes . We demonstrate the utility of the model in two examples. First, we determine the critical parameters of the single protein synthesis for the case when the ribosomal units are abundant. Second, we demonstrate intrinsic bi-stability in the dynamics of the ribosomal protein turnover and predict that a minimal number of ribosomes should pre-exists in a living cell to sustain its protein synthesis machinery, even in the absence of proliferation .
Edit intent: meaning-changed
Original: We prove weak and strong maximum principles, including a Hopf lemma, for classical solutions to equations defined by linear, second-order, partial differential operators with non-negative characteristic form (degenerate-elliptic operators), in the presence of a second-order boundarycondition of Ventcel type along the degeneracy locus of the principle symbol of the operator on the domain boundary.
Revised: We prove weak and strong maximum principles, including a Hopf lemma, for smooth subsolutions to equations defined by linear, second-order, partial differential operators with non-negative characteristic form (degenerate-elliptic operators), in the presence of a second-order boundarycondition of Ventcel type along the degeneracy locus of the principle symbol of the operator on the domain boundary.
Edit intent: clarity
Original: We prove weak and strong maximum principles, including a Hopf lemma, for classical solutions to equations defined by linear, second-order, partial differential operators with non-negative characteristic form (degenerate-elliptic operators), in the presence of a second-order boundarycondition of Ventcel type along the degeneracy locus of the principle symbol of the operator on the domain boundary.
Revised: We prove weak and strong maximum principles, including a Hopf lemma, for classical solutions to equations defined by linear, second-order, partial differential operators whose principal symbols vanish along a portion of the domain boundary. The boundary regularity property of the principle symbol of the operator on the domain boundary.
Edit intent: clarity
Original: We prove weak and strong maximum principles, including a Hopf lemma, for classical solutions to equations defined by linear, second-order, partial differential operators with non-negative characteristic form (degenerate-elliptic operators), in the presence of a second-order boundarycondition of Ventcel type along the degeneracy locus of the principle symbol of the operator on the domain boundary. We apply these maximum principles to obtain uniqueness and a priori maximum principle estimates for classical solutions to boundary value and obstacle problems defined by these degenerate-elliptic operators , again in the presence of a second-order boundary condition, for Dirichlet or Neumann boundary conditions along the complement of the degeneracy locus.
Revised: We prove weak and strong maximum principles, including a Hopf lemma, for classical solutions to equations defined by linear, second-order, partial differential operators with non-negative characteristic form (degenerate-elliptic operators), in the presence of a second-order boundarycondition of Ventcel type along the degeneracy locus of the smooth subsolutions along this boundary vanishing locus ensures that these maximum principles hold irrespective of the sign of the Fichera function. Boundary conditions need only be prescribed on the complement in the domain boundary of the principal symbol vanishing locus. We obtain uniqueness and a priori maximum principle estimates for classical solutions to boundary value and obstacle problems defined by these degenerate-elliptic operators , again in the presence of a second-order boundary condition, for Dirichlet or Neumann boundary conditions along the complement of the degeneracy locus.
Edit intent: meaning-changed
Original:  We apply these maximum principles to obtain uniqueness and a priori maximum principle estimates for classical solutions to boundary value and obstacle problems defined by these degenerate-elliptic operators , again in the presence of a second-order boundary condition, for Dirichlet or Neumann boundary conditions along the complement of the degeneracy locus.
Revised:  We apply these maximum principles to obtain uniqueness and a priori maximum principle estimates for smooth solutions to boundary value and obstacle problems defined by these degenerate-elliptic operators , again in the presence of a second-order boundary condition, for Dirichlet or Neumann boundary conditions along the complement of the degeneracy locus.
Edit intent: clarity
Original:  We apply these maximum principles to obtain uniqueness and a priori maximum principle estimates for classical solutions to boundary value and obstacle problems defined by these degenerate-elliptic operators , again in the presence of a second-order boundary condition, for Dirichlet or Neumann boundary conditions along the complement of the degeneracy locus.
Revised:  We apply these maximum principles to obtain uniqueness and a priori maximum principle estimates for classical solutions to boundary value and obstacle problems defined by these boundary-degenerate elliptic operators for partial Dirichlet or Neumann boundary conditions along the complement of the degeneracy locus.
Edit intent: meaning-changed
Original:  We apply these maximum principles to obtain uniqueness and a priori maximum principle estimates for classical solutions to boundary value and obstacle problems defined by these degenerate-elliptic operators , again in the presence of a second-order boundary condition, for Dirichlet or Neumann boundary conditions along the complement of the degeneracy locus.
Revised:  We apply these maximum principles to obtain uniqueness and a priori maximum principle estimates for classical solutions to boundary value and obstacle problems defined by these degenerate-elliptic operators , again in the presence of a second-order boundary condition, for Dirichlet or Neumann boundary conditions along the complement of the boundary vanishing locus.
Edit intent: clarity
Original: This study conducts a comprehensive analysis of time series segmentation on the Japanese stock prices listed on the first section of the Tokyo Stock Exchange during the period from January 4 , 2000 to January 30 , 2012.
Revised: This study conducts a comprehensive analysis of time series segmentation on the Japanese stock prices listed on the first section of the Tokyo Stock Exchange during the period from 4 , 2000 to January 30 , 2012.
Edit intent: fluency
Original: This study conducts a comprehensive analysis of time series segmentation on the Japanese stock prices listed on the first section of the Tokyo Stock Exchange during the period from January 4 , 2000 to January 30 , 2012.
Revised: This study conducts a comprehensive analysis of time series segmentation on the Japanese stock prices listed on the first section of the Tokyo Stock Exchange during the period from January 4 January 2000 to January 30 , 2012.
Edit intent: meaning-changed
Original: This study conducts a comprehensive analysis of time series segmentation on the Japanese stock prices listed on the first section of the Tokyo Stock Exchange during the period from January 4 , 2000 to January 30 , 2012.
Revised: This study conducts a comprehensive analysis of time series segmentation on the Japanese stock prices listed on the first section of the Tokyo Stock Exchange during the period from January 4 , 2000 to 30 , 2012.
Edit intent: clarity
Original: This study conducts a comprehensive analysis of time series segmentation on the Japanese stock prices listed on the first section of the Tokyo Stock Exchange during the period from January 4 , 2000 to January 30 , 2012.
Revised: This study conducts a comprehensive analysis of time series segmentation on the Japanese stock prices listed on the first section of the Tokyo Stock Exchange during the period from January 4 , 2000 to January 30 January 2012.
Edit intent: meaning-changed
Original:  An " (\alpha,\sigma^{2) -matrix" containing, given options' moneyness and maturities, values of the parameters \alpha and \sigma^{2} that make the theoretical option price agree with the market price is constructed.
Revised:  ) -matrix" containing, given options' moneyness and maturities, values of the parameters \alpha and \sigma^{2} that make the theoretical option price agree with the market price is constructed.
Edit intent: coherence
Original: We introduce and analyze a minimal model of epigenetic silencing in budding yeast, built only uponknown biomolecular interactions in the system ,a posteriori identifying the key ones necessary for bistability of epigenetic states.
Revised: We introduce and analyze a minimal model of epigenetic silencing in budding yeast, built known biomolecular interactions in the system ,a posteriori identifying the key ones necessary for bistability of epigenetic states.
Edit intent: clarity
Original: We introduce and analyze a minimal model of epigenetic silencing in budding yeast, built only uponknown biomolecular interactions in the system ,a posteriori identifying the key ones necessary for bistability of epigenetic states.
Revised: We introduce and analyze a minimal model of epigenetic silencing in budding yeast, built only uponupon known biomolecular interactions in the system ,a posteriori identifying the key ones necessary for bistability of epigenetic states.
Edit intent: fluency
Original: We introduce and analyze a minimal model of epigenetic silencing in budding yeast, built only uponknown biomolecular interactions in the system ,a posteriori identifying the key ones necessary for bistability of epigenetic states.
Revised: We introduce and analyze a minimal model of epigenetic silencing in budding yeast, built only uponknown biomolecular interactions in the system a posteriori identifying the key ones necessary for bistability of epigenetic states.
Edit intent: fluency
Original: We introduce and analyze a minimal model of epigenetic silencing in budding yeast, built only uponknown biomolecular interactions in the system ,a posteriori identifying the key ones necessary for bistability of epigenetic states.
Revised: We introduce and analyze a minimal model of epigenetic silencing in budding yeast, built only uponknown biomolecular interactions in the system , identifying the key ones necessary for bistability of epigenetic states.
Edit intent: coherence
Original: We introduce and analyze a minimal model of epigenetic silencing in budding yeast, built only uponknown biomolecular interactions in the system ,a posteriori identifying the key ones necessary for bistability of epigenetic states.
Revised: We introduce and analyze a minimal model of epigenetic silencing in budding yeast, built only uponknown biomolecular interactions in the system ,a posteriori . Doing so, we identify the epigenetic marks essential for the bistability of epigenetic states.
Edit intent: clarity
Original:  More remarkably, besides the silenced and transcriptionally active fate of chromatin, our model leads to a novel state with bivalent  marks under certain perturbations (knock-out mutations, inhibition or enhancement of enzymatic activity).
Revised:  Besides the silenced and transcriptionally active fate of chromatin, our model leads to a novel state with bivalent marks under certain perturbations (knock-out mutations, inhibition or enhancement of enzymatic activity).
Edit intent: coherence
Original:  More remarkably, besides the silenced and transcriptionally active fate of chromatin, our model leads to a novel state with bivalent  marks under certain perturbations (knock-out mutations, inhibition or enhancement of enzymatic activity).
Revised:  More remarkably, besides the silenced and transcriptionally active fate of chromatin, our model leads to a novel state with bivalent (i.e., both active and silencing) marks under certain perturbations (knock-out mutations, inhibition or enhancement of enzymatic activity).
Edit intent: meaning-changed
Original:  we discuss the behavior of Sir protein recruitment, spreading and stability of silenced regions in commonly-studied mutants (e.g., \emph{sas2}%DIFAUXCMD %DIFDELCMD < \varDelta%%% ,\emph{dot1}%DIFAUXCMD %DIFDELCMD < \varDelta%%%  ) illuminating the controversial role of Dot1 in the systems biology of yeast silencing.
Revised:  we discuss the behavior of Sir protein recruitment, spreading and stability of silenced regions in commonly-studied mutants (e.g., \emph{}%DIFAUXCMD %DIFDELCMD < \varDelta%%% ,\emph{dot1}%DIFAUXCMD %DIFDELCMD < \varDelta%%% ) illuminating the controversial role of Dot1 in the systems biology of yeast silencing.
Edit intent: clarity
Original:  we discuss the behavior of Sir protein recruitment, spreading and stability of silenced regions in commonly-studied mutants (e.g., \emph{sas2}%DIFAUXCMD %DIFDELCMD < \varDelta%%% ,\emph{dot1}%DIFAUXCMD %DIFDELCMD < \varDelta%%%  ) illuminating the controversial role of Dot1 in the systems biology of yeast silencing.
Revised:  we discuss the behavior of Sir protein recruitment, spreading and stability of silenced regions in commonly-studied mutants (e.g., \emph{sas2}%DIFAUXCMD %DIFDELCMD < \varDelta%%% \emph{dot1}%DIFAUXCMD %DIFDELCMD < \varDelta%%% ) illuminating the controversial role of Dot1 in the systems biology of yeast silencing.
Edit intent: fluency
Original:  we discuss the behavior of Sir protein recruitment, spreading and stability of silenced regions in commonly-studied mutants (e.g., \emph{sas2}%DIFAUXCMD %DIFDELCMD < \varDelta%%% ,\emph{dot1}%DIFAUXCMD %DIFDELCMD < \varDelta%%%  ) illuminating the controversial role of Dot1 in the systems biology of yeast silencing.
Revised:  we discuss the behavior of Sir protein recruitment, spreading and stability of silenced regions in commonly-studied mutants (e.g., \emph{sas2}%DIFAUXCMD %DIFDELCMD < \varDelta%%% ,\emph{}%DIFAUXCMD %DIFDELCMD < \varDelta%%% ) illuminating the controversial role of Dot1 in the systems biology of yeast silencing.
Edit intent: fluency
Original:  we discuss the behavior of Sir protein recruitment, spreading and stability of silenced regions in commonly-studied mutants (e.g., \emph{sas2}%DIFAUXCMD %DIFDELCMD < \varDelta%%% ,\emph{dot1}%DIFAUXCMD %DIFDELCMD < \varDelta%%%  ) illuminating the controversial role of Dot1 in the systems biology of yeast silencing.
Revised:  we discuss the behavior of Sir protein recruitment, spreading and stability of silenced regions in commonly-studied mutants (e.g., \emph{sas2}%DIFAUXCMD %DIFDELCMD < \varDelta%%% ,\emph{dot1}%DIFAUXCMD %DIFDELCMD < \varDelta%%% sas2, dot1 ) illuminating the controversial role of Dot1 in the systems biology of yeast silencing.
Edit intent: meaning-changed
Original:  The increasing dissatisfaction with the postulates of traditional economics i.e. perfectly rational agents, interacting through efficient markets in the search of equilibrium, has created new incentives for different approcahes in economics.
Revised:  The increasing dissatisfaction with the postulates of traditional economics i.e. perfectly rational agents, interacting through efficient markets in the search of equilibrium, has created new incentives for different approaches in economics.
Edit intent: fluency
Original:  9%DIFDELCMD < ] %%% builds on cognitive and emotional models of agents, Neuroeconomics addresses the neurobiological basis of valuation of choices 8%DIFDELCMD < ]%%% , 7%DIFDELCMD < ] %%% or Evolutionary economics 3%DIFDELCMD < ]%%% , 5%DIFDELCMD < ]%%% , 4%DIFDELCMD < ]%%% , 1%DIFDELCMD < ]%%% , 6%DIFDELCMD < ] %%% which strives for a new understanding of the economy as a complex evolutionary system, composed of agents that adapt to endogenous patterns out of equilibrium regions.
Revised:  %DIFDELCMD < ] %%% builds on cognitive and emotional models of agents, Neuroeconomics addresses the neurobiological basis of valuation of choices 8%DIFDELCMD < ]%%% , 7%DIFDELCMD < ] %%% or Evolutionary economics 3%DIFDELCMD < ]%%% , 5%DIFDELCMD < ]%%% , 4%DIFDELCMD < ]%%% , 1%DIFDELCMD < ]%%% , 6%DIFDELCMD < ] %%% which strives for a new understanding of the economy as a complex evolutionary system, composed of agents that adapt to endogenous patterns out of equilibrium regions.
Edit intent: fluency