Lara

Results: 1812



#Item
131

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
    132

    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
      133

      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
        134

        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
          135

          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
            136

            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
              137

              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
                138

                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
                  139

                  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
                    140

                    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
                      UPDATE