Sciweavers

    13603 search results - page 2675 / 2721
    » On the Complexity of Computing Treelength
    Sort
    View
    FC
    2008
    Springer
    90views Cryptology» more  FC 2008»
    Practical Anonymous Divisible E-Cash from Bounded Accumulators
    13 years 12 months ago
    Practical Anonymous Divisible E-Cash from Bounded Accumulators
    Download  eprint.iacr.org
    We present an efficient off-line divisible e-cash scheme which is truly anonymous without a trusted third party. This is the second scheme in the literature which achieves full unl...
    Man Ho Au, Willy Susilo, Yi Mu
    claim paper
    Read More »
    FM
    2008
    Springer
    152views Formal Methods» more  FM 2008»
    Constraint Prioritization for Efficient Analysis of Declarative Models
    13 years 11 months ago
    Constraint Prioritization for Efficient Analysis of Declarative Models
    Download  users.ece.utexas.edu
    The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
    Engin Uzuncaova, Sarfraz Khurshid
    claim paper
    Read More »
    APVIS
    2007
    130views Information Technology» more  APVIS 2007»
    A comparison of vertex ordering algorithms for large graph visualization
    13 years 11 months ago
    A comparison of vertex ordering algorithms for large graph visualization
    Download  www.osl.iu.edu
    In this study, we examine the use of graph ordering algorithms for visual analysis of data sets using visual similarity matrices. Visual similarity matrices display the relationsh...
    Christopher Mueller, Benjamin Martin, Andrew Lumsd...
    claim paper
    Read More »
    BIOCOMP
    2007
    90views Bioinformatics» more  BIOCOMP 2007»
    Prediction of trans-antisense Transcripts in Arabidopsis thaliana
    13 years 11 months ago
    Prediction of trans-antisense Transcripts in Arabidopsis thaliana
    Download  www.biomedcentral.com
    Background: Natural antisense transcripts (NATs) are coding or non-coding RNAs with sequence complementarity to other transcripts (sense transcripts). These RNAs could potentially...
    Huan Wang, Nam-Hai Chua, Xiu-Jie Wang
    claim paper
    Read More »
    CCE
    2007
    139views Software Engineering» more  CCE 2007»
    A Web Services based Approach for System on a Chip Design Planning
    13 years 11 months ago
    A Web Services based Approach for System on a Chip Design Planning
    Download  subs.emis.de
    : The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...
    Maciej Witczynski, Edward Hrynkiewicz, Adam Pawlak
    claim paper
    Read More »
    « Prev « First page 2675 / 2721 Last » Next »
    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-2024, USA.