![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Certifying Irreducibility in \({\mathbb Z}[x]\)
We consider the question of certifying that a polynomial in \({\mathbb Z}[x]\) or \({\mathbb Q}[x]\) is irreducible. Knowing that a polynomial is irreducible lets us recognise that a quotient ring is actuall...
-
Article
Cost-efficient Thermal Management for a 48V Li-ion Battery in a Mild Hybrid Electric Vehicle
The 48V mild hybrid system is a cost-efficient solution for original equipment manufacturers to meet increasingly stringent fuel consumption requirements. However, hybrid functions such as auto-stop/start and ...
-
Chapter and Conference Paper
\(\mathsf {SC}^\mathsf{2} \) : Satisfiability Checking Meets Symbolic Computation
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application...
-
Chapter and Conference Paper
What Is New in CoCoA?
CoCoA is a well-established Computer Algebra System for Computations in Commutative Algebra, and specifically for Gröbner bases.
-
Chapter and Conference Paper
Application of Data Assimilation to the UK Air Quality Forecast
An operational air quality forecasting model based on the Weather Research and Forecasting (WRF) model and the Community Multiscalar Air Quality (CMAQ) model is used to produce a three day forecast for O3, NO2, S...
-
Chapter and Conference Paper
Integration of Libnormaliz in CoCoALib and CoCoA 5
libnormaliz is a C++ library for computations with rational cones and affine monoids and CoCoALib/CoCoA-5 offers a general environment for computations in Commutative Algebra. For mutual benefit ...
-
Article
Imported crazy ant displaces imported fire ant, reduces and homogenizes grassland ant and arthropod assemblages
A recently introduced, ecologically dominant, exotic ant species, Nylanderia fulva, is invading the Southeastern United States and Texas. We evaluate how this invader impacts diversity and abundance of co-occurri...
-
Chapter
Introduction: Match Fixing as a Modality of Sports Related Crimes (SRC)
It is always harder to follow up after theoretical threads that bind together chapters of an edited manuscript, as opposed to a sole or co-authored volume. This introductory chapter provides an overview of the...
-
Chapter
Way Forward: Law Enforcement – Academic Paradigm
In November of 2012 INTERPOL organized a Global Experts Meeting, which brought together international experts from the academe to discuss issues surrounding match-fixing and how to combat corruption in footbal...
-
Chapter
The INTERPOL Approach to Tackling Match Fixing in Football
Increasingly, professional criminals are operating internationally to exploit football and make money through match fixing and irregular betting. Investigations, whether undertaken by law enforcement or the fo...
-
Book
-
Chapter and Conference Paper
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond
First released in 1988,CoCoAis a special-purpose system for doing Computations in Commutative Algebra: i.e. it is a system specialized in the algorithmic treatment of polynomials. It is freely available and offer...
-
Article
Thinning Out Redundant Empirical Data
Given a set \({\mathbb{X}}\) of “empirical” points, whose coordinates are perturbed by errors, we analyze whether i...
-
Chapter
The Creation of Effective Modern Learning Communities: Constructivism in Practice
The following paper is, I suspect, unusual in two ways. Firstly I am essentially a practitioner, rather than a theoretician. I have come to research late in my career… intuitively my experience, first as Princ...
-
Chapter and Conference Paper
Some ideas about fault-tolerant Chinese Remaindering
We present some algorithms for performing Chinese Remaindering allowing for the fact that one or more residues may be erroneous — we suppose also that an a priori upper bound on the number of erroneous residues i...
-
Chapter and Conference Paper
Integration: Solving the Risch differential equation
We describe the first complete implementation of Davenport's algorithm [Davenport86] for the solution of the Risch differential equation. Our code forms part of a new integration package written in REDUCE which o...