Separation

Results: 10698



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

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
    52Permission-Based Separation Logic for Multithreaded Java Programs✩ Christian Haacka,1 , Marieke Huismanb,2 , Cl´ement Hurlinc,3,∗ a Aicas GmbH, Karslruhe, Germany

    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
      53Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic Jeroen Meijer University of Twente P.O. Box 217, 7500AE Enschede The Netherlands

      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
        54Proc. 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

        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
          55Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

          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
          56Ph.D. Thesis Proposal: Programming Language Support For Separation Of Concerns Doug Orleans April 19, 2002 Abstract

          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
            57A. Sharafpoor et al. / Journal of Chemical and Petroleum Engineering, 51 (2), December135 Unsteady-state Computational Fluid Dynamics Modeling of Hydrogen Separation from

            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
              58Statistique Canada – NoXIF Vol. 21 no 7 au cat. LA VIOLENCE CONJUGALE APRÈS LA SÉPARATION par Tina Hotton* Faits Saillants

              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
                591320 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS—I: REGULAR PAPERS, VOL. 53, NO. 6, JUNE 2006 A Blind Source Separation Based Method for Speech Encryption

                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
                  60n-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

                  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