يعرض 1 - 9 نتائج من 9 نتيجة بحث عن '"MATHEMATICAL proofs"', وقت الاستعلام: 0.80s تنقيح النتائج
  1. 1
    دورية أكاديمية
    On the Rainbow and Strong Rainbow Connection Numbers of the m-Splitting of the Complete Graph Kn.

    المؤلفون: Septyanto, Fendy, Sugeng, Kiki Ariyanti

    المصدر: Procedia Computer Science; 2015, p155-161, 7p

    مصطلحات موضوعية: COMPLETE graphs, GRAPH connectivity, NUMBER systems, MATHEMATICAL bounds, MATHEMATICAL proofs, GRAPH coloring

    النص الكامل

    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF ${\rm{\Sigma }}_2^0$ INDUCTION.

    المؤلفون: DORAIS, FRANÇOIS G., HIRST, JEFFRY L., SHAFER, PAUL

    المصدر: Journal of Symbolic Logic; Dec2015, Vol. 80 Issue 4, p1211-1235, 25p

    مصطلحات موضوعية: MATHEMATICAL functions, MATHEMATICAL proofs, MATHEMATICAL bounds, MATHEMATICAL induction, RECURSION theory


    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Improved Bounds on Forwarding Index of Networks.

    المؤلفون: Parthiban, N., Rajasingh, Indra, Rajan, R. Sundara

    المصدر: Procedia Computer Science; 2015, Vol. 57, p592-595, 4p

    مصطلحات موضوعية: MATHEMATICAL bounds, GRAPH theory, TREE graphs, TORUS, MATHEMATICAL proofs

    النص الكامل

    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    On a Characterization of Hilbert Spaces through Minimality of Orthogonal Projections and Related Topics.

    المؤلفون: Shekhtman, Boris, Skrzypek, Leslaw

    المصدر: Journal of Concrete & Applicable Mathematics; Jan-Apr2015, Vol. 13 Issue 1/2, p322-329, 8p

    مصطلحات موضوعية: HILBERT space, ORTHOGRAPHIC projection, DIMENSIONAL analysis, ISOMETRICS (Mathematics), MATHEMATICAL bounds, MATHEMATICAL proofs


    أضف إلى المفضلة
  5. 5
    دورية
    How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning.

    المؤلفون: Haeusler, Edward Hermann

    المصدر: ENTCS: Electronic Notes in Theoretical Computer Science; Sep2015, Vol. 315, p31-46, 16p

    مصطلحات موضوعية: REASONING, MATHEMATICAL formulas, PLEONASM, MATHEMATICAL proofs, MATHEMATICAL bounds

    النص الكامل

    أضف إلى المفضلة
  6. 6
    دورية أكاديمية
    Bike sharing systems: Solving the static rebalancing problem.

    المؤلفون: Chemla, Daniel, Meunier, Frédéric, Wolfler Calvo, Roberto

    المصدر: Discrete Optimization; May2013, Vol. 10 Issue 2, p120-146, 27p

    مصطلحات موضوعية: PROBLEM solving, GENERALIZATION, ALGORITHMS, MATHEMATICAL proofs, INFORMATION theory, MATHEMATICAL bounds

    النص الكامل

    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    Smallest Number of Sensors for k-Covering.

    المؤلفون: Tabirca, Tatiana, Tabirca, Sabin, Yang, Laurence T.

    المصدر: International Journal of Computers, Communications & Control; Apr2013, Vol. 8 Issue 2, p312-319, 8p

    مصطلحات موضوعية: WIRELESS sensor networks, MATHEMATICAL variables, DENSITY, MATHEMATICAL proofs, MATHEMATICAL bounds

    النص الكامل

    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Penalty-Costs Constrained Bin Packing Problem.

    المؤلفون: Li, Weidong, Li, Jianping, Ding, Honglin, Guan, Li

    المصدر: Energy Procedia; Dec2011, Vol. 13, p7053-7057, 5p

    مصطلحات موضوعية: BIN packing problem, CONSTRAINT algorithms, MATHEMATICAL bounds, POLYNOMIAL approximation, MATHEMATICAL proofs, SYSTEM analysis

    النص الكامل

    أضف إلى المفضلة
  9. 9
    مؤتمر
    An Improved Bound on Weak Independence Number of a Graph.

    المؤلفون: Bhat, R. S., Kamath, S. S., Surekha

    المصدر: Proceedings of the World Congress on Engineering & Computer Science 2013 Volume III; Jul2013, Vol. 1, p1-3, 3p

    مصطلحات موضوعية: GRAPH theory, MATHEMATICAL bounds, INDEPENDENCE (Mathematics), SET theory, MATHEMATICAL proofs


    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث