Explicit

Results: 1345



#Item
401

Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking Roberto Sebastiani1 , Stefano Tonetta2⋆ , and Moshe Y. Vardi3 1

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2010-08-02 18:12:22
    402

    ACCOUNTABILITY QUESTIONS SINCE WE LAST MET 1. Have you been with a woman anywhere that might be seen as compromising? Have you come close to such a situation? 2. Have you looked at any sexually explicit material (Interne

    Add to Reading List

    Source URL: swapmeetdave.com

    Language: English - Date: 2008-09-09 11:58:12
      403

      The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b

      Add to Reading List

      Source URL: tug.ctan.org

      Language: English - Date: 2014-09-20 20:34:08
        404

        Metrics for Quantifying the Uncertainty in a Chlorophyll Algorithm: Explicit equations and examples using the OC4.v4 algorithm and NOMAD data Janet W. Campbell & John E. O’Reilly January 3, 2006 Summary This document d

        Add to Reading List

        Source URL: oceancolor.gsfc.nasa.gov

        Language: English - Date: 2013-07-12 13:14:05
          405

          New explicit constructions of RIP matrices Jean Bourgain1 Steven J. Dilworth2 Kevin Ford3 Sergei Konyagin4 Denka Kutzarova5 1 Institute For Advanced Study

          Add to Reading List

          Source URL: www.math.uiuc.edu

          Language: English - Date: 2011-07-22 14:54:53
            406

            The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b

            Add to Reading List

            Source URL: ftp.leg.uct.ac.za

            Language: English - Date: 2014-09-20 20:34:08
              407

              Feedback—On NoteReal roots of cubics: explicit formula for quasi-solutions RWD Nickalls 1 The Mathematical Gazette (2009); 93 (March, No. 526), p. 154–156 http://www.nickalls.org/dick/papers/maths/cubictables2

              Add to Reading List

              Source URL: www.nickalls.org

              Language: English - Date: 2012-09-21 16:16:23
                408

                On Tacit versus Explicit Collusion Yu Awayay and Vijay Krishnaz Penn State University November 3, 2014 Abstract

                Add to Reading List

                Source URL: www.iser.osaka-u.ac.jp

                Language: English - Date: 2014-11-13 19:50:12
                  409

                  Evaluation of the scale dependence of a spatially-explicit hillslope sediment delivery ratio model A. E. Kinsey-Hendersona and D. A. Post a, b a CSIRO Land and Water Davies Laboratory, Townsville, Qld 4814, Australia (an

                  Add to Reading List

                  Source URL: www.iemss.org

                  Language: English - Date: 2011-11-23 04:44:46
                    410

                    Ecological Applications, 19(5), 2009, pp. 1176–1186 Ó 2009 by the Ecological Society of America Predicting Argentine ant spread over the heterogeneous landscape using a spatially explicit stochastic model JOEL P. W. P

                    Add to Reading List

                    Source URL: argentineants.landcareresearch.co.nz

                    Language: English - Date: 2011-04-17 17:29:07
                      UPDATE