Mostrando recursos 61 - 80 de 188.629

  1. Regular graphs and the spectra of two-variable logic with counting

    Tan, Tony; Kopczynski, Eryk
    The spectrum of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models.In this paper we show that when restricted to using only two variables, but allowing counting quantifiers, the class of spectra of first-order logic sentences is exactly the class of semilinear sets, and hence, closed under complement. At the heart of our proof are semilinear characterisations for the existence of regular and biregular graphs, the class of graphs in which there are a priori bounds on the degrees of the vertices. Our proof also provides a simple characterisation of models of...

  2. Het onderhouden van connectiviteit in ruimtelijke gegevens

    Martens, Stephen
    Deze masterproef heeft als doel een FOIES (first order incremental evaluation system) te construeren voor de topologische connectiviteit van ruimtelijke gegevens. De verschillende domeinen die nodig zijn voor het onderzoek worden eerst uitvoerig besproken en later gecombineerd om zo te komen tot het feitelijke onderzoek. Relationele databases en eerste orde logica worden gedefinieerd en besproken. Het principe van FOIES wordt uitvoerig uitgelegd en precies gedefinieerd. De constructie van een FOIES voor de transitieve sluiting van ongerichte grafen door Patnaïk en Immerman (die werkt m.b.v. een spanning forest) wordt volledig uit de doeken gedaan. De tekortkomingen van de constructie worden weggewerkt en aangevuld en correctheid van de uiteindelijke constructie zijn wordt aangetoond. Vervolgens...

  3. EL CONCEPTO DE MEDICIÓN EN LA CONCEPCIÓN SEMÁNTICA Y ESTRUCTURALISTA DE LA CIENCIA

    Ferro, María Virginia
    En el ámbito de la Filosofía de la Ciencia o Metateoría contemporánea, los análisis formales o semiformales de la ciencia en relación a la naturaleza de las teorías, de la mano del trabajo que fueran desarrollando a lo largo de tres décadas J.C.C. McKinsey, E. Beth y J. von Newmann, aquí tenemos las bases sobre las que se desplegará la llamada “familia semanticista”, que involucrará una espectro bastante amplio de propuestas de análisis, que tienen en común la postulación de una nueva concepción sobre las teorías científicas, que viene de la mano de una reintroducción de la Filosofía Analítica en...

  4. Elites, ideas y poder en acción.

    Genieys, William
    Una lectura neo-elitista de las relaciones entre elites gubernamentales y elites político-administrativas nos permite comprender las nuevas relaciones de poder en la cumbre del Estado francés. El artículo muestra cómo durante estos últimos veinte años una elite del Welfare se ha ido conformando al hilo del proceso de decisión en un sector particular. Partiendo de un análisis del cambio en las políticas del sector social, tratamos de explicar la manera en que una elite cuyo funcionamiento desprende una lógica de acción colectiva, afirma poco a poco su identidad de grupo. Esta elite es capaz de influir con determinación en la...

  5. Ensuring Correctness of Model Transformations While Remaining Decidable

    Haël Brenas, Jon; Echahed, Rachid; Strecker, Martin
    International audience

  6. Proving Correctness of Logically Decorated Graph Rewriting Systems

    Haël Brenas, Jon; Echahed, Rachid; Strecker, Martin
    International audience

  7. AGREE - Algebraic Graph Rewriting with Controlled Embedding

    Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila
    International audience

  8. Compliance, Functional Safety and Fault Detection by Formal Methods

    Fetzer, Christof; Weidenbach, Christoph; Wischnewski, Patrick
    International audience

  9. Graph Transformation - 9th International Conference, {ICGT} 2016, in Memory of Hartmut Ehrig

    Echahed, Rachid; Minas, Mark
    International audience

  10. Fast Cube Tests for LIA Constraint Solving

    Bromberger, Martin; Weidenbach, Christoph
    International audience

  11. Computing a Complete Basis for Equalities Implied by a System of LRA Constraints

    Bromberger, Martin; Weidenbach, Christoph
    International audience

  12. On the Closure of Description Logics under Substitutions

    Haël Brenas, Jon; Echahed, Rachid; Strecker, Martin
    International audience

  13. Tiempos de imágenes urgentes

    Volpatti, Juan Carlos
    No seremos los primeros, ni los últimos en hablar de una sociedad atravesada por el consumo de objetos que en principio constituyen un mercado, dentro del cual se pueden vender y comprar, cada vez más, diferentes formas de mercancías. La rapidez y aceleración con la cual estos objetos se ofrecen a partir de las voces y miradas de lo establecido, tiene sus efectos subjetivos, que no operan como causa del malestar en la cultura; pero, que, a nuestro humilde entender, inciden con respecto a él, de una forma que se hace necesario interrogar. Si hablamos de “rapidez y aceleración”, estamos...

  14. Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation

    Hirschowitz, Tom
    Le fil directeur de ce manuscrit réside dans la volonté demathématiser l'activité des chercheurs en programmation. Exactementcomme la définition de groupe a émergé d'une quantité suffisante decas particuliers, on y tente d'abstraire et de généraliser certainsrésultats et constructions en sémantique des langages deprogrammation, avec des motivations concrètes mais relativementdiverses.En partie 3, on esquisse une approche générale de laméthode traditionnelle de définition de langages de programmation parune syntaxe munie d'une relation de réduction modélisant l'exécution.Relativement élémentaire, cette approche présente deux avantagesimportants : d'une part elle rend pleinement compte du processusd'engendrement du langage à partir d'opérations de base et de règlesde réduction ; d'autre part...

  15. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (Extended Abstract)

    Blanchette, Jasmin Christian; Fleury, Mathias; Weidenbach, Christoph
    International audience

  16. $rec.titulo

    Blanchette, Jasmin,; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy
    International audience

  17. Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic

    Lange, Martin; Lozes, Etienne
    Part 1: Track A: Algorithms, Complexity and Models of Computation

  18. Subshifts, MSO Logic, and Collapsing Hierarchies

    Törmä, Ilkka
    Part 1: Track A: Algorithms, Complexity and Models of Computation

  19. Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus

    Baillot, Patrick; Benedetti, Erika,; Ronchi Della Rocca, Simona
    Part 2: Track B: Logic, Semantics, Specification and Verification

  20. A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs

    Brenas, Jon,; Echahed, Rachid; Strecker, Martin
    Part 2: Track B: Logic, Semantics, Specification and Verification

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.