wanyu/IteraTeR_v2 huggingface dataset:
Original:  We visualised data using time series plots and performed statistical tests to assess differences in behaviour during baseline, pre-  and post-lockdown periods.
Revised:  We visualised data using time series plots and performed statistical tests to assess differences in behaviour during baseline, pre- , and post-lockdown periods.
Edit intent: fluency
Original:   We found significant changes in behaviours between baseline/pre-lockdown and post- lockdown for all features except total sleep duration.
Revised:  Findings We found significant changes in behaviours between baseline/pre-lockdown and post- lockdown for all features except total sleep duration.
Edit intent: fluency
Original:   We found significant changes in behaviours between baseline/pre-lockdown and post- lockdown for all features except total sleep duration.
Revised:  We found significant changes in behaviours between baseline/pre-lockdown and post-lockdown for all features except total sleep duration.
Edit intent: fluency
Original:  In general, participants spent more time at home and travelled much less  and were more active on their phones, interacting with others by using social apps.
Revised:  In general, participants spent more time at home , travelled much less and were more active on their phones, interacting with others by using social apps.
Edit intent: fluency
Original:  In general, participants spent more time at home and travelled much less  and were more active on their phones, interacting with others by using social apps.
Revised:  In general, participants spent more time at home and travelled much less , and were more active on their phones, interacting with others by using social apps.
Edit intent: fluency
Original:  Nevertheless, the level of compliance across nations differed with Denmark showing attenuated changes in behaviour.
Revised:  Nevertheless, the response across nations differed with Denmark showing attenuated changes in behaviour.
Edit intent: clarity
Original:   Differences in the extracted features by country may reflect cultural differences as well as variations in communication and implementation of different NPIs  .
Revised:  Interpretation Differences in the extracted features by country may reflect cultural differences as well as variations in communication and implementation of different NPIs .
Edit intent: clarity
Original:   Differences in the extracted features by country may reflect cultural differences as well as variations in communication and implementation of different NPIs  .
Revised:  Differences in the extracted features by country may reflect variations in communication and implementation of different NPIs .
Edit intent: clarity
Original:   Differences in the extracted features by country may reflect cultural differences as well as variations in communication and implementation of different NPIs  .
Revised:  Differences in the extracted features by country may reflect cultural differences as well as variations in communication and implementation of different NPIs as well as cultural differences .
Edit intent: coherence
Original:  Here we explore the utility of the recently developed open-source mobile health platform RADAR-base as a toolbox to  test the effect and response to NPIs aimed at limiting the spread of COVID-19.
Revised:  Here we explore the utility of the recently developed open-source mobile health platform RADAR-base as a toolbox to rapidly test the effect and response to NPIs aimed at limiting the spread of COVID-19.
Edit intent: clarity
Original:  We derived features from the phone and wearable device for length of time spent at home,  distance travelled from home,  heart rate, sleep , and patterns of phone use.
Revised:  We derived nine features on a daily basis including time spent at home, distance travelled from home, heart rate, sleep , and patterns of phone use.
Edit intent: clarity
Original:  A major road-block to the adoption of ad-hoc retrieval models is that they require large supervised training sets to surpass classic term-based techniques, which can be developed from raw corpora.
Revised:  A major road-block to the adoption of ad-hoc retrieval models is that they require large supervised training sets to surpass traditional term-based techniques, which can be developed from raw corpora.
Edit intent: clarity
Original:  A major road-block to the adoption of ad-hoc retrieval models is that they require large supervised training sets to surpass classic term-based techniques, which can be developed from raw corpora.
Revised:  A major road-block to the adoption of ad-hoc retrieval models is that they require large supervised training sets to surpass classic term-based techniques, which are constructed from raw corpora.
Edit intent: clarity
Original:  This allows us to create arbitrarily large, yet noisy, query-document relevance pairs that are domain targeted.
Revised:  This allows us to create arbitrarily large, yet noisy, question-passage relevance pairs that are domain targeted.
Edit intent: clarity
Original:  This condition implies that public-health interventions are most likely to be undermined by increased economic activity near the peak of severe diseases  .
Revised:  This condition implies that behavioral responses are most likely to be undermined by increased economic activity near the peak of severe diseases .
Edit intent: clarity
Original:  This condition implies that public-health interventions are most likely to be undermined by increased economic activity near the peak of severe diseases  .
Revised:  This condition implies that public-health interventions are most likely to undermine public-health interventions near the peak of severe diseases .
Edit intent: clarity
Original: Motivated by epidemics such as COVID-19, we study the spread of a contagious disease when people change their behavior to respond to the disease prevalence.
Revised: Motivated by epidemics such as COVID-19, we study the spread of a contagious disease when behavior responds to the disease's prevalence.
Edit intent: clarity
Original:  Individuals benefit from economic activity, but higher activity also leads to more interactions with potentially infected individuals.
Revised:  Individuals benefit from economic activity, but activity involves interactions with potentially infected individuals.
Edit intent: clarity
Original:  We obtain a simple condition for when several types of public-health interventions or changes in disease prevalence will paradoxically increase infection rates due to risk compensation.
Revised:  We obtain a simple condition for when public-health interventions or changes in disease prevalence will paradoxically increase infection rates due to risk compensation.
Edit intent: clarity
Original:  This condition implies that behavioral responses are most likely to undermine public-health interventions near the peak of severe diseases .
Revised:  Behavioral responses are most likely to undermine public-health interventions near the peak of severe diseases .
Edit intent: clarity
Original:  These derivations also identify and correct several soundness errors in the surveyed literature, which further highlights the subtlety of ODE liveness reasoning and the utility of an axiomatic deductive approach.
Revised:  These derivations also correct several soundness errors in the surveyed literature, which further highlights the subtlety of ODE liveness reasoning and the utility of an axiomatic deductive approach.
Edit intent: clarity
Original:  These derivations also identify and correct several soundness errors in the surveyed literature, which further highlights the subtlety of ODE liveness reasoning and the utility of an axiomatic deductive approach.
Revised:  These derivations also identify and correct several soundness errors in the surveyed literature, which further highlights the subtlety of ODE liveness reasoning and the utility of an axiomatic approach.
Edit intent: clarity
Original:  An important special case of the approach yields formal deduction of (global) existence properties of ODEs, which are a fundamental part of every ODE liveness argument.
Revised:  An important special case of this approach deduces (global) existence properties of ODEs, which are a fundamental part of every ODE liveness argument.
Edit intent: clarity
Original:  Overall, the resulting library of common refinement steps enables both the sound development and justification of new ODE existence and  liveness proof rules from dL axioms.
Revised:  Overall, the resulting library of common refinement steps enables both the sound development and justification of new ODE existence and of liveness proof rules from dL axioms.
Edit intent: fluency
Original:  These insights also enable and inform an implementation of those proof rules in the KeYmaera X theorem prover for hybrid systems.
Revised:  These insights are put into practice through an implementation of those proof rules in the KeYmaera X theorem prover for hybrid systems.
Edit intent: clarity
Original:  Particularly, we study the shrinking of support graphs and the exact algorithms from subcycle elimination separation problems.
Revised:  Particularly, we study the shrinking of support graphs and the exact algorithms for subcycle elimination separation problems.
Edit intent: fluency
Original: We present a product formula for the initial parts of the sparse resultant associated to an arbitrary family of supports, generalizing a previous result by Sturmfels.
Revised: We present a product formula for the initial parts of the sparse resultant associated to an arbitrary family of supports, generalising a previous result by Sturmfels.
Edit intent: fluency
Original:  This generalizes the classical Macaulay formula for the homogeneous resultant, and confirms a conjecture of Canny and ~ Emiris.
Revised:  This generalises the classical Macaulay formula for the homogeneous resultant, and confirms a conjecture of Canny and ~ Emiris.
Edit intent: fluency
Original:  This generalizes the classical Macaulay formula for the homogeneous resultant, and confirms a conjecture of Canny and ~ Emiris.
Revised:  This generalizes the classical Macaulay formula for the homogeneous resultant, and confirms a conjecture of Canny and Emiris.
Edit intent: fluency
Original: Conversational question answering (QA) requires answers conditioned on the previous turns of the conversation .
Revised: Conversational question answering (QA) requires the ability to correctly interpret a question in the context of previous conversation turns .
Edit intent: clarity
Original:  Question rewriting is designed to reformulate ambiguous questions, dependent on the conversation context, into unambiguous questions that are fully interpretable outside of the conversation context .
Revised:  Question rewriting is designed to reformulate ambiguous questions, which depend on the conversational context, into unambiguous questions that are fully interpretable outside of the conversation context .
Edit intent: fluency
Original:  Question rewriting is designed to reformulate ambiguous questions, dependent on the conversation context, into unambiguous questions that are fully interpretable outside of the conversation context .
Revised:  Question rewriting is designed to reformulate ambiguous questions, dependent on the conversation context, into unambiguous questions that can be correctly interpreted outside of the conversation context .
Edit intent: clarity
Original:  Question rewriting is designed to reformulate ambiguous questions, dependent on the conversation context, into unambiguous questions that are fully interpretable outside of the conversation context .
Revised:  Question rewriting is designed to reformulate ambiguous questions, dependent on the conversation context, into unambiguous questions that are fully interpretable outside of the context of a conversation .
Edit intent: clarity
Original:  Thereby, standard QA components can consume such explicit questions directly.
Revised:  Thereby, standard QA components can answer such explicit questions directly.
Edit intent: clarity
Original:  The main benefit of this approach is that the same questions can be used for querying different information sources, e.g., multiple 3rd-party QA services simultaneously, as well as provide a human-readable interpretation of the question in context .
Revised:  The main benefit of this approach is that the rewritten questions allow to use 3rd-party QA services simultaneously, as well as provide a human-readable interpretation of the question in context .
Edit intent: clarity
Original: In all Countries the political decisions aim at the Covid-19 spreading reduction and at reaching an almost stable configuration of coexistence with the disease, where a small number of new infected individuals per day is sustainable.
Revised: In all Countries the political decisions aim to achieve an almost stable configuration of coexistence with the disease, where a small number of new infected individuals per day is sustainable.
Edit intent: coherence
Original: In all Countries the political decisions aim at the Covid-19 spreading reduction and at reaching an almost stable configuration of coexistence with the disease, where a small number of new infected individuals per day is sustainable.
Revised: In all Countries the political decisions aim at the Covid-19 spreading reduction and at reaching an almost stable configuration with a small number of new infected individuals per day is sustainable.
Edit intent: clarity
Original:  The other case , k=2 , is estimated asymptotically,while it is conjectured to equal the probability that two  i.i.d.\ Binomial random variables are equal \to .
Revised:  In the case of k=2 , is estimated asymptotically,while it is conjectured to equal the probability that two i.i.d.\ Binomial random variables are equal \to .
Edit intent: clarity
Original:  The other case , k=2 , is estimated asymptotically,while it is conjectured to equal the probability that two  i.i.d.\ Binomial random variables are equal \to .
Revised:  The other case , k=2 , is estimated asymptotically,while it is conjectured to equal the probability that two two i.i.d.\ Binomial random variables are equal \to .
Edit intent: fluency
Original: When a set 'entities' are related by the 'features' they share they are amenable to a bipartite network representation.
Revised: When some 'entities' are related by the 'features' they share they are amenable to a bipartite network representation.
Edit intent: clarity
Original:  Analysing clustering of such entities in the network is a useful tool with applications in many fields, like internet technology, recommender systems, or detection of diseases.
Revised:  Analyzing clustering of such entities in the network is a useful tool with applications in many fields, like internet technology, recommender systems, or detection of diseases.
Edit intent: fluency
Original:  The algorithms most widely applied to find clusters in bipartite networks are variants of modularity optimisation .
Revised:  The algorithms most widely applied to find clusters in bipartite networks are variants of modularity optimization .
Edit intent: fluency
Original:  The algorithm performance is O(n ^{2 ) when applied to a set of n entities, and its outcome is a dendrogram exhibiting the connections of those entities.
Revised:  The algorithm performance is O(n ^2 ) when applied to a set of n entities, and its outcome is a dendrogram exhibiting the connections of those entities.
Edit intent: fluency
Original:  The circuits were designed and simulated using Qiskit, a quantum computing platform that enable simulations and also has the capability to run on real quantum hardware.
Revised:  The circuits were designed and simulated using Qiskit, a quantum computing platform that enables simulations and also has the capability to run on real quantum hardware.
Edit intent: fluency
Original:  The CoNNear model was trained on acoustic speech material, but its performance and applicability  evaluated using (unseen) sound stimuli common in cochlear mechanics research.
Revised:  The CoNNear model was trained on acoustic speech material, but its performance and applicability were evaluated using (unseen) sound stimuli common in cochlear mechanics research.
Edit intent: fluency
Original:  Because its architecture is based on real-time, parallel and differentiatable computations, the CoNNear model has the power to leverage real-time auditory applications towards human performance and can inspire the next generation of speech recognition, robotics and hearing-aid systems.
Revised:  Because its architecture is based on real-time, parallel and differentiable computations, the CoNNear model has the power to leverage real-time auditory applications towards human performance and can inspire the next generation of speech recognition, robotics and hearing-aid systems.
Edit intent: fluency
Original: Auditory models are commonly used as feature extractors for automatic speech recognition systems or as front-ends for robotics, machine-hearing and hearing-aid applications.
Revised: Auditory models are commonly used as feature extractors for automatic speech-recognition systems or as front-ends for robotics, machine-hearing and hearing-aid applications.
Edit intent: fluency
Original:  While over the years, auditory models have progressed to capture the biophysical and nonlinear properties of human hearing in great detail, these biophysical models are slow to compute and consequently not used in real-time applications.
Revised:  Although auditory models can capture the biophysical and nonlinear properties of human hearing in great detail, these biophysical models are slow to compute and consequently not used in real-time applications.
Edit intent: clarity
Original:  While over the years, auditory models have progressed to capture the biophysical and nonlinear properties of human hearing in great detail, these biophysical models are slow to compute and consequently not used in real-time applications.
Revised:  While over the years, auditory models have progressed to capture the biophysical and nonlinear properties of human hearing in great detail, these biophysical models are computationally expensive and cannot be used in real-time applications.
Edit intent: clarity
Original:  To enable an uptake, we present a hybrid approach where convolutional neural networks are combined with computational neuroscience to yield a real-time end-to-end model for human cochlear mechanics and level-dependent cochlear filter tuning (CoNNear).
Revised:  We present a hybrid approach where convolutional neural networks are combined with computational neuroscience to yield a real-time end-to-end model for human cochlear mechanics and level-dependent cochlear filter tuning (CoNNear).
Edit intent: coherence
Original:  To enable an uptake, we present a hybrid approach where convolutional neural networks are combined with computational neuroscience to yield a real-time end-to-end model for human cochlear mechanics and level-dependent cochlear filter tuning (CoNNear).
Revised:  To enable an uptake, we present a hybrid approach where convolutional neural networks are combined with computational neuroscience to yield a real-time end-to-end model for human cochlear mechanics , including level-dependent cochlear filter tuning (CoNNear).
Edit intent: clarity
Original:  To enable an uptake, we present a hybrid approach where convolutional neural networks are combined with computational neuroscience to yield a real-time end-to-end model for human cochlear mechanics and level-dependent cochlear filter tuning (CoNNear).
Revised:  To enable an uptake, we present a hybrid approach where convolutional neural networks are combined with computational neuroscience to yield a real-time end-to-end model for human cochlear mechanics and level-dependent filter tuning (CoNNear).
Edit intent: fluency
Original:  The CoNNear model was trained on acoustic speech material , but its performance and applicability were evaluated using (unseen) sound stimuli common in cochlear mechanics research.
Revised:  The CoNNear model was trained on acoustic speech material and its performance and applicability were evaluated using (unseen) sound stimuli common in cochlear mechanics research.
Edit intent: coherence
Original:  The CoNNear model was trained on acoustic speech material , but its performance and applicability were evaluated using (unseen) sound stimuli common in cochlear mechanics research.
Revised:  The CoNNear model was trained on acoustic speech material , but its performance and applicability were evaluated using (unseen) sound stimuli commonly employed in cochlear mechanics research.
Edit intent: clarity
Original:  The CoNNear model accurately simulates human  frequency selectivity and its dependence on sound intensity, which is essential for our hallmark robust speech intelligibility performance, even at negative speech-to-background noise ratios.
Revised:  The CoNNear model accurately simulates human frequency selectivity and its dependence on sound intensity, an essential quality for robust speech intelligibility performance, even at negative speech-to-background noise ratios.
Edit intent: clarity
Original:  Because its architecture is based on real-time, parallel and differentiable computations , the CoNNear model has the power to leverage real-time auditory applications towards human performanceand can inspire the next generation of speech recognition, robotics and hearing-aid systems .
Revised:  Because its architecture is based on parallel and differentiable computations , the CoNNear model has the power to leverage real-time auditory applications towards human performanceand can inspire the next generation of speech recognition, robotics and hearing-aid systems .
Edit intent: clarity
Original:  Because its architecture is based on real-time, parallel and differentiable computations , the CoNNear model has the power to leverage real-time auditory applications towards human performanceand can inspire the next generation of speech recognition, robotics and hearing-aid systems .
Revised:  Because its architecture is based on real-time, parallel and differentiable computations and has the power to leverage real-time auditory applications towards human performanceand can inspire the next generation of speech recognition, robotics and hearing-aid systems .
Edit intent: clarity
Original:  Because its architecture is based on real-time, parallel and differentiable computations , the CoNNear model has the power to leverage real-time auditory applications towards human performanceand can inspire the next generation of speech recognition, robotics and hearing-aid systems .
Revised:  Because its architecture is based on real-time, parallel and differentiable computations , the CoNNear model has the power to achieve real-time auditory applications towards human performanceand can inspire the next generation of speech recognition, robotics and hearing-aid systems .
Edit intent: clarity
Original:  Because its architecture is based on real-time, parallel and differentiable computations , the CoNNear model has the power to leverage real-time auditory applications towards human performanceand can inspire the next generation of speech recognition, robotics and hearing-aid systems .
Revised:  Because its architecture is based on real-time, parallel and differentiable computations , the CoNNear model has the power to leverage real-time human performance. These unique CoNNear features will enable the next generation of speech recognition, robotics and hearing-aid systems .
Edit intent: clarity
Original:  Because its architecture is based on real-time, parallel and differentiable computations , the CoNNear model has the power to leverage real-time auditory applications towards human performanceand can inspire the next generation of speech recognition, robotics and hearing-aid systems .
Revised:  Because its architecture is based on real-time, parallel and differentiable computations , the CoNNear model has the power to leverage real-time auditory applications towards human performanceand can inspire the next generation of human-like machine-hearing applications .
Edit intent: clarity