يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Kojima, Kensuke"', وقت الاستعلام: 0.79s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Constructive linear-time temporal logic: Proof systems and Kripke semantics

    المؤلفون: Kojima, Kensuke kozima@kuis.kyoto-u.ac.jp, Igarashi, Atsushi1 igarashi@kuis.kyoto-u.ac.jp

    المصدر: Information & Computation. Dec2011, Vol. 209 Issue 12, p1491-1503. 13p.

    مصطلحات موضوعية: *MATHEMATICAL logic, *REASONING, *PROOF theory, *CALCULUS, *NUMERICAL analysis, *SET theory

    النص الكامل

    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    Dependence of the community effect of cultured cardiomyocytes on the cell network pattern

    المؤلفون: Kaneko, Tomoyuki1,2, Kojima, Kensuke3, Yasuda, Kenji1 yasuda.bmi@tmd.ac.jp

    المصدر: Biochemical & Biophysical Research Communications. May2007, Vol. 356 Issue 2, p494-498. 5p.

    مصطلحات موضوعية: *HEART cells, *CELL proliferation, *CELL cycle, *HEART cytology


    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Role of the community effect of cardiomyocyte in the entrainment and reestablishment of stable beating rhythms

    المؤلفون: Kojima, Kensuke1, Kaneko, Tomoyuki2,3, Yasuda, Kenji1,2 yasuda.bmi@tmd.ac.jp

    المصدر: Biochemical & Biophysical Research Communications. Dec2006, Vol. 351 Issue 1, p209-215. 7p.

    مصطلحات موضوعية: *HEART cells, *BIOLOGICAL rhythms, *CELLS, *HEART cytology


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