9 resultados para Partial Order Semantics

em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)


Relevância:

80.00% 80.00%

Publicador:

Resumo:

We prove three new dichotomies for Banach spaces a la W.T. Gowers` dichotomies. The three dichotomies characterise respectively the spaces having no minimal subspaces, having no subsequentially minimal basic sequences, and having no subspaces crudely finitely representable in all of their subspaces. We subsequently use these results to make progress on Gowers` program of classifying Banach spaces by finding characteristic spaces present in every space. Also, the results are used to embed any partial order of size K I into the subspaces of any space without a minimal subspace ordered by isomorphic embeddability. (c) 2009 Elsevier Inc. All fights reserved.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

We establish existence of mild solutions for a class of abstract second-order partial neutral functional differential equations with unbounded delay in a Banach space.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We present an extensive study of the structural, magnetic, and thermodynamic properties of the two heterometallic oxyborates: Co(2)FeO(2)BO(3) and Ni(2)FeO(2)BO(3). This has been carried out through x-ray diffraction at room temperature (RT) and 150 K, dc and ac magnetic susceptibilities, and specific-heat experiments in single crystals above 2 K. The magnetic properties of these iron ludwigites are discussed in comparison with those of the other two known homometallic ludwigites: Fe(3)O(2)BO(3) and Co(3)O(2)BO(3). In both ludwigites now studied we have found that the magnetic ordering of the Fe(3+) ions occurs at temperatures very near to which they order in Fe(3)O(2)BO(3). A freezing of the divalent ions (Co and Ni) is observed at lower temperatures. Our x-ray diffraction study of both ludwigites at RT and 150 K showed very small ionic disorder in apparent contrast with the freezing of the divalent ion spins. The structural transition that occurs in homometallic Fe(3)O(2)BO(3) has not been found in the present mixed ludwigites in the temperature range investigated.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We establish the existence of mild solutions for a class of impulsive second-order partial neutral functional differential equations with infinite delay in a Banach space. (C) 2009 Published by Elsevier Ltd

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this work we study the existence and uniqueness of pseudo-almost periodic solutions for a first-order abstract functional differential equation with a linear part dominated by a Hille-Yosida type operator with a non-dense domain. (C) 2009 Published by Elsevier Ltd

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper we study the existence of mild solutions for a class of first order abstract partial neutral differential equations with state-dependent delay. (C) 2008 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper we study the approximate controllability of control systems with states and controls in Hilbert spaces, and described by a second-order semilinear abstract functional differential equation with infinite delay. Initially we establish a characterization for the approximate controllability of a second-order abstract linear system and, in the last section, we compare the approximate controllability of a semilinear abstract functional system with the approximate controllability of the associated linear system. (C) 2008 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The paper considers the existence and uniqueness of almost automorphic mild solutions to some classes of first-order partial neutral functional-differential equations. Sufficient conditions for the existence and uniqueness of almost automorphic mild solutions to the above-mentioned equations are obtained. As an application, a first-order boundary value problem arising in control systems is considered. (C) 2007 Elsevier Ltd. All fights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Sm14 and paramyosin are two major Schistosoma mansoni vaccine candidate antigens. Recently, we have identified Sm14 and paramyosin epitopes that are recognized by T cells of resistant individuals living in endemic areas for schistosomiasis. Herein, mice were immunized with these peptides separately or in association in order to evaluate their vaccine potential. Immunization of mice with Sm14 peptides alone or mixed with paramyosin peptides was able to induce 26%-36.7% or 28%-29.2% of worm burden reduction, 67% or 46% of intestinal eggs reduction and also 54%-61% or 43%-52% of liver pathology reduction, respectively. Protection was associated with a Th1 type of immune response induced by Sm14 peptide immunization. In contrast, paramyosin peptide vaccination did not engender protective immunity or liver pathology reduction and immunization was associated with a Th2 type of immune response. (C) 2008 Elsevier B.V. All rights reserved.