996 resultados para General semantics.
Resumo:
Fecha : 10 de agosto de 1937. Unidad de instalación, Carpeta Rectorado G-11. 2 hojas mecanografiadas
Resumo:
Hartle's model provides the most widely used analytic framework to describe isolated compact bodies rotating slowly in equilibrium up to second order in perturbations in the context of General Relativity. Apart from some explicit assumptions, there are some implicit, like the "continuity" of the functions in the perturbed metric across the surface of the body. In this work we sketch the basics for the analysis of the second order problem using the modern theory of perturbed matchings. In particular, the result we present is that when the energy density of the fluid in the static configuration does not vanish at the boundary, one of the functions of the second order perturbation in the setting of the original work by Hartle is not continuous. This discrepancy affects the calculation of the change in mass of the rotating star with respect to the static configuration needed to keep the central energy density unchanged.
Resumo:
The actor message-passing model of concurrent computation has inspired new ideas in the areas of knowledge-based systems, programming languages and their semantics, and computer systems architecture. The model itself grew out of computer languages such as Planner, Smalltalk, and Simula, and out of the use of continuations to interpret imperative constructs within A-calculus. The mathematical content of the model has been developed by Carl Hewitt, Irene Greif, Henry Baker, and Giuseppe Attardi. This thesis extends and unifies their work through the following observations. The ordering laws postulated by Hewitt and Baker can be proved using a notion of global time. The most general ordering laws are in fact equivalent to an axiom of realizability in global time. Independence results suggest that some notion of global time is essential to any model of concurrent computation. Since nondeterministic concurrency is more fundamental than deterministic sequential computation, there may be no need to take fixed points in the underlying domain of a power domain. Power domains built from incomplete domains can solve the problem of providing a fixed point semantics for a class of nondeterministic programming languages in which a fair merge can be written. The event diagrams of Greif's behavioral semantics, augmented by Baker's pending events, form an incomplete domain. Its power domain is the semantic domain in which programs written in actor-based languages are assigned meanings. This denotational semantics is compatible with behavioral semantics. The locality laws postulated by Hewitt and Baker may be proved for the semantics of an actor-based language. Altering the semantics slightly can falsify the locality laws. The locality laws thus constrain what counts as an actor semantics.
Resumo:
De acuerdo a la normativa de TFEs el repositorio no puede dar acceso a este trabajo. Para consultarlo póngase en contacto con el tutor del trabajo. Puede acceder al resumen del mismo pinchando en el pdf adjunto.
Resumo:
En este trabajo se analizan los efectos de una disminución de los tipos de las cotizaciones sociales, compensada con un incremento en los tipos del impuesto sobre el valor añadido, como la que tuvo lugar en España en 1995. Para ello se utiliza un modelo de equilibrio general aplicado a la economía española, que se presenta en dos versiones: una donde los sectores productivos se modelizan en competencia perfecta, y otra donde los mismos sectores se modelizan como oligopolistas a la Cournot, lo cual nos permite analizar la influencia del supuesto de competencia imperfecta sobre los resultados. Se ha realizado asimismo una simulación adicional aplicando un supuesto de equal yield por el que el déficit público y el nivel de bienestar del sector público se mantienen constantes tras la aplicación de la nueva política, con objeto de aislar los efectos secundarios que se podrían derivar de un cambio en el comportamiento del sector público.
Resumo:
[Vá esta impression cotejada con el original del Autor, y corregida de los innumerables errores que padecen las otras].
Resumo:
Colofón en v.1, v.2, v.5, v.6, y v.7.
Resumo:
Signaturas: A6.
Resumo:
[75] hojas : ilustraciones, fotografías.
Resumo:
[50] hojas : ilustraciones.