13 papers · ranked by Valyu relevance
Francesca Bertacchini, Carmelo Scuro, Pietro Pantano, Eleonora Bilotta
'Eleonora Bilotta'] An educational robotics lab has been planned for undergraduate students in an Electronic Engineering degree, using the Project Based Learning (PBL) approach and the NAO robot. Students worked in a research context, with the aim of making the functions of the NAO robot as social and autonomous as…
Robert Urbanczik
Background Despite recent algorithmic and conceptual progress, the stoichiometric network analysis of large metabolic models remains a computationally challenging problem. Results SNA is a interactive, high performance toolbox for analysing the possible steady state behaviour of metabolic networks by computing the…
Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
We formalize algebraic numbers in Isabelle/HOL. Our development serves as a verified implementation of algebraic operations on real and complex numbers. We moreover provide algorithms that can identify all the real or complex roots of rational polynomials, and two implementations to display algebraic numbers, an…
Christian Bengs, Malcolm H. Levitt
SpinDynamica is a set of Mathematica packages for performing numerical and symbolic analysis of a wide range of magnetic resonance experiments and phenomena. An overview of the SpinDynamica architecture and functionality is given, with some simple representative examples.
Malcolm A. H. MacCallum
The complicated nature of calculations in general relativity was one of the driving forces in the early development of computer algebra (CA). CA has become widely used in gravity research (GR) and its use can be expected to grow further. Here the general nature of computer algebra is discussed, along with some aspects…
R. Roushangar, G. I. Mias
MathIOmica-MSViewer is an add-on graphical user interface utility for the Mathematica software system which facilitates the visualization and exploration of spectra from open format mass spectrometry files (mzXML and mzML standard community formats). The viewer was designed for simplicity and handling of large mass…
Anders Eller Thomsen
\usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \beta $$\end{document} β -functions Authors: ['Anders Eller Thomsen'] In completely generic four-dimensional…
Victoria C Ward, Yingjie Weng, Jason Bentley, Suzan L Carmichael + 16 more
Background Despite increasing focus on health inequities in low- and middle income countries, significant disparities persist. We analysed impacts of a statewide maternal and child health program among the most compared to the least marginalised women in Bihar, India. Methods Utilising survey-weighted logistic…
Srinivasarao Thota
Objectives In this paper, we present and employ symbolic Maple software algorithm for solving initial value problems (IVPs) of partial differential equations (PDEs). From the literature, the proposed algorithm exhibited a great significant in solving partial differential equation arises in applied sciences and…
Andrew D. Fernandes, William R. Atchley
We present computational methods and subroutines to compute Gaussian quadrature integration formulas for arbitrary positive measures. For expensive integrands that can be factored into well-known forms, Gaussian quadrature schemes allow for efficient evaluation of high-accuracy and -precision numerical integrals…
Linzhong Li, RobertM Seymour, Stephen Baigent
Modelling in systems biology often involves the integration of component models into larger composite models. How to do this systematically and efficiently is a significant challenge: coupling of components can be unidirectional or bidirectional, and of variable strengths. We adapt the waveform relaxation (WR) method…
Hiromu Takizawa, Kazushige Nakamura, Akito Tabira, Yoichi Chikahara + 3 more
'Tatsuhiro Matsui' 'Noriko Hiroi' 'Akira Funahashi'] Motivation: The Systems Biology Markup Language (SBML) is currently supported by >230 software tools, among which 160 support numerical integration of ordinary differential equation (ODE) models. Although SBML is a widely accepted standard within this field, there is…
Konrad Hinsen, Daniel Katz
Most of today’s scientific research relies on computers and software for processing scientific information. Examples of such computer-aided research are the analysis of experimental data or the simulation of phenomena based on theoretical models. With the rapid increase of computational power, scientific software has…