wanyu/IteraTeR_full_sent huggingface dataset:
Original:  Thus, we propose a meta-algorithm, namely MAPS-X  , that can be plugged on existing  sampling-based motion planners (e.g., RRT), to produce plans with good explanations .
Revised:  Thus, we propose a meta-algorithm, namely MAPS-X , that can be plugged on existing centralized sampling-based motion planners (e.g., RRT), to produce plans with good explanations .
Edit intent: meaning-changed
Original:  Thus, we propose a meta-algorithm, namely MAPS-X  , that can be plugged on existing  sampling-based motion planners (e.g., RRT), to produce plans with good explanations . We proceed to show experimental results of MAPS-X with various environments and planners.
Revised:  Thus, we propose a meta-algorithm, namely MAPS-X , that can be plugged on existing sampling-based motion planners (e.g., RRT), to produce plans with good explanations using a desirable number of images. We demonstrate the efficacy of this explanation-planning scheme and extensively evaluate the performance of MAPS-X with various environments and planners.
Edit intent: meaning-changed
Original:  Thus  , it is noteworthy that the methodology of distributed model predictive control (DMPC) has become a promising approach to achieve effective outcomes ; and particularly in decision-making tasks for multi-agent systems.
Revised:  Thus , it is noteworthy that the methodology of distributed model predictive control (DMPC) has become a promising approach to achieve effective outcomes , e.g., in decision-making tasks for multi-agent systems.
Edit intent: coherence
Original:  Noting all these attendant constraints and limitations , the development and innovation of a hierarchical three-block alternating direction method of multipliers (ADMM) approach is presented in the work here to solve the nonconvex optimization problem that arises for such a decision-making problem in multi-agent systems.
Revised:  To address this important problem , the development and innovation of a hierarchical three-block alternating direction method of multipliers (ADMM) approach is presented in the work here to solve the nonconvex optimization problem that arises for such a decision-making problem in multi-agent systems.
Edit intent: coherence
Original:  Noting all these attendant constraints and limitations , the development and innovation of a hierarchical three-block alternating direction method of multipliers (ADMM) approach is presented in the work here to solve the nonconvex optimization problem that arises for such a decision-making problem in multi-agent systems.
Revised:  Noting all these attendant constraints and limitations , the development and innovation of a hierarchical three-block alternating direction method of multipliers (ADMM) approach is presented in this work to solve this nonconvex cooperative DMPC problem in multi-agent systems.
Edit intent: clarity
Original:  Then, the approach with a hierarchical ADMM that contains outer loop iteration by the augmented Lagrangian method (ALM) , and inner loop iteration by three-block semi-proximal ADMM, is utilized to solve the resulting relaxed nonconvex optimization problem.
Revised:  Then, a hierarchical ADMM that contains outer loop iteration by the augmented Lagrangian method (ALM) , and inner loop iteration by three-block semi-proximal ADMM, is utilized to solve the resulting relaxed nonconvex optimization problem.
Edit intent: clarity
Original:  Then, the approach with a hierarchical ADMM that contains outer loop iteration by the augmented Lagrangian method (ALM) , and inner loop iteration by three-block semi-proximal ADMM, is utilized to solve the resulting relaxed nonconvex optimization problem.
Revised:  Then, the approach with a hierarchical ADMM approach, which contains outer loop iteration by the augmented Lagrangian method (ALM) , and inner loop iteration by three-block semi-proximal ADMM, is utilized to solve the resulting relaxed nonconvex optimization problem.
Edit intent: clarity
Original:  Then, the approach with a hierarchical ADMM that contains outer loop iteration by the augmented Lagrangian method (ALM) , and inner loop iteration by three-block semi-proximal ADMM, is utilized to solve the resulting relaxed nonconvex optimization problem.
Revised:  Then, the approach with a hierarchical ADMM that contains outer loop iteration by the augmented Lagrangian method (ALM) and inner loop iteration by three-block semi-proximal ADMM, is utilized to solve the resulting relaxed nonconvex optimization problem.
Edit intent: fluency
Original:  Next, the approximate optimization with a barrier method is then applied to accelerate the computational efficiency . Finally, a multi-agent system involving decision-making for multiple unmanned aerial vehicles (UAVs) is utilized to demonstrate the effectiveness of the proposed method in terms of attained performance and computational efficiency  .
Revised:  Next, the approximate optimization with a barrier method is then applied to accelerate the computational efficiency , yielding the final improved hierarchical ADMM. The effectiveness of the proposed method in terms of attained performance and computational efficiency .
Edit intent: meaning-changed
Original:  Finally, a multi-agent system involving decision-making for multiple unmanned aerial vehicles (UAVs) is utilized to demonstrate the effectiveness of the proposed method in terms of attained performance and computational efficiency  .
Revised:  Finally, a multi-agent system involving decision-making for multiple unmanned aerial vehicles (UAVs) is utilized to demonstrate the effectiveness of the proposed method in terms of attained performance and computational efficiency is demonstrated on a cooperative DMPC problem of decision-making process for multiple unmanned aerial vehicles (UAVs) .
Edit intent: meaning-changed
Original:  The frequency-domain passivity framework provides powerful analysis tools to study the coupled stability of linear time-invariant systems. In the literature, coupled stability of one-port models of SEA has been studied for various controllers while rendering certain basic environments, and the necessary and sufficient conditions for such passive terminations have been derived. In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient condition for two-port passivity of SEA under velocity-sourced impedance control  . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler .
Revised:  In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient condition for two-port passivity of SEA under velocity-sourced impedance control . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler .
Edit intent: clarity
Original:  In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient condition for two-port passivity of SEA under velocity-sourced impedance control  . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler .
Revised:  In this study, we provide the necessary and sufficient condition for two-port passivity of SEA under velocity-sourced impedance control . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler .
Edit intent: coherence
Original:  In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient condition for two-port passivity of SEA under velocity-sourced impedance control  . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler .
Revised:  In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient conditions for two-port passivity of SEA under velocity-sourced impedance control . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler .
Edit intent: fluency
Original:  In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient condition for two-port passivity of SEA under velocity-sourced impedance control  . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler .
Revised:  In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient condition for two-port passivity of series damped elastic actuation under velocity-sourced impedance control . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler .
Edit intent: meaning-changed
Original:  In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient condition for two-port passivity of SEA under velocity-sourced impedance control  . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler .
Revised:  In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient condition for two-port passivity of SEA under velocity-sourced impedance control within the frequency-domain passivity framework . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler .
Edit intent: meaning-changed
Original:  In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient condition for two-port passivity of SEA under velocity-sourced impedance control  . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler . We also prove the need for a physical damping term in parallel to the series elastic element to ensure two-port passivity , even when a virtual coupler is present.
Revised:  In this study, we extend the one-port passivity analyzes provided in the literature and provide the necessary and sufficient condition for two-port passivity of SEA under velocity-sourced impedance control . Based on the newly established conditions, we derive non-conservative passivity bounds for a virtual coupler and rigorously prove the necessity of a dissipative element parallel to the series elastic element to ensure two-port passivity , even when a virtual coupler is present.
Edit intent: clarity
Original:  We also prove the need for a physical damping term in parallel to the series elastic element to ensure two-port passivity , even when a virtual coupler is present. Finally, we validate our theoretical results through numerical simulations and by reproducing one-port passivity results as special cases of our results that correspond to appropriate one-port terminations .
Revised:  We also prove the need for a physical damping term in parallel to the series elastic element to ensure two-port passivity of the system. The additional dissipative elements in the physical filter and the virtual coupler enable the system to render virtual stiffness values higher than that can be rendered using a pure SEA. Our results extend earlier studies on coupled stability by presenting the necessary and sufficient conditions for all passive terminations. We validate our results through a set of physical experiments and systematic numerical simulations .
Edit intent: meaning-changed
Original:  This paper presents a novel mechanism for managing file address space, named FlexFile, that enables fast insertion and removal of arbitrary-sized data in a file. Based on FlexFile, applications can perform in-place updates to a file without rewriting existing data, and efficiently manage data on a linear file layout with minimal complexity.
Revised:  This paper presents a novel mechanism for managing file address space, named FlexFile, that provides a flexible file address space where in-place updates to a file without rewriting existing data, and efficiently manage data on a linear file layout with minimal complexity.
Edit intent: clarity
Original:  Based on FlexFile, applications can perform in-place updates to a file without rewriting existing data, and efficiently manage data on a linear file layout with minimal complexity.
Revised:  Based on FlexFile, applications can perform in-place updates of arbitrary-sized data, such as insertions and removals, can be performed efficiently. With FlexFile, applications can manage their data in a linear file layout with minimal complexity.
Edit intent: meaning-changed
Original:  Many commercial TSM-based medical devices have non-linear phenomena resulting from their composition such as backlash  and dead zone hysteresis , which lead to a considerable challenge for achieving precise control of the end effector pose.
Revised:  Many commercial TSM-based medical devices have non-linear phenomena resulting from their composition such as backlash hysteresis and dead zone hysteresis , which lead to a considerable challenge for achieving precise control of the end effector pose.
Edit intent: fluency
Original:  Many commercial TSM-based medical devices have non-linear phenomena resulting from their composition such as backlash  and dead zone hysteresis , which lead to a considerable challenge for achieving precise control of the end effector pose.
Revised:  Many commercial TSM-based medical devices have non-linear phenomena resulting from their composition such as backlash and dead zone , which lead to a considerable challenge for achieving precise control of the end effector pose.
Edit intent: clarity
Original:  However, many recent works in the literature do not consider the combined effects and compensation of these phenomena, and less focus on practical ways to identify model parameters in real field. In this paper , we propose a simplified piece-wise linear model to compensate both backlash and dead zone hysteresis together.
Revised:  However, many recent works in the literature do not consider the combined effects and compensation of these phenomena, and less focus on practical ways to identify model parameters in realistic conditions. This paper proposes a simplified piecewise linear model to compensate both backlash and dead zone hysteresis together.
Edit intent: clarity
Original:  We analyze our proposed methods with multiple Intra-cardiac Echocardiography  catheters, which are typical commercial example of TSM  . Our results show that the errors from backlash  and dead zone hysteresis are considerably reduced and therefore the accuracy of robotic control is improved when applying the presented methods.
Revised:  Our proposed methods are validated with multiple Intra-cardiac Echocardiography catheters, which are typical commercial example of TSM . Our results show that the errors from backlash and dead zone hysteresis are considerably reduced and therefore the accuracy of robotic control is improved when applying the presented methods.
Edit intent: clarity
Original:  We analyze our proposed methods with multiple Intra-cardiac Echocardiography  catheters, which are typical commercial example of TSM  . Our results show that the errors from backlash  and dead zone hysteresis are considerably reduced and therefore the accuracy of robotic control is improved when applying the presented methods.
Revised:  We analyze our proposed methods with multiple Intra-cardiac Echocardiography (ICE) catheters, which are typical commercial example of TSM . Our results show that the errors from backlash and dead zone hysteresis are considerably reduced and therefore the accuracy of robotic control is improved when applying the presented methods.
Edit intent: meaning-changed
Original:  We analyze our proposed methods with multiple Intra-cardiac Echocardiography  catheters, which are typical commercial example of TSM  . Our results show that the errors from backlash  and dead zone hysteresis are considerably reduced and therefore the accuracy of robotic control is improved when applying the presented methods.
Revised:  We analyze our proposed methods with multiple Intra-cardiac Echocardiography catheters, which are typical commercial example of TSM , by periodic and non-periodic motions . Our results show that the errors from backlash and dead zone hysteresis are considerably reduced and therefore the accuracy of robotic control is improved when applying the presented methods.
Edit intent: meaning-changed
Original:  We analyze our proposed methods with multiple Intra-cardiac Echocardiography  catheters, which are typical commercial example of TSM  . Our results show that the errors from backlash  and dead zone hysteresis are considerably reduced and therefore the accuracy of robotic control is improved when applying the presented methods.
Revised:  We analyze our proposed methods with multiple Intra-cardiac Echocardiography catheters, which are typical commercial example of TSM . Our results show that the errors from backlash hysteresis and dead zone hysteresis are considerably reduced and therefore the accuracy of robotic control is improved when applying the presented methods.
Edit intent: fluency
Original:  We analyze our proposed methods with multiple Intra-cardiac Echocardiography  catheters, which are typical commercial example of TSM  . Our results show that the errors from backlash  and dead zone hysteresis are considerably reduced and therefore the accuracy of robotic control is improved when applying the presented methods.
Revised:  We analyze our proposed methods with multiple Intra-cardiac Echocardiography catheters, which are typical commercial example of TSM . Our results show that the errors from backlash and dead zone are considerably reduced and therefore the accuracy of robotic control is improved when applying the presented methods.
Edit intent: meaning-changed
Original:  In this study, to simulate the equilibration, we developed a relaxation algorithm just based on one simple geometrical rule . The simulated relaxation changed the polygonal cell of  Voronoi network from  ellipse's inscribed polygon toward  ellipse's maximal inscribed polygon.
Revised:  In this study, to simulate the equilibration, we developed a relaxation algorithm just based on one simple geometrical rule was developed to simulate the equilibration. The proposed algorithm was implemented in Python language. The simulated relaxation changed the polygonal cell of Voronoi network from ellipse's inscribed polygon toward ellipse's maximal inscribed polygon.
Edit intent: meaning-changed
Original:  The pattern of changes on the area of different edged cells due to relaxation is almost the same compared with the growth pattern described by  von-Neumann-Mullins 's law. This work could help to understand the mathematical mechanisms of the dynamic behaviors of trivalent 2D structures.
Revised:  The pattern of changes on the area of different edged cells due to relaxation is almost the same compared with the growth pattern described by von-Neumann-Mullins law. The results presented in this work can help to understand the mathematical mechanisms of the dynamic behaviors of trivalent 2D structures.
Edit intent: clarity
Original:  In the first part, we have pointed out a major over-simplification, i.e., assumption of variation of the time derivatives of the variables with the linear  powers of the individual variables and introduced two new parameters to incorporate further non-linearity to the number of infected people in the model.
Revised:  In the first part, we have pointed out a major over-simplification, i.e., assumption of variation of the time derivatives of the variables with the linear or quadratic powers of the individual variables and introduced two new parameters to incorporate further non-linearity to the number of infected people in the model.
Edit intent: meaning-changed
Original:  In the first part, we have pointed out a major over-simplification, i.e., assumption of variation of the time derivatives of the variables with the linear  powers of the individual variables and introduced two new parameters to incorporate further non-linearity to the number of infected people in the model.
Revised:  In the first part, we have pointed out a major over-simplification, i.e., assumption of variation of the time derivatives of the variables with the linear powers of the individual variables and introduce two new parameters to incorporate further non-linearity to the number of infected people in the model.
Edit intent: fluency
Original:  In the first part, we have pointed out a major over-simplification, i.e., assumption of variation of the time derivatives of the variables with the linear  powers of the individual variables and introduced two new parameters to incorporate further non-linearity to the number of infected people in the model.
Revised:  In the first part, we have pointed out a major over-simplification, i.e., assumption of variation of the time derivatives of the variables with the linear powers of the individual variables and introduced two new parameters to incorporate further nonlinearity in the number of infected people in the model.
Edit intent: fluency
Original:  As a result of this, we showed how this additional nonlinearity, in the newly introduced parameters, can bring a significant shift in the peak time of infection, i.e.,  time at which  infected population reaches maximum.
Revised:  As a result of this, we show how this additional nonlinearity, in the newly introduced parameters, can bring a significant shift in the peak time of infection, i.e., time at which infected population reaches maximum.
Edit intent: fluency
Original:  As a result of this, we showed how this additional nonlinearity, in the newly introduced parameters, can bring a significant shift in the peak time of infection, i.e.,  time at which  infected population reaches maximum.
Revised:  As a result of this, we showed how this additional nonlinearity, in the newly introduced parameters, can bring a significant shift in the peak time of infection, i.e., the time at which infected population reaches maximum.
Edit intent: fluency
Original:  As a result of this, we showed how this additional nonlinearity, in the newly introduced parameters, can bring a significant shift in the peak time of infection, i.e.,  time at which  infected population reaches maximum.
Revised:  As a result of this, we showed how this additional nonlinearity, in the newly introduced parameters, can bring a significant shift in the peak time of infection, i.e., time at which the infected population reaches maximum.
Edit intent: fluency
Original:  {\it   In the second part, we incorporate in the model, a consideration of artificial herd immunity and show how we can decrease the peak time of infection with a subsequent decrease in the maximum number of infected people .
Revised:  {\it As far as we know the phase transition and its quantification in terms of the scaling behaviour is not yet know in the context of pandemic In the second part, we incorporate in the model, a consideration of artificial herd immunity and show how we can decrease the peak time of infection with a subsequent decrease in the maximum number of infected people .
Edit intent: meaning-changed
Original:  {\it   In the second part, we incorporate in the model, a consideration of artificial herd immunity and show how we can decrease the peak time of infection with a subsequent decrease in the maximum number of infected people .
Revised:  {\it . In the second part, we incorporate in the model, a consideration of artificial herd immunity and show how we can decrease the peak time of infection with a subsequent decrease in the maximum number of infected people .
Edit intent: fluency