sadat2307/MSciNLI huggingface dataset:
Domain: Software and its engineering
Sentence 1: Further, given that our replication packet is trivial to port to other languages, our study simplifies the process of conducting such experiments for the community by providing a first baseline that can be adapted and tested under new conditions.
Sentence 2:  the reader should keep in mind that no single experiment on non-trivial ideas can tell us the whole truth, which is one reason why the broader programming language wars [49] have been so difficult to evaluate.
Relationship: entailment
Domain: Software and its engineering
Sentence 1: Second, lists are more widely used than other collections such as maps or sets (Gson: 60%, K-9 Mail: 57%, Apache Com­mons Math: 56%, XStream: 50%, Apache Commons Con­.guration: 53%, Stock Exchange Trading Simulator: 57%).
Sentence 2: the energy contribution from lists is probably higher than that from other collections.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: Ethics describes a gener­ally accepted set of moral principles, and addresses any intentional action that impacts negatively or positively the lives and values of others [21].
Sentence 2: ethics pro­vides moral guidance through principles; morals describe the goodness or badness of actions; values describe what an in­dividual or a group thinks is valuable or important [18, 1].
Relationship: entailment
Domain: Software and its engineering
Sentence 1: When there is a need to update the local data through multiple asynchronous requests and it is required that all them succeed, an error on a single call can lead to having incorrect information shown to the user.
Sentence 2: developers need to explicitly implement proper recovery mechanisms, a task that most of times is complex and highly error prone, leading to tangled code and harder maintenance, especially in an asynchronous environment.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: Our approach to generating candi­dates is to expose this inherent tradeoff, using candidates of many different sizes then choosing the smallest canary from among the candidates that is similar enough to the full input according to one of the metrics described in Â§4.1.4.
Sentence 2: we assume only that the application devel­oper provides a well-defined accuracy calculation function.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Together with test engineers from our industrial partner, we defined one cost measure, i.e., Time Difference (TD), which represents difference in period between a time budget and execution cost for a solution, and three effectiveness measures: Mean Priority (MPR), Mean Probability (MPO) and Mean Consequence (MC).
Sentence 2: in our context, each test case has four attributes: time, priority, probability, and consequence.
Relationship: entailment
Domain: Software and its engineering
Sentence 1: This difference makes our approach actually create new functions and insert function calls to those newly created functions in the source code.
Sentence 2: in the previous techniques for on-chip memory management [33, 14] the created partitions are still part of the existing func­tion; branches at partition boundaries need to be modified to maintain the original control flow even when the partitions are loaded to nonconsecutive memory ranges.
Relationship: contrasting
Domain: Software and its engineering
Sentence 1: World of Riders is intended to target casual players of both genders and various age groups who share attitudes of healthy lifestyle and regular exercising.
Sentence 2: given the scope of the present project, it was addressed the audience who generally support the idea that regular exercising has a positive effect on their health, but in reality experience hard times in maintaining their level of motivation and engagement in performing such physical activities on a regular basis.
Relationship: entailment
Domain: Software and its engineering
Sentence 1: Users inspect the suggested annotation sets for soundness and can ask AUTOBAHN to automatically patch their program sources.
Sentence 2: the data also shows that AUTOBAHN annota­tions outperform the hand annotations for gcSimulator: the geometric mean of gcSimulator running times when optimized by AUTOBAHN is 58.6% of the bare runtime, compared to a geomet­ric mean of 64.8% of bare for the hand-optimized version.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Thus, given that the number of rewrite operations for STT-MRAM is a perfectly feasible number for main memory or CPU cache, STT-MRAM has the potential of serving as the main memory of computer systems like DRAM does today.
Sentence 2: one disadvantage of STT-MRAM is that the write energy will be 102 times larger than that of DRAM.
Relationship: contrasting
Domain: Software and its engineering
Sentence 1: We propose that the hypervisor layer, located between guest-OS software and physical hardware, is most suitable for implementing page placement optimization.
Sentence 2: existing hypervisors designed for DRAM-only memory architecture, do not have any support for hybrid memory systems; there is no mechanism to allocate guest pages from DRAM and NVM pages and dynamically optimize page mappings.
Relationship: contrasting
Domain: Software and its engineering
Sentence 1: This value is the total number of movements invoked by placing SSi at SLOTj .
Sentence 2: orion not only improves performance up to 1.61 times speedup but also resource &#38; energy efficiency, with up to 62.5% memory resource saving, and 6.7% energy reduction over the highly optimized code gen­erated by nvcc (Section 4).
Relationship: neutral
Domain: Software and its engineering
Sentence 1: The overall goal of the workshop was to create a shared understanding of UX, provoke discussion and encourage rethinking and reflection, engage the employees to the design cultural change, co-create guidelines for empowerment, and ideate possible ways to implement them into the design process.
Sentence 2: a participatory workshop was conducted in order to prepare the employees to accept this still quite unfamiliar and sometimes confusing methodology of UX that was only slightly familiar to them.
Relationship: entailment
Domain: Software and its engineering
Sentence 1: The results of the proof-of-concept empirical study, i.e., which of the afore-mentioned mappings have been identified in the explored games, are outlined in Table I.
Sentence 2: the class diagram created for this mapping consists of an abstract Game class whose member function gameloop plays the role of the template method and defines the structure of the al-gorithm that implements the game loop.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: In this experiment, we plan to implement an BCI (Brain Computer Interaction) interface, where the user will be able to change the from an avatar to another by measuring his/her brain activity.
Sentence 2: if the User relaxes, her/his brain activity is in low level and its avatar morphs to a more gentle or friendly avatar, if the User is in alert, his/her brain activity is in high level and its avatar morphs to a more intimidating or hostile avatar.
Relationship: entailment
Domain: Software and its engineering
Sentence 1: Each miner receiving a newly cre­ated block validates the block's integrity.
Sentence 2: it makes sure that (i) the block's SHA-2562 is indeed lower than the difficulty threshold, (ii) all transactions in it are legitimate (i.e., if all input coins are in the UTxO set and are signed by their claimed owners), and that (iii) the miner that created it has allocated the correct amount to his own wallet (i.e., the number of bitcoins offered per created block, plus the fees of all included transactions).
Relationship: entailment
Domain: Software and its engineering
Sentence 1: In contrast, a careful discussion is needed for isEmpty, as there is no computable counterpart of isEmpty in general functional programs, and it must be converted to an productivity-test oracle (Section 4).
Sentence 2: unlike that in Section 4, the discussions in Sections 5, 6 and 7 can be easily extended to isEmpty because isEmpty becomes computable for FUnCAL programs thanks to the type system in Section 6.
Relationship: contrasting
Domain: Software and its engineering
Sentence 1: The TCP/IP channels, or remote consoles are used to access remote RTSs.
Sentence 2: in the model-level debugging, purpose of the sub-model construction is to: 1) reduce the set of application states to the level that it can be visually traced; 2) vary values of object included in a model in an efficient and simple way; and 3) generate representative documentation.
Relationship: neutral
Domain: Software and its engineering
Sentence 1: Professional, novice, or amateur designers, are now equipped with the means to fabricate and test ideas rapidly at a relatively low cost, and at a much earlier stage of the design process.
Sentence 2: just like any new tools, integrating digital fabrication into the design process is often a trial-and-error process such as specifying the right joints and parameters for different materials during laser cutting.
Relationship: contrasting
Domain: Software and its engineering
Sentence 1: An additional wrinkle is that it is much more difficult to find spam projects on SourceForge using the downloads metric, as we did with CodePlex, due to inconsistencies in the way data was donated to SRDA over the years [13], and the lamentable fact that there seems to be no accurate mechanism for querying downloads after 2009.
Sentence 2: we differentiate between all projects and and likely nonspam projects using the amount of text in the description field, since legitimate projects will include a description, even if it is short.
Relationship: reasoning
Domain: Software and its engineering
Sentence 1: By looking at the results reported by the accuracy measure and F1­measure, we can see a discrepancy between them, possibly due to the sample size and, more importantly, our use of 10-way cross validation, which usually overestimates errors in models [20].
Sentence 2: the real performance of the models in F1-measure exceeds the values reported in Table 6.
Relationship: entailment