In Hayashi and Leigh (2024), the authors formulate classical number realisability for first-order arithmetic and a corresponding axiomatic system based on Krivine's classical realisability interpretation. This paper presents a self-referential genera...
I was starting to freak out about having to go to the doctor’s office and pharmacy to do my monthly refill until I saw this. They will now allow video appointments and e-prescriptions that can be de...
In this paper the magnetic behaviour of undoped and 15% F doped SmFeAsO (Sm-1111) and LaFeAsO (La-1111) samples is presented and discussed. Magnetization measurements are not a simple tool to use for the characterisation of the new family of Fe-bas...
Download: Lead Sheet 1. I’d like to take this time just to let you know I am inspired by the faithfulness you’ve always shown. With pen and paper, I put down these words To help you understand that we …
This paper tackles the problem of data abstraction in the context of 3D point sets. Our method classifies points into different geometric primitives, such as planes and cones, leading to a compact representation of the data. Being based on a semi-glo...
We compare the expected contribution of FR-II hot spots to the ultra-high energy cosmic ray spectrum (Rachen & Biermann 1993, A&A in press, BB paper astro-ph/9301010) to improved experimental results. We introduce a "world data set" of UHE cosmic r...
Hain and Matsumoto constructed a category of universal mixed elliptic motives and described the fundamental Lie algebra of this category, relating it to a certain graded and filtered Lie algebra E. In an unpublished paper, Aaron Pollack proved a resu...
Efficient exploration is essential for intelligent systems interacting with their environment, but existing language models often fall short in scenarios that require strategic information gathering. In this paper, we present Paprika, a fine-tuning a...
This paper provides a general and abstract approach to approximate ergodic regimes of Markov and Feller processes. More precisely, we show that the recursive algorithm presented in Lamberton & Pages (2002) and based on simulation algorithms of stocha...
In this paper, we show that the abstract framework developed in Pages & Rey (2017) and inspired by Lamberton & Pages (2002) can be used to build invariant distributions for Brownian diffusion processes using the Milstein scheme and for diffusion proc...
This work concerns the analysis of electromagnetic dispersive media modelled by generalized Lorentz models. More precisely, this paper is the second of two articles dedicated to the long time behaviour of solutions of Maxwell's equations in dissipati...
In this paper, we investigate the butterfly factorization problem, i.e., the problem of approximating a matrix by a product of sparse and structured factors. We propose a new formal mathematical description of such factors, that encompasses many diff...
This paper introduces the interpolative butterfly factorization for nearly optimal implementation of several transforms in harmonic analysis, when their explicit formulas satisfy certain analytic properties and the matrix representations of these tra...
In this paper we propose a multilevel model specification with time series components for the analysis of prices of artworks sold at auctions. Since auction data do not constitute a panel or a time series but are composed of repeated cross-sections t...
Bounce Rate of different E-commerce websites depends on the different factors based upon the different devices through which traffic share is observed. This research paper focuses on how the type of products sold by different E-commerce websites affe...
Recent studies in active learning, particularly in uncertainty sampling, have focused on the decomposition of model uncertainty into reducible and irreducible uncertainties. In this paper, the aim is to simplify the computational process while elimin...
The crowdsourcing consists in the externalisation of tasks to a crowd of people remunerated to execute this ones. The crowd, usually diversified, can include users without qualification and/or motivation for the tasks. In this paper we will introduce...
This is a series of short teaching papers dealing with specific topics in a standard first-year undergraduate Physics course. ----- Este texto compõe-se de quatro pequenas notas -- independentes entre si -- em que se discutem alguns tópicos e...
In \cite{luo2006,luosri2005}, Luo and Srivastava introduced some generalizations of the Apostol -Bernoulli polynomials and the Apostol-Euler polynomials. The main object of this paper is to extend the result of \cite{prevost2010} to these generalized...
In this paper we present DELTA, a deep learning based language technology platform. DELTA is an end-to-end platform designed to solve industry level natural language and speech processing problems. It integrates most popular neural network models for...