Integer

Results: 2878



#Item
51NAME ee — An encryption shell that is easy to use for terminal users. SYNOPSIS ee [ −a name] [ −s integer] DESCRIPTION ee is a simple shell that runs commands from the PATH of the shell from which ee was invoked. A

NAME ee — An encryption shell that is easy to use for terminal users. SYNOPSIS ee [ −a name] [ −s integer] DESCRIPTION ee is a simple shell that runs commands from the PATH of the shell from which ee was invoked. A

Add to Reading List

Source URL: www.inf.fu-berlin.de

Language: English - Date: 2016-10-12 09:26:14
    52Lower Runtime Bounds for Integer Programs Florian Frohn1 Matthias Naaf 1 Jera Hensel1 Marc Brockschmidt2 J¨ urgen Giesl1 1 RWTH

    Lower Runtime Bounds for Integer Programs Florian Frohn1 Matthias Naaf 1 Jera Hensel1 Marc Brockschmidt2 J¨ urgen Giesl1 1 RWTH

    Add to Reading List

    Source URL: cl-informatik.uibk.ac.at

    Language: English - Date: 2016-09-12 04:36:50
      53Chapter V. Isogenies. In this chapter we define the notion of an isogeny, and we discuss some basic examples, including the multiplication by an integer n != 0 and the relative Frobenius homomorphism in characteristic p

      Chapter V. Isogenies. In this chapter we define the notion of an isogeny, and we discuss some basic examples, including the multiplication by an integer n != 0 and the relative Frobenius homomorphism in characteristic p

      Add to Reading List

      Source URL: www.math.ru.nl

      Language: English - Date: 2013-10-31 05:13:29
        54ALGORITHMS AND SOFTWARE FOR CONVEX MIXED INTEGER NONLINEAR PROGRAMS PIERRE BONAMI∗ , MUSTAFA KILINC ¸ † , AND JEFF LINDEROTH‡ Abstract. This paper provides a survey of recent progress and software for solving conv

        ALGORITHMS AND SOFTWARE FOR CONVEX MIXED INTEGER NONLINEAR PROGRAMS PIERRE BONAMI∗ , MUSTAFA KILINC ¸ † , AND JEFF LINDEROTH‡ Abstract. This paper provides a survey of recent progress and software for solving conv

        Add to Reading List

        Source URL: homepages.cae.wisc.edu

        Language: English - Date: 2013-09-15 09:10:40
          55NSF GRANT #DMINSF PROGRAM NAME: Small Grants for Exploratory Research Duality and Warm Starting in Integer Programming Lead P.I. Ted Ralphs Lehigh University

          NSF GRANT #DMINSF PROGRAM NAME: Small Grants for Exploratory Research Duality and Warm Starting in Integer Programming Lead P.I. Ted Ralphs Lehigh University

          Add to Reading List

          Source URL: coral.ie.lehigh.edu

          Language: English - Date: 2016-03-26 12:56:25
            56Certification of Termination for Integer Transition Systems Marc Brockschmidt, Sebastiaan Joosten, René Thiemann and Akihisa Yamada 
 Supported by FWF project Y 757

            Certification of Termination for Integer Transition Systems Marc Brockschmidt, Sebastiaan Joosten, René Thiemann and Akihisa Yamada 
 Supported by FWF project Y 757

            Add to Reading List

            Source URL: cl-informatik.uibk.ac.at

            Language: English - Date: 2016-09-11 10:17:32
              57EDIM Elementary Divisors and Integer Matrices VersionJanuary 2018

              EDIM Elementary Divisors and Integer Matrices VersionJanuary 2018

              Add to Reading List

              Source URL: www.gap-system.org

              Language: English - Date: 2018-05-11 06:23:17
                58DAT axioms DAT001=0.ax Integer arrays array: $tType tff(array type, type) read: (array × $int) → $int tff(read type, type)

                DAT axioms DAT001=0.ax Integer arrays array: $tType tff(array type, type) read: (array × $int) → $int tff(read type, type)

                Add to Reading List

                Source URL: math.chapman.edu

                Language: English - Date: 2017-03-18 22:04:01
                  59Mixed-Integer Linear Programming �LP�Model Formulation

                  Mixed-Integer Linear Programming LPModel Formulation

                  Add to Reading List

                  Source URL: macc.mcmaster.ca

                  Language: English - Date: 2011-12-04 17:45:44
                    60STA — Answers to Practice Questions for Second Test Please note that these questions do not cover all the topics that may be on the test. Question 1: Non-negative integer counts Z1 , . . . , Zn were generated

                    STA — Answers to Practice Questions for Second Test Please note that these questions do not cover all the topics that may be on the test. Question 1: Non-negative integer counts Z1 , . . . , Zn were generated

                    Add to Reading List

                    Source URL: www.utstat.utoronto.ca

                    Language: English - Date: 2016-01-18 13:08:47