944 resultados para Logic, Symbolic and mathematical


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applications. Each method addresses different concerns using separate models (content, navigation, presentation, business logic, etc.), and provide model compilers that produce most of the logic and Web pages of the application from these models. However, these proposals also have some limitations, especially for exchanging models or representing further modeling concerns, such as architectural styles, technology independence, or distribution. A possible solution to these issues is provided by making model-driven Web Engineering proposals interoperate, being able to complement each other, and to exchange models between the different tools. MDWEnet is a recent initiative started by a small group of researchers working on model-driven Web Engineering (MDWE). Its goal is to improve current practices and tools for the model-driven development of Web applications for better interoperability. The proposal is based on the strengths of current model-driven Web Engineering methods, and the existing experience and knowledge in the field. This paper presents the background, motivation, scope, and objectives of MDWEnet. Furthermore, it reports on the MDWEnet results and achievements so far, and its future plan of actions.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Introducción. En un contexto de incremento de las desigualdades y de la pobreza en la sociedad española, donde el desmantelamiento del Estado de Bienestar reduce la posibilidad de encontrar recursos e implementar políticas públicas de reducción de estos efectos; la Sociedad Civil y la ciudadanía desarrollan prácticas resilientes orientadas a satisfacer las necesidades de las comunidades más afectadas por el desempleo y el recorte de servicios sociales. Material y métodos. a) Datos secundarios estadísticos procedentes de organismos y fundaciones; y webs de organizaciones resilientes; b) datos primarios producidos a partir de entrevistas y grupos de discusión. Metodología de análisis de contenido y análisis de discurso. Resultados y discusión. las prácticas resilientes como satisfactores de necesidades, son estructuradas a partir de dos dimensiones adaptación/transformación; dependencia/autonomía. Se observa que estas prácticas cuanto más abstracción presentan (de las necesidades concretas relacionadas con la subsistencia, a las necesidades más intangibles relacionadas con cuestiones simbólicas e identitarias), mayor complejidad en su diseño y organización, y mayor potencia como satisfactor.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Small vellum-covered notebook containing handwritten transcriptions copied by Harvard undergraduate John Tufts from two Harvard textbooks. The notebook is divided into two sections with the first, numbered 1-100, containing an English transcription of "Compendium of Logick" compiled by William Brattle, and the second, numbered 1-66, containing an untitled Latin transcription of Charles Morton's "Compendium Physicae." The flyleaf is inscribed "John Tufts His Book 1705."

Relevância:

100.00% 100.00%

Publicador:

Resumo:

li-muʼallifihā Muḥammad ʻAlī ibn Ḥusayn.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

O trabalho a seguir apresentado tem por objetivo procurar perceber se o nosso raciocínio se processa da mesma maneira em presença de microgravidade ou se, pelo contrário, sofre alguma alteração. A nossa questão foca-se mais especificamente num teste de matemática e, a partir da análise das diferentes variantes intervenientes na resolução do mesmo e das condições em causa (ambiente de microgravidade), inferirmos a possibilidade de o resultado do teste poder ser melhor do que quando elaborado em condições de gravidade normal.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

From the Introduction. “We are a Convention. We are not an Intergovernmental Conference because we have not been given a mandate by Governments to negotiate on their behalf the solutions which we propose. We are not a Parliament because we are not elected by citizens to draft legislative texts. […] We are a Convention. What does this mean? A Convention is a group of men and women meeting for the sole purpose of preparing a joint proposal. […] It is a task modest in form but immense in content, for if it succeeds in accordance with our mandate, it will light up the future of Europe”.1 In his speech inaugurating the Convention process on 26 February 2002 in Brussels, Convention President VALÉRY GISCARD D’ESTAING raises three issues: first, he refers to the Convention’s nature and method; second, he talks of the Convention’s aim and output; and, third, he evokes the Convention’s historic and symbolic significance. All three aspects have been amply discussed in the past two years by politicians and academics analysing whether the Convention’s purpose and instruments differ fundamentally from those of previous reform rounds; whether the input into and output of the Convention process qualitatively improves European Treaty revision; and whether the Convention as an institution lived up to its symbolic and normative load, reflected in comparisons with “Philadelphia” or references to a “constitutional moment”.2

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper deals with sequences of random variables belonging to a fixed chaos of order q generated by a Poisson random measure on a Polish space. The problem is investigated whether convergence of the third and fourth moment of such a suitably normalized sequence to the third and fourth moment of a centred Gamma law implies convergence in distribution of the involved random variables. A positive answer is obtained for q = 2 and q = 4. The proof of this four moments theorem is based on a number of new estimates for contraction norms. Applications concern homogeneous sums and U-statistics on the Poisson space.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A quantitative model of development of magmatic and ore-magmatic systems under crests of mid-ocean ridges is constructed. Correct physical models of melting zone formation in approximation to active spreading, non-stationary dynamics of magma intrusion from a center of generation, filling of magma chambers of various shapes, feeding of fissure-type volcanoes, and retrograde boiling of melts during solidification of intrusive bodies beneath axial zones of spreading in crests of ridges are proposed. Physicochemical and mathematical theories of disintegration of multi-component solutions, growth of liquational drops of ore melts, and sublimation of components from magmatic gases are elaborated. Methods for constructing physically correct models of heat and mass transfer in heterophase media are devised. Modeling of development of magmatic and ore-magmatic systems on the basis of the Usov-Kuznetsov facies method and the Pospelov system approach are advanced. For quantitative models numerical circuits are developed and numerical experiments are carried out.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Vols. 13-62 consist of Research papers no. RP691-RP2961.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

(Vol. 8 translated by Willa and Edwin Muir.)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Supplement to his Tracts physical and mathematical.