يعرض 1 - 10 نتائج من 142 نتيجة بحث عن '"Chiba, Yuki"', وقت الاستعلام: 1.10s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Chemosensory input from mouthparts in response to sexually dimorphic cuticular wax mediates male sexual discrimination in Galerucella grisescens (Coleoptera: Chrysomelidae)

    المؤلفون: Chiba, Yuki, Yosano, Shun, Hori, MasatoshiAff1, IDs41598023492721_cor3

    المصدر: Scientific Reports. 13(1)

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay

    المؤلفون: Guo, Xiaoyun, Lin, Hsin-Hung, Aoki, Toshiaki, Chiba, Yuki

    المصدر: 2017 24th Asia-Pacific Software Engineering Conference (APSEC) APSEC Asia-Pacific Software Engineering Conference (APSEC), 2017 24th. :140-149 Dec, 2017

    Relation: 2017 24th Asia-Pacific Software Engineering Conference (APSEC)

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Domain-Specific Language Facilitates Scheduling in Model Checking

    المؤلفون: Tran, Nhat-Hoa, Chiba, Yuki, Aoki, Toshiaki

    المصدر: 2017 24th Asia-Pacific Software Engineering Conference (APSEC) APSEC Asia-Pacific Software Engineering Conference (APSEC), 2017 24th. :417-426 Dec, 2017

    Relation: 2017 24th Asia-Pacific Software Engineering Conference (APSEC)

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Automated testing reactive systems from Event-B model

    المؤلفون: Vu, Dieu Huong, Truong, Anh Hoang, Chiba, Yuki, Aoki, Toshiaki

    المصدر: 2017 4th NAFOSTED Conference on Information and Computer Science Information and Computer Science, 2017 4th NAFOSTED Conference on. :207-212 Nov, 2017

    Relation: 2017 4th NAFOSTED Conference on Information and Computer Science

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    Assembly program verification for multiprocessors with relaxed memory model using SMT solver

    المؤلفون: Maleehuan, Pattaravut, Chiba, Yuki, Aoki, Toshiaki

    المصدر: 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) Theoretical Aspects of Software Engineering (TASE), 2017 International Symposium on. :1-8 Sep, 2017

    Relation: 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    دورية أكاديمية
    Impact of extracorporeal membrane oxygenation treatments on acquired von Willebrand syndrome in patients with out-of-hospital cardiac arrest: a retrospective observational study

    المؤلفون: Chiba, Yuki, Goto, Kota, Suzuki, Misako, Horiuchi, Hisanori, Hayakawa, MinejiAff3, IDs12959024006174_cor5

    المصدر: Thrombosis Journal. 22(1)

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  7. 7
    تقرير
    Nitsche's method for a Robin boundary value problem in a smooth domain

    المؤلفون: Chiba, Yuki, Saito, Norikazu

    مصطلحات موضوعية: Mathematics - Numerical Analysis, 65N15, 65N30

    URL الوصول: http://arxiv.org/abs/1905.01605

    أضف إلى المفضلة
  8. 8
    تقرير
    Weak discrete maximum principle and $L^\infty$ analysis of the DG method for the Poisson equation on a polygonal domain

    المؤلفون: Chiba, Yuki, Saito, Norikazu

    مصطلحات موضوعية: Mathematics - Numerical Analysis, 65N15, 65N30

    URL الوصول: http://arxiv.org/abs/1812.00610

    أضف إلى المفضلة
  9. 9
    مؤتمر
    Verifying OSEK/VDX OS Design Using Its Formal Specification

    المؤلفون: Vu, Dieu Huong, Chiba, Yuki, Yatake, Kenro, Aoki, Toshiaki

    المصدر: 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) Theoretical Aspects of Software Engineering (TASE), 2016 10th International Symposium on. :81-88 Jul, 2016

    Relation: 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Resonant Photocurrent at 1550 nm in an Erbium Low-Doped Silicon Transistor at Room Temperature

    المؤلفون: Prati, Enrico, Celebrano, Michele, Ghirardini, Lavinia, Finazzi, Marco, Ferrari, Giorgio, Shinada, Takahiro, Gi, Keinan, Chiba, Yuki, Abdelghafar, Ayman, Yano, Maasa, Tanii, Takashi

    المصدر: 2019 Silicon Nanoelectronics Workshop (SNW) Silicon Nanoelectronics Workshop (SNW), 2019. :1-2 Jun, 2019

    Relation: 2019 Silicon Nanoelectronics Workshop (SNW)

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء