Filters (3 )
Download Results
1,819 research outcomes, page 1 of 182
  • publication . Report . Article . 2002
    Open Access English
    Authors:
    Frédéric Vivien;
    Publisher: HAL CCSD

    We investigate the problem of finding a minimal volume parallelepiped enclosing a given set of n three-dimensional points. We give two mathematical properties of these parallelepipeds, from which we derive two algorithms of theoretical complexity O(n^6). Experiments sho...

  • publication . Report . Article . 2013
    Open Access English
    Authors:
    Tomazini, Antonio Carlos Canto; Carniel, João Paulo; da Cunha, Luiz Antonio Munhoz;
    Publisher: Sociedade Brasileira de Ortopedia e Traumatologia

    This case shows a rare tumor (chondromyxoid fibroma) in distal fibula in a pediatric patient who presented with local pain and tumescence. A final diagnosis was made only after the second operation, wherein the pathology was compared with CT imaging method and use of ad...

  • publication . Report . Article . 2011
    Open Access English
    Authors:
    Eelco Visser;
    Publisher: Delft University of Technology, Software Engineering Research Group
    Project: NWO | MoDSE - Model-Driven Soft... (2300135221), NWO | Transformations for Abstr... (2300132522)

    Modern web application development frameworks provide web application developers with highlevel abstractions to improve their productivity. However, their support for static verification of applications is limited. Inconsistencies in an application are often not detecte...

  • publication . Article . Report . 1997
    Open Access
    Authors:
    Mats Jirstrand;
    Publisher: Elsevier BV

    AbstractMany problems in control theory can be formulated as formulae in the first-order theory of real closed fields. In this paper we investigate some of the expressive power of this theory. We consider dynamical systems described by polynomial differential equations ...

  • publication . Report . Article . 1994
    Open Access English
    Authors:
    Ducassé , Mireille; Noyé , Jacques;
    Publisher: HAL CCSD

    Abstract Programming environments are essential for the acceptance of programming languages. This survey emphasizes that program analysis, both static and dynamic, is the central issue of programming environments. Because their clean semantics makes powerful analysis po...

  • publication . Report . Article . 2017
    Open Access English
    Authors:
    Ferraz, Alberto Pereira; José, Fabio Freire;
    Publisher: Sociedade Brasileira de Reumatologia
  • publication . Article . Report . 1970
    Open Access
    Authors:
    Seymour Ginsburg; Michael Harrison;
    Publisher: Elsevier BV

    A simple sufficiency condition is given for an abstract family of acceptors (abbreviated AFA) to define an abstract family of languages (abbreviated AFL) which is closed under reversal. This condition is satisfied by all of the well-known AFA which define reversal-close...

  • publication . Report . Part of book or chapter of book . Article . 1987
    Open Access English
    Authors:
    Fages, François;
    Publisher: HAL CCSD

    AbstractUnification in equational theories, that is, solving equations in varieties, is of special relevance to automated deduction. Major results in term rewriting systems, as in (Peterson & Stickel, 1981; Hsiang, 1982), depend on unification in presence of associative...

  • publication . Article . Report . 2014
    Open Access English
    Authors:
    Vincenzo Giordano;
    Publisher: Elsevier

    Fixation of an osteochondral fracture after acute patellar dislocation is an infrequent form of treatment. Likewise, the location of this fragment in the lateral region of the lateral femoral condyle, functioning as a free body, is uncommon. The aim of this study was to...

  • publication . Article . Report . 2016
    Open Access
    Authors:
    Maria Carolina Santos;
    Publisher: Elsevier BV

    ABSTRACT Takayasu’s arteritis (TA) and rheumatic fever are diseases that can start with cardiac fea-tures, making the diagnosis difficult. There are reports of association of RF with Takayasu’sarteritis beginning with cardiac involvement in pediatric patients. The aim o...

1,819 research outcomes, page 1 of 182
Last index information