Separation

Results: 10698



#Item
441Logic / Theoretical computer science / Mathematical logic / Logic in computer science / Java bytecode / Hoare logic / Interpretation / Separation logic / Bytecode / Model theory

Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2013-06-20 06:07:02
442

Correlation based modelling and separation of geomagnetic field components 1

Add to Reading List

Source URL: www.agnld.uni-potsdam.de

Language: English - Date: 2016-01-08 05:41:46
    443Nozzles / Energy technology / Fluid mechanics / Aerodynamics / Engineering / Rocket propulsion / Jet engines / Supersonic gas separation / Fluid dynamics / De Laval nozzle / Choked flow / Separator

    CrossMark_Color_Stacked_p

    Add to Reading List

    Source URL: www.cse-lab.ethz.ch

    Language: English - Date: 2016-05-31 06:04:46
    444Aviation / Air traffic control / Business / Economy / Aviation law / Airspace class / Instrument flight rules / Separation / Visual flight rules / Aviation accidents and incidents

    Schweizerische Unfalluntersuchungsstelle SUST Service d’enquête suisse sur les accidents SESA Servizio d’inchiesta svizzero sugli infortuni SISI Swiss Accident Investigation Board SAIB Aviation Division

    Add to Reading List

    Source URL: www.sust.admin.ch

    Language: English - Date: 2013-07-22 07:55:41
    445

    MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Deep Unfolding for Multichannel Source Separation Wisdom, S.; Hershey, J.R.; Le Roux, J.; Watanabe, S. TR2016-008

    Add to Reading List

    Source URL: www.merl.com

    Language: English - Date: 2016-03-31 07:04:52
      446

      Methods and objects of chemical analysis, 2015, Vol. 10, No. 4, 171–177 HPLC separation of bioactive components of anti-inflammatory syrup on stationary phases with embedded polar groups O.A. Syrotchuk1, I.P. Didukh1,

      Add to Reading List

      Source URL: www.moca.net.ua

      Language: Ukrainian - Date: 2016-03-28 20:42:39
        447

        LNCSUsing Kernel PCA for Initialisation of Variational Bayesian Nonlinear Blind Source Separation Method

        Add to Reading List

        Source URL: people.tuebingen.mpg.de

        Language: English - Date: 2013-07-29 11:00:32
          448Nuclear technology / Nuclear physics / Energy technology / Nuclear reactors / Uranium / Energy conversion / Enriched uranium / Isotope separation / Nuclear terrorism / Miniature neutron source reactor / Nuclear power / Research reactor

          The Results We Need in 2016 Policy Recommendations for the Nuclear Security Summit

          Add to Reading List

          Source URL: www.fmwg.org

          Language: English - Date: 2015-06-12 16:21:04
          449Aeronautics / Aviation / Air traffic control / Aviation law / Airspace class / Instrument flight rules / Separation / Visual flight rules / Flight level / Dassault Mirage III / Payerne / Area Control Center

          Microsoft Word - Emir12-MKENF_en

          Add to Reading List

          Source URL: www.sust.admin.ch

          Language: English - Date: 2013-03-21 06:31:40
          450

          Separation – Integration – Inklusion Bildungsgerechtigkeit im Blick auf Schülerinnen und Schüler mit „sonderpädagogischem Förderbedarf“ Die letztjährige Curriculum-Konferenz hat das Thema Bildungsgerechtigke

          Add to Reading List

          Source URL: www.rpz-bayern.de

          Language: German - Date: 2010-02-10 10:50:00
            UPDATE