Browsing by Subject "complexity"

Sort by: Order: Results:

  • Ebbing, Johannes; Kontinen, Juha; Mueller, Julian-Steffen; Vollmer, Heribert (Braunschweig : Tech. Univ. Braunschweig, 2014)
    In this paper we study the expressive power of Horn-formulae in dependence logic and show that they can express NP-complete problems. Therefore we define an even smaller fragment D*-Horn and show that over finite successor ...
  • Canali, Stefano (London : Sage Publications, 2016)
    Recently, it has been argued that the use of Big Data transforms the sciences, making data-driven research possible and studying causality redundant. In this paper, I focus on the claim on causal knowledge by examining the ...
  • Haberlandt, Uwe (Göttingen : Copernicus GmbH, 2010)
    Decision support for planning and management of water resources needs to consider many target criteria simultaneously like water availability, water quality, flood protection, agriculture, ecology, etc. Hydrologic models ...
  • Brell, Courtney G.; Bartlett, Stephen D.; Doherty, Andrew C. (Bristol : IOP Publishing Ltd., 2014-12-22)
    We construct parent Hamiltonians involving only local 2-body interactions for a broad class of projected entangled pair states (PEPS). Making use of perturbation gadget techniques, we define a perturbative Hamiltonian ...
  • Lück, Martin (Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2020)
    Team semantics is an extension of classical logic where statements do not refer to single states of a system, but instead to sets of such states, called teams. This kind of semantics has applications for example in ...