Search results for "Algorithm"

Care pathways for the selection of a biologic in severe asthma.

2017

Physicians need care pathways to select a biologic in type 2 severe asthma (omalizumab, mepolizumab, reslizumab) http://ow.ly/pygw30gB7Bv

Analyticity of a restricted formality

2020

International audience; The Kontsevich formality can be viewed as a non-linear map ℱ from the L∞ algebra of poly-vector fields on ℝd to the space of poly-differential operators. The space of the half-homogenous poly-vector fields is a sub-L∞ algebra. We prove here that the restriction of ℱto this subspace is weakly analytic.

Existence and gap-bifurcation of multiple solutions to certain nonlinear eigenvalue problems

1993

IN THIS PAPER we study: (i) a class of operator equations in an abstract Hilbert space; and (ii) the L2-theory of certain nonlinear Schrodinger equations which can be viewed as special cases of (i). In order to describe the type of abstract nonlinear eigenvalue problems to be discussed, consider a real Hilbert space H with scalar product (* , *) and norm II.11 and let S be a (not necessarily bounded) positive self-adjoint linear operator in li. We write S in the form

Multiprojective spaces and the arithmetically Cohen-Macaulay property

2019

AbstractIn this paper we study the arithmetically Cohen-Macaulay (ACM) property for sets of points in multiprojective spaces. Most of what is known is for ℙ1× ℙ1and, more recently, in (ℙ1)r. In ℙ1× ℙ1the so called inclusion property characterises the ACM property. We extend the definition in any multiprojective space and we prove that the inclusion property implies the ACM property in ℙm× ℙn. In such an ambient space it is equivalent to the so-called (⋆)-property. Moreover, we start an investigation of the ACM property in ℙ1× ℙn. We give a new construction that highlights how different the behavior of the ACM property is in this setting.

Singularities of rational Bézier curves

2001

We prove that if an nth degree rational Bezier curve has a singular point, then it belongs to the two (n − 1)th degree rational Bezier curves defined in the (n − 1)th step of the de Casteljau algorithm. Moreover, both curves are tangent at the singular point. A procedure to construct Bezier curves with singularities of any order is given.  2001 Elsevier Science B.V. All rights reserved.

Formations of Monoids, Congruences, and Formal Languages

2015

The main goal in this paper is to use a dual equivalence in automata theory started in [25] and developed in [3] to prove a general version of the Eilenberg-type theorem presented in [4]. Our principal results confirm the existence of a bijective correspondence between three concepts; formations of monoids, formations of languages and formations of congruences. The result does not require finiteness on monoids, nor regularity on languages nor finite index conditions on congruences. We relate our work to other results in the field and we include applications to non-r-disjunctive languages, Reiterman s equational description of pseudovarieties and varieties of monoids.

A characterization of regular circular languages generated by marked splicing systems

2009

AbstractSplicing systems are generative devices of formal languages, introduced by Head in 1987 to model biological phenomena on linear and circular DNA molecules. A splicing system is defined by giving an initial set I and a set R of rules. Some unanswered questions are related to the computational power of circular splicing systems. In particular, a still open question is to find a characterization of circular languages generated by finite circular splicing systems (i.e., circular splicing systems with both I and R finite sets). In this paper we introduce a special class of the latter systems named marked systems. We prove that a marked system S generates a regular circular language if an…

Nonlinear Eigenvalue Problems of Schrödinger Type Admitting Eigenfunctions with Given Spectral Characteristics

2002

The following work is an extension of our recent paper [10]. We still deal with nonlinear eigenvalue problems of the form in a real Hilbert space ℋ with a semi-bounded self-adjoint operator A0, while for every y from a dense subspace X of ℋ, B(y ) is a symmetric operator. The left-hand side is assumed to be related to a certain auxiliary functional ψ, and the associated linear problems are supposed to have non-empty discrete spectrum (y ∈ X). We reformulate and generalize the topological method presented by the authors in [10] to construct solutions of (∗) on a sphere SR ≔ {y ∈ X | ∥y∥ℋ = R} whose ψ-value is the n-th Ljusternik-Schnirelman level of ψ| and whose corresponding eigenvalue is t…

Radon–Nikodým Theorems for Finitely Additive Multimeasures

2015

In this paper we deal with interval multimeasures. We show some Radon–Nikodým theorems for such multimeasures using multivalued Henstock or Henstock–Kurzweil–Pettis derivatives. We do not use the separability assumption in the results.

C*-seminorms on partial *-algebras: an overview

2005