Nested

Results: 632



#Item
161

Languages of Nested Trees ? Rajeev Alur1 , Swarat Chaudhuri1 , and P. Madhusudan2 1

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2006-12-21 11:43:51
    162

    Approximate Bayesian Inference for Latent Gaussian Models Using Integrated Nested Laplace Approximations H˚avard Rue & Sara Martino Department of Mathematical Sciences NTNU, Norway

    Add to Reading List

    Source URL: www.math.ntnu.no

    Language: English - Date: 2008-01-17 03:03:04
      163

      FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania

      Add to Reading List

      Source URL: web.ing.puc.cl

      Language: English - Date: 2013-04-26 05:57:03
        164

        High Level Modeling for Parallel Executions of Nested Loop Algorithms Ed F. Deprettere and Edwin Rijpkema Leiden University 2333 CA Leiden, The Netherlands fedd,

        Add to Reading List

        Source URL: ptolemy.eecs.berkeley.edu

        Language: English - Date: 2000-05-15 19:48:32
          165

          The genealogy, site frequency spectrum and ages of two nested mutant alleles

          Add to Reading List

          Source URL: www.math.ku.dk

          Language: English - Date: 2012-01-27 08:04:29
            166

            Approximate Bayesian Inference for Latent Gaussian Models Using Integrated Nested Laplace Approximations H˚avard Rue & Sara Martino Department of Mathematical Sciences NTNU, Norway

            Add to Reading List

            Source URL: www.math.ntnu.no

            Language: English - Date: 2008-06-09 03:02:03
              167

              Approximate Bayesian Inference for Latent Gaussian Models Using Integrated Nested Laplace Approximations H˚avard Rue & Sara Martino Department of Mathematical Sciences NTNU, Norway

              Add to Reading List

              Source URL: www.math.ntnu.no

              Language: English - Date: 2007-02-09 13:54:06
                168

                Higher-Order Symb Comput DOIs10990Path resolution for nested recursive modules Jacques Garrigue · Keiko Nakata

                Add to Reading List

                Source URL: www.math.nagoya-u.ac.jp

                Language: English - Date: 2012-05-28 20:04:50
                  169

                  First-Order and Temporal Logics for Nested Words Rajeev Alur Marcelo Arenas Pablo Barcel´o

                  Add to Reading List

                  Source URL: users.dcc.uchile.cl

                  Language: English - Date: 2007-04-19 12:20:30
                    170

                    Approximate Bayesian Inference for Latent Gaussian Models Using Integrated Nested Laplace Approximations H˚avard Rue & Sara Martino Department of Mathematical Sciences NTNU, Norway

                    Add to Reading List

                    Source URL: www.math.ntnu.no

                    Language: English - Date: 2008-01-17 03:03:04
                      UPDATE