Results 41 to 50 of about 540,625 (369)

Guarded Cubical Type Theory: Path Equality for Guarded Recursion [PDF]

, 2016
This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics,
Birkedal, Lars, Bizjak, Aleš, Clouston, Ranald, Grathwohl, Hans Bugge, Spitters, Bas, Vezzosi, Andrea   +5 more
core   +2 more sources

Research and Education in Computational Science and Engineering [PDF]

, 2016
Over the past two decades the field of computational science and engineering (CSE) has penetrated both basic and applied research in academia, industry, and laboratories to advance discovery, optimize systems, support decision-makers, and educate the ...
Biros, George, Bungartz, Hans, Corones, James, Cramer, Evin, Crowley, James, De Sterck, Hans, Ghattas, Omar, Gunzburger, Max, Hanke, Michael, Harrison, Robert, Heroux, Michael, Hesthaven, Jan, Jimack, Peter, Johnson, Chris, Jordan, Kirk E., Keyes, David E., Krause, Rolf, Kumar, Vipin, Mayer, Stefan, McInnes, Lois Curfman, Meza, Juan, Mørken, Knut Martin, Oden, J. Tinsley, Petzold, Linda, Raghavan, Padma, Rüde, Ulrich, Shontz, Suzanne M., Trefethen, Anne, Turner, Peter, Voevodin, Vladimir, Willcox, Karen, Wohlmuth, Barbara, Woodward, Carol S.   +32 more
core   +2 more sources

Approximation theorems of a solution of amperometric enzymatic reactions based on Green’s fixed point normal-S iteration

Advances in Difference Equations, 2021
In this paper, the authors present a strategy based on fixed point iterative methods to solve a nonlinear dynamical problem in a form of Green’s function with boundary value problems.
Khanitin Muangchoo-in, Kanokwan Sitthithakerngkiet, Parinya Sa-Ngiamsunthorn, Poom Kumam   +3 more
doaj   +1 more source

Hodge Theory on Metric Spaces [PDF]

, 2011
Hodge theory is a beautiful synthesis of geometry, topology, and analysis, which has been developed in the setting of Riemannian manifolds. On the other hand, spaces of images, which are important in the mathematical foundations of vision and pattern ...
A. Zomorodian, A.B. Lee, B. Eckmann, D. Zhou, E.H. Spanier, F. Chazal, F.R.K. Chung, F.W. Warner, G. Carlsson, G. Carlsson, G. Gilboa, H. Edelsbrunner, J. Cheeger, J. Dodziuk, J. Dodziuk, J. Dodziuk, J. Friedman, J. Lott, J.-C. Hausmann, J.R. Munkres, Laurent Bartholdi, M.F. Atiyah, M.P. do Carmo, Nat Smale, P. Linnell, P. Pansu, R. Bott, R.L. Wilder, R.R. Coifman, S. Lang, S. Smale, S. Smale, Steve Smale, T. Schick, T. Schick, Thomas Schick, W. Dicks, W. Lück, W. Lück, W.V.D. Hodge, X. Jiang   +40 more
core   +2 more sources

Chaos theory, a modern approach of nonlinear dynamic systems [PDF]

Revista Română de Informatică și Automatică, 2018
Chaos theory is a branch of mathematics focusing on nonlinear dynamic systems. As a relatively new field with a significant applicability area, chaos theory is an active research area involving many different disciplines (mathematics, topology, physics,
Ioana-Elena ENE
doaj  

Best practices for replicability, reproducibility and reusability of computer-based experiments exemplified by model reduction software

AIMS Mathematics, 2016
Over the recent years the importance of numerical experiments has gradually been more recognized. Nonetheless, su cient documentation of how computational results have been obtained is often not available.
Jörg Fehr, Jan Heiland, Christian Himpe, Jens Saak   +3 more
doaj   +1 more source

Symbolic Toolkit for Chaos Explorations [PDF]

, 2013
New computational technique based on the symbolic description utilizing kneading invariants is used for explorations of parametric chaos in a two exemplary systems with the Lorenz attractor: a normal model from mathematics, and a laser model from ...
A Shilnikov, A Shilnikov, A Shilnikov, A Vladimirov, AL Shilnikov, E. Lorenz, EN Lorenz, F Fernández-Sánchez, H. Haken, J Milnor, J Moloney, J. Guckenheimer, J.A.C. Gallas, JL Kaplan, L Shilnikov, L Shilnikov, L Shilnikov, L Shilnikov, L.P. Shilnikov, P. Gaspard, P. Glendinning, R Barrio, R. Barrio, R. Barrio, S. Gonchenko, T. Shimizu, U. Hubner, V Afraimovich, V. Afraimovich, V. Bykov, V.V. Bykov, W. Forysiak   +31 more
core   +1 more source

A numerical method for solving ill-posed problems for two-dimensional integral equations of the first kind

Наука. Инновации. Технологии, 2022
Propose a method of numerical solution integral equations of the first kind. This assumes that the source data in the equation can be set approximately with errors, and the integral equation kernel may have features that leads to the formulation of so ...
Igor Eduardovich Naats, Victoria Igorevna Naats, Roman Andreevich Ryskalenko   +2 more
doaj  

Unsteady thermal Maxwell power law nanofluid flow subject to forced thermal Marangoni Convection

Scientific Reports, 2021
In the current work, the unsteady thermal flow of Maxwell power-law nanofluid with Welan gum solution on a stretching surface has been considered. The flow is also exposed to Joule heating and magnetic effects.
Muhammad Jawad, Anwar Saeed, Taza Gul, Zahir Shah, Poom Kumam   +4 more
doaj   +1 more source

Introduction to Gestural Similarity in Music. An Application of Category Theory to the Orchestra

, 2018
Mathematics, and more generally computational sciences, intervene in several aspects of music. Mathematics describes the acoustics of the sounds giving formal tools to physics, and the matter of music itself in terms of compositional structures and ...
Mannone, Maria
core   +1 more source