New submissions for Thu, 8 Sep 22

Keyword: out of distribution detection

There is no result

Keyword: out-of-distribution detection

There is no result

Keyword: expected calibration error

There is no result

Keyword: overconfident

There is no result

Keyword: overconfidence

There is no result

Keyword: confidence

A Review on the Process of Automated Software Testing

Authors: Durga Shree N, Sree Dharinya S, Dasari Vijayasree, Nadendla Sai Roopa, Anugu Arun
Subjects: Software Engineering (cs.SE)
Arxiv link: https://arxiv.org/abs/2209.03069
Pdf link: https://arxiv.org/pdf/2209.03069
Abstract The requirements in automation, digitalization, and fast computations have loaded the IT sector with expectations of highly reliable, efficient, and cost-effective software. Given that the process of testing, verification, and validation of software products consumes 50-75% of the total revenue if the testing process is ineffective, "n" times the expenditure must be invested to mend the havoc caused. A delay in project completion is often attributed to the testing phase because of the numerous cycles of debugging process. The software testing process determines the face of the product released to the user. It sets the standard and reliability of a company's outputs. As the complexity increases, testing gets intense so as to examine all the outliers and various branches of the processing flow. The testing process is automated using software tools to avoid the tedious manual process of test input generation and validation criteria, which certifies the program only to a certain confidence level in the presence of outliers.
A New Method for the High-Precision Assessment of Tumor Changes in Response to Treatment
Authors: P. D. Tar, N. A. Thacker, J.P.B. O'Connor
Subjects: Computer Vision and Pattern Recognition (cs.CV)
Arxiv link: https://arxiv.org/abs/2209.03116
Pdf link: https://arxiv.org/pdf/2209.03116
Abstract Imaging demonstrates that preclinical and human tumors are heterogeneous, i.e. a single tumor can exhibit multiple regions that behave differently during both normal development and also in response to treatment. The large variations observed in control group tumors can obscure detection of significant therapeutic effects due to the ambiguity in attributing causes of change. This can hinder development of effective therapies due to limitations in experimental design, rather than due to therapeutic failure. An improved method to model biological variation and heterogeneity in imaging signals is described. Specifically, Linear Poisson modelling (LPM) evaluates changes in apparent diffusion co-efficient (ADC) before and 72 hours after radiotherapy, in two xenograft models of colorectal cancer. The statistical significance of measured changes are compared to those attainable using a conventional t-test analysis on basic ADC distribution parameters. When LPMs were applied to treated tumors, the LPMs detected highly significant changes. The analyses were significant for all tumors, equating to a gain in power of 4 fold (i.e. equivelent to having a sample size 16 times larger), compared with the conventional approach. In contrast, highly significant changes are only detected at a cohort level using t-tests, restricting their potential use within personalised medicine and increasing the number of animals required during testing. Furthermore, LPM enabled the relative volumes of responding and non-responding tissue to be estimated for each xenograft model. Leave-one-out analysis of the treated xenografts provided quality control and identified potential outliers, raising confidence in LPM data at clinically relevant sample sizes.
A Predictive Chance Constraint Rebalancing Approach to Mobility-on-Demand Services
Authors: Sten Elling Tingstad Jacobsen, Balázs Kulcsár, Anders Lindman
Subjects: Systems and Control (eess.SY)
Arxiv link: https://arxiv.org/abs/2209.03214
Pdf link: https://arxiv.org/pdf/2209.03214
Abstract This paper considers the problem of supply-demand imbalances in Autonomous Mobility-on-Demand systems (AMoD) where demand uncertainty compromises both the service provider's and the customer objectives. The key idea is to include estimated stochastic travel demand patterns into receding horizon AMoD optimization problems. More precisely, we first estimate passenger demand using Gaussian Process Regression (GPR). GPR provides demand uncertainty bounds for time pattern prediction. Second, we integrate demand predictions with uncertainty bounds into a receding horizon AMoD optimization. In order to guarantee constraint satisfaction in the above optimization under estimated stochastic demand prediction, we employ a probabilistic constraining method with user defined confidence interval. Receding horizon AMoD optimization with probabilistic constraints thereby calls for Chance Constrained Model Predictive Control (CCMPC). The benefit of the proposed method is twofold. First, travel demand uncertainty prediction from data can naturally be embedded into AMoD optimization. Second, CCMPC can further be relaxed into a Mixed-Integer-Linear-Program (MILP) that can efficiently be solved. We show, through high-fidelity transportation simulation, that by tuning the confidence bound on the chance constraint close to "optimal" oracle performance can be achieved. The median wait time is reduced by 4% compared to using only the mean prediction of the GP.
On the Complementarity between Pre-Training and Random-Initialization for Resource-Rich Machine Translation
Authors: Changtong Zan, Liang Ding, Li Shen, Yu Cao, Weifeng Liu, Dacheng Tao
Subjects: Computation and Language (cs.CL)
Arxiv link: https://arxiv.org/abs/2209.03316
Pdf link: https://arxiv.org/pdf/2209.03316
Abstract Pre-Training (PT) of text representations has been successfully applied to low-resource Neural Machine Translation (NMT). However, it usually fails to achieve notable gains (some- times, even worse) on resource-rich NMT on par with its Random-Initialization (RI) counterpart. We take the first step to investigate the complementarity between PT and RI in resource-rich scenarios via two probing analyses, and find that: 1) PT improves NOT the accuracy, but the generalization by achieving flatter loss landscapes than that of RI; 2) PT improves NOT the confidence of lexical choice, but the negative diversity by assigning smoother lexical probability distributions than that of RI. Based on these insights, we propose to combine their complementarities with a model fusion algorithm that utilizes optimal transport to align neurons between PT and RI. Experiments on two resource-rich translation benchmarks, WMT'17 English-Chinese (20M) and WMT'19 English-German (36M), show that PT and RI could be nicely complementary to each other, achieving substantial improvements considering both translation accuracy, generalization, and negative diversity. Probing tools and code are released at: https://github.com/zanchangtong/PTvsRI.
Keyword: scaling

