Lara

Results: 1812



#Item
131Models of environment and T1 relaxation in Josephson Charge Qubit Joakim Bergli University of Oslo With: Lara Faoro, Boris Altshuler, Yuri Galperin

Models of environment and T1 relaxation in Josephson Charge Qubit Joakim Bergli University of Oslo With: Lara Faoro, Boris Altshuler, Yuri Galperin

Add to Reading List

Source URL: mti.msd.anl.gov

Language: English - Date: 2006-01-05 20:59:05
    132Deciding Local Theory Extensions via E-matching Kshitij Bansal1 , Andrew Reynolds2 , Tim King3 , Clark Barrett1 , and Thomas Wies1 1 2 3

    Deciding Local Theory Extensions via E-matching Kshitij Bansal1 , Andrew Reynolds2 , Tim King3 , Clark Barrett1 , and Thomas Wies1 1 2 3

    Add to Reading List

    Source URL: lara.epfl.ch

    Language: English - Date: 2015-05-23 06:14:55
      133Satisfiability Modulo Theories : Beyond Decision Procedures Andrew Reynolds May 20, 2015 SMT Solvers for Software Verification/Security

      Satisfiability Modulo Theories : Beyond Decision Procedures Andrew Reynolds May 20, 2015 SMT Solvers for Software Verification/Security

      Add to Reading List

      Source URL: lara.epfl.ch

      Language: English - Date: 2015-06-01 06:41:45
        134PLANTA DE ÁRIDOS Y ESTABILIZADOS Instituto de Salud Pública de Chile Edición Juan Alcaíno Lara Subdepartamento Higiene y Seguridad Industrial Colaboradores

        PLANTA DE ÁRIDOS Y ESTABILIZADOS Instituto de Salud Pública de Chile Edición Juan Alcaíno Lara Subdepartamento Higiene y Seguridad Industrial Colaboradores

        Add to Reading List

        Source URL: www.juntoscontralasilicosis.cl

        Language: Spanish - Date: 2013-09-03 16:12:10
          135NetzwerktreffenAnwesend: Georg, Matthias, Lena, Miri, Lara, Daniel, Steffi, Jan, Benny, Max, Itanajama Begrüßung und Einführung: „Ich will ja keine Panik machen, aber wir sollten uns organisieren.“ Doc

          NetzwerktreffenAnwesend: Georg, Matthias, Lena, Miri, Lara, Daniel, Steffi, Jan, Benny, Max, Itanajama Begrüßung und Einführung: „Ich will ja keine Panik machen, aber wir sollten uns organisieren.“ Doc

          Add to Reading List

          Source URL: www.nes-web.de

          Language: German
            136LUIS LARA Y JORGE MAS POR QUÉ UNAS TIENDAS VENDEN Y OTRAS NO

            LUIS LARA Y JORGE MAS POR QUÉ UNAS TIENDAS VENDEN Y OTRAS NO

            Add to Reading List

            Source URL: librosdecabecera.s3.amazonaws.com

            Language: Spanish - Date: 2013-03-01 13:59:26
              137An Instantiation-Based Approach for Solving Quantified Linear Arithmetic Andrew Reynolds1 , Tim King2 , and Viktor Kuncak1 arXiv:submitcs.LO] 17 Oct 2015

              An Instantiation-Based Approach for Solving Quantified Linear Arithmetic Andrew Reynolds1 , Tim King2 , and Viktor Kuncak1 arXiv:submitcs.LO] 17 Oct 2015

              Add to Reading List

              Source URL: lara.epfl.ch

              Language: English - Date: 2015-10-17 12:47:23
                138The Consolidation of Flaking Gouache on Japanese Paper by ALAIN ROCHE & LUCILE DESSENNES SUMMARIES The consolidation of flaking gouache on Japanese paper Some gouache works, made in the 1930s by Claude Autant-Lara, were

                The Consolidation of Flaking Gouache on Japanese Paper by ALAIN ROCHE & LUCILE DESSENNES SUMMARIES The consolidation of flaking gouache on Japanese paper Some gouache works, made in the 1930s by Claude Autant-Lara, were

                Add to Reading List

                Source URL: www.larcroa.fr

                Language: English - Date: 2015-11-24 10:02:49
                  139Model Finding for Recursive Functions in SMT Andrew Reynolds Jasmin Christian Blanchette Cesare Tinelli SMT July 18, 2015

                  Model Finding for Recursive Functions in SMT Andrew Reynolds Jasmin Christian Blanchette Cesare Tinelli SMT July 18, 2015

                  Add to Reading List

                  Source URL: lara.epfl.ch

                  Language: English - Date: 2015-07-19 13:47:00
                    140CVC3 Proof Conversion to LFSC 1 Andrew Reynolds Cesare Tinelli

                    CVC3 Proof Conversion to LFSC 1 Andrew Reynolds Cesare Tinelli

                    Add to Reading List

                    Source URL: lara.epfl.ch

                    Language: English - Date: 2010-12-15 19:49:28