Showing 1–6 of 6 results for author: Betts, J

Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy

Authors: Christoph Bergmeir, Frits de Nijs, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean, John Betts, Quang Bui, Nam Trong Dinh, Nils Einecke, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Evgenii Genov, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas Stratigakos, Peter Stuckey , et al. (3 additional authors not shown)

Abstract: Algorithms that involve both forecasting and optimization are at the core of solutions to many difficult real-world problems, such as in supply chains (inventory optimization), traffic, and in the transition towards carbon-free energy generation in battery/load/production scheduling in sustainable energy systems. Typically, in these scenarios we want to solve an optimization problem that depends o… ▽ More Algorithms that involve both forecasting and optimization are at the core of solutions to many difficult real-world problems, such as in supply chains (inventory optimization), traffic, and in the transition towards carbon-free energy generation in battery/load/production scheduling in sustainable energy systems. Typically, in these scenarios we want to solve an optimization problem that depends on unknown future values, which therefore need to be forecast. As both forecasting and optimization are difficult problems in their own right, relatively few research has been done in this area. This paper presents the findings of the ``IEEE-CIS Technical Challenge on Predict+Optimize for Renewable Energy Scheduling," held in 2021. We present a comparison and evaluation of the seven highest-ranked solutions in the competition, to provide researchers with a benchmark problem and to establish the state of the art for this benchmark, with the aim to foster and facilitate research in this area. The competition used data from the Monash Microgrid, as well as weather data and energy market data. It then focused on two main challenges: forecasting renewable energy production and demand, and obtaining an optimal schedule for the activities (lectures) and on-site batteries that lead to the lowest cost of energy. The most accurate forecasts were obtained by gradient-boosted tree and random forest models, and optimization was mostly performed using mixed integer linear and quadratic programming. The winning method predicted different scenarios and optimized over all scenarios jointly using a sample average approximation method. △ Less

Submitted 20 December, 2022; originally announced December 2022.

Adaptive Class Weight based Dual Focal Loss for Improved Semantic Segmentation

Authors: Md Sazzad Hossain, Andrew P Paplinski, John M Betts

Abstract: In this paper, we propose a Dual Focal Loss (DFL) function, as a replacement for the standard cross entropy (CE) function to achieve a better treatment of the unbalanced classes in a dataset. Our DFL method is an improvement on the recently reported Focal Loss (FL) cross-entropy function, which proposes a scaling method that puts more weight on the examples that are difficult to classify over thos… ▽ More In this paper, we propose a Dual Focal Loss (DFL) function, as a replacement for the standard cross entropy (CE) function to achieve a better treatment of the unbalanced classes in a dataset. Our DFL method is an improvement on the recently reported Focal Loss (FL) cross-entropy function, which proposes a scaling method that puts more weight on the examples that are difficult to classify over those that are easy. However, the scaling parameter of FL is empirically set, which is problem-dependent. In addition, like other CE variants, FL only focuses on the loss of true classes. Therefore, no loss feedback is gained from the false classes. Although focusing only on true examples increases probability on true classes and correspondingly reduces probability on false classes due to the nature of the softmax function, it does not achieve the best convergence due to avoidance of the loss on false classes. Our DFL method improves on the simple FL in two ways. Firstly, it takes the idea of FL to focus more on difficult examples than the easy ones, but evaluates loss on both true and negative classes with equal importance. Secondly, the scaling parameter of DFL has been made learnable so that it can tune itself by backpropagation rather than being dependent on manual tuning. In this way, our proposed DFL method offers an auto-tunable loss function that can reduce the class imbalance effect as well as put more focus on both true difficult examples and negative easy examples. △ Less

Submitted 26 November, 2020; v1 submitted 26 September, 2019; originally announced September 2019.

Comments: We, the authors, are withdrawing this preprint due to a number of errors pointed out by the reviewers. Based on the reviewers' feedback, the paper has gone through an extensive revision, which significantly differs from this preprint version by methodologically as well as experimentally. We acknowledge the reviewers for their scrutinized review which guided our study in the right direction

MSC Class: 68T05

Prostate Segmentation from Ultrasound Images using Residual Fully Convolutional Network

Authors: M. S. Hossain, A. P. Paplinski, J. M. Betts

Abstract: Medical imaging based prostate cancer diagnosis procedure uses intra-operative transrectal ultrasound (TRUS) imaging to visualize the prostate shape and location to collect tissue samples. Correct tissue sampling from prostate requires accurate prostate segmentation in TRUS images. To achieve this, this study uses a novel residual connection based fully convolutional network. The advantage of this… ▽ More Medical imaging based prostate cancer diagnosis procedure uses intra-operative transrectal ultrasound (TRUS) imaging to visualize the prostate shape and location to collect tissue samples. Correct tissue sampling from prostate requires accurate prostate segmentation in TRUS images. To achieve this, this study uses a novel residual connection based fully convolutional network. The advantage of this segmentation technique is that it requires no pre-processing of TRUS images to perform the segmentation. Thus, it offers a faster and straightforward prostate segmentation from TRUS images. Results show that the proposed technique can achieve around 86% Dice Similarity accuracy using only few TRUS datasets. △ Less

Submitted 20 March, 2019; originally announced March 2019.

