The increasing volume of questions posted on social question and answering sites has triggered the development of question routing services. Most of these routing algorithms are able to recognize effectively individuals with the required knowledge to answer a specific question. However, just because people have the capability to answer a question, does not mean that they have the desire to help...

We propose a new task of automatically detecting reputation defence strategies in the field of computational argumentation. We cast the problem as relation classification, where given a pair of reputation threat and reputation defence, we determine the reputation defence strategy. We annotate a dataset of parliamentary questions and answers with reputation defence strategies. We then propose a ...

Research has consistently demonstrated that taking a test prior to receiving misleading information increases eyewitness suggestibility (Chan, Thomas, & Bulevich, 2009). Retrieval Enhanced Suggestibility (RES) is characterized by two typical findings: (1) reduced access to the originally witnessed event, which has been contextualized within a reconsolidation framework (e.g., Chan & LaPaglia, 20...

In formal verification, we check the correctness of a system with respect to a desired property by checking whether a mathematical model of the system satisfies a specification that formally expresses the property. In the automata-theoretic approach to formal verification, we model both the system and the specification by automata. Questions about systems and their specifications are then reduc...

A study was carried out in which patients were asked questions to assess their knowledge of their condition and treatment, the questions relating particularly to care before siting an intravenous infusion and preoperative care. A high proportion of patients knew little about the procedure they were about to undergo. It is recommended that patients should be told more about matters relating to t...

‘How to verify incoming packets whether they follow standards or not?’ and ‘How to detect protocol anomalies in real-time?’, we seek to answer these questions. In order to solve these questions, we have designed a packet verifier with packet inspection and sanity check. In this work, we specify TCP transaction behaviours declaratively in a high-level language called Specification and Descriptio...