Separation

Results: 10698



#Item
51

Gamma-neutron competition above the neutron separation energy in betadelayed neutron emitters Alejandro Algora IFIC (CSIC-Univ. Valencia), Spain DISCLAIMER:

Add to Reading List

Source URL: tid.uio.no

Language: English - Date: 2013-06-03 13:07:23
    52

    Permission-Based Separation Logic for Multithreaded Java Programs✩ Christian Haacka,1 , Marieke Huismanb,2 , Cl´ement Hurlinc,3,∗ a Aicas GmbH, Karslruhe, Germany

    Add to Reading List

    Source URL: fmt.cs.utwente.nl

    Language: English - Date: 2011-03-06 18:47:02
      53

      Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic Jeroen Meijer University of Twente P.O. Box 217, 7500AE Enschede The Netherlands

      Add to Reading List

      Source URL: fmt.cs.utwente.nl

      Language: English - Date: 2011-07-12 07:16:33
        54

        Proc. of the 17th Int. Conference on Digital Audio Effects (DAFx-14), Erlangen, Germany, September 1-5, 2014 UNISON SOURCE SEPARATION Fabian-Robert Stöter, Stefan Bayer, Bernd Edler International Audio Laboratories Erl

        Add to Reading List

        Source URL: www.dafx14.fau.de

        Language: English - Date: 2014-08-31 19:27:07
          55Mathematics / Abstract algebra / Algebra / Constructible universe / Lie algebras / Lie groups / Field theory / CurryHoward correspondence / Generalised Whitehead product

          Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

          Add to Reading List

          Source URL: www.cs.cmu.edu

          Language: English - Date: 2008-03-11 15:10:19
          56

          Ph.D. Thesis Proposal: Programming Language Support For Separation Of Concerns Doug Orleans April 19, 2002 Abstract

          Add to Reading List

          Source URL: steak.place.org

          Language: English - Date: 2015-01-31 11:52:21
            57

            A. Sharafpoor et al. / Journal of Chemical and Petroleum Engineering, 51 (2), December135 Unsteady-state Computational Fluid Dynamics Modeling of Hydrogen Separation from

            Add to Reading List

            Source URL: jcpeng.ut.ac.ir

            Language: English - Date: 2018-08-15 01:58:21
              58

              Statistique Canada – NoXIF Vol. 21 no 7 au cat. LA VIOLENCE CONJUGALE APRÈS LA SÉPARATION par Tina Hotton* Faits Saillants

              Add to Reading List

              Source URL: www.feministes-radicales.org

              Language: French - Date: 2017-10-26 16:15:58
                59

                1320 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS—I: REGULAR PAPERS, VOL. 53, NO. 6, JUNE 2006 A Blind Source Separation Based Method for Speech Encryption

                Add to Reading List

                Source URL: www.biomed.drexel.edu

                Language: English - Date: 2009-01-16 11:42:09
                  60

                  n-rich Co mass measurements • Several experimental studies, including two-neutron separation energies S2N, suggests a subshell closure at N = 40 in the Ni chain. Such effect however evaporates quickly moving North of N

                  Add to Reading List

                  Source URL: isnap.nd.edu

                  - Date: 2018-02-19 15:37:42
                    UPDATE