ヘルプ
ヘルプ

検索結果 951 件

An introduction to computational origami (Texts and monographs in symbolic computation)

An introduction to computational origami (Texts and monographs in symbolic computation)
紙図書
Tetsuo Ida.Springer[2020]<MA91-D1>
国立国会図書館
  • 要約等...nd manipulated symbolically and graphi......r software and symbolic computation tools. The binary code for th...
  • タイトル標目Texts and monographs in symbolic computation.

数式処理

書影書影
数式処理
紙デジタル雑誌
日本数式処理学会[1992]-<Z14-B99>
インターネットで読める国立国会図書館全国の図書館
  • 一般注記... and Algebraic Computation (5巻1号-13巻2号) 7巻3号までの編者: 日本数式処...
  • 並列タイトル等（連結）...an Society for Symbolic and Algebraic Computation Bulletin of JS......an Society for Symbolic and Algebraic Computation
  • 並列タイトル等...an Society for Symbolic and Algebraic Computation Bulletin of JS......an Society for Symbolic and Algebraic Computation
  •  
  •  
  •  
  •  
  •  
    •  

A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra--Design of Algorithms, Implementations and Applications研究集会報告集)

A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra--Design of Algorithms, Implementations and Applications研究集会報告集)
紙デジタル記事
坂部 啓, 屋並 仁史, 穴井 宏和 他<Z43-1336>数理解析研究所講究録(通号 1395) 2004.10p.231～237
インターネットで読める国立国会図書館全国の図書館

Multi-objective design based on symbolic computation and its application to hard disk slider design

Multi-objective design based on symbolic computation and its application to hard disk slider design
紙デジタル記事
Hitoshi Yanami<Z63-D421>JMI : journal of math-for-industry1 2009p.149～156
インターネットで読める国立国会図書館全国の図書館
  • 要約等...ur method uses symbolic computation called quantifier elimination...
  • 件名symbolic computation quantifier elimination multi-...

Numerical and Symbolic Computation

Numerical and Symbolic Computation
デジタル電子書籍・電子雑誌図書
2020
インターネットで読める国立国会図書館

Numerical and Symbolic Computation

Numerical and Symbolic Computation
デジタル電子書籍・電子雑誌図書
2020
インターネットで読める国立国会図書館

A Parameter Space Approach for Fixed-order robust controller synthesis by symbolic computation (Computer Algebra--Algorithms, Implementations and Applications 研究集会報告集)

A Parameter Space Approach for Fixed-order robust controller synthesis by symbolic computation (Computer Algebra--Algorithms, Implementations and Applications 研究集会報告集)
紙デジタル記事
穴井 宏和, 原 辰次<Z43-1336>数理解析研究所講究録(通号 1295) 2002.11p.150～160
インターネットで読める国立国会図書館全国の図書館

Symbolic computation of Appell systems on the Schrodinger algebra (Algebraic Systems,Formal Languages and Computations)

Symbolic computation of Appell systems on the Schrodinger algebra (Algebraic Systems,Formal Languages and Computations)
紙デジタル記事
Philip Feinsilver<Z43-1336>数理解析研究所講究録1166 2000.8p.59～66
インターネットで読める国立国会図書館全国の図書館

Visual computing for cultural heritage (Springer series on cultural computing)

Visual computing for cultural heritage (Springer series on cultural computing)
紙図書
Fotis Liarokapis, Athanasios Voulodimos, Nikolaos Doulamis, Anastasios Doulamis, editorsSpringer[2020]<K275-D20>
国立国会図書館
  • 要約等... semantics and symbolic representation, metadata desc...

Symbolic Computing Package for Mathematica (数式処理とその周辺分野の研究)

Symbolic Computing Package for Mathematica (数式処理とその周辺分野の研究)
紙デジタル記事
Seong-Deog Yang, Youngjoo Chung<Z43-1336>数理解析研究所講究録(2054):2017.10p.68-76
インターネットで読める国立国会図書館全国の図書館
  • 要約等... introduce the Symbolic Computing pack...... to manipulate symbolic computations more easily.

Handbook of evolutionary machine learning (Genetic and evolutionary computation)

Handbook of evolutionary machine learning (Genetic and evolutionary computation)
紙図書
Wolfgang Banzhaf, Penousal Machado, Mengjie Zhang, editorsSpringer[2024]<M121-D79>
国立国会図書館全国の図書館
  • 要約等...f evolutionary computation as a machine l......f evolutionary computation for supporting machine learni...
  • 内容細目...4 Evolutionary Computation and the Reinfo......I Evolutionary Computation as Machine Lea......2 Evolutionary Computation for Regression......1 Evolutionary Computation for Learning C......rogramming for Symbolic Regression 5.2......rogramming for Symbolic Regression: Generalisation
  • 件名Machine learning Evolutionary computation Apprentissage automatique Ré...

Application of symbolic computation to Ptolemy-Alhazen problem (第26回日本数式処理学会大会報告)

Application of symbolic computation to Ptolemy-Alhazen problem (第26回日本数式処理学会大会報告)
紙記事
藤村 雅代<Z14-B99>数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation24(2):2018.5p.55-58
国立国会図書館全国の図書館

Symbolic computation and machine learning on logical formulas

書影書影書影
Symbolic computation and machine learning on logical formulas
デジタル博士論文障害者向け資料あり
Kobayashi, Munehiro, 小林, 宗広2017
国立国会図書館

Journal of symbolic computation

Journal of symbolic computation
紙雑誌
Academic Press<Z54-F749>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

Power system dynamics with computer-based modeling and analysis

Power system dynamics with computer-based modeling and analysis
紙図書
Yoshihide Hase, Tanuj Khandelwal, Kazuyuki Kameda.Wiley2020.<ND131-D6>
国立国会図書館
  • 内容細目...mber notation (symbolic method) and La......heory. Digital computations theories. Digital computation basics Power flow methods Sho...

数式処理技術の工学設計への応用 (特集 キネマティクス研究)

数式処理技術の工学設計への応用 (特集 キネマティクス研究)
紙デジタル記事
澤田 浩之<Z16-1325>日本ロボット学会誌 = Journal of the Robotics Society of Japan / 日本ロボット学会 編34(3)=261:2016.4p.174-179
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Application of Symbolic Computation in Engineering Design
  • 並列タイトル等Application of Symbolic Computation in Engineering Design

Artificial intelligence, automated reasoning, and symbolic computation. : joint international conference, AISC 2002 and Calculemus 2002 : Jul 2002, Marseille, France. (Lecture Notes in Computer Science ; 2385. Lecture Notes in Artificial Intelligence)

Artificial intelligence, automated reasoning, and symbolic computation. : joint international conference, AISC 2002 and Calculemus 2002 : Jul 2002, Marseille, France. (Lecture Notes in Computer Science ; 2385. Lecture Notes in Artificial Intelligence)
紙図書
Springer2002.<M17-03-73>
国立国会図書館
  • 並列タイトル等（連結）...telligence and symbolic computation 10th symposium......integration of symbolic computation and mechanized reasoning
  • 並列タイトル等...telligence and symbolic computation 10th symposium......integration of symbolic computation and mechanized reasoning

数式処理技術とプラントモデリング

数式処理技術とプラントモデリング
紙デジタル記事
岩ヶ谷 崇, 山口 哲<Z14-106>計測と制御 : journal of the Society of Instrument and Control Engineers53(4):2014.4p.335-338
国立国会図書館全国の図書館
  • 件名プラントモデリング (plant modeling) 物理モデリング (physical modeling) Modelica 数式処理 (symbolic computation)
  • 並列タイトル等（連結）Plant Modeling with Symbolic Computation
  • 並列タイトル等Plant Modeling with Symbolic Computation

Numerical and Symbolic Computational Approach to Design of LSI Circuits

書影書影書影
Numerical and Symbolic Computational Approach to Design of LSI Circuits
デジタル博士論文障害者向け資料あり
中林, 太美世中林 太美世2014-03-24
国立国会図書館

非線形制御設計における数式処理システム

非線形制御設計における数式処理システム
紙記事
小川 伸夫<Z16-1077>鳥羽商船高等専門学校紀要 = Annual reports of Toba National College Maritime Technology / 鳥羽商船高等専門学校 編(37):2015.2p.25-27
国立国会図書館全国の図書館
  • 件名Symbolic Computation Systems Maxima Backstepping
  • 並列タイトル等（連結）Symbolic Computation System in Nonlinear Control D...
  • 並列タイトル等Symbolic Computation System in Nonlinear Control D...