Rigorous Verification of Poincare Map Generated by a Continuous Piece-Wise Linear Vector Field and Its Application(<Special Section>Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
スポンサーリンク
概要
- 論文の詳細を見る
This paper provides algorithms in order to solve an interval implicit function of the Poincare map generated by a continuous piecewise linear (CPWL) vector field, with the use of interval arithmetic. The algorithms are implemented with the use of MATLAB and INTLAB. We present an application to verification of canards in two-dimensional CPWL vector field appearing in nonlinear piecewise linear circuits frequently, and confirm that the algorithms are effective.
- 社団法人電子情報通信学会の論文
- 2005-04-01
著者
-
Okazaki Hideaki
Department of Cardiology, Kanazawa Medical University
-
Nakano Hideo
Department Of Mechanical Engineering Shonan Institute Of Technology
-
HONDA Hirohiko
Department of System and Communication Engeneering, Shonan Institute of Technology
-
Honda Hirohiko
Department Of System And Communication Engineering Shonan Institute Of Technology
-
FUJITA Katsuhide
Department of Mechanical Engineering, Ube Institute of National Colleges of Technology
-
Okazaki Hideaki
Department Of Cardiology Fukui Prefectural Hospital
-
Okazaki Hideaki
Department Of System And Communication Engineering Shonan Institute Of Technology
-
Fujita Katsuhide
Department Of Mechanical Engineering Ube Institute Of National Colleges Of Technology
-
Nakano Hideo
Department Of System And Communication Engineering Shonan Institute Of Technology
-
Nakano Hideo
Department Of Bioengineering Sciences Graduate School Of Bioagricultural Sciences Nagoya University
関連論文
- High-throughput screening of DNA binding sites for transcription factor AmyR from Aspergillus nidulans using DNA beads display system(GENETICS, MOLECULAR BIOLOGY, AND GENE ENGINEERING)
- Directed evolution of angiotensin II-inhibiting peptides using a microbead display(METHODS)
- Stabilization of Affinity-Tagged Recombinant Protein during/after Its Production in a Cell-Free System Using Wheat-Germ Extract
- 2Ea06 相互作用ドメイン過剰発現による出芽酵母オートファジー阻害機構の解析(タンパク質工学,一般講演)
- 2Dp01 無細胞蛋白質合成系を用いたセルラーゼの進化分子工学(酵素学・酵素工学,一般講演)
- 1Ep21 新規な定量的高速スクリーニング法を用いたヒトMad2蛋白質結合ペプチドの創製(タンパク質工学,一般講演)
- 2Da05 酵素によるホスファチジルイノシトール異性体の組成分析(酵素学・酵素工学,一般講演)
- 2Ep08 一細胞RT-PCRと無細胞蛋白質合成による抗インフルエンザウイルスモノクローナル抗体の取得(抗体工学,一般講演)
- 2Dp21 ビーズディスプレイ法を用いたリパーゼのハイスループットスクリーニング法の開発(酵素学・酵素工学,一般講演)
- 2Dp15 エマルジョン培養法による分泌酵素産生菌の選択的濃縮(酵素学・酵素工学,一般講演)
- 2Da06 改変型ホスホリパーゼDを用いた環状二級アルコールに対するリン脂質化(酵素学・酵素工学,一般講演)
- 2Da04 放線菌由来ホスホリパーゼDの耐熱化(酵素学・酵素工学,一般講演)
- 2Cp14 DNAのビーズディスプレイ法を用いたDNA-酵母転写因子相互作用検出システム(核酸工学・糖鎖工学・ペプチド工学,一般講演)
- エマルジョンPCRが拓く分子間相互作用ハイスループットスクリーニング(分子機能を拓く)
- 特集によせて(分子機能を拓く)
- 2Fa03 1型および3型ホスファチジルイノシトールを優先的に合成する変異型ホスホリパーゼDの機能解析(酵素学,酵素工学,タンパク質工学,一般講演)
- 2Fa04 改変型ホスホリパーゼDを用いたホスファチジルイノシトールの合成(酵素学,酵素工学,タンパク質工学,一般講演)
- 3Fa12 相互作用ドメイン過剰発現による出芽酵母オートファジー関連蛋白質間相互作用阻害の生化学的解析(ペプチド工学・プロテオーム,一般講演)
- 3Fa14 半定量的酵母2ハイブリッド系を用いた相互作用蛋白質の高速スクリーニング(ペプチド工学・プロテオーム,一般講演)
- 2Ga14 一細胞PCRと無細胞蛋白質合成系による抗ガングリオシド抗体の取得(酵素学,酵素工学,タンパク質工学,一般講演)
- 2Da07 DNAのビーズディスプレイ法を用いたDNA : 転写因子間相互作用検出法(遺伝子工学,核酸工学,一般講演)
- 2C10-1 変異型ホスホリパーゼDにより合成されたホスファチジルイノシトールの異性体解析(酵素学・酵素工学・タンパク質工学,一般講演)
- 1F11-5 位置特異的アミノ酸飽和変異による2-デオキシリボース-5-リン酸アルドラーゼの基質特異性改変(酵素学,酵素工学,タンパク質工学,一般講演)
- 1J16-5 特定蛋白質間相互作用の選択的破壊法の開発(食品科学,食品工学/有機化学,高分子化学/ペプチド工学,プロテオーム,一般講演)
- 2D13-5 進化工学的手法を用いた出芽酵母キネトコアDam1複合体のサブユニット間相互作用領域の同定(ペプチド工学・プロテオーム,生合成・天然物化学,一般講演)
- 2C16-1 位置特異的アミノ酸飽和変異による2-デオキシリボース-5-リン酸アルドラーゼの基質特異性改変(1)(酵素学・酵素工学・タンパク質工学,一般講演)
- 2C16-2 位置特異的アミノ酸飽和変異による2-デオキシリボース-5-リン酸アルドラーゼの基質特異性改変(2)(酵素学・酵素工学・タンパク質工学,一般講演)
- 小麦胚芽無細胞タンパク質合成系で生産されるタグ付き組換えタンパク質の安定化
- コンビナトリアル・バイオエンジニアリング(4)バイオテクノロジーのニューウェーブ 無細胞タンパク質合成系の進歩と応用
- 無細胞タンパク質合成系を用いたコンビナトリアル・バイオエンジニアリング(コンビナトリアル・バイオエンジニアリング)
- 無細胞系によるコンビナトリアルライブラリー構築法の開発と応用
- 1D09-3 高機能性酵素の効率的デザインのための知識情報処理を用いた新規手法の提案(生体情報工学(バイオインフォマティクス),発酵生理学・発酵工学,一般講演)
- 3P-2128 無細胞タンパク質合成系とビーズディスプレイを用いた糖鎖結合性タンパク質の解析法(12d 糖鎖工学,一般演題,生体分子工学,伝統の技と先端科学技術の融合)
- 3P-2117 ビーズディスプレイ法とリガーゼ・リボザイムを用いたプロモーター活性選別法の開発(12a 核酸工学,一般演題,生体分子工学,伝統の技と先端科学技術の融合)
- 3P-1088 一細胞RT-PCRと無細胞蛋白質合成系による抗インフルエンザウイルスモノクローナル抗体の取得(2c抗体工学,一般講演,酵素学,タンパク質工学および酵素工学,伝統の技と先端科学技術の融合)
- 637 一分子PCRと無細胞蛋白質合成系によるGFP変異体の発現
- バイオテクノロジー
- Increases in Plasma Osteopontin after Coronary Rotational Atherectomy Is Associates with Coronary Lesion Cell Population
- Long-Term Prognosis of Patients with Palmaz-Schatz Stent Implantation
- Evaluation of Restenosis after Rotational Athrectomy
- Predictors of Restenosis after Rotational Athrectomy
- Does The Amount of Ablation Done with Rotational Atherectomy Affect Chronic Restenosis? : Intravascular Ultrasound Guided Study
- バイオテクノロジー
- 3P-1079 ビーズディスプレイ法におけるDNA-蛋白質複合体の安定化(2bタンパク質工学,一般講演,酵素学,タンパク質工学および酵素工学,伝統の技と先端科学技術の融合)
- 2S-Ba02 無細胞蛋白質合成系を用いた1分子DNA・1細胞由来mRNAの解析技術(1分子1細胞アッセイ技術に基づく生物工学の最近の潮流,シンポジウム,伝統の技と先端科学技術の融合)
- 2C10-2 ホスファチジルイノシトール合成活性をもつ変異型ホスホリパーゼDの獲得(酵素学・酵素工学・タンパク質工学,一般講演)
- 2S3-AM7 構造脂質の酵素合成(脂質工学:新しい油脂の創製とその機能,シンポジウム)
- 2B11-2 Burkholderia cepacia KWI-56 由来リパーゼ変異体の光学選択性
- 2A11-2 新規エナンチオ選択的リパーゼデザインのための知識情報処理(酵素学・酵素工学・タンパク質工学,一般講演)
- 3E10-4 DNAのビーズディスプレイ法を用いたDNA-転写因子間相互作用検出法(遺伝子工学・核酸工学,一般講演)
- 無細胞系によるタンパク質創製システム (特集 コンビナトリアル・バイオエンジニアリング)
- 559 Paracoccus denitrificans PHA合成系遺伝子の発現様式の解析
- 514 無細胞合成を利用したHTSによるマンガンペルオキシダーゼの過酸化水素安定化(酵素・酵素工学・タンパク質工学,一般講演)
- 636 無細胞タンパク質合成系によるマンガンペルオキシダーゼの生産
- 無細胞タンパク質合成系を用いた進化分子工学システムの構築と応用 (特集 無細胞生命科学の創成)
- 1C17-4 マイクロビーズ上での遺伝子ライブラリーを用いたDNA結合タンパク質の結合DNA領域のハイスループットスクリーニング法の開発(酵素学・酵素工学・タンパク質工学,一般講演)
- 1C17-5 W/Oエマルジョン内での固相1分子PCR無細胞蛋白質合成系を用いた蛋白質間相互作用検出法の開発(酵素学・酵素工学・タンパク質工学,一般講演)
- In Vitro Construction and Screening of a Burkholderia cepacia Lipase Library Using Single-Molecule PCR and Cell-Free Protein Synthesis(METHODS)
- Single-Step Single-Molecule PCR or DNA with a Homo-Priming Sequence Using a Single Primer and Hot-Startable DNA Polymerase
- ASCA Observations of the Temperature Structure and Metal Distribution in the Perseus Cluster of Galaxies
- P-405 SITE-SPECIFIC FUNCTIONALIZATION OF PROTEINS BY ORGANOPALLADIUM REACTIONS
- Improvements in the Cell-Free Production of Functional Antibodies Using Cell Extract from Protease-Deficient Escherichia coli Mutant (Methods)
- EP-P19 Beads display : Genotype-phenotype coupling screening of DNA molecules displayed on microbeads by using emulsion PCR and in vitro protein synthesis(Section VII Enzyme and Protein Engineering)
- Residual Cardiomyocytes and Scintigraphic Findings in Advanced Coronary Artery Disease : Correlation with Technetium-99m-Tetrofosmin and Thallium-201 Single Photon Emission Computed Tomography
- 2A11-3 SIMPLEXを用いた新規単鎖抗体ライブラリーの構築とスクリーニング(酵素学・酵素工学・タンパク質工学,一般講演)
- 就職活動のシーズンを迎えて
- 2C-AM1 無細胞蛋白質合成系を用いたリパーゼの蛋白質工学(新たな機能性脂質の設計と生産,シンポジウム)
- 微細形状を利用した高速高感度免疫化学検出
- In Vitro Selection of DNA Binding Sites for Transcription Factor, PhaR, from Paracoccus denitrificans Using Genetic Library on Microbeads and Flow Cytometry(GENETICS, MOLECULAR BIOLOGY, AND GENE ENGINEERING)
- 1F14-1 Enzymatic preparation of enantiomerically pure 2,3-diacylglycerol
- Expression Profiles of Polyhydroxyalkanoate Synthesis-Related Genes in Paracoccus denitrificans
- Cloning and in Vitro and in Vivo Expression of Plant Glutathione S-Transferase Zeta Class Genes(GENETICS,MOLECULAR BIOLOGY,AND GENE ENGINEERING)
- Reduction of Protein Degradation by Use of Protease-Deficient Mutants in Cell-Free Protein Synthesis System of Escherichia coli
- Dosage Effect of Minor Arginyl- and Isoleucy1-tRNAs on Protein Synthesis in an Escherichia coli In Vitro Coupled Transcription/Translation System
- 2A11-1 SIMPLEX法により得られた光学選択性の反転した変異リパーゼ群の解析(酵素学・酵素工学・タンパク質工学,一般講演)
- SIMPLEX法によるリパーゼのタンパク質工学
- 無細胞タンパク質合成系を用いたハイスループットスクリーニング技術の開発と応用
- 無細胞タンパク質合成系を用いた新規なタンパク質ライブラリー構築技術の開発と応用 (特集 バイオテクノロジーイノベーション(2)単細胞解析をめざしたバイオと異分野の融合がもたらすブレークスルー技術の新潮流)
- 2B11-1 光学選択性の改変した Burkholderia cepacia KWI-56 由来リパーゼ変異体の解析
- 518 一分子PCRと無細胞転写翻訳系による及Burkholderia cepacia由来リパーゼの光学選択性改変(酵素・酵素工学・タンパク質工学,一般講演)
- Site-specific incorporation of 4-lodo-L-phenylalanine through opal suppression
- Bifurcation Set of a Modelled Parallel Blower System (Special Section on the 5th Karuizawa Workshop on Circuits and Systems)
- Global Dynamic Behaviour of a Parallel Blower System
- THE PARAMETER SPACE OF A PARALLEL BLOWER SYSTEM(Dynamical Systems and Applications)
- 319 微量透析容器を用いたジスルフィド結合含有タンパク質の無細胞合成(プロセス工学,生物化学工学,一般講演)
- Rigorous Verification of Poincare Map Generated by a Continuous Piece-Wise Linear Vector Field and Its Application(Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
- SIMPLEX法によるタンパク質ライブラリーの構築 (特集 微生物遺伝子の最前線)
- A Generation Mechanism of Canards in a Piecewise Linear System (Special Section of Selected Papers from the 9th Karuizawa Workshop on Circuits and Systems)
- 530 一分子PCRと無細胞蛋白質合成系による単鎖抗体ライブラリーの構築とスクリーニング(酵素・酵素工学・タンパク質工学,一般講演)
- DNAのビーズディスプレイ法を用いた糸状菌転写因子AmyR結合DNAハイスループットスクリーニング(生物工学論文賞)
- Comprehensive Analysis of the DNA-Binding Specificity of an Aspergillus nidulans Transcription Factor, AmyR, Using a Bead Display System
- 1S2-PM4 SIMPLEX 法によるタンパク質ライブラリーの構築とスクリーニング
- 無細胞蛋白質合成系による新機能分子の創出
- 無細胞タンパク質合成系ノ高度化ト応用
- 無細胞タンパク質合成系の新展開
- Good-bye ゛大腸菌゛ : 無細胞タンパク質合成系の挑戦