Let $Φ'$ denote the strong dual of a nuclear space $Φ$ and let $C_{\infty}(Φ')$ be the collection of all continuous mappings $x:[0,\infty) \rightarrow Φ'$ equipped with the topology of local uniform convergence. In this paper we prove sufficient...
Necessary and sufficient conditions are given for when a sequence of finite dimensional subspaces (X_n) can be blocked to be a skipped blocking decompositon (SBD). These are very similar to known results about blocking of biorthogonal sequences. A...
The application of machine learning based decision making systems in safety critical areas requires reliable high certainty predictions. Reject options are a common way of ensuring a sufficiently high certainty of predictions made by the system. Whil...
The hat-guessing number is a graph invariant defined by Butler, Hajiaghayi, Kleinberg, and Leighton. We determine the hat-guessing number exactly for book graphs with sufficiently many pages, improving previously known lower bounds of He and Li and e...
This paper deals with the problem of estimating the probability that one event was a cause of another in a given scenario. Using structural-semantical definitions of the probabilities of necessary or sufficient causation (or both), we show how to opt...
Superbursts are thought to be powered by the unstable ignition of a carbon-enriched layer formed from the burning of accreted hydrogen and helium. As shown by Cumming & Bildsten, the short recurrence time hinges on the crust being sufficiently hot...
Cellular internalization of nanoparticles requires the full wrapping of the nanoparticles by the cell membrane. This wrapping process can occur spontaneously if the adhesive interactions between the nanoparticles and the membranes are sufficiently st...
In cooperative human decision-making, agreements are often not total; a partial degree of agreement is sufficient to commit to a decision and move on, as long as one is somewhat confident that the involved parties are likely to stand by their commitm...
Conway and Soifer showed that an equilateral triangle $T$ of side $n + \varepsilon$ with sufficiently small $\varepsilon > 0$ can be covered by $n^2 + 2$ unit equilateral triangles. They conjectured that it is impossible to cover $T$ with $n^2 + 1$ u...
Programming for distributed memory machines has always been a tedious task, but necessary because compilers have not been sufficiently able to optimize for such machines themselves. Molly is an extension to the LLVM compiler toolchain that is able to...
In this article, we consider a sufficient condition that a knot-surgery or log-transformation of $E(n)$ admits a handle decomposition without 1-handles. We show that if $K$ is a knot that the bridge number is $b(K)\le 9n$, then the knot-surgery $E(n)...
"Stocked" generally refers to the state of being filled, supplied, or stored with something, often goods or items. It can be used in various contexts such as retail where it denotes that a store has a sufficient …
We formulate a sufficient condition for the existence of a consistent price system (CPS), which is weaker than the conditional full support condition (CFS) introduced by Guasoni, Rasonyi, and Schachermayer [Ann. Appl. Probab., 18(2008), pp. 491-520]...
We give an implicit equation for the accessory parameter on the torus which is the necessary and sufficient condition to obtain the monodromy of the conformal factor. It is shown that the perturbative series for the accessory parameter in the couplin...
The Session Initiation Protocol (SIP) is an application-layer control protocol for creating, modifying and terminating multimedia sessions. An open issue is the control of overload that occurs when a SIP server lacks sufficient CPU and memory resourc...
The averaged null energy condition (ANEC) requires that the integral over a complete null geodesic of the stress-energy tensor projected onto the geodesic tangent vector is never negative. This condition is sufficient to prove many important theore...
A Schunck class H is determined by the class X of primitives contained in H. We give necessary and sufficient conditions on X for H to be a saturated formation....
We describe a finitary 2-monad on a locally finitely presentable 2-category for which not every pseudoalgebra is equivalent to a strict one. This shows that having rank is not a sufficient condition on a 2-monad for every pseudoalgebra to be strictif...
The electronic distribution in devices with sufficiently small diemnsions may not be in thermal equilibrium with their surroundings. Systems where the occupancies of electronic states are solely determined by tunneling processes are analyzed. It is...
In 1993, Fishburn and Graham established the following qualitative extension of the classical Erdős-Szekeres theorem. If $N$ is sufficiently large with respect to $n$, then any $N\times N$ real matrix contains an $n\times n$ submatrix in which every...