Hidden verification for computational mathematics by Gottliebsen, H, Kelsey, T, Martin, U

The Membership Problem for hypergeometric sequences with quadratic parameters by Kenison, G, Nosan, K, Shirmohammadi, M, Worrell, J

Subjects: “…Numerical and computational mathematics…”

Embedding an object calculus in the unifying theories of programming by Smith, M

Subjects: “…Computing Mathematics…”

Finite element approximation of high-dimensional transport-dominated diffusion problems by Suli, E

“…(Presented as an invited lecture under the title "Computational multiscale modelling: Fokker-Planck equations and their numerical analysis" at the Foundations of Computational Mathematics conference in Santander, Spain, 30 June - 9 July, 2005.) …”

Topological approximate Bayesian computation for parameter inference of an angiogenesis model by Thorne, T, Kirk, PDW, Harrington, HA

“…Simultaneously, advances in topological data analysis (TDA), a field of computational mathematics, have enabled spatial patterns in data to be characterised. …”

Greedy approximation of high-dimensional Ornstein-Uhlenbeck operators with unbounded drift by Figueroa, L, Suli, E

Forum for scientific method in biology: transcript by Carusi, A, Rodriguez, B, Wakefield, J, Burrage, K, Keller, E, Goodwin, B, Maini, P, Margulis, L, Noble, D, Terrar, D, Trefethen, A, Werner, E

“…The group included computational, mathematical and experimental biologists, philosophers and historians of science discussing issues relating to modelling, simulation, experiment, quantitative and qualitative approaches, institutional aspects of research, collaboration, and education, among other topics. …”

Reasoning about equilibria in game-like concurrent systems by Gutierrez, J, Harrenstein, P, Wooldridge, M

“…Specifically, we start by presenting a computational model for such concurrent systems, and investigate its computational, mathematical, and game-theoretic properties. …”

An evaluation of Bayesian techniques for controlling model complexity and selecting inputs in a neural network for short-term load forecasting. by Hippert, H, Taylor, J

“…Artificial Neural Network; Automatic relevance determination; Bayesian; Bayesian frameworks; Bayesian model selection; Bayesian neural networks; Bayesian techniques; Cross validation; Electricity load; Input selection; Input variables; Load forecasting; Model complexity; Multivariate data sets; Neural network modelling; Non-linear modelling; Selection of the best; Short term load forecasting; Weather data; Electric load forecasting; Neural networks; Bayesian networks; algorithm; article; artificial neural network; automation; Bayesian learning; controlled study; electricity; information processing; mathematical computing; mathematical model; nonlinear system; prediction and forecasting; priority journal; problem solving; weather; Algorithms; Automation; Bayes Theorem; Forecasting; Neural Networks (Computer); Time Factors; Weather 8936080 10.1016/j.neunet.2009.11.016 English …”

Strongly compact closed semantics by Coecke, B

Experimental and computational investigation of kinetochore protein dynamics by Ladak, YN

“…The second aim of chapter 4 is to develop computational/mathematical approach using differential equation to identify protein inter-dependencies using their dynamics. …”

Synthesis and alternating automata over real time by Jenkins, M, Mark Jenkins

Biomimetic and autonomic server ensemble orchestration by Nakrani, S