Search Results 1-20 of 992

  • CNN Architecture for Surgical Image Segmentation with Recursive Structure and Flip-Based Upsampling

    Manabe Taito , Tomonaga Koki , Fujita Koki , Shibata Yuichiro , Kosaka Taiichiro , Adachi Tomohiko

    … Therefore, we built a recursive network structure, with some sub-networks which are used multiple times, to mitigate overfitting. … Furthermore, we applied stochastic depth regularization to the recursive structure for better accuracy. … The system shows a throughput sufficient for real-time laparoscope robot control with a single NVIDIA GeForce GTX 1080 GPU. …

    International Journal of Networking and Computing 10(2), 259-276, 2020


  • Time-Domain Finite Element Analysis of Multi-turn Coil with Elliptic Cross Section using based on Homogenization Method  [in Japanese]

    Fujita Shogo , Igarashi Hajime

    <p>In this paper, a homogenized finite element method for transient analysis of electric apparatus including a multi-turn coil with elliptic cross-section. The tensor-type complex permeability o …

    IEEJ Transactions on Power and Energy 140(5), 402-408, 2020


  • State Estimation for Atomic Clocks System under Non-stationary Noise Using Recursive Least-squares Method with Vector-type Variable Forgetting Factor  [in Japanese]

    MABUCHI Shunichiro , HIRANO Masato , ADACHI Shuichi , IDO Tetsuya , HANADO Yuko

    … In this paper, we propose an estimation method using Recursive Least-Squares Method with Vector-type Variable Forgetting Factor (VVFF-RLS) for multiple atomic clocks system. … In multiple atomic clocks system, achieving reliable estimation of time deviations of atomic clocks is one of the most important tasks. …

    Transactions of the Society of Instrument and Control Engineers 56(2), 45-50, 2020


  • An Extended SECD Machine with a First-class Macro Mechanism

    Yosuke Fukuda

    … While its core system is surprisingly small, the notion of macro closure allows us to implement a lot of programming language features (conditional expression, recursive function definition, quasi-quotation, etc.) as user-defined programs.Landin's SECD machine is known to be a simple but yet expressive abstract machine for functional programming. …

    情報処理学会論文誌プログラミング(PRO) 12(5), 6-6, 2019-11-20


  • Automatically Proving Sufficient Completeness of Conditional Term Rewriting Systems  [in Japanese]

    東和田 直輝 , 青戸 等人

    … A term rewriting system (TRS) is a formal computational model of functional programming languages, and is given as a set of rewriting rules. … For CTRSs, sufficient completeness checker of CTRSs based on an algebraic specification system Maude has been known. … In this presentation, we report an implementation of an automated verification system of sufficient completeness for left-linear deterministic CTRS of type 3, which is a basic framework of CTRSs adapted in many theoretical research. …

    情報処理学会論文誌プログラミング(PRO) 12(5), 3-3, 2019-11-20


  • Efficient method for computing the reliability of the toroidal connected-(r,s)-out-of-(m,n):F lattice system (信頼性)

    中村 太信 , 山本 久志 , 秋葉 知昭

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 119(54), 29-34, 2019-05-24

  • A scoring system predicting acute radiation dermatitis in patients with head and neck cancer treated with intensity-modulated radiotherapy

    Kawamura Mitsue , Yoshimura Michio , Asada Hiromi , Nakamura Mitsuhiro , Matsuo Yukinori , Mizowaki Takashi

    … Background and purpose: We created a scoring system incorporating dosimetric and clinical factors to assess the risk of severe, acute skin reactions in patients undergoing intensity-modulated radiation therapy (IMRT) to treat head and neck cancer (HNC). … A scoring system was created based on logistic regression analysis (LRA) that identified the most significant dosimetric and clinical factors. …

    Radiation Oncology (14), 2019-01-21


  • Identification of 1-dof system based on the maximum likelihood estimation using the analytical solution of Fokker-Planck equation:(expansion to recursive algorithm)  [in Japanese]

    TAKATA Soichiro

    … <p>An author proposed a new identification method of linear 1-dof system using Gaussian random vibration response in a previous study. … However, there is a problem that conventional research containing the expansion to recursive algorithm. … In this paper, an expansion to recursive algorithm is conducted. … Moreover, based on the above description, recursive algorithm is derived. …

    The Proceedings of the Symposium on Evaluation and Diagnosis 2019.18(0), 104, 2019


  • Investigation of an approximate analysis method for multibody systems with viscoelastic body  [in Japanese]


    … However, from the necessity of application to, for example, HILS system etc., it is required to speed up while maintaining stability. … Therefore, in this research, we try to develop an approximate analysis method that can analyze the system including the viscoelastic body at high speed and stably by combining the approximate rigid link model, the recursive dynamics calculation, and the implicit numerical integration method. …

    The Proceedings of the Dynamics & Design Conference 2019(0), 504, 2019


  • Generation of Peg Insert Motions by a Recurrent Neural Network Using Motor Joint Angles and Current Values  [in Japanese]

    Kurata Takumi , Ito Hiroshi , Mori Hiroki , Yamamoto Kenjiro , Ogata Tetsuya

    … The learning model is a recursive neural Network integrated and learned by time series data composed of joint angles and current values made with a remote teaching system and it predicts the next motion at a certain time by its position and variance. …

    The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec) 2019(0), 1P2-A10, 2019



    Yun Yu , Jian Sun , Hongchun Liu , Pan Zhu , Jixiang Zhou , Qi Ye

    … But the temperature control system must also consider the quicker response and capacity to the wide range change of load, this paper based on point-kinetic model and heat transfer model in reactor, designs a suitable temperature model for control system. … According to the mechanism model, and establish nine single models, this paper online calculation model -matching degree to get recursive bayesian probability weighting, then get global prediction model. …

    The Proceedings of the International Conference on Nuclear Engineering (ICONE) 2019.27(0), 1160, 2019


  • Discrete Adaptive Control with Multiple-Step-Guess Estimation for Brushless DC Motor

    Shao Guirong , Zhu Minling , Ma Hongbin , Zhang Xinghong

    … <p>The brushless DC motor (BLDCM) speed control system has various kinds of uncertainties, such as reference speed mutation, noise and parameters change, etc. … However, proportional integral (PI) control method used widely cannot handle the uncertainties in the control system well. … A novel discrete adaptive control with Multiple-Step-Guess (MSG) estimation for BLDCM speed control system is proposed in this contribution. …

    Journal of Advanced Computational Intelligence and Intelligent Informatics 23(5), 810-822, 2019


  • A trial of color image analysis for painting arts with cofficients of a recursive bi-divided step function system  [in Japanese]

    Muroya Taizo

    <p>絵画画像をはじめとする色彩画像の色変化について,画面上のさまざまなスケールについての平均色差に着目し,完全正規直交系を用いることにより,画面上の大きさについて重複することなく,かつ,取りこぼすことがないような方法を構成した.さらに,使用する基底として画面上の色変化に適応した階段関数系を定義することにより,Haar-waveletと比して,色変化の特徴をより明確に捉えられる方法を提 …



  • Utterance Intent Classification for Spoken Dialogue System with Data-Driven Untying of Recursive Autoencoders

    KATO Tsuneo , NAGAI Atsushi , NODA Naoki , WU Jianming , YAMAMOTO Seiichi

    … <p>Data-driven untying of a recursive autoencoder (RAE) is proposed for utterance intent classification for spoken dialogue systems. … When using the proposed method, the experimental results on two corpora: ATIS English data set and Japanese data set of a smartphone-based spoken dialogue system showed improved accuracies compared to when using the tied RAE, as well as a reasonable difference in untying between two languages.</p> …

    IEICE Transactions on Information and Systems E102.D(6), 1197-1205, 2019


  • Visualization of Large Scale Data by the CAVE VR System:― Extracting ROI and Automatic LOD ―  [in Japanese]

    OHNO Nobuaki

    … <p>A function to extract ROI (region of interest) with automatic LOD (level of detail) is incorporated to VFIVE, which is an interactive visualization software for the CAVE system, to visualize large scale data generated by computer simulations. … The ROI extraction can be carried out interactively and intuitively in the CAVE system, and is recursive. …

    Journal of the Visualization Society of Japan 39(152), 3-7, 2019


  • Design of a Data-Driven Multi-loop Self-Tuning PID Controller  [in Japanese]

    Ashida Yoichiro , Wakitani Shin , Yamamoto Toru

    … Multi-loop self-tuning PID controller is designed for the decoupled system. …

    IEEJ Transactions on Electronics, Information and Systems 139(4), 356-363, 2019


  • Efficient Dynamic Malware Analysis for Collecting HTTP Requests using Deep Learning

    SHIBAHARA Toshiki , YAGI Takeshi , AKIYAMA Mitsuaki , CHIBA Daiki , HATO Kunio

    … Therefore, we propose a system for efficiently collecting HTTP requests with dynamic malware analysis. … Specifically, our system analyzes a malware sample for a short period and then determines whether the analysis should be continued or suspended. … Our system identifies malware samples whose analyses should be continued on the basis of the network behavior in their short-period analyses. …

    IEICE Transactions on Information and Systems E102.D(4), 725-736, 2019


  • Feature Extraction and Resident Number Prediction Method using Power Consumption Data

    Yoshida Masahiro , Imanishi Tomoya , Nishi Hiroaki

    … An appropriate feature variable set is selected by assessing several combinations of the 33 features, based on proposed extended algorithm of Recursive Feature Elimination (RFE). …

    IEEJ Transactions on Electronics, Information and Systems 139(3), 227-236, 2019


  • Systemic design for sustainability (SPECIAL FEATURE : People, Technology and Governance for Sustainability : The Contribution of Systems and Cyber-systemic Thinking)

    Schwaninger Markus

    Sustainability science : official journal of the Integrated Research System for Sustainability Science 13(5), 1225-1234, 2018-09

  • The Church-Rosser Theorem and Analysis of Reduction Length (Proof theory and proving)

    Fujita Ken-etsu

    … In particular, upper bounds for reduction sequences on the theorem are obtained as the fourth level of the Grzegorczyk hierarchy, i.e., non-elementary recursive functions. … Moreover, the proof method developed here can be applied to other reduction systems such as $lambda$-calculus with $beta eta$-reduction, Girard's system $Gamma$, Gödel's system mathrm{T}, combinatory logic, and Pure Type Systems as well. …

    数理解析研究所講究録 (2083), 124-136, 2018-08


Page Top