Search results for " Program"

Nonsmooth Optimization Methods

1999

From the previous chapters we know that after the discretization, elliptic and parabolic hemivariational inequalities can be transformed into substationary point type problems for locally Lipschitz superpotentials and as such will be solved. There is a class of mathematical programming methods especially developed for this type of problems. The aim of this chapter is to give an overview of nonsmooth optimization techniques with special emphasis on the first and the second order bundle methods. We present their basic ideas in the convex case and necessary modifications for nonconvex optimization. We shall use them in the next chapter for the numerical realization of several model examples. L…

Segre and the Foundations of Geometry: From Complex Projective Geometry to Dual Numbers

2016

In 1886 Corrado Segre wrote to Felix Klein about his intention to study ‘geometrie projective pure’, completing and developing the work of von Staudt. He would continue this research project throughout the whole of his scientific life. In 1889, following a suggestion of Segre, Mario Pieri published his translation of the Geometrie der Lage, and from 1889 to 1890 Segre published four important papers, “Un nuovo campo di ricerche geometriche”, in which he completely developed complex projective geometry, considering new mathematical objects such as antiprojectivities and studying the Hermitian forms from a geometrical point of view with the related ‘hyperalgebraic varieties’. Segre developed …

Iterationsverfahren höherer Ordnung in Banach-Räumen

1969

The Newton process for operator equations in say a linear normed complete space converges under certain hypothesis about the Frechet-derivatives of the operator with at least the order two. There are different ways to improve this Newton process. For instance you obtain a process of order three if you add a correction element containing the second Frechet-derivative of the operator [1]. In the following note we will generalize this idea. In a recursive manner -- by adding higher derivatives -- we will construct iterative processes of any orderk (k > 1). A general theorem due toCollatz provides us error estimates for this processes. Last we will illustrate the processes by several examples.

Proving convexity preserving properties of interpolatory subdivision schemes through reconstruction operators

2013

We introduce a new approach towards proving convexity preserving properties for interpolatory subdivision schemes. Our approach is based on the relation between subdivision schemes and prediction operators within Harten's framework for multiresolution, and hinges on certain convexity properties of the reconstruction operator associated to prediction. Our results allow us to recover certain known results [10,8,1,7]. In addition, we are able to determine the necessary conditions for convexity preservation of the family of subdivision schemes based on the Hermite interpolation considered in [4].

On Extensional Fuzzy Sets Generated by Factoraggregation

2014

We develop the concept of a general factoraggregation operator introduced by the authors on the basis of an equivalence relation and applied in two recent papers for analysis of bilevel linear programming solving parameters. In the paper this concept is generalized by using a fuzzy equivalence relation instead of the crisp one. We show how the generalized factoraggregation can be used for construction of extensional fuzzy sets and consider approximations of arbitrary fuzzy sets by extensional ones.

Implementation of the Neuberger overlap operator in GPUs

2011

Improving Interpolants for Linear Arithmetic

2015

Craig interpolation for satisfiability modulo theory formulas have come more into focus for applications of formal verification. In this paper we, introduce a method to reduce the size of linear constraints used in the description of already computed interpolant in the theory of linear arithmetic with respect to the number of linear constraints. We successfully improve interpolants by combining satisfiability modulo theory and linear programming in a local search heuristic. Our experimental results suggest a lower running time and a larger reduction compared to other methods from the literature.

Elliptic convolution operators on non-quasianalytic classes

2001

For those nonquasianalytic classes in which an extension of the classical Borel's theorem holds we show that every elliptic convolution operator is the composition of a translation and an invertible ultradifferential operator. This answers a question asked by Chou in: La transformation de Fourier complexe et l'equation de convolution, LNM 325, Berlin-Heidelberg-New York (1973).

Ten Words About Morphogenetic Images

2018

This chapter describes how the repertoire of images derived from morphogenetic shaping processes is widely studied in every scientific and humanistic field. These are from the pioneering experiences of cinematic, programmed and generative arts of the 1960s and 1970s, the utopian digital space spells in the ‘90s, the morphogenetic architectural projects in the early 2000s, to the latest experiences. It is possible to look at these currents with a critical look detached from the time distance that has developed. Many denominations indicate processes and experiences in different fields but result from a common intellectual matrix. This is used to generate shapes, figures, spaces or images from…

Las estrategias motivacionales, la alianza de trabajo y la conducta proterapéutica en los programas de intervención con maltratadores: un ensayo clín…

2020

ABSTRACT Motivational strategies are among the most promising approaches to improve the effectiveness of batterer intervention programs (BIPs). An individualized motivational plan (IMP) is one of these motivational strategies. The present study aimed to explore whether adding an IMP to a standard BIP improved the participant-facilitator working alliance and participants' protherapeutic behaviors. To this end a randomized controlled trial was conducted. One hundred fifty-three men convicted of intimate partner violence were randomly assigned to either a standard BIP (control condition, n = 79) or a standard BIP plus IMP (experimental condition, n = 74). Working alliance (i.e., general workin…