-
1
-
2
Hypercomputation: computing more than the Turing machine
Published 2021“…In this report, I survey much of the work that has been done on hypercomputation, explaining how such non-classical models fit into the classical theory of computation and comparing their relative powers. …”
Report -
3
Taming a Hydra of Singularities
Published 2005“…The results given in this short note are, as we think, an unexpectedly twinkling gem of classical analysis.…”
Report -
4
Relative Robust Portfolio Optimization
Published 2013“…Considering mean-variance portfolio problems with uncertain model parameters, we contrast the classical absolute robust optimization approach with the relative robust approach based on a maximum regret function. …”
Report -
5
An abstract formulation of the concept of entropy
Published 2000“…It allows a simple classification of the standard relations of classical thermodynamics and yields a simple derivation of the conditions for concavity of the entropy function. …”
Report -
6
A New Approach to Yakubovich's s-Lemma
Published 2007“…In this paper we explore a new geometric approach to the proof of this classical result.…”
Report -
7
Ontology−Based Query Answering with Group Preferences
Published 2014“…We then provide algorithms to answer k-rank queries for DAQs (disjunctions of atomic queries) under these group preferences and uncertainty that generalizes top-k queries based on the iterative computation of classical skyline answers. We show that such DAQ answering in Datalog+/– can be done in polynomial time in the data complexity, under certain reasonable conditions, as long as query answering can also be done in polynomial time (in the data complexity) in the underlying classical ontology. …”
Report -
8
'Loyalty benefits' and the welfare state
Published 2010“…<p>‘Loyalty benefits’ are transfer payments designed to motivate or reward citizens for serving the state, either tangibly or symbolically. Classic examples are benefits to soldiers and civil servants, and today, special benefits granted to political refugees.…”
Report -
9
Boundedness Theorems for the Relaxation Method
Published 2003“…A classical theorem by Block and Levin says that certain variants of the relaxation method for solving systems of linear inequalities produce bounded sequences of intermediate solutions even when running on inconsistent input data. …”
Report -
10
Variational Convergence of IP-DGFEM
Published 2007“…For Sobolev indices in $\left[1;\infty\right)$, we prove generalizations of many techniques of classical analysis in Sobolev spaces and apply them to a typical energy minimization problem for which we prove convergence of a variational interior penalty discontinuous Galerkin nite element method (VIPDGFEM). …”
Report -
11
hp-DGFEM for Partial Differential Equations with Nonnegative Characteristic Form
Published 1999“…This class of equations includes classical examples of second-order elliptic and parabolic equations, first-order hyperbolic equations, as well as equations of mixed type. …”
Report -
12
On the spectral distribution of kernel matrices related to radial basis functions
Published 2013“…By relating a contemporary finite-dimensional linear algebra problem to a classical problem on infinite-dimensional linear integral operator, the paper shows how the spectral distribution of a kernel matrix relates to the smoothness of the underlying kernel function. …”
Report -
13
A Bramble−Pasciak−like method with applications in optimization
Published 2008“…The Stokes problem describing slow viscous flow of an incompressible fluid is a classic example coming from partial differential equations and in the area of Optimization such problems are ubiquitous. …”
Report -
14
A Bramble-Pasciak-like method with applications in optimization
Published 2008“…The Stokes problem describing slow viscous flow of an incompressible fluid is a classic example coming from partial differential equations and in the area of Optimization such problems are ubiquitous. …”
Report -
15
An Algebraic Theory of Interface Automata
Published 2013“…A trace-based linear-time refinement is provided, which is the weakest preorder preserving substitutivity of components, and is weaker than the classical alternating simulation defined on interface automata. …”
Report -
16
Discontinuous Galerkin methods for first-order hyperbolic problems
Published 2004“…For a specific value of the penalty parameter we recover the classical discontinuous Galerkin method with upwind numerical flux function. …”
Report -
17
Big Toy Models: Representing Physical Systems As Chu Spaces
Published 2009“…Rather than seeking to construct a simplified toy model, we aim for a 'big toy model', in which both quantum and classical systems can be faithfully representedandemdash;as well as, possibly, more exotic kinds of systems. …”
Report -
18
A Categorical semantics of Quantum Protocols
Published 2004“…This contrasts with the standard accounts, in which the classical information flows are 'outside' the usual quantum-mechanical formalism.…”
Report -
19
Ground State Spin Calculus
Published 2010“…This compositional theory is given in terms of string diagrams: these results were made possible by mapping a variant of the Boolean F2-calculus onto spins and synthesizing modern ideas appearing in Category Theory, Coalgebras, Classical Network Theory and Graphical Calculus. Specifically, we present an algebraic method which allows one to explicitly engineer several energy levels including the low-energy subspace of interacting spin systems. …”
Report -
20
Existence of global weak solutions to kinetic models for dilute polymers
Published 2006“…We justify also, through a rigorous limiting process, certain classical reductions of this model appearing in the literature which exclude the centre-of-mass diffusion term from the Fokker-Planck equation on the grounds that the diffusion coefficient is small relative to other coefficients featuring in the equation. …”
Report