wanyu/IteraTeR_v2 huggingface dataset:
Original:  The imaging descriptor Spatial Pattern of Abnormalities for Recognition of Early AD and levels of leptin and angiopoietin-2 in plasma were also found to be remarkably good descriptors, that may provide better understanding of AD pathogenesis.
Revised:  The imaging descriptor Spatial Pattern of Abnormalities for Recognition of Early AD , as well as the levels of leptin and angiopoietin-2 in plasma were also found to be remarkably good descriptors, that may provide better understanding of AD pathogenesis.
Edit intent: coherence
Original:  The imaging descriptor Spatial Pattern of Abnormalities for Recognition of Early AD and levels of leptin and angiopoietin-2 in plasma were also found to be remarkably good descriptors, that may provide better understanding of AD pathogenesis.
Revised:  The imaging descriptor Spatial Pattern of Abnormalities for Recognition of Early AD and levels of leptin and angiopoietin-2 in plasma , we corroborated previously debatable findings or provided additional information about these variables and their association with AD pathogenesis.
Edit intent: clarity
Original:  Finally, the most intriguing and novel finding was the high association of the Pregnancy-Associated Protein-A (PAPP-A)  with cognitive impairment in AD.
Revised:  Applying redescription mining on ADNI data resulted with the discovery of one largely unknown attribute: the Pregnancy-Associated Protein-A (PAPP-A) with cognitive impairment in AD.
Edit intent: clarity
Original:  Since it also shares similar substrates with A Disintegrin and  Metalloproteinase family of enzymes that act as {\alpha}-secretase to physiologically cleave amyloid precursor protein (APP) in the non-amyloidogenic pathway, it could be directly involved in  metabolism of APP very early during the disease course.
Revised:  Since it also shares similar substrates with A Disintegrin and the Metalloproteinase family of enzymes that act as {\alpha}-secretase to physiologically cleave amyloid precursor protein (APP) in the non-amyloidogenic pathway, it could be directly involved in metabolism of APP very early during the disease course.
Edit intent: fluency
Original:  Since it also shares similar substrates with A Disintegrin and  Metalloproteinase family of enzymes that act as {\alpha}-secretase to physiologically cleave amyloid precursor protein (APP) in the non-amyloidogenic pathway, it could be directly involved in  metabolism of APP very early during the disease course.
Revised:  Since it also shares similar substrates with A Disintegrin and Metalloproteinase family of enzymes that act as {\alpha}-secretase to physiologically cleave amyloid precursor protein (APP) in the non-amyloidogenic pathway, it could be directly involved in the metabolism of APP very early during the disease course.
Edit intent: fluency
Original: Over the past few years, bullying and aggression of Internet users have grown on social media platforms, prompting serious consequences to victims of all ages.
Revised: In recent years, bullying and aggression of Internet users have grown on social media platforms, prompting serious consequences to victims of all ages.
Edit intent: clarity
Original: Over the past few years, bullying and aggression of Internet users have grown on social media platforms, prompting serious consequences to victims of all ages.
Revised: Over the past few years, bullying and aggression against users on social media platforms, prompting serious consequences to victims of all ages.
Edit intent: clarity
Original:  Although this issue affects as many as half of young social media users , tools and technologies for understanding and mitigating it are scarce and mostly ineffective.
Revised:  Nonetheless , tools and technologies for understanding and mitigating it are scarce and mostly ineffective.
Edit intent: coherence
Original:  We study the properties of cyberbullies and aggressors  and what features distinguish them from regular users , alongside crowdsourced labeling provided by human annotators.
Revised:  We study the properties of cyberbullies and aggressors , and what features distinguish them from regular users , alongside crowdsourced labeling provided by human annotators.
Edit intent: fluency
Original:  Finally, we use machine learning classification algorithms to detect users exhibiting bullying and aggressive behavior, achieving over 90\% AUCROC .
Revised:  Finally, we use machine learning classification algorithms can accurately detect users exhibiting bullying and aggressive behavior, achieving over 90\% AUCROC .
Edit intent: clarity
Original:  Finally, we use machine learning classification algorithms to detect users exhibiting bullying and aggressive behavior, achieving over 90\% AUCROC .
Revised:  Finally, we use machine learning classification algorithms to detect users exhibiting bullying and aggressive behavior, achieving over 90\% AUC .
Edit intent: clarity
Original:  The proposed transferred deep regressor is applied in estimating the intensity of facial action units (2017 EmotionNet Challenge) and in particular pain intensity estimation ( UNBS-McMaster Shoulder-Pain dataset).
Revised:  The proposed transferred deep regressor is applied in estimating the intensity of pain intensity estimation ( UNBS-McMaster Shoulder-Pain dataset).
Edit intent: clarity
Original:  The proposed transferred deep regressor is applied in estimating the intensity of facial action units (2017 EmotionNet Challenge) and in particular pain intensity estimation ( UNBS-McMaster Shoulder-Pain dataset).
Revised:  The proposed transferred deep regressor is applied in estimating the intensity of facial action units (2017 EmotionNet Challenge) and in particular pain intensity estimation ( Shoulder-Pain dataset).
Edit intent: clarity
Original:  It wins the second place in the challenge and achieves the state-of-the-art performance on Shoulder-Pain dataset.
Revised:  It achieves the state-of-the-art performance on Shoulder-Pain dataset.
Edit intent: clarity
Original:  Particularly for Shoulder-Pain with the imbalance issue of different pain levels, a new weighted evaluation metric is proposed.
Revised:  Particularly for Shoulder-Pain with the imbalance issue of different pain intensities, a novel weighted evaluation metric is proposed.
Edit intent: clarity
Original: Limited annotated data is available for the research of estimating facial expression intensities.
Revised: Limited labeled data are available for the research of estimating facial expression intensities.
Edit intent: clarity
Original:  For example , the ability to train deep CNNs for automated pain assessment is limited by small datasets associated with labels of patient-reported pain intensities.
Revised:  For instance , the ability to train deep CNNs for automated pain assessment is limited by small datasets associated with labels of patient-reported pain intensities.
Edit intent: fluency
Original:  For example , the ability to train deep CNNs for automated pain assessment is limited by small datasets associated with labels of patient-reported pain intensities.
Revised:  For example , the ability to train deep networks for automated pain assessment is limited by small datasets associated with labels of patient-reported pain intensities.
Edit intent: clarity
Original:  For example , the ability to train deep CNNs for automated pain assessment is limited by small datasets associated with labels of patient-reported pain intensities.
Revised:  For example , the ability to train deep CNNs for automated pain assessment is limited by small datasets with labels of patient-reported pain intensities.
Edit intent: clarity
Original:  Fortunately, fine-tuning from a data-extensive pre-trained domain  such as face verification can alleviate the problem.
Revised:  Fortunately, fine-tuning from a data-extensive pre-trained domain , such as face verification can alleviate the problem.
Edit intent: fluency
Original:  Fortunately, fine-tuning from a data-extensive pre-trained domain  such as face verification can alleviate the problem.
Revised:  Fortunately, fine-tuning from a data-extensive pre-trained domain such as face verification , can alleviate this problem.
Edit intent: coherence
Original:  In this paper, we propose a regularized network that fine-tunes a state-of-the-art face verification network using expression-intensity labeled data with a regression layer .
Revised:  In this paper, we propose a network that fine-tunes a state-of-the-art face verification network using expression-intensity labeled data with a regression layer .
Edit intent: clarity
Original:  The proposed regularizered deep regressor is applied in estimating the intensity of pain intensity estimation ( Shoulder-Pain dataset ).
Revised:  The proposed regularized deep regressor is applied in estimating the intensity of pain intensity estimation ( Shoulder-Pain dataset ).
Edit intent: fluency
Original:  Particularly for Shoulder-Pain with the imbalance issue of different pain intensities , a novel weighted evaluation metric is proposed .
Revised:  Particularly for Shoulder-Pain with the imbalance issue of different pain intensities .
Edit intent: clarity
Original:  In fact, applying coding techniques for faster ML faces a unique challenge: one needs to consider both how the codes fit into the optimization algorithm used to train a model, and the interplay between the model sstructure and the coding scheme.
Revised:  In fact, applying coding techniques for faster ML faces a unique challenge: one needs to consider both how the codes fit into the optimization algorithm used to train a model, and the interplay between the model structure and the coding scheme.
Edit intent: fluency
Original:  Finally we use this new technique to derive a (1 - 1/\sqrt{e
Edit intent: coherence
Original: We show that the problem of finding an optimal bundle-pricing for a single additive buyer is #P-hard, even when the distributions have support size 2 for each item and  the optimal solution is guaranteed to be a simple one : the seller picks a price for the grand bundle and a price for each individual item ;
Revised: We show that the problem of finding an optimal bundle-pricing for a single additive buyer is #P-hard, even when the distributions have support size 2 for each item and , more importantly, even when the optimal solution is guaranteed to be a simple one : the seller picks a price for the grand bundle and a price for each individual item ;
Edit intent: coherence
Original: We show that the problem of finding an optimal bundle-pricing for a single additive buyer is #P-hard, even when the distributions have support size 2 for each item and  the optimal solution is guaranteed to be a simple one : the seller picks a price for the grand bundle and a price for each individual item ;
Revised: We show that the problem of finding an optimal bundle-pricing for a single additive buyer is #P-hard, even when the distributions have support size 2 for each item and the optimal solution is guaranteed to be of a very simple kind : the seller picks a price for the grand bundle and a price for each individual item ;
Edit intent: clarity
Original: We show that the problem of finding an optimal bundle-pricing for a single additive buyer is #P-hard, even when the distributions have support size 2 for each item and  the optimal solution is guaranteed to be a simple one : the seller picks a price for the grand bundle and a price for each individual item ;
Revised: We show that the problem of finding an optimal bundle-pricing for a single additive buyer is #P-hard, even when the distributions have support size 2 for each item and the optimal solution is guaranteed to be a simple one : the seller picks a price for each individual item and a price for each individual item ;
Edit intent: clarity
Original: We show that the problem of finding an optimal bundle-pricing for a single additive buyer is #P-hard, even when the distributions have support size 2 for each item and  the optimal solution is guaranteed to be a simple one : the seller picks a price for the grand bundle and a price for each individual item ;
Revised: We show that the problem of finding an optimal bundle-pricing for a single additive buyer is #P-hard, even when the distributions have support size 2 for each item and the optimal solution is guaranteed to be a simple one : the seller picks a price for the grand bundle and a price for the grand bundle of all the items ;
Edit intent: clarity
Original:  the buyer can purchase either the grand bundle at the given price or any bundle of items at their total individual prices.
Revised:  the buyer can purchase either the grand bundle at its given price or any bundle of items at their total individual prices.
Edit intent: fluency
Original:  the buyer can purchase either the grand bundle at the given price or any bundle of items at their total individual prices.
Revised:  the buyer can purchase either the grand bundle at the given price or any subset of items at their total individual prices.
Edit intent: clarity
Original:  In addition to the hardness result , we show that when the distributions are i.i.d. with support size 2, a discounted item-pricing can achieve the optimal revenue obtainable by lottery-pricings and it can be found in polynomial time  .
Revised:  In addition to the hardness result , we show that when the distributions are i.i.d. with support size 2, the optimal revenue obtainable by lottery-pricings and it can be found in polynomial time .
Edit intent: clarity
Original:  In addition to the hardness result , we show that when the distributions are i.i.d. with support size 2, a discounted item-pricing can achieve the optimal revenue obtainable by lottery-pricings and it can be found in polynomial time  .
Revised:  In addition to the hardness result , we show that when the distributions are i.i.d. with support size 2, a discounted item-pricing can achieve the optimal revenue obtainable by lottery-pricings and it can be computed in polynomial time .
Edit intent: clarity
Original:  This enabling us to embed both digital data as well as arbitrary audio into ambient analog FM radio signals.
Revised:  This enables us to embed both digital data as well as arbitrary audio into ambient analog FM radio signals.
Edit intent: fluency
Original:  We build prototype hardware of our design and successfully embed audio transmissions on ambient FM signals.
Revised:  We build prototype hardware of our design and successfully embed audio transmissions over ambient FM signals.
Edit intent: fluency
Original:  Further, we achieve data rates of up to 3.2 kbps and ranges of 5-60feet , while consuming as little as 11.07 uW  . To demonstrate the potential of our design, we also fabricate our prototype on a cotton t-shirt by machine sewing patterns of a conductive thread and build a smart fabric that can transmit vital sign data to the phone .
Revised:  Further, we achieve data rates of up to 3.2 kbps and ranges of 5-60 feet , while consuming as little as 11.07 uW . To demonstrate the potential of our design, we also fabricate our prototype on a cotton t-shirt by machine sewing patterns of a conductive thread and build a smart fabric that can transmit vital sign data to the phone .
Edit intent: fluency
Original:  Further, we achieve data rates of up to 3.2 kbps and ranges of 5-60feet , while consuming as little as 11.07 uW  . To demonstrate the potential of our design, we also fabricate our prototype on a cotton t-shirt by machine sewing patterns of a conductive thread and build a smart fabric that can transmit vital sign data to the phone .
Revised:  Further, we achieve data rates of up to 3.2 kbps and ranges of 5-60feet , while consuming as little as 11.07 uW W of power . To demonstrate the potential of our design, we also fabricate our prototype on a cotton t-shirt by machine sewing patterns of a conductive thread and build a smart fabric that can transmit vital sign data to the phone .
Edit intent: clarity
Original:  Further, we achieve data rates of up to 3.2 kbps and ranges of 5-60feet , while consuming as little as 11.07 uW  . To demonstrate the potential of our design, we also fabricate our prototype on a cotton t-shirt by machine sewing patterns of a conductive thread and build a smart fabric that can transmit vital sign data to the phone .
Revised:  Further, we achieve data rates of up to 3.2 kbps and ranges of 5-60feet , while consuming as little as 11.07 uW . To demonstrate the potential of our design, we also fabricate our prototype on a cotton t-shirt by machine sewing patterns of a conductive thread to create a smart fabric that can transmit vital sign data to the phone .
Edit intent: coherence
Original:  Further, we achieve data rates of up to 3.2 kbps and ranges of 5-60feet , while consuming as little as 11.07 uW  . To demonstrate the potential of our design, we also fabricate our prototype on a cotton t-shirt by machine sewing patterns of a conductive thread and build a smart fabric that can transmit vital sign data to the phone .
Revised:  Further, we achieve data rates of up to 3.2 kbps and ranges of 5-60feet , while consuming as little as 11.07 uW . To demonstrate the potential of our design, we also fabricate our prototype on a cotton t-shirt by machine sewing patterns of a conductive thread and build a smart fabric that can transmit data to a smartphone .
Edit intent: clarity
Original: Static verification of  source code correctness is a major milestone towards software reliability.
Revised: Static verification of source code correctness is an important element of software reliability.
Edit intent: clarity
Original:  A static type system for the language has been exhaustively and formally defined on paper , but still lacks an implementation  .
Revised:  A static type system for the language has been formally defined on paper , but still lacks an implementation .
Edit intent: clarity
Original:  A static type system for the language has been exhaustively and formally defined on paper , but still lacks an implementation  .
Revised:  A static type system for the language has been exhaustively and formally defined on paper but lacks an implementation .
Edit intent: coherence
Original:  A static type system for the language has been exhaustively and formally defined on paper , but still lacks an implementation  .
Revised:  A static type system for the language has been exhaustively and formally defined on paper , but still lacks an implementation yet .
Edit intent: coherence
Original:  In this paper, we describe our steps toward a prototypical implementation of a static type checker for Jolie , which employs a technique based on a SMT solver  .
Revised:  In this paper, we describe a prototype of Jolie Static Type Checker (JSTC) , which employs a technique based on a SMT solver .
Edit intent: clarity
Original: A new simple convergence acceleration method is proposed for a certain wide range class of convergent alternating series.
Revised: We propose a new simple convergence acceleration method is proposed for a certain wide range class of convergent alternating series.
Edit intent: coherence
Original: A new simple convergence acceleration method is proposed for a certain wide range class of convergent alternating series.
Revised: A new simple convergence acceleration method for wide range class of convergent alternating series.
Edit intent: clarity
Original:  The method has some common features with Smith's and Ford's modification of Levin's and Weniger's sequence transformations, but it leads to less computational and memory cost .
Revised:  It has some common features with Smith's and Ford's modification of Levin's and Weniger's sequence transformations, but it leads to less computational and memory cost .
Edit intent: clarity
Original:  The method has some common features with Smith's and Ford's modification of Levin's and Weniger's sequence transformations, but it leads to less computational and memory cost .
Revised:  The method has some common features with Smith's and Ford's modification of Levin's and Weniger's sequence transformations, but its computational and memory cost .
Edit intent: clarity
Original:  The similarities and differences between all three methods are analyzed and some common theoretical results are given . Numerical examples confirm a similar performance of all three methods .
Revised:  The similarities and differences between all three methods and give some common theoretical results are given . Numerical examples confirm a similar performance of all three methods .
Edit intent: clarity
Original:  The similarities and differences between all three methods are analyzed and some common theoretical results are given . Numerical examples confirm a similar performance of all three methods .
Revised:  The similarities and differences between all three methods are analyzed and some common theoretical results . Numerical examples confirm a similar performance of all three methods .
Edit intent: clarity
Original:  The similarities and differences between all three methods are analyzed and some common theoretical results are given . Numerical examples confirm a similar performance of all three methods .
Revised:  The similarities and differences between all three methods are analyzed and some common theoretical results are given . Numerical examples confirm a similar performance of all of them .
Edit intent: clarity
Original: Designing brain-computer interfaces (BCIs) that can be used in conjunction with ongoing motor behavior requires an understanding of how neural activity co-opted for brain-control interacts with existing neural circuits.
Revised: Designing brain-computer interfaces (BCIs) that can be used in conjunction with ongoing motor behavior requires an understanding of how neural activity co-opted for brain control interacts with existing neural circuits.
Edit intent: fluency
Original:   BCIs may be used to regain lost motor function after stroke or traumatic brain injury, for instance, provided that a neural control signal can be extracted from a single spared hemisphere.
Revised:  For example, BCIs may be used to regain lost motor function after stroke or traumatic brain injury, for instance, provided that a neural control signal can be extracted from a single spared hemisphere.
Edit intent: coherence
Original:  Such an approach, however, requires that neural activity controlling the unaffected limb is dissociated from activity controlling the BCI.
Revised:  Such an approach, however, requires that neural activity controlling unaffected limbs is dissociated from activity controlling the BCI.
Edit intent: fluency
Original:  In this study we investigate how primary motor cortex accomplishes simultaneous BCI control and motor control in a task that explicitly requires both activities to be driven from the same brain region (i.e. a 'dual control task').
Revised:  In this study we investigated how primary motor cortex accomplishes simultaneous BCI control and motor control in a task that explicitly requires both activities to be driven from the same brain region (i.e. a 'dual control task').
Edit intent: fluency
Original:  In this study we investigate how primary motor cortex accomplishes simultaneous BCI control and motor control in a task that explicitly requires both activities to be driven from the same brain region (i.e. a 'dual control task').
Revised:  In this study we investigate how primary motor cortex accomplishes simultaneous BCI control and motor control in a task that explicitly required both activities to be driven from the same brain region (i.e. a 'dual control task').
Edit intent: fluency
Original:  Single unit activity was recorded from intracortical  multi-electrode arrays while a non-human primate performed this dual-control BCI task.
Revised:  Single unit activity was recorded from intracortical , multi-electrode arrays while a non-human primate performed this dual-control BCI task.
Edit intent: fluency
Original:  Single unit activity was recorded from intracortical  multi-electrode arrays while a non-human primate performed this dual-control BCI task.
Revised:  Single unit activity was recorded from intracortical multi-electrode arrays while a non-human primate performed this dual-control task.
Edit intent: clarity