How can you have a proof without proving anything? Mathematicians found a way and, in the process, came to blows over it – ...
Clarkson University researchers have developed an artificial intelligence tool that can uncover the mathematical equations ...
MASA (Manufactured Analytical Solution Abstraction) is a library written in C++ (with C, python and Fortran90 interfaces) which provides a suite of manufactured solutions for the software verification ...
SUNDIALS is a family of software packages providing robust and efficient time integrators and nonlinear solvers that can easily be incorporated into existing simulation codes. The library is primarily ...
Our article offers an answer to a foundational question in psychology and neuroscience: how do people learn from rewards and punishments? Specifically, we introduce a computational model of human ...
Do you like mechanics, robotics, or production equipment? Do you have a knack for creative problem solving? Do you enjoy technical and engineering activities? The Mechatronics MS may be for you.
Creative Commons (CC): This is a Creative Commons license. Attribution (BY): Credit must be given to the creator. Article Views are the COUNTER-compliant sum of full text article downloads since ...
The control of general nonlinear systems is a challenging task in particular for large-scale models as they occur in the semi-discretization of partial differential equations (PDEs) of, say, fluid ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results