Sciweavers

    12289 search results - page 189 / 2458
    » computing 2006
    Sort
    View
    132
    Voted
    APAL
    2006
    91views more  APAL 2006»
    Computing interpolants in implicational logics
    15 years 3 months ago
    Computing interpolants in implicational logics
    Download  research.nii.ac.jp
    I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like...
    Makoto Kanazawa
    claim paper
    Read More »
    CERA
    2006
    36views more  CERA 2006»
    Federated Grid Computing with Interactive Service-oriented Programing
    15 years 3 months ago
    Federated Grid Computing with Interactive Service-oriented Programing
    Download  sorcersoft.org
    er.sagepub.com/cgi/content/abstract/14/1/55 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineering...
    Michael W. Sobolewski, Raymond M. Kolonay
    claim paper
    Read More »
    119
    Voted
    CORR
    2010
    Springer
    70views Education» more  CORR 2010»
    Computation in Large-Scale Scientific and Internet Data Applications is a Focus of MMDS 2010
    15 years 26 days ago
    Computation in Large-Scale Scientific and Internet Data Applications is a Focus of MMDS 2010
    Download  www.sigkdd.org
    A report is provided for the ACM SIGKDD community about the 2010 Workshop on Algorithms for Modern Massive Data Sets (MMDS 2010), its origin in MMDS 2006 and MMDS 2008, and future...
    Michael W. Mahoney
    claim paper
    Read More »
    83
    Voted
    COMPUTER
    2006
    53views more  COMPUTER 2006»
    Multiscale Modeling: Physiome Project Standards, Tools, and Databases
    15 years 3 months ago
    Multiscale Modeling: Physiome Project Standards, Tools, and Databases
    Download  cmrg.ucsd.edu
    Peter J. Hunter, Wilfred W. Li, Andrew D. McCulloc...
    claim paper
    Read More »
    COMPUTER
    2006
    61views more  COMPUTER 2006»
    Designing an Integrated Architecture for Network Content Security Gateways
    15 years 3 months ago
    Designing an Integrated Architecture for Network Content Security Gateways
    Download  speed.cis.nctu.edu.tw
    Ying-Dar Lin, Chih-Wei Jan, Po-Ching Lin, Yuan-Che...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.