Sciweavers

    10848 search results - page 2134 / 2170
    » Programming in Biomolecular Computation
    Sort
    View
    DALT
    2008
    Springer
    183views Intelligent Agents» more  DALT 2008»
    Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
    14 years 19 days ago
    Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
    Download  www.di.unito.it
    ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
    Emmanuel M. Tadjouddine, Frank Guerin, Wamberto We...
    claim paper
    Read More »
    FM
    2008
    Springer
    152views Formal Methods» more  FM 2008»
    Constraint Prioritization for Efficient Analysis of Declarative Models
    14 years 12 days 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 »
    BIOCOMP
    2007
    126views Bioinformatics» more  BIOCOMP 2007»
    Stability Analysis of Genetic Regulatory Network with Additive Noises
    14 years 9 days ago
    Stability Analysis of Genetic Regulatory Network with Additive Noises
    Download  www.biomedcentral.com
    Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
    Yufang Jin
    claim paper
    Read More »
    BIOCOMP
    2007
    90views Bioinformatics» more  BIOCOMP 2007»
    Prediction of trans-antisense Transcripts in Arabidopsis thaliana
    14 years 9 days 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 »
    DAGSTUHL
    2007
    153views Software Engineering» more  DAGSTUHL 2007»
    Interdisciplinary Design Research for End-User Software Engineering
    14 years 9 days ago
    Interdisciplinary Design Research for End-User Software Engineering
    Download  drops.dagstuhl.de
    rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
    Alan F. Blackwell
    claim paper
    Read More »
    « Prev « First page 2134 / 2170 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.