Combining

Results: 3006



#Item
591

Verification of Programs by Combining Iterated Specialization with Interpolation Emanuele De Angelis1,3 , Fabio Fioravanti1 , Jorge A. Navas2 , and Maurizio Proietti3 1 University 2 NASA

Add to Reading List

Source URL: www.sci.unich.it

Language: English - Date: 2015-01-15 16:54:25
    592

    Identification of activity area signatures in a reconstructed Iron Age house by combining element and lipid analyses of sediments

    Add to Reading List

    Source URL: www.intercult.su.se

    Language: English - Date: 2015-03-12 05:34:40
      593

      Combining Spatial and Telemetric Features for Learning Animal Movement Models Berk Kapicioglu Robert E. Schapire Princeton University

      Add to Reading List

      Source URL: event.cwi.nl

      Language: English - Date: 2010-06-18 10:53:37
        594

        Tracing the Spoor Any unreliable history needs to duck and dive between parallel dimensions, combining improbabilities in a story that connives with its unscrupulous author. A decent account of science fiction in Ireland

        Add to Reading List

        Source URL: francismckee.net

        Language: English - Date: 2011-10-08 17:35:39
          595

          Instruction Combining for Coalescing Memory Accesses Using Global Code Motion Motohiro Kawahito Hideaki Komatsu

          Add to Reading List

          Source URL: www.cs.rochester.edu

          Language: English - Date: 2005-04-19 21:40:05
            596

            Objectives and organisation of the workshop This short Workshop based on the concepts developed in the Gordon Conferences of combining clear overviews of a topic and lively and challenging debate is organised by SF2M on

            Add to Reading List

            Source URL: www.sf2m.fr

            Language: English - Date: 2015-07-22 05:21:21
              597

              Combining Secret Sharing and Garbled Circuits for Efficient Private IEEE 754 Floating-Point Computations Pille Pullonen1,2 and Sander Siim1,2 1

              Add to Reading List

              Source URL: www.dcsec.uni-hannover.de

              Language: English - Date: 2015-05-21 08:55:30
                598

                Combining Logics for Multi-agent Systems Alessio Lomuscio and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT

                Add to Reading List

                Source URL: www.cs.bham.ac.uk.

                Language: English - Date: 2009-02-25 10:35:24
                  599

                  Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

                  Add to Reading List

                  Source URL: www.cs.tsukuba.ac.jp

                  Language: English - Date: 2011-06-15 23:13:40
                    600

                    AWAY RE-CHARGE ESCAPE METAMORPHOSIS 5 HOURS A TOTAL TRANSFORMATION COMBINING THE BEST OF ALL OF OUR SIGNATURES. REVEAL A NEW SMOOTHER SKIN SHEDDING AWAY THE

                    Add to Reading List

                    Source URL: assets.whotelbangkok.com

                    Language: English - Date: 2014-07-07 04:11:31
                      UPDATE