Výsledky vyhledávání - "Şerban, Cristina"

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Report

Complete Cyclic Proof Systems for Inductive Entailments

In this paper we develop cyclic proof systems for the problem of inclusion between the least sets of models of mutually recursive predicates, when the ground constraints in the inductive definitions belong to the quantifier-free fragments of (i) Firs

Externí odkaz: http://arxiv.org/abs/1707.02415

Zobrazit plný text záznamu

Report

Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic

Autor: Reynolds, Andrew, Iosif, Radu, Serban, Cristina

Separation Logic (SL) is a well-known assertion language used in Hoare-style modular proof systems for programs with dynamically allocated data structures. In this paper we investigate the fragment of first-order SL restricted to the Bernays-Schoenfi

Externí odkaz: http://arxiv.org/abs/1610.04707

Zobrazit plný text záznamu

Report

Thermal Analysis of Climate Regions using Remote Sensing and Grid Computing

Autor: Serban, Cristina, Maftei, Carmen

Publikováno v: International Journal of Computer Networks & Communications (IJCNC),Vol.3, No.1, 2011

The analysis of climate regions is very important for designers and architects, because the increase in density and built up spaces and reduction in open spaces and green lands induce the increase of heat, especially in an urban area, deteriorating t

Externí odkaz: http://arxiv.org/abs/1101.4474

Zobrazit plný text záznamu