Search Results for Differential equations.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

Logic Functions and Equations Binary Models for Computer Science / Posthoff, Christian. author.

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Yazar

Gerdt, Vladimir P. editor.

https://doi.org/10.1007/978-3-319-99639-4

Format:

Electronic Resources

Alıntı:

Stokes Flow and its Modified Equations -- Symbolic-Numeric Methods for Nonlinear Integro-Differential

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Esparza, Javier. editor.

https://doi.org/10.1007/978-3-662-54458-7

Format:

Electronic Resources

Alıntı:

.-Algebra and Coalgebra -- Algebra, coalgebra, and minimization in polynomial differential equations

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Yazar

Legay, Axel. editor.

https://doi.org/10.1007/978-3-662-54580-5

Format:

Electronic Resources

Alıntı:

Differential Equations -- SV COMP -- Software Verification with Validation of Results (Report on SV-COMP 2017

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22747-0

Format:

Electronic Resources

Alıntı:

ordinary differential equations: Neural networks vs. linear regressors -- Kernel Methods for Discrete-Time

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

Yazar

Shi, Yong. editor.

https://doi.org/10.1007/978-3-319-93701-4

Format:

Electronic Resources

Alıntı:

Agent-Based, Particle and Partial Differential Equations Method to Analyze Vascular Adaptation -- Development

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}