Cis

Results: 5683



#Item
1712016 年 姓名： 初二三組 學校：

2016 年 姓名： 初二三組 學校：

Add to Reading List

Source URL: www.cis.umac.mo

Language: Chinese - Date: 2016-02-22 05:22:03
    172Temporal Logic Made Practical Cindy Eisner and Dana Fisman Abstract In the late seventies, Pnueli suggested that functional properties of reactive systems be formally expressed in temporal logic. In order that model chec

    Temporal Logic Made Practical Cindy Eisner and Dana Fisman Abstract In the late seventies, Pnueli suggested that functional properties of reactive systems be formally expressed in temporal logic. In order that model chec

    Add to Reading List

    Source URL: www.cis.upenn.edu

    Language: English - Date: 2014-11-11 14:34:56
      173r Human Brain Mapping 30:2132–r

      r Human Brain Mapping 30:2132–r

      Add to Reading List

      Source URL: www.cis.jhu.edu

      Language: English - Date: 2010-10-04 10:48:39
        174Segmenting Dynamic Textures with Ising Descriptors, ARX Models and Level Sets Atiyeh Ghoreyshi and Ren´e Vidal Center for Imaging Science, Department of BME, Johns Hopkins University 308B Clark Hall, 3400 N. Charles St.

        Segmenting Dynamic Textures with Ising Descriptors, ARX Models and Level Sets Atiyeh Ghoreyshi and Ren´e Vidal Center for Imaging Science, Department of BME, Johns Hopkins University 308B Clark Hall, 3400 N. Charles St.

        Add to Reading List

        Source URL: www.cis.jhu.edu

        Language: English - Date: 2006-08-29 18:45:16
          175

          PDF Document

          Add to Reading List

          Source URL: www.cis.upenn.edu

          - Date: 2014-03-05 16:54:40
            176Histograms of Oriented Optical Flow and Binet-Cauchy Kernels on Nonlinear Dynamical Systems for the Recognition of Human Actions Rizwan Chaudhry, Avinash Ravichandran, Gregory Hager and Ren´e Vidal Center for Imaging Sc

            Histograms of Oriented Optical Flow and Binet-Cauchy Kernels on Nonlinear Dynamical Systems for the Recognition of Human Actions Rizwan Chaudhry, Avinash Ravichandran, Gregory Hager and Ren´e Vidal Center for Imaging Sc

            Add to Reading List

            Source URL: www.cis.jhu.edu

            Language: English - Date: 2009-04-16 23:19:26
              177Press Release: Boursa Kuwait announces sustainability action plan to promote sustainability among the listed issuers in partnership with Sustainability Excellence December 20, 2017 Earlier this year, Boursa Kuwait became

              Press Release: Boursa Kuwait announces sustainability action plan to promote sustainability among the listed issuers in partnership with Sustainability Excellence December 20, 2017 Earlier this year, Boursa Kuwait became

              Add to Reading List

              Source URL: cis.boursakuwait.com.kw

              Language: English - Date: 2018-01-04 04:34:27
                1782010 23rd IEEE Computer Security Foundations Symposium Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks Boris K¨opf MPI-SWS

                2010 23rd IEEE Computer Security Foundations Symposium Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks Boris K¨opf MPI-SWS

                Add to Reading List

                Source URL: users.cis.fiu.edu

                Language: English - Date: 2014-09-02 15:19:21
                  179A Novel Approach for Computer Security Education Using Minix Instructional Operating System ∗ Wenliang Du†, Mingdong Shang, and Haizhi Xu Department of Electrical Engineering and Computer Science, 3-114 Center for Sc

                  A Novel Approach for Computer Security Education Using Minix Instructional Operating System ∗ Wenliang Du†, Mingdong Shang, and Haizhi Xu Department of Electrical Engineering and Computer Science, 3-114 Center for Sc

                  Add to Reading List

                  Source URL: www.cis.syr.edu

                  Language: English - Date: 2005-04-21 18:24:41
                    180Curriculum Vitae1 Rajeev Alur Address Department of Computer and Information Science 3330 Walnut Street, Levine Hall University of Pennsylvania

                    Curriculum Vitae1 Rajeev Alur Address Department of Computer and Information Science 3330 Walnut Street, Levine Hall University of Pennsylvania

                    Add to Reading List

                    Source URL: www.cis.upenn.edu

                    Language: English - Date: 2018-05-17 10:31:42