Empilements de cercles: Convergence d'une méthode de point fixe.
Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
Employing different loss functions for the classification of images via supervised learning
Supervised learning methods are powerful techniques to learn a function from a given set of labeled data, the so-called training data. In this paper the support vector machines approach is applied to an image classification task. Starting with the corresponding Tikhonov regularization problem, reformulated as a convex optimization problem, we introduce a conjugate dual problem to it and prove that, whenever strong duality holds, the function to be learned can be expressed via the dual optimal solutions....
Encoding fix in object calculi
Encoding FIX in Object Calculi
We show that the FIX type theory introduced by Crole and Pitts [3] can be encoded in variants of Abadi and Cardelli's object calculi. More precisely, we show that the FIX type theory presented with judgements of both equality and operational reduction can be translated into object calculi, and the translation proved sound. The translations we give can be seen as using object calculi as a metalanguge within which FIX can be represented; an analogy can be drawn with Martin Löf's Theory of Arities...
Encryption schemes using finite frames and Hadamard arrays.
e-Nets and Simplex Range Queries.
Enhanced electrical impedance tomography via the Mumford–Shah functional
We consider the problem of electrical impedance tomography where conductivity distribution in a domain is to be reconstructed from boundary measurements of voltage and currents. It is well-known that this problem is highly illposed. In this work, we propose the use of the Mumford–Shah functional, developed for segmentation and denoising of images, as a regularization. After establishing existence properties of the resulting variational problem, we proceed by demonstrating the approach in several...
Enhanced Electrical Impedance Tomography via the Mumford–Shah Functional
We consider the problem of electrical impedance tomography where conductivity distribution in a domain is to be reconstructed from boundary measurements of voltage and currents. It is well-known that this problem is highly illposed. In this work, we propose the use of the Mumford–Shah functional, developed for segmentation and denoising of images, as a regularization. After establishing existence properties of the resulting variational problem, we proceed by demonstrating the approach in several...
Enhanced stochastic methodology for combined architecture of E-commerce and security networks.
Ensembles infinis en programmation
Entiers intuitionnistes et entiers classiques en -calcul
Entity-relationship-attribute designs and sketches.
Enumerated type semantics for the calculus of looping sequences
The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. In this paper we enrich this calculus with a type discipline which preserves some biological properties depending on the minimum and the maximum number of elements of some type requested by the present elements. The type system enforces these properties and typed reductions guarantee that evolution preserves them. As an example, we model the hemoglobin structure and...
Enumerated type semantics for the calculus of looping sequences
The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. In this paper we enrich this calculus with a type discipline which preserves some biological properties depending on the minimum and the maximum number of elements of some type requested by the present elements. The type system enforces these properties and typed reductions guarantee that evolution preserves them. As an example, we model the hemoglobin structure...
Enumerating Davenport-Schinzel sequences
Enumerating large orbits and direct condensation.
Enumeration of bordered words, le langage de la vache-qui-rit
Enumeration problems of trees. (Abzählprobleme bei Bäumen.)
Envelope construction of two-parameteric system of curves in the technological practice
A two-parametric system of close planar curves is defined in the introduction of the presented article. Next a theorem stating the existence of the envelope is presented and proved. A mathematical model of the collecting mechanism of the Horal forage trailer is developed and used for practical demonstrations. The collecting mechanism is a double joint system composed of three rods. An equation describing the trajectory of a random point of the working rod is derived using Maple. The trajectories...