Sciweavers

    192 search results - page 23 / 39
    » Nondeterminism in Constructive Z
    Sort
    View
    105
    Voted
    ITP
    2010
    178views Mathematics» more  ITP 2010»
    Developing the Algebraic Hierarchy with Type Classes in Coq
    15 years 1 months ago
    Developing the Algebraic Hierarchy with Type Classes in Coq
    Download  www.xs4all.nl
    We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
    Bas Spitters, Eelis van der Weegen
    claim paper
    Read More »
    GEOINFO
    2007
    69views Information Technology» more  GEOINFO 2007»
    The Development of a Large Scale Geospatial Telecommunications Application Independent from GIS
    15 years 1 months ago
    The Development of a Large Scale Geospatial Telecommunications Application Independent from GIS
    Download  www.geoinfo.info
    This article presents the evolution of a very large geospatial database and application developed for telecommunications outside plant management. The needs for the construction of...
    Eliane Z. Victorelli Dias, Geovane Cayres Magalh&a...
    claim paper
    Read More »
    ALGORITHMICA
    2008
    52views more  ALGORITHMICA 2008»
    From Constrained to Unconstrained Maximum Agreement Subtree in Linear Time
    14 years 12 months ago
    From Constrained to Unconstrained Maximum Agreement Subtree in Linear Time
    Download  www.lirmm.fr
    We propose and study the Maximum Constrained Agreement Subtree (MCAST) problem, which is a variant of the classical Maximum Agreement Subtree (MAST) problem. Our problem allows us...
    V. Berry, Z. S. Peng, H. F. Ting
    claim paper
    Read More »
    SIAMSC
    2008
    133views more  SIAMSC 2008»
    Numerical Variational Methods Applied to Cylinder Buckling
    14 years 11 months ago
    Numerical Variational Methods Applied to Cylinder Buckling
    Download  www.win.tue.nl
    We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
    Jirí Horák, Gabriel J. Lord, Mark A....
    claim paper
    Read More »
    TVLSI
    2008
    116views more  TVLSI 2008»
    Fast Substrate Noise Aware Floorplanning for Mixed Signal SOC Designs
    14 years 11 months ago
    Fast Substrate Noise Aware Floorplanning for Mixed Signal SOC Designs
    Download  www.cerc.utexas.edu
    Abstract--In this paper, we introduce a novel substrate noise estimation technique during early floorplanning for mixed signal system-on-chip (SOC), based on block preference direc...
    Minsik Cho, David Z. Pan
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.