Comments: 6 pages, 4 figures

A Radix Representation for each van der Waerden number $W(r, k)$ with $r$ colors: Why $\log_{r}W(r, k) < k^{2}$ is true whenever $k$ is the number of terms in the arithmetic progression

Authors: Robert J Betts

Abstract: Here we show that by expressing a van der Waerden number $W(r, k)$ by its radix polynomial representation, it not only is possible to locate each proper subset on $\mathbb{R}$ in which the van der Waerden number lies, but also to show that conditions exist for which the logarithm of the van der Waerden number necessarily is bounded above by the square of the number of terms $k$ in the arithmetic p… ▽ More Here we show that by expressing a van der Waerden number $W(r, k)$ by its radix polynomial representation, it not only is possible to locate each proper subset on $\mathbb{R}$ in which the van der Waerden number lies, but also to show that conditions exist for which the logarithm of the van der Waerden number necessarily is bounded above by the square of the number of terms $k$ in the arithmetic progression. Furthermore we also use the method to find a mathematical expression or formula for the ratio of two "consecutive" van der Waerden numbers of the kind $W(r, k)$, $W(r, k + 1)$. △ Less

Submitted 7 May, 2016; v1 submitted 24 April, 2016; originally announced April 2016.

Comments: Seven pages, two tables, no figures. Two sentences added to Section 1, paragraph two. Additional section added (Section 2) to derive a mathematical expression for the rational number $\frac{W(r, k + 1)}{W(r, k)}$

MSC Class: 11A63; 11B25 (Primary); 68R01 (Secondary) ACM Class: F.2.1, G.2.0

How to find the least upper bound on the van der Waerden Number $W(r, k)$ that is some integer Power of the coloring Integer $r$

Authors: Robert J Betts

Abstract: What is a least integer upper bound on van der Waerden number $W(r, k)$ among the powers of the integer $r$? We show how this can be found by expanding the integer $W(r, k)$ into powers of $r$. Doing this enables us to find both a least upper bound and a greatest lower bound on $W(r, k)$ that are some powers of $r$ and where the greatest lower bound is equal to or smaller than $W(r, k)$. A finite… ▽ More What is a least integer upper bound on van der Waerden number $W(r, k)$ among the powers of the integer $r$? We show how this can be found by expanding the integer $W(r, k)$ into powers of $r$. Doing this enables us to find both a least upper bound and a greatest lower bound on $W(r, k)$ that are some powers of $r$ and where the greatest lower bound is equal to or smaller than $W(r, k)$. A finite series expansion of each $W(r, k)$ into integer powers of $r$ then helps us to find also a greatest real lower bound on any $k$ for which a conjecture posed by R. Graham is true, following immediately as a particular case of the overall result. △ Less

Submitted 26 January, 2016; v1 submitted 11 December, 2015; originally announced December 2015.

Comments: 25 pages, one Table, no figures. Small addition to Section 1. Slight revision of Theorem 3.1, Section 2. Typo correction for Theorem 7.2, Section 7, where \(\frac{k}{r} = o(1)\) ought to have been \(\frac{k}{r^{n}} = o(1)\) and \(k \ll r^{n}\)

MSC Class: 11P99 (Primary); 68R01 (Secondary) ACM Class: G.2.0

A nonconstructive Proof to show the Convergence of the $n^{th}$ root of diagonal Ramsey Number $r(n, n)$

Authors: Robert J. Betts

Abstract: Does the $n^{th}$ root of the diagonal Ramsey number converge to a finite limit? The answer is yes. A sequence can be shown to converge if it satifies convergence conditions other than or besides monotonicity. We show such a property holds for which the sequence of $n^{th}$ roots does converge, even if one has no a priori knowledge as to whether the sequence is monotone or not. We show also the… ▽ More Does the $n^{th}$ root of the diagonal Ramsey number converge to a finite limit? The answer is yes. A sequence can be shown to converge if it satifies convergence conditions other than or besides monotonicity. We show such a property holds for which the sequence of $n^{th}$ roots does converge, even if one has no a priori knowledge as to whether the sequence is monotone or not. We show also the $n^{th}$ root of the diagonal Ramsey number can be expressed as a product of two factors, the first being a known convergent sequence and the second being an absolutely convergent infinite series. One also can express it where one product is convergent and the other has all its values from a uniformly convergent complex function holomorphic within the unit disc on the complex plane. Our motivation solely is to prove the conjecture as a problem in search of a solution, not to establish some deep theory about graphs. A second question is: If the limit exists what is it? At the time of this writing the understanding is the proofs sought need not be constructive. Here we show by nonconstructive proofs that the $n^{th}$ root of the diagonal Ramsey number converges to a finite limit. We also show that the limit of the $j^{th}$ root of the diagonal Ramsey number is two, where positive integer $j$ depends upon the Ramsey number. △ Less

Submitted 7 October, 2012; v1 submitted 22 August, 2012; originally announced August 2012.

Comments: 27 pages. Abstract revised. Further details added to the proof of Theorem 2.2. Two lemmas added, Section 5. Only helpful comments or suggestions from those with specializations in analysis and in graph theory

MSC Class: 26A03 (Primary) 26A12 (Secondary)