Search Results - Charlton, Nathaniel

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    A refined parametric model for short term load forecasting

    A refined parametric model for short term load forecasting by Charlton, Nathaniel, Singleton, Colin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    In the mood: the dynamics of collective sentiments on Twitter

    In the mood: the dynamics of collective sentiments on Twitter by Charlton, Nathaniel, Singleton, Colin, Greetham, Danica Vukadinović

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Specification patterns for reasoning about recursion through the store

    Specification patterns for reasoning about recursion through the store by Charlton, Nathaniel, Reus, Bernhard

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Symbolic Execution Proofs for Higher Order Store Programs

    Symbolic Execution Proofs for Higher Order Store Programs by Reus, Bernhard, Charlton, Nathaniel, Horsfall, Ben

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Program verification with interacting analysis plugins

    Program verification with interacting analysis plugins by CHARLTON, Nathaniel

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Separating temporal and topological effects in walk-based network centrality

    Separating temporal and topological effects in walk-based network centrality by Colman, Ewan R, Charlton, Nathaniel

    Published in Physical review. E
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Formal reasoning about runtime code update

    Formal reasoning about runtime code update by Charlton, N, Horsfall, B, Reus, B

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Separating temporal and topological effects in walk-based network centrality

    Separating temporal and topological effects in walk-based network centrality by Colman, Ewan, Charlton, Nathaniel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Verification of Java Programs with Interacting Analysis Plugins

    Verification of Java Programs with Interacting Analysis Plugins by Charlton, Nathaniel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Total positive influence domination on weighted networks

    Total positive influence domination on weighted networks by Greetham, Danica Vukadinović, Charlton, Nathaniel, Poghosyan, Anush

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Falsifying Safety Properties Through Games on Over-approximating Models

    Falsifying Safety Properties Through Games on Over-approximating Models by Charlton, Nathaniel, Huth, Michael

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    Graph-based algorithms for comparison and prediction of household-level energy use profiles

    Graph-based algorithms for comparison and prediction of household-level energy use profiles by Charlton, Nathaniel, Greetham, Danica Vukadinovic, Singleton, Colin

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Polynomial-Time Under-Approximation of Winning Regions in Parity Games

    Polynomial-Time Under-Approximation of Winning Regions in Parity Games by Antonik, Adam, Charlton, Nathaniel, Huth, Michael

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    In the mood: the dynamics of collective sentiments on Twitter

    In the mood: the dynamics of collective sentiments on Twitter by Charlton, Nathaniel, Singleton, Colin, Greetham, Danica Vukadinović

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    A Systematic Review of the Risks of Motor Vehicle Crashes Associated with Psychiatric Disorders

    A Systematic Review of the Risks of Motor Vehicle Crashes Associated with Psychiatric Disorders by Rapoport, Mark J., Chee, Justin Nathaniel, Prabha, Thadshagini, Dow, Jamie, Gillespie, Ian, Koppel, Sjaan, Charlton, Judith L., O’Neill, Desmond, Donaghy, Paul C., Ho, Angela Onkay, Taylor, John-Paul, Tant, Mark

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: