Now showing items 167-186 of 353

    • Identifying Problem Statements in Scientific Text 

      Heffernan, Kevin; Teufel, S (University of Potsdam, 2016-09-13)
      In this work, we focus on the automatic identification of fine-grained problem-solution structure in scientific argumentation. We operationalise the task of finding problem formulations within scientific text in a supervised ...
    • The Impact of Geographic Distance on Online Social Interactions 

      Laniado, D; Volkovich, Y; Scellato, S; Mascolo, Cecilia; Kaltenbrunner, A
      Online social networking services entice millions of users to spend hours every day interacting with each other. The focus of this work is to explain the effect that geographic distance has on online social interactions ...
    • The Impact of Heterogeneity and Awareness in Modeling Epidemic Spreading on Multiplex Networks. 

      Scatà, M; Di Stefano, A; Liò, Pietro; La Corte, A (Nature Publishing Group, 2016-11-16)
      In the real world, dynamic processes involving human beings are not disjoint. To capture the real complexity of such dynamics, we propose a novel model of the coevolution of epidemic and awareness spreading processes on a ...
    • Improving argument overlap for proposition-based summarisation 

      Fang, Y; Teufel, S (Association for Computational Linguistics, 2016-01-01)
      We present improvements to our incremental proposition-based summariser, which is inspired by Kintsch and van Dijk's (1978) text comprehension model. Argument overlap is a central concept in this summariser. Our new model ...
    • Incentivising software updates 

      Thomas, Daniel R.; Beresford, Alastair Richard (Internet Architecture Board, 2016-06-13)
      Internet of Things devices will need software updates to fix the security vulnerabilities that are found after they are sold. Even when using development practices that make producing updates easy, there is still a cost ...
    • Information Flow Audit for PaaS clouds 

      Pasquier, Thomas FJ-M; Singh, Jatinder; Bacon, Jean Margaret; Eyers, David (IEEE, 2016-06-02)
      With the rapid increase in uptake of cloud services, issues of data management are becoming increasingly prominent. There is a clear, outstanding need for the ability for specified policy to control and track data as it ...
    • Information Flow Audit for Transparency and Compliance in the Handling of Personal Data 

      Pasquier, Thomas F. J.-M.; Eyers, David (IEEE, 2016-04-09)
      The adoption of cloud computing is increasing and its use is becoming widespread in many sectors. As the proportion of services provided using cloud computing increases, legal and regulatory issues are becoming more ...
    • Information Theory and the IrisCode 

      Daugman, John Gustav (IEEE, 2015-11-12)
      Iris recognition has legendary resistance to False Matches, and the tools of information theory can help to explain why. The concept of entropy is fundamental to understanding biometric collision avoidance. This paper ...
    • Inter-domain Networking Innovation on Steroids: Empowering IXPs with SDN Capabilities 

      Chiesa, Marco; Dietzel, Christoph; Antichi, Gianni; Bruyere, Marc; Castro, Ignacio; Gusat, Mitch; King, Thomas et al. (IEEE, 2016-10-14)
      While innovation in inter-domain routing has remained stagnant for over a decade, Internet Exchange Points (IXPs) are consolidating their role as economically advantageous interconnection points for reducing path latencies ...
    • Inter-Social-Networking: Accounting for Multiple Identities 

      Price, Dominic; McAuley, Derek; Mortier, Richard Michael; Greenhalgh, Chris; Brown, Michael; Angelopoulos, Spyros (Springer, 2015-07-19)
      We argue that the current approaches to online social networking give rise to numerous challenges regarding the management of the multiple facets of people’s digital identities within and around social networking sites ...
    • Interacting with an inferred world: the challenge of machine learning for humane computer interaction 

      Blackwell, Alan F. (Association for Computing Machinery, 2015-08-17)
      Classic theories of user interaction have been framed in relation to symbolic models of planning and problem solving, responding in part to the cognitive theories associated with AI research. However, the behavior of ...
    • The International Postal Network and Other Global Flows as Proxies for National Wellbeing 

      Hristova, Desislava; Rutherford, Alex; Anson, Jose; Luengo-Oroz, Miguel; Mascolo, Cecilia (Public Library of Science, 2016-06-01)
      The digital exhaust left by flows of physical and digital commodities provides a rich measure of the nature, strength and significance of relationships between countries in the global network. With this work, we examine ...
    • Into the depths of C: elaborating the de facto standards 

      Memarian, Kayvan; Matthiesen, Justus; Lingard, James; Nienhuis, Kyndylan; Chisnall, David; Watson, Robert Nicholas; Sewell, Peter Michael (Association for Computing Machinery, 2016-06-02)
      C remains central to our computing infrastructure. It is notionally defined by ISO standards, but in reality the properties of C assumed by systems code and those implemented by compilers have diverged, both from the ISO ...
    • Investigating Engagement with In-Video Quiz Questions in a Programming Course 

      Cummins, Stephen; Beresford, Alastair Richard; Rice, Andrew (IEEE, 2015-06-11)
      In-video quizzes are common in many distance learning platforms, including those from Coursera and EdX. However the effectiveness of in-video quizzes has not previously been assessed. In this paper we describe the construction ...
    • An Isabelle/HOL formalisation of Green’s theorem 

      Abdulaziz, M; Paulson, Lawrence Charles (Springer, 2016-08-07)
      We formalise a statement of Green’s theorem in Isabelle/ HOL, which is its first formalisation to our knowledge. The theorem statement that we formalise is enough for most applications, especially in physics and engineering. ...
    • JA-trie: Entropy-Based Packet Classification 

      Antichi, Gianni; Callegari, Christian; Moore, Andrew William; Giordano, Stefano; Anastasi, Enrico (IEEE, 2014-09-16)
      Any improvement in packet classification performance is crucial to ensure Internet functions continue to track the ever-increasing link capacities. Packet classification is the foundation of many Internet functions: from ...
    • Jitsu: Just-In-Time Summoning of Unikernels 

      Madhavapeddy, Anil Venkata; Leonard, Thomas; Skjegstad, Magnus; Gazagnaire, Thomas; Sheets, David; Scott, Dave; Mortier, Richard Michael et al. (USENIX, 2015-03-27)
      Network latency is a problem for all cloud services. It can be mitigated by moving computation out of remote datacenters by rapidly instantiating local services near the user. This requires an embedded cloud platform on ...
    • Joint channel sensing and power control scheme for cognitive radio wireless sensor networks 

      Feng, Ziqiang; Wassell, Ian James (IEEE, 2017-05-02)
      In this paper, we investigate channel sensing and power control problems in a cluster-based cognitive radio wireless sensor network (CRWSN). We first propose three channel sensing algorithms to solve the channel sensing ...
    • Joint sensing matrix and sparsifying dictionary optimization for tensor compressive sensing 

      Ding, X; Chen, W; Wassell, Ian James (IEEE, 2017-07-15)
      Tensor compressive sensing (TCS) is a multidimensional framework of compressive sensing (CS), and it is advantageous in terms of reducing the amount of storage, easing hardware implementations, and preserving multidimensional ...