Efficient solution of parameter identification problems with $H^1$ regularization
Authors: Jan Blechta, Oliver G. Ernst
Subjects: Numerical Analysis (math.NA)
Arxiv link: https://arxiv.org/abs/2209.02815
Pdf link: https://arxiv.org/pdf/2209.02815
Abstract We consider the identification of spatially distributed parameters under $H^1$ regularization. Solving the associated minimization problem by Gauss-Newton iteration results in linearized problems to be solved in each step that can be cast as boundary value problems involving a low-rank modification of the Laplacian. Using algebraic multigrid as a fast Laplace solver, the Sherman-Morrison-Woodbury formula can be employed to construct a preconditioner for these linear problems which exhibits excellent scaling w.r.t. the relevant problem parameters. We first develop this approach in the functional setting, thus obtaining a consistent methodology for selecting boundary conditions that arise from the $H^1$ regularization. We then construct a method for solving the discrete linear systems based on combining any fast Poisson solver with the Woodbury formula. The efficacy of this method is then demonstrated with scaling experiments. These are carried out for a common nonlinear parameter identification problem arising in electrical resistivity tomography.
Keyword: calibration

A Data-driven Reduced Order Modeling Approach Applied In Context Of Numerical Analysis And Optimization Of Plastic Profile Extrusion
Authors: Daniel Hilger, Norbert Hosters
Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)
Arxiv link: https://arxiv.org/abs/2209.03121
Pdf link: https://arxiv.org/pdf/2209.03121
Abstract In course of this work, we examine the process of plastic profile extrusion, where a polymer melt is shaped inside the so-called extrusion die and fixed in its shape by solidification in the downstream calibration unit. More precise, we focus on the development of a data-driven reduced order model (ROM) for the purpose of predicting temperature distributions within the extruded profiles inside the calibration unit. Therein, the ROM functions as a first step to our overall goal of prediction based process control in order to avoid undesired warpage and damages of the final product.

Keyword: out of distribution detection

There is no result

Keyword: out-of-distribution detection

There is no result

Keyword: expected calibration error

There is no result

Keyword: overconfident

There is no result

Keyword: overconfidence

There is no result

Keyword: confidence

A Review on the Process of Automated Software Testing

Authors: Durga Shree N, Sree Dharinya S, Dasari Vijayasree, Nadendla Sai Roopa, Anugu Arun

Subjects: Software Engineering (cs.SE)

Arxiv link: https://arxiv.org/abs/2209.03069

Pdf link: https://arxiv.org/pdf/2209.03069

Abstract The requirements in automation, digitalization, and fast computations have loaded the IT sector with expectations of highly reliable, efficient, and cost-effective software. Given that the process of testing, verification, and validation of software products consumes 50-75% of the total revenue if the testing process is ineffective, "n" times the expenditure must be invested to mend the havoc caused. A delay in project completion is often attributed to the testing phase because of the numerous cycles of debugging process. The software testing process determines the face of the product released to the user. It sets the standard and reliability of a company's outputs. As the complexity increases, testing gets intense so as to examine all the outliers and various branches of the processing flow. The testing process is automated using software tools to avoid the tedious manual process of test input generation and validation criteria, which certifies the program only to a certain confidence level in the presence of outliers.

A New Method for the High-Precision Assessment of Tumor Changes in Response to Treatment

Authors: P. D. Tar, N. A. Thacker, J.P.B. O'Connor

Subjects: Computer Vision and Pattern Recognition (cs.CV)

Arxiv link: https://arxiv.org/abs/2209.03116

Pdf link: https://arxiv.org/pdf/2209.03116

Abstract Imaging demonstrates that preclinical and human tumors are heterogeneous, i.e. a single tumor can exhibit multiple regions that behave differently during both normal development and also in response to treatment. The large variations observed in control group tumors can obscure detection of significant therapeutic effects due to the ambiguity in attributing causes of change. This can hinder development of effective therapies due to limitations in experimental design, rather than due to therapeutic failure. An improved method to model biological variation and heterogeneity in imaging signals is described. Specifically, Linear Poisson modelling (LPM) evaluates changes in apparent diffusion co-efficient (ADC) before and 72 hours after radiotherapy, in two xenograft models of colorectal cancer. The statistical significance of measured changes are compared to those attainable using a conventional t-test analysis on basic ADC distribution parameters. When LPMs were applied to treated tumors, the LPMs detected highly significant changes. The analyses were significant for all tumors, equating to a gain in power of 4 fold (i.e. equivelent to having a sample size 16 times larger), compared with the conventional approach. In contrast, highly significant changes are only detected at a cohort level using t-tests, restricting their potential use within personalised medicine and increasing the number of animals required during testing. Furthermore, LPM enabled the relative volumes of responding and non-responding tissue to be estimated for each xenograft model. Leave-one-out analysis of the treated xenografts provided quality control and identified potential outliers, raising confidence in LPM data at clinically relevant sample sizes.

A Predictive Chance Constraint Rebalancing Approach to Mobility-on-Demand Services

Authors: Sten Elling Tingstad Jacobsen, Balázs Kulcsár, Anders Lindman

Subjects: Systems and Control (eess.SY)

Arxiv link: https://arxiv.org/abs/2209.03214

Pdf link: https://arxiv.org/pdf/2209.03214

Abstract This paper considers the problem of supply-demand imbalances in Autonomous Mobility-on-Demand systems (AMoD) where demand uncertainty compromises both the service provider's and the customer objectives. The key idea is to include estimated stochastic travel demand patterns into receding horizon AMoD optimization problems. More precisely, we first estimate passenger demand using Gaussian Process Regression (GPR). GPR provides demand uncertainty bounds for time pattern prediction. Second, we integrate demand predictions with uncertainty bounds into a receding horizon AMoD optimization. In order to guarantee constraint satisfaction in the above optimization under estimated stochastic demand prediction, we employ a probabilistic constraining method with user defined confidence interval. Receding horizon AMoD optimization with probabilistic constraints thereby calls for Chance Constrained Model Predictive Control (CCMPC). The benefit of the proposed method is twofold. First, travel demand uncertainty prediction from data can naturally be embedded into AMoD optimization. Second, CCMPC can further be relaxed into a Mixed-Integer-Linear-Program (MILP) that can efficiently be solved. We show, through high-fidelity transportation simulation, that by tuning the confidence bound on the chance constraint close to "optimal" oracle performance can be achieved. The median wait time is reduced by 4% compared to using only the mean prediction of the GP.

On the Complementarity between Pre-Training and Random-Initialization for Resource-Rich Machine Translation

Authors: Changtong Zan, Liang Ding, Li Shen, Yu Cao, Weifeng Liu, Dacheng Tao

Subjects: Computation and Language (cs.CL)

Arxiv link: https://arxiv.org/abs/2209.03316

Pdf link: https://arxiv.org/pdf/2209.03316

Abstract Pre-Training (PT) of text representations has been successfully applied to low-resource Neural Machine Translation (NMT). However, it usually fails to achieve notable gains (some- times, even worse) on resource-rich NMT on par with its Random-Initialization (RI) counterpart. We take the first step to investigate the complementarity between PT and RI in resource-rich scenarios via two probing analyses, and find that: 1) PT improves NOT the accuracy, but the generalization by achieving flatter loss landscapes than that of RI; 2) PT improves NOT the confidence of lexical choice, but the negative diversity by assigning smoother lexical probability distributions than that of RI. Based on these insights, we propose to combine their complementarities with a model fusion algorithm that utilizes optimal transport to align neurons between PT and RI. Experiments on two resource-rich translation benchmarks, WMT'17 English-Chinese (20M) and WMT'19 English-German (36M), show that PT and RI could be nicely complementary to each other, achieving substantial improvements considering both translation accuracy, generalization, and negative diversity. Probing tools and code are released at: https://github.com/zanchangtong/PTvsRI.

Keyword: scaling

Efficient solution of parameter identification problems with

� 1 regularization

Authors: Jan Blechta, Oliver G. Ernst

Subjects: Numerical Analysis (math.NA)

Arxiv link: https://arxiv.org/abs/2209.02815

Pdf link: https://arxiv.org/pdf/2209.02815

Abstract We consider the identification of spatially distributed parameters under H 1 regularization. Solving the associated minimization problem by Gauss-Newton iteration results in linearized problems to be solved in each step that can be cast as boundary value problems involving a low-rank modification of the Laplacian. Using algebraic multigrid as a fast Laplace solver, the Sherman-Morrison-Woodbury formula can be employed to construct a preconditioner for these linear problems which exhibits excellent scaling w.r.t. the relevant problem parameters. We first develop this approach in the functional setting, thus obtaining a consistent methodology for selecting boundary conditions that arise from the H 1 regularization. We then construct a method for solving the discrete linear systems based on combining any fast Poisson solver with the Woodbury formula. The efficacy of this method is then demonstrated with scaling experiments. These are carried out for a common nonlinear parameter identification problem arising in electrical resistivity tomography.

Keyword: calibration

A Data-driven Reduced Order Modeling Approach Applied In Context Of Numerical Analysis And Optimization Of Plastic Profile Extrusion

Authors: Daniel Hilger, Norbert Hosters

Subjects: Numerical Analysis (math.NA); Machine Learning (cs.LG)

Arxiv link: https://arxiv.org/abs/2209.03121

Pdf link: https://arxiv.org/pdf/2209.03121

Abstract In course of this work, we examine the process of plastic profile extrusion, where a polymer melt is shaped inside the so-called extrusion die and fixed in its shape by solidification in the downstream calibration unit. More precise, we focus on the development of a data-driven reduced order model (ROM) for the purpose of predicting temperature distributions within the extruded profiles inside the calibration unit. Therein, the ROM functions as a first step to our overall goal of prediction based process control in order to avoid undesired warpage and damages of the final product.

Good afternoon ericbeyer,

My name is Mariem Chouchen, and I am currently pursuing a PhD in Biophysics, Radiophysics, and Medical Imaging, with a research focus on assessing complications and secondary cancers induced by radiotherapy in colorectal cancer patients.

To further my thesis, I am seeking access to a dataset that includes dosimetric, radiotherapy, and clinical data on patients who have undergone radiotherapy for colorectal cancer and subsequently experienced rapid mortality or developed radiotherapy-induced complications or secondary cancers. Such data is critical in building a robust foundation for my research on patient outcomes related to radiotherapy.

Thank you very much for considering my request. I am available to provide any additional information needed to support this inquiry.

Best regards, Mariem Chouchen

ericbeyer / L-arxiv-interest-tracker