Suchergebnisse - "Symbolic numeric computation"

Symbolic-Numeric Computation of Integrals in Successive Galerkin Approximation of Hamilton-Jacobi-Bellman Equation

Autoren: Iori, Tomoyuki

Quelle: 2023 62nd IEEE Conference on Decision and Control (CDC). :5975-5980

Schlagwörter: FOS: Electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Mathematics - Numerical Analysis, Systems and Control (eess.SY), Numerical Analysis (math.NA), Electrical Engineering and Systems Science - Systems and Control

Zugangs-URL: http://arxiv.org/abs/2303.10046

Hybrid Symbolic-Numeric Computation based on Resultant Theory for Process Simulation

Quelle: Computer Aided Chemical Engineering ISBN: 9780443288241

A symbolic-numeric computation framework for bosonic operators: modeling quantum features in QCL frequency combs

Autoren: Michael Haider Lukas Seitner Johannes Stowasser et al.

Quelle: Quantum Sensing and Nano Electronics and Photonics XXI. :68

Algebraic curve interpolation for intervals via symbolic-numeric computation

Autoren: Dehbi, Lydia Yang, Zhengfeng Peng, Chao et al.

Quelle: SCIENTIA SINICA Mathematica.

Schlagwörter: General Mathematics (math.GM), FOS: Mathematics, 0101 mathematics, Mathematics - General Mathematics, 01 natural sciences

Zugangs-URL: http://arxiv.org/abs/2407.07095

Symbolic-Numeric Computation in Modeling the Dynamics of the Many-Body System TRAPPIST

Autoren: Alexander Chichurin Alexander Prokopenya Mukhtar Minglibayev et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783031360237

Symbolic-Numeric Computation of Posterior Mean and Variance for a Class of Discrete-Time Nonlinear Stochastic Systems

Autoren: Toshiyuki Ohtsuka Tomoyuki Iori

Quelle: 2020 59th IEEE Conference on Decision and Control (CDC). :4814-4821

Schlagwörter: 0209 industrial biotechnology, 02 engineering and technology

Zugangs-URL: https://dblp.uni-trier.de/db/conf/cdc/cdc2020.html#IoriO20

SNC: A Cloud Service Platform for Symbolic-Numeric Computation Using Just-In-Time Compilation

Autoren: Peng Zhang Yueming Liu Meikang Qiu

Quelle: IEEE Transactions on Cloud Computing. 7:580-592

Schlagwörter: FOS: Computer and information sciences, Computer Science - Distributed, Parallel, and Cluster Computing, 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), 02 engineering and technology, 0101 mathematics, 01 natural sciences

Zugangs-URL: http://arxiv.org/pdf/1802.04766
http://arxiv.org/abs/1802.04766
https://arxiv.org/abs/1802.04766
https://ui.adsabs.harvard.edu/abs/2018arXiv180204766Z/abstract
https://ieeexplore.ieee.org/document/7828007/
http://arxiv.org/pdf/1802.04766.pdf
https://arxiv.org/abs/1802.04766
http://ieeexplore.ieee.org/document/7828007
https://dblp.uni-trier.de/db/journals/tcc/tcc7.html#ZhangLQ19

Additional Titles: Development and Application of Robust Motion Planning Platform of Robots with Symbolic-Numeric Computation

Index Begriffe: Research Paper.

URL: http://hdl.handle.net/2241/0002010836
https://tsukuba.repo.nii.ac.jp/records/2010836
https://tsukuba.repo.nii.ac.jp/record/2010836/files/20K11845seika.pdf

What we can learn from Bohemian Matrices?: An adventure in symbolic-numeric computation

Autoren: Rob Corless

Quelle: Maple Transactions. 1

Schlagwörter: 4. Education

Zugangs-URL: https://mapletransactions.org/index.php/maple/article/view/14039

Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials

Autoren: Titi, Jihad Garloff, Jürgen

Quelle: Lecture Notes in Computer Science ISBN: 9783030600259

Schlagwörter: Multivariate polynomial, Bernstein polynomial, Bernstein coefficient

Dateibeschreibung: application/pdf

Zugangs-URL: https://kops.uni-konstanz.de/bitstream/123456789/50570/3/Titi_2-1j0zjyjdu0l3j8.pdf
https://rd.springer.com/chapter/10.1007/978-3-030-60026-6_34
https://dblp.uni-trier.de/db/conf/casc/casc2020.html#TitiG20
http://kops.uni-konstanz.de/handle/123456789/50570
https://opus.htwg-konstanz.de/frontdoor/index/index/docId/2602
https://link.springer.com/chapter/10.1007/978-3-030-60026-6_34
http://nbn-resolving.de/urn:nbn:de:bsz:352-2-1j0zjyjdu0l3j8

Symbolic-Numeric Computation

Autoren: Dongming Wang Li-Hong Zhi

Resource Type: eBook.

Schlagworte: Numerical analysis

Categories: MATHEMATICS / Numerical Analysis

Symbolic–numeric computation of orthogonal polynomials and Gaussian quadratures with respect to the cardinal B-spline

Autoren: Gradimir V. Milovanović

Quelle: Numerical Algorithms. 76:333-347

Schlagwörter: 0101 mathematics, 16. Peace & justice, 01 natural sciences

Zugangs-URL: https://dblp.uni-trier.de/db/journals/na/na76.html#Milovanovic17
https://link.springer.com/article/10.1007/s11075-016-0256-y

SNC: A Cloud Service Platform for Symbolic-Numeric Computation using Just-In-Time Compilation

Autoren: Zhang, Peng Liu, Yueming Qiu, Meikang

Index Begriffe: Computer Science - Distributed, Parallel, and Cluster Computing, text

URL: http://arxiv.org/abs/1802.04766

Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation

Autoren: Hui Deng Jinzhao Wu

Quelle: Mathematical Problems in Engineering. 2013:1-19

Schlagwörter: 0209 industrial biotechnology, 0211 other engineering and technologies, 02 engineering and technology

Dateibeschreibung: text/xhtml

Zugangs-URL: http://downloads.hindawi.com/journals/mpe/2013/421926.pdf
http://downloads.hindawi.com/journals/mpe/2013/421926.pdf
https://www.hindawi.com/journals/mpe/2013/421926/
https://downloads.hindawi.com/journals/mpe/2013/421926.pdf

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods

Autoren: Zhengfeng Yang Wang Lin Min Wu et al.

Quelle: Frontiers of Computer Science. 8:192-202

Schlagwörter: 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Zugangs-URL: https://link.springer.com/10.1007/s11704-014-3150-6
https://rd.springer.com/article/10.1007/s11704-014-3150-6
https://journal.hep.com.cn/fcs/EN/10.1007/s11704-014-3150-6
https://doi.org/10.1007/s11704-014-3150-6
https://dblp.uni-trier.de/db/journals/fcsc/fcsc8.html#LinWYZ14
https://link.springer.com/article/10.1007/s11704-014-3150-6

Exact symbolic–numeric computation of planar algebraic curves

Autoren: Berberich, E. Emeliyanenko, P. Kobel, A. et al.

Quelle: Theoretical Computer Science. 491:1-32

Schlagwörter: Computer Science - Symbolic Computation, G.4, Computational Geometry (cs.CG), FOS: Computer and information sciences, Geometric Topology (math.GT), I.1.2, D.2.13, 0102 computer and information sciences, Symbolic Computation (cs.SC), 14Q05 (Primary), 14h50, 14P10 (Secondary), 01 natural sciences, Mathematics - Algebraic Geometry, Mathematics - Geometric Topology, FOS: Mathematics, Computer Science - Computational Geometry, Computer Science - Mathematical Software, 0101 mathematics, Mathematical Software (cs.MS), Algebraic Geometry (math.AG)

Zugangs-URL: http://arxiv.org/abs/1201.1548
https://arxiv.org/pdf/1201.1548
https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_1922449
https://arxiv.org/abs/1201.1548
https://core.ac.uk/display/45911787
https://dblp.uni-trier.de/db/journals/corr/corr1201.html#abs-1201-1548
http://hdl.handle.net/11858/00-001M-0000-0014-C598-7

Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox

Autoren: Shinji Hara Hirokazu Anai Hitoshi Yanami et al.

Quelle: Proceedings of the 2004 IEEE International Conference on Control Applications, 2004.. 2:1540-1545

Schlagwörter: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

Zugangs-URL: http://ieeexplore.ieee.org/iel5/9527/30193/01387594.pdf
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1387594

Symbolic-numeric computation of implicit riquier bases for PDE

Autoren: Greg Reid Wenyuan Wu

Quelle: Proceedings of the 2007 international symposium on Symbolic and algebraic computation. :377-386

Schlagwörter: 0211 other engineering and technologies, 02 engineering and technology, 0101 mathematics, 01 natural sciences

Zugangs-URL: http://www.cecm.sfu.ca/~pborwein/MITACS/papers/ReidWu07.pdf
https://users.math.msu.edu/users/wenyuanwu/papers/Issac07-WuReid.pdf
https://dl.acm.org/doi/10.1145/1277548.1277599
https://dblp.uni-trier.de/db/conf/issac/issac2007.html#WuR07
http://www.cecm.sfu.ca/~pborwein/MITACS/papers/ReidWu07.pdf
https://doi.org/10.1145/1277548.1277599
https://core.ac.uk/display/21769160

A symbolic-numeric computation algorithm for the analysis of constrained distributed parameter systems

Autoren: Chin An Tan Chih Hung Chung

Quelle: Journal of the Franklin Institute. 331:157-187

Schlagwörter: 0203 mechanical engineering, 02 engineering and technology, 0210 nano-technology, Computer science, Computational methods in systems theory, Numerical analysis

Dateibeschreibung: application/xml

Zugangs-URL: https://www.sciencedirect.com/science/article/abs/pii/0016003294900299

Numerical optimization in hybrid symbolic-numeric computation

Autoren: Lihong Zhi

Quelle: Proceedings of the 2007 international workshop on Symbolic-numeric computation. :33-35

Schlagwörter: 0211 other engineering and technologies, 02 engineering and technology, 0101 mathematics, 01 natural sciences

Zugangs-URL: https://dl.acm.org/doi/10.1145/1277500.1277507
http://www.mmrc.iss.ac.cn/~lzhi/Publications/zhisnc07.pdf
https://dblp.uni-trier.de/db/conf/issac/snc2007.html#Zhi07