Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Journal
    Name: CoRR
    Year: 2016
    Volume: 0
    DBLP: db/journals/corr/corr1607.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 1774  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Tommaso Dreossi.
    Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Ilya Otpuschennikov, Alexander Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov.
    Encoding Cryptographic Functions to SAT Using Transalg System.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    George Tsatsanifos.
    Verso folio: Diversified Ranking for Large Graphs with Context-Aware Considerations.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Shinsaku Sakaue.
    On maximizing a monotone k-submodular function subject to a matroid constraint.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    James Lockwood, Susan Bergin.
    A neurofeedback system to promote learner engagement.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Michael Iliadis, Leonidas Spinoulas, Aggelos K. Katsaggelos.
    DeepBinaryMask: Learning a Binary Mask for Video Compressive Sensing.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Hoang-Long Cao, Pablo Gómez Esteban, Albert De Beir, Ramona Simut, Greet Van de Perre, Bram Vanderborght.
    A platform-independent robot control architecture for multiple therapeutic scenarios.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Pengwen Chen, Albert Fannjiang, Gi-Ren Liu.
    Phase Retrieval by Linear Algebra.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Mirko Viroli, Jacob Beal.
    Resiliency with Aggregate Computing: State of the Art and Roadmap.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Badih Ghazi, Pritish Kamath, Madhu Sudan.
    Decidability of Non-Interactive Simulation of Joint Distributions.
    CoRR 2016, Volume 0 (0) 2016
    Show item 1 to 10 of 1774  

    Your query returned 1774 matches in the database.