CORE

🇺🇦   make metadata, not war

    12 research outputs found

    Global Health Through EHealth/Telehealth

    Author
    Publication venue
    'IntechOpen'
    Publication date
    Field of study
    Get PDF
    IntechOpen

    Aldosterone induces interleukin-18 through endothelin-1, angiotensin II, Rho/Rho-kinase, and PPARs in cardiomyocytes

    Author
    Publication venue
    'American Physiological Society'
    Publication date
    Field of study
    No full text
    Crossref

    命題論理におけるβ節充足可能性問題とその解法

    Author
    Publication venue
    電気学会
    Publication date
    Field of study
    No full text
    Institutional Repositories DataBase (IRDB)

    部分例示に基づく定理自動証明

    Author
    Publication venue
    一般社団法人電子情報通信学会
    Publication date
    Field of study
    No full text
    Institutional Repositories DataBase (IRDB)

    陰的列挙法に基づくSATアルゴリズム

    Author
    Publication venue
    一般社団法人情報処理学会
    Publication date
    Field of study
    No full text
    Institutional Repositories DataBase (IRDB)

    Walker法に準拠した指数乱数を用いた指数型ランダム信号の発生

    Author
    Publication venue
    'Department of Mathematics, Hokkaido University'
    Publication date
    Field of study
    No full text
    Institutional Repositories DataBase (IRDB)

    部分例示手法に基づいた述語論理式の充足可能性判定手続き

    Author
    Publication venue
    'Department of Mathematics, Hokkaido University'
    Publication date
    Field of study
    No full text
    Institutional Repositories DataBase (IRDB)

    代理制約式を用いた陰的列挙法の効率化に関する数値実験

    Author
    Publication venue
    'Department of Mathematics, Hokkaido University'
    Publication date
    Field of study
    No full text
    Institutional Repositories DataBase (IRDB)

    変数上下限制約付き全整数計画問題に対する陰的列挙法の効率改善について

    Author
    Publication venue
    'Department of Mathematics, Hokkaido University'
    Publication date
    Field of study
    No full text
    Institutional Repositories DataBase (IRDB)
    corecore