×

Found 171 Documents (Results 1–100)

Practical MATLAB modeling with Simulink. Programming and simulating ordinary and partial differential equations. (English) Zbl 1483.65002

Berkeley, CA: Apress (ISBN 978-1-4842-5798-2/pbk; 978-1-4842-5799-9/ebook). xxii, 473 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Higher order quantum superintegrability: a new “Painlevé conjecture”. Higher order quantum superintegrability. (English) Zbl 1425.81046

Kuru, Şengül (ed.) et al., Integrability, supersymmetry and coherent states. A volume in honour of Professor Véronique Hussin. In part selected contributions from the 6th international workshop on new challenges in quantum mechanics: integrability and supersymmetry, Valladolid, Spain, June 27–30, 2017. Cham: Springer. CRM Ser. Math. Phys., 103-131 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

An application of stochastic differential equations to evolutionary algorithms. (English) Zbl 1365.68396

Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 3-11 (2017).
MSC:  68T20 60H10
PDF BibTeX XML Cite
Full Text: DOI

Stochastic local search for falsification of hybrid systems. (English) Zbl 1471.68138

Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9364, 500-517 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Scientific computing. For scientists and engineers. (English) Zbl 1331.65002

De Gruyter Textbook. Berlin: De Gruyter (ISBN 978-3-11-035940-4/pbk; 978-3-11-035942-8/ebook). xi, 138 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI

Safety verification of nonlinear systems based on rational invariants. (English) Zbl 1347.65038

Watt, Stephen M. (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). 107-108 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Matrix formulae of differential resultant for first order generic ordinary differential polynomials. (English) Zbl 1347.12003

Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 479-503 (2014).
MSC:  12H20 13P15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Combined global and local search for the falsification of hybrid systems. (English) Zbl 1448.68303

Legay, Axel (ed.) et al., Formal modeling and analysis of timed systems. 12th international conference, FORMATS 2014, Florence, Italy, September 8–10, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8711, 146-160 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fewnomial systems with many roots, and an adelic tau conjecture. (English) Zbl 1320.13035

Amini, Omid (ed.) et al., Tropical and non-Archimedean geometry. Bellairs workshop in number theory, tropical and non-Archimedean geometry, Bellairs Research Institute, Holetown, Barbados, USA, May 6–13, 2011. Providence, RI: American Mathematical Society (AMS); Montreal: Centre de Recherches Mathématiques (ISBN 978-1-4704-1021-6/pbk). Contemporary Mathematics 605. Centre de Recherches Mathématiques Proceedings, 45-71 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Cell mapping techniques for tuning dynamical systems. (English) Zbl 1315.37056

Sun, Jian-Qiao (ed.) et al., Global analysis of nonlinear dynamics. Dedicated to C. S. Hsu on the occasion of his 90th birthday. New York, NY: Springer (ISBN 978-1-4614-3127-5/hbk; 978-1-4614-6197-5/pbk; 978-1-4614-3128-2/ebook). Nonlinear Systems and Complexity 2, 31-50 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Solution of differential equations as means of profound study of mathematical analysis and the variety of subjects for a pupil’s research. (English) Zbl 1298.97076

Burenkov, V. I. (ed.) et al., Progress in analysis. Proceedings of the 8th congress of the International Society for Analysis, its Applications, and Computation (ISAAC), Moscow, Russia, August 22–27, 2011. Volume 3. Moscow: Peoples’ Friendship University of Russia (ISBN 978-5-209-04597-7/hbk). 236-241 (2012).
MSC:  97I70 97M50 97D50
PDF BibTeX XML Cite

Numerical algorithms of asymptotically solving operators for solving boundary value problems of mathematical physics with high accuracy. (Ukrainian. English summary) Zbl 1265.65120

MSC:  65K10 65L10 49J15 49M30
PDF BibTeX XML Cite

Nonlinear equations. Paper from the 28th Brazilian mathematics colloquium – 28\(^{\text o}\) Colóquio Brasileiro de Matemática, Rio de Janeiro, Brazil, July 2011. (English) Zbl 1237.65051

Publicações Matemáticas do IMPA. Rio de Janeiro: Instituto Nacional de Matemática Pura e Aplicada (IMPA) (ISBN 978-85-244-0329-3/pbk). xiv, 177 p. (2011).
PDF BibTeX XML Cite

What makes particle swarm optimization a very interesting and powerful algorithm? (English) Zbl 1207.68353

Panigrahi, Bijaya Ketan (ed.) et al., Handbook of swarm intelligence. Concepts, principles and applications. Berlin: Springer (ISBN 978-3-642-17389-9/hbk; 978-3-642-17390-5/ebook). Adaptation, Learning, and Optimization 8, 37-65 (2011).
MSC:  68T20 68T05 65C30
PDF BibTeX XML Cite
Full Text: DOI

Describing the result of a classifier to the end-user: geometric-based sensitivity. (English) Zbl 1211.68305

Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 835-840 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Contract Search: heuristic search under node expansion constraints. (English) Zbl 1211.68375

Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 733-738 (2010).
MSC:  68T20 65C99
PDF BibTeX XML Cite
Full Text: DOI

Mathematica in action. Problem solving through visualization and computation. With CD-ROM. 3rd ed. (English) Zbl 1198.65001

New York, NY: Springer (ISBN 978-0-387-75366-9/pbk; 978-0-387-75477-2/ebook). xi, 578 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI

Numerical and analytical methods with MATLAB. (English) Zbl 1189.65001

CRC Series in Computational Mechanics and Applied Analysis. Boca Raton, FL: CRC Press (ISBN 978-1-4200-9356-8/hbk). xviii, 452 p. (2009).
PDF BibTeX XML Cite

Approximate control optimization based on transformation of object model. (English. Russian original) Zbl 1180.93035

Autom. Remote Control 70, No. 5, 750-760 (2009); translation from Avtom. Telemekh. 2009, No. 5, 13-23 (2009).
MSC:  93B40 93C15 93C10 93B17
PDF BibTeX XML Cite
Full Text: DOI

The nonlinear workbook. Chaos, fractals, cellular automata, neural networks, genetic algorithms, gene expression programming, support vector machine, wavelets, hidden Markov models, fuzzy logic. With C++, Java and SymbolicC++ programs. 4th ed. (English) Zbl 1167.68301

Hackensack, NJ: World Scientific (ISBN 978-981-281-852-2/hbk; 978-981-281-853-9/pbk; 978-981-281-854-6/ebook). xix, 605 p. (2008).
PDF BibTeX XML Cite
Full Text: DOI

Elementary mathematical and computational tools for electrical and computer engineers using MATLAB. 2nd ed. (English) Zbl 1105.65002

Boca Raton, FL: CRC; Boca Raton, FL: Taylor & Francis (ISBN 0-8493-7425-1/hbk). xix, 457 p. (2007).
PDF BibTeX XML Cite

Planning for mixed discrete continuous domains. (English) Zbl 1177.68184

Beck, J. Christopher (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. Third international conference, CPAIOR 2006, Cork, Ireland, May 31 – June 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34306-7/pbk). Lecture Notes in Computer Science 3990, 2 (2006).
MSC:  68T20 90C27 93C30
PDF BibTeX XML Cite
Full Text: DOI

Selecting complementary pairs of literals. (English) Zbl 1179.68144

Kranakis, Evangelos (ed.) et al., Typical case complexity and phase transitions. Papers from the workshop, Ottawa, ON, Canada, May 14–16, 2003. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 16, 47-70 (2003).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI

Linear equations of Sobolev type. Textbook. (Linejnye uravneniya Sobolevskogo tipa. Uchebnoe posobie.) (Russian) Zbl 1093.34001

Chelyabinsk: Chelyabinskij Gosudarstvennyj Universitet (ISBN 5-7271-0627-3/pbk). 179 p. (2003).
PDF BibTeX XML Cite

A complete symbolic-numeric linear method for camera pose determination. (English) Zbl 1072.68626

Sendra, J. Rafael (ed.), ISSAC 2003. Proceedings of the 2003 international symposium on symbolic and algebraic computation, Philadelphia, PA, USA, August 3–6, 2003. New York, NY: ACM Press (ISBN 1-58113-641-2/pbk). 215-223 (2003).
MSC:  68T45 68W30
PDF BibTeX XML Cite

Predicting the solutions of a challenging NLP problem with asynchronous parallel evolutionary modeling algorithm. (English) Zbl 1038.68113

Guo, Minyi (ed.) et al., Parallel and distributed processing and applications. International symposium, ISPA 2003, Aizu-Wakamatsu, Japan, July 2–4, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40523-2/pbk). Lect. Notes Comput. Sci. 2745, 294-303 (2003).
MSC:  68T20 65C20 93A30
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software