Separation

Results: 10698



#Item
71

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis∗ Stefan Schupp Johanna Nellen

Add to Reading List

Source URL: qapl17.doc.ic.ac.uk

- Date: 2017-04-20 09:16:43
    72

    Programming and Proving with Distributed Protocols Disel: Distributed Separation Logic {P }

    Add to Reading List

    Source URL: ilyasergey.net

    - Date: 2018-03-26 18:04:22
      73

      Microphone Array Post-Filter for Separation of Simultaneous NonStationary Sources Jean-Marc Valin, Jean Rouat, François Michaud Department of Electrical Engineering and Computer Engineering Université de Sherbrooke, Qu

      Add to Reading List

      Source URL: jmvalin.ca

      - Date: 2016-10-02 15:44:46
        74

        Denoising of ictal EEG data using semi-blind source separation methods based on time-frequency priors Sepideh Hajipour, Mohammad Bagher, Laurent Albera, Isabelle Merlet To cite this version: Sepideh Hajipour, Mohammad Ba

        Add to Reading List

        Source URL: hal.archives-ouvertes.fr

        - Date: 2018-04-03 22:59:19
          75

          Appendix A2 Renderings Galloway Road Grade Separation Renderings

          Add to Reading List

          Source URL: www.metrolinx.com

          - Date: 2016-11-03 15:51:04
            76

            A Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic MIKE DODDS, University of York, UK SURESH JAGANNATHAN, Purdue University, Indiana MATTHEW J. PARKINSON, Microsoft Research, UK

            Add to Reading List

            Source URL: www.kasv.dk

            - Date: 2016-10-22 09:38:23
              77

              IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING, VOL. 25, NO. 4, APRILBlind Speech Separation and Enhancement With GCC-NMF

              Add to Reading List

              Source URL: www.gel.usherbrooke.ca

              - Date: 2017-07-17 17:27:55
                78

                Microsoft Word - CSD SA Handout-SEPARATION ANXIETY FINAL LLG.docx

                Add to Reading List

                Source URL: centerforshelterdogs.tufts.edu

                - Date: 2016-07-28 10:04:24
                  79

                  Temporary Read-Only Permissions for Separation Logic Arthur Chargu´eraud and Fran¸cois Pottier Inria‹ Abstract. We present an extension of Separation Logic with a general

                  Add to Reading List

                  Source URL: www.chargueraud.org

                  - Date: 2017-02-23 04:12:21
                    80

                    Automated Software Analysis and Verification with Separation Logic Josh Berdine Cristiano Calcagno Dino Distefano Samin Ishtiaq Peter O’Hearn John Reynolds Hongseok Yang CAV 2016

                    Add to Reading List

                    Source URL: www0.cs.ucl.ac.uk

                    - Date: 2016-07-25 11:06:40
                      UPDATE