wanyu/IteraTeR_v2 huggingface dataset:
Original:  A comprehensive theoretical derivation of the Mixed-FEM approach for EEG forward simulation is presentedand the implemented algorithms necessary for an efficient solution of the resulting equation systems are described.
Revised:  A theoretical derivation of the Mixed-FEM approach for EEG forward simulation is presentedand the implemented algorithms necessary for an efficient solution of the resulting equation systems are described.
Edit intent: clarity
Original:  A comprehensive theoretical derivation of the Mixed-FEM approach for EEG forward simulation is presentedand the implemented algorithms necessary for an efficient solution of the resulting equation systems are described.
Revised:  A comprehensive theoretical derivation of the Mixed-FEM approach for EEG forward simulation is presentedand the resulting equation systems are described.
Edit intent: clarity
Original:  Subsequently, first evaluations in both sphere and realistic head models are presented  and the results are compared to previously presented CG-FEM approaches.
Revised:  Subsequently, first evaluations in both sphere and realistic head models are presented , and the results are compared to previously presented CG-FEM approaches.
Edit intent: fluency
Original:  Subsequently, first evaluations in both sphere and realistic head models are presented  and the results are compared to previously presented CG-FEM approaches.
Revised:  Subsequently, first evaluations in both sphere and realistic head models are presented and the results are compared to previously introduced CG-FEM approaches.
Edit intent: fluency
Original:  Additional visualizations are generated to underline the current preserving property of the Mixed-FEM.
Revised:  Additional visualizations are shown to illustrate the current preserving property of the Mixed-FEM.
Edit intent: clarity
Original:  Based on these results, it is concluded that the newly presented Mixed-FEM can at least complement and in some scenarios even outperform  established CG-FEM approaches, which motivates further evaluation .
Revised:  Based on these results, it is concluded that the newly presented Mixed-FEM can at least complement and in some scenarios even outperform the established CG-FEM approaches, which motivates further evaluation .
Edit intent: fluency
Original:  Based on these results, it is concluded that the newly presented Mixed-FEM can at least complement and in some scenarios even outperform  established CG-FEM approaches, which motivates further evaluation .
Revised:  Based on these results, it is concluded that the newly presented Mixed-FEM can at least complement and in some scenarios even outperform established CG-FEM approaches, which motivates a further evaluation of the Mixed-FEM for applications in bioelectromagnetism .
Edit intent: clarity
Original:  We propose a dynamically optimal ABSF framework to enhance the small cell user downlink performance while maintains the macro user downlink performance.
Revised:  In this thesis, we propose a dynamically optimal ABSF framework to enhance the small cell user downlink performance while maintains the macro user downlink performance.
Edit intent: coherence
Original:  Via simulation , our proposed scheme achieves a significant performance and outperforms the existing ABSF frameworks  .
Revised:  Via numerical results , our proposed scheme achieves a significant performance and outperforms the existing ABSF frameworks .
Edit intent: clarity
Original: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Revised:  1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Edit intent: coherence
Original: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Revised: nJexl is a derivative of Apache Jexl project %DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Edit intent: fluency
Original: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Revised: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Edit intent: fluency
Original: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Revised: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for ZoomBA are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Edit intent: coherence
Original: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Revised: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Edit intent: coherence
Original: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Revised: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 %DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Edit intent: coherence
Original: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Revised: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Edit intent: fluency
Original: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Revised: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 %DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Edit intent: fluency
Original: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Revised: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Software testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Edit intent: coherence
Original: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. nJexl is a functionally motivated, embeddable, Turing Complete 7 8 language.
Revised: nJexl is a derivative of Apache Jexl project 1%DIFDELCMD < ]%%% . The motivation for nJexl are domain specific languages (DSL) like VERILOG 2 , VHDL%DIFDELCMD < [%%% 3 , Spice%DIFDELCMD < [%%% 4 . DSL for Soft- ware testing is not a new idea, many commercial tools like Silk Suite 5 use them, while Selenese, the DSL for Selenium IDE [6] is open source. ZoomBA is a functionally motivated, embeddable, Turing Complete 7 8 language.
Edit intent: coherence
Original:  It's philosophy is to expose the existing Java echo system in a declarative fashion for the purpose of software validation 9 . By design nJexl script size is meagre compared to Python or even to Scala for validation problems.
Revised:  It's philosophy is to expose the existing Java echo system in a declarative fashion for the purpose of 9 . By design nJexl script size is meagre compared to Python or even to Scala for validation problems.
Edit intent: clarity
Original:  Authors firm heavily uses ZoomBA for system integration/adapter/data manipulation purposes.
Revised:  Bayestree uses ZoomBA for system integration/adapter/data manipulation purposes.
Edit intent: clarity
Original:  Secondly, we demonstrate both on synthetic and real-world databases that by constraining RBMs and GRBMs to a scale-free topology (while still considering local neighborhoods and data distribution), we reduce the number of weights that need to be computed by a few orders of magnitude, at virtually no loss in generative performance.
Revised:  Secondly, we demonstrate both on synthetic and real-world datasets that by constraining RBMs and GRBMs to a scale-free topology (while still considering local neighborhoods and data distribution), we reduce the number of weights that need to be computed by a few orders of magnitude, at virtually no loss in generative performance.
Edit intent: clarity
Original:  Thirdly, we show that, given the same number of weights, our proposed sparse models (which by design have a higher number of hidden neurons) achieve better generative capabilities than standard fully connected RBMs and GRBMs (which by design have a smaller number of hidden neurons)  at no additional computational costs.
Revised:  Thirdly, we show that, for a fixed number of weights, our proposed sparse models (which by design have a higher number of hidden neurons) achieve better generative capabilities than standard fully connected RBMs and GRBMs (which by design have a smaller number of hidden neurons) at no additional computational costs.
Edit intent: clarity
Original:  Thirdly, we show that, given the same number of weights, our proposed sparse models (which by design have a higher number of hidden neurons) achieve better generative capabilities than standard fully connected RBMs and GRBMs (which by design have a smaller number of hidden neurons)  at no additional computational costs.
Revised:  Thirdly, we show that, given the same number of weights, our proposed sparse models (which by design have a higher number of hidden neurons) achieve better generative capabilities than standard fully connected RBMs and GRBMs (which by design have a smaller number of hidden neurons) , at no additional computational costs.
Edit intent: fluency
Original:  We demonstrate the strength of our approach on two problems with very sparse, delayed feedback: (1) a complex discrete MDP with stochastic transitions , and (2) the classic ATARI game `Montezuma's Revenge'.
Revised:  We demonstrate the strength of our approach on two problems with very sparse, delayed feedback: (1) a complex discrete stochastic decision process , and (2) the classic ATARI game `Montezuma's Revenge'.
Edit intent: clarity
Original:  We show that IGLOO allows for a trade-off between topological and functional alignment quality better than any of the existing LNA and GNA methods considered in our study.
Revised:  We show that IGLOO allows for a trade-off between topological and functional alignment quality better than the existing LNA and GNA methods considered in our study.
Edit intent: clarity
Original:  Using agentbased modeling, we model the population dynamics of A. aegypti subjected to the spatial and climatic constraints of a neighborhood in the Key West.
Revised:  Using agent-based modeling, we model the population dynamics of A. aegypti subjected to the spatial and climatic constraints of a neighborhood in the Key West.
Edit intent: fluency
Original:  The model replicates the annual fluctuation of adult population sampled through field studies and approximates the population between 1 per 12m2 during summer and 1 per 59 m2 during ] ] ] ] winter.
Revised:  The model replicates the seasonal fluctuation of adult population sampled through field studies and approximates the population between 1 per 12m2 during summer and 1 per 59 m2 during ] ] ] ] winter.
Edit intent: clarity
Original:  We then simulate two biological vector control strategies: 1)  Release of Insects carrying a Dominant Lethal gene (RIDL) and 2) Wolbachia infection .
Revised:  We then simulate two biological vector control strategies: 1) Release of Insects carrying a Dominant Lethal gene (RIDL) .
Edit intent: clarity
Original:  Our results support the sustainability of Wolbachia infection within the population from the year of treatment onto the next.
Revised:  Our results support the probability of sustained Wolbachia infection within the population from the year of treatment onto the next.
Edit intent: clarity
Original: Several micro-organisms, such as bacteria, algae, or spermatozoa, use flagellum or cilium activity to swim in a fluid .
Revised: Several micro-organisms, such as bacteria, algae, or spermatozoa, use flagella or cilia to swim in a fluid .
Edit intent: clarity
Original:  Many other organisms use rather ample shape deformation, described as amoeboid, to propel themselves , either crawling on a substrate or swimming.
Revised:  Many other organisms use rather ample shape deformation, described as amoeboid, to propel themselves by either crawling on a substrate or swimming.
Edit intent: fluency
Original:  Many eukaryotic cells were believed to require an underlying substratum to migrate (crawl) by using ample membrane deformation (like blebbing ).
Revised:  Many eukaryotic cells were believed to require an underlying substratum to migrate (crawl) by using membrane deformation (like blebbing ).
Edit intent: clarity
Original:  There is now an increasing evidence that a large variety of cells (including those of the immune system) can migrate without the assistance of focal adhesion, and can perform swimming as efficiently as crawling .
Revised:  There is now an increasing evidence that a large variety of cells (including those of the immune system) can migrate without the assistance of focal adhesion, allowing them to swim as efficiently as crawling .
Edit intent: clarity
Original:  There is now an increasing evidence that a large variety of cells (including those of the immune system) can migrate without the assistance of focal adhesion, and can perform swimming as efficiently as crawling .
Revised:  There is now an increasing evidence that a large variety of cells (including those of the immune system) can migrate without the assistance of focal adhesion, and can perform swimming as efficiently as they can crawl .
Edit intent: clarity
Original:  This paper deals with a detailed analysis of amoeboid swimming in a confined fluid , by modeling the swimmer as an inextensible membrane deploying local active forces.
Revised:  This paper details the analysis of amoeboid swimming in a confined fluid , by modeling the swimmer as an inextensible membrane deploying local active forces.
Edit intent: clarity
Original:  This paper deals with a detailed analysis of amoeboid swimming in a confined fluid , by modeling the swimmer as an inextensible membrane deploying local active forces.
Revised:  This paper deals with a detailed analysis of amoeboid swimming in a confined fluid by modeling the swimmer as an inextensible membrane deploying local active forces.
Edit intent: fluency
Original:  The swimmer exhibits a rich behavior: it can settle into a straight trajectory in the channel , or can navigate from one wall to the other , depending on confinement.
Revised:  The swimmer displays a rich behavior: it can settle into a straight trajectory in the channel , or can navigate from one wall to the other , depending on confinement.
Edit intent: fluency
Original:  The swimmer exhibits a rich behavior: it can settle into a straight trajectory in the channel , or can navigate from one wall to the other , depending on confinement.
Revised:  The swimmer exhibits a rich behavior: it may settle into a straight trajectory in the channel , or can navigate from one wall to the other , depending on confinement.
Edit intent: clarity
Original:  The swimmer exhibits a rich behavior: it can settle into a straight trajectory in the channel , or can navigate from one wall to the other , depending on confinement.
Revised:  The swimmer exhibits a rich behavior: it can settle into a straight trajectory in the channel or navigate from one wall to the other , depending on confinement.
Edit intent: fluency
Original:  This finding markedly contrasts with results known for swimming models referring to motion based on cilium and flagellum activity where V\sim A/\eta.
Revised:  This finding starkly contrasts with currently known results found from swimming models where motion is based on flagellar or ciliary activity, where V\sim A/\eta.
Edit intent: clarity
Original:  Two types of efficiencies, put forward in the literature , are analyzed and it is found that the outcomes from each definition are quite distinct .
Revised:  To conclude, two definitions of efficiency as put forward in the literature , are analyzed and it is found that the outcomes from each definition are quite distinct .
Edit intent: clarity
Original:  Two types of efficiencies, put forward in the literature , are analyzed and it is found that the outcomes from each definition are quite distinct .
Revised:  Two types of efficiencies, put forward in the literature are analyzed with distinct outcomes .
Edit intent: clarity
Original:  We find that one type of efficiency has an optimum at a given confinement while the other has none .
Revised:  We find that one type of efficiency has an optimum as a function of confinement while the other has none .
Edit intent: clarity
Original:  We find that one type of efficiency has an optimum at a given confinement while the other has none .
Revised:  We find that one type of efficiency has an optimum at a given confinement while the other does not .
Edit intent: clarity
Original: This article presents a analysis to the public formalization of the Mool language  .
Revised: We present here in a thorough analysis of the Mool language .
Edit intent: clarity
Original:  The objective is to detect where the language is not well defined and propose a revision of the language .
Revised:  The objective is to detect glitches in both the implementation and in the formal definitions, proposing as well new features and added expressiveness .
Edit intent: clarity
Original:  To test our revision we implemented our revision of the Mool language formalization in Racket .
Revised:  To test our proposals we implemented the revision developed in the Racket platform .
Edit intent: clarity
Original:  In this work, seemingly for the first time, we lift the investigations to the case of directed graphs;
Revised:  In this work, we lift the investigations to the case of directed graphs;
Edit intent: coherence
Original:  To this end, our general two-stage framework consists of efficiently solving a problem-specific number problem transferring the solution to a solution for the graph problem by applying flow computations.
Revised:  To this end, our general two-stage framework consists of efficiently solving a problem-specific number problem transferring its solution to a solution for the graph problem by applying flow computations.
Edit intent: clarity
Original:  In this way, we obtain fixed-parameter tractability and polynomial kernelizability results, with the central parameter being the maximum vertex degree .
Revised:  In this way, we obtain fixed-parameter tractability and polynomial kernelizability results, with the central parameter being the maximum vertex in- or outdegree of the output digraph .
Edit intent: clarity