Artículos con la etiqueta ‘Teoría de modelos’

Trends in Computer Network Modeling Towards the Future Internet

Por • 6 mar, 2014 • Category: Ciencia y tecnología

This article provides a taxonomy of current and past network modeling efforts. In all these efforts over the last few years we see a trend towards not only describing the network, but connected devices as well. This is especially current given the many Future Internet projects, which are combining different models, and resources in order to provide complete virtual infrastructures to users. An important mechanism for managing complexity is the creation of an abstract model, a step which has been undertaken in computer networks too. The fact that more and more devices are network capable, coupled with increasing popularity of the Internet, has made computer networks an important focus area for modeling. The large number of connected devices creates an increasing complexity which must be harnessed to keep the networks functioning.

Scheme representation for first-order logic

Por • 13 feb, 2014 • Category: Educacion

Although contemporary model theory has been called “algebraic geometry minus fields”, the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes, geometric entities which relate to first-order logical theories in much the same way that algebraic schemes relate to commutative rings. The construction relies on a Grothendieck-style representation theorem which associates every coherent or classical first-order theory with an affine scheme: a topological groupoid (the spectrum of the theory) together with a sheaf of (local) syntactic categories.

Models and Simulations in Material Science: Two Cases Without Error Bars

Por • 28 nov, 2013 • Category: Educacion

We discuss two research projects in material science in which the results cannot be stated with an estimation of the error: a spectro- scopic ellipsometry study aimed at determining the orientation of DNA molecules on diamond and a scanning tunneling microscopy study of platinum-induced nanowires on germanium. To investigate the reliability of the results, we apply ideas from the philosophy of models in science. Even if the studies had reported an error value, the trustworthiness of the result would not depend on that value alone.