Sciweavers

    1711 search results - page 310 / 343
    » Completing pseudojump operators
    Sort
    View
    CORR
    2010
    Springer
    159views Education» more  CORR 2010»
    An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
    13 years 8 months ago
    An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
    Download  www.mpi-inf.mpg.de
    We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
    Eric Berberich, Pavel Emeliyanenko, Michael Sagral...
    claim paper
    Read More »
    CORR
    2008
    Springer
    121views Education» more  CORR 2008»
    Separability in the Ambient Logic
    13 years 8 months ago
    Separability in the Ambient Logic
    Download  www.lsv.ens-cachan.fr
    Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
    Daniel Hirschkoff, Étienne Lozes, Davide Sa...
    claim paper
    Read More »
    DB
    2008
    107views more  DB 2008»
    Introducing function extraction into software testing
    13 years 8 months ago
    Introducing function extraction into software testing
    Download  www.cert.org
    Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
    Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevn...
    claim paper
    Read More »
    EOR
    2010
    87views more  EOR 2010»
    Inventory systems with stochastic demand and supply: Properties and approximations
    13 years 8 months ago
    Inventory systems with stochastic demand and supply: Properties and approximations
    Download  www.ieor.berkeley.edu
    ic copy available at: http://ssrn.com/abstract=1115410 Inventory Systems with Stochastic Demand and Supply: Properties and Approximations Amanda J. Schmitt Center for Transportatio...
    Amanda J. Schmitt, Lawrence V. Snyder, Zuo-Jun Max...
    claim paper
    Read More »
    ECCC
    2008
    98views more  ECCC 2008»
    Closed Timelike Curves Make Quantum and Classical Computing Equivalent
    13 years 8 months ago
    Closed Timelike Curves Make Quantum and Classical Computing Equivalent
    Download  www.cs.uwaterloo.ca
    While closed timelike curves (CTCs) are not known to exist, studying their consequences has led to nontrivial insights in general relativity, quantum information, and other areas....
    Scott Aaronson, John Watrous
    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-2024, USA.