For a Banach space X, let B(X) and K(X) denote the Banach algebra of all bounded linear operators and its ideal of all compact operators on X, respectively.

Let $\mathcal{M}(\mathbb{R}^n)$ be the class of bounded away from one and infinity functions $p:\mathbb{R}^n\to[1,\infty]$ such that the Hardy-Little…

First we consider the case of rearrangement-invariant Banach function spaces.

Let $X$ be a separable Banach function space on the unit circle $\mathbb{T}$ and $H[X]$ be the abstract Hardy space built upon $X$. We show that the …

The notion of completely independent set was proposed by E. H. Moore [6]. It is a considerably stronger property of an axiom system than the familiar notion of independence. {Definition}An axiom system X is said to be completely independent if, for …

A recently proposed axiom system for Andr\'e's central translation structures is improved upon. First, one of its axioms turns out to be dependent (d…

This paper is concerned with steady, fully developed motion of a Navier-Stokes fluid with shear-dependent viscosity in a curved pipe under a given ax…

Nowadays, denial of service (DoS) attacks represent a significant fraction of all attacks that take place in the Internet and their intensity is alwa…

We performed a reference-free measurement of the transition energies of the $1s 2p\,^1P\_1\to 1s^2 \,^1S\_0$ line in He-like argon, and of the $1s 2s…

At the moment Tipi supports a handful of theorem provers and model finders. Supporting further systems is desirable; any automated reasoning system that supports the SZS ontology could, in principle, be added.

In some theory development tasks, a problem is satisfactorily solved once it is shown that a theorem (conjecture) is derivable from the background th…

In microblog retrieval, query expansion can be essential to obtain good search results due to the short size of queries and posts. Since information …

We define a four-dimensional spin-foam perturbation theory for the ${\rm BF}$-theory with a $B\wedge B$ potential term defined for a compact semi-sim…

We propose an ECG denoising method based on a feed forward neural network with three hidden layers. Particulary useful for very noisy signals, this a…

We have extended existing work on session types for object-oriented languages by allowing the implementation of a session to be divided between several methods which can be called independently. This supports a modular approach which is absent from …

Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checki…

--- Portuguese version As falhas de software est\~ao com frequ\^encia associadas a acidentes com graves consequ\^encias econ\'omicas e/ou humanas, …

In this paper we address the task of gender classification on picture sharing social media networks such as Instagram and Flickr. We aim to infer the…

The population growth of a Staphylococcus aureus culture was followed by rheological measurements, under steady-state and dynamic shear flows. We obs…

We investigate the quantum interference shifts between energetically close states, where the state structure is observed by laser spectroscopy. We re…

In this paper we have studied the notion of minimal change in the context of the dynamic framework of evolving Multi-Context Systems (eMCSs) [15]. We have presented and discussed some alternative definitions of minimal change criteria for evolving e…

Managed Multi-Context Systems (mMCSs) provide a general framework for integrating knowledge represented in heterogeneous KR formalisms. However, mMCS…

Scientific research involves mathematical modelling in the context of an interactive balance between theory, experiment and computation. However, com…

Let f∈L1loc(Rn). For a cube Q⊂Rn, put

Let $\mathcal{M}(\mathbb{R}^n)$ be the class of functions $p:\mathbb{R}^n\to[1,\infty]$ bounded away from one and infinity and such that the Hardy-Li…

Current computational systems are heterogeneous by nature, featuring a combination of CPUs and GPUs. As the latter are becoming an established platfo…

We announce a tool for mapping derivations of the E theorem prover to Mizar proofs. Our mapping complements earlier work that generates problems for automated theorem provers from Mizar inference checking problems. We describe the tool, explain the …

We announce a tool for mapping derivations of the E theorem prover to Mizar proofs. Our mapping complements earlier work that generates problems for …

By signing up you accept our content policy

Already have an account? Sign in

No a member yet? Create an account