Convergent Bregman Plug-and-Play Image Restoration for Poisson Inverse Problems

Plug-and-Play (PnP) methods are efficient iterative algorithms for solving ill-posed image inverse problems. PnP methods are obtained by using deep Gaussian denoisers instead of the proximal operator or the gradient-descent step within proximal algorithms. Current PnP schemes rely on data-fidelity terms that have either Lipschitz gradients or closed-form proximal operators, which is not applicable to Poisson inverse problems. Based on the observation that the Gaussian noise is not the adequate noise model in this setting, we propose to generalize PnP using theBregman Proximal Gradient (BPG) method. BPG replaces the Euclidean distance with a Bregman divergence that can better capture the smoothness properties of the problem. We introduce the Bregman Score Denoiser specifically parametrized and trained for the new Bregman geometry and prove that it corresponds to the proximal operator of a nonconvex potential. We propose two PnP algorithms based on the Bregman Score Denoiser for solving Poisson inverse problems. Extending the convergence results of BPG in the nonconvex settings, we show that the proposed methods converge, targeting stationary points of an explicit global functional. Experimental evaluations conducted on various Poisson inverse problems validate the convergence results and showcase effective restoration performance

Turbulence: Numerical Analysis, Modelling and Simulation

The problem of accurate and reliable simulation of turbulent flows is a central and intractable challenge that crosses disciplinary boundaries. As the needs for accuracy increase and the applications expand beyond flows where extensive data is available for calibration, the importance of a sound mathematical foundation that addresses the needs of practical computing increases. This Special Issue is directed at this crossroads of rigorous numerical analysis, the physics of turbulence and the practical needs of turbulent flow simulations. It seeks papers providing a broad understanding of the status of the problem considered and open problems that comprise further steps

Large-eddy simulations of multi-phase plumes in crossflow and stratified flow

The mixing and transport properties of bubble plumes make them an interesting and unique component of environmental and engineering applications, such as destratification and aeration of lakes or reservoirs, prediction of gas release from accidental well blow-outs or from natural vents, chemical and/or nuclear reactors. Understanding the hydrodynamics of the interaction between the gas and liquid phases is essential to predict more accurately their movement and therefore to achieve more efficient results in the aforementioned applications. The description of multi-phase flows has been a challenging task for both Computational Fluid Dynamics modellers and experimentalists, due to the different treatment of the carrier and dispersed phases. Experimental studies have provided valuable information mainly about the bubbles' characteristics, whilst numerical methods arise as a tool to be used for more detailed study not only of the dispersed phase, but also for the surrounding continuous phase. In this thesis, a high-fidelity large-eddy simulation computational approach is adopted, including a Eulerian-Lagrangian method for the description of the dispersed phase. The combination of these numerical methods others balance between computational resources and accuracy. The numerical approach is applied and validated with simulations of multi-phase plumes in cross flow and stratified ambient flow. A detailed investigation of the flow mechanisms and the interaction of liquid-gas phases are visualized through 2D and 3D streamlines, isosurfaces of and velocity contours. The numerical results have been thoroughly validated against experimental studies. This study is among the first to attempt the case of bubble plume in cross flow numerically with a 3D code. And most likely the first one to employ an E-L arrangement, which is, given the limitations of interface tracking methods, among the most accurate applicable to this case. The results are reliable (given by the validation) and the insights provided (such as the Reynold stresses and the turbulent structures) cannot be predicted by other models

Book of Abstracts 15th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering and 3rd Conference on Imaging and Visualization

In this edition, the two events will run together as a single conference, highlighting the strong connection with the Taylor & Francis journals: Computer Methods in Biomechanics and Biomedical Engineering (John Middleton and Christopher Jacobs, Eds.) and Computer Methods in Biomechanics and Biomedical Engineering: Imaging and Visualization (JoãoManuel R.S. Tavares, Ed.). The conference has become a major international meeting on computational biomechanics, imaging andvisualization. In this edition, the main program includes 212 presentations. In addition, sixteen renowned researchers will give plenary keynotes, addressing current challenges in computational biomechanics and biomedical imaging. In Lisbon, for the first time, a session dedicated to award the winner of the Best Paper in CMBBE Journal will take place. We believe that CMBBE2018 will have a strong impact on the development of computational biomechanics and biomedical imaging and visualization, identifying emerging areas of research and promoting the collaboration and networking between participants. This impact is evidenced through the well-known research groups, commercial companies and scientific organizations, who continue to support and sponsor the CMBBE meeting series. In fact, the conference is enriched with five workshops on specific scientific topics and commercial software.info:eu-repo/semantics/draf

Air Force Institute of Technology Research Report 2007

This report summarizes the research activities of the Air Force Institute of Technology’s Graduate School of Engineering and Management. It describes research interests and faculty expertise; lists student theses/dissertations; identifies research sponsors and contributions; and outlines the procedures for contacting the school. Included in the report are: faculty publications, conference presentations, consultations, and funded research projects. Research was conducted in the areas of Aeronautical and Astronautical Engineering, Electrical Engineering and Electro-Optics, Computer Engineering and Computer Science, Systems and Engineering Management, Operational Sciences, Mathematics, Statistics and Engineering Physics

30th International Conference on Condition Monitoring and Diagnostic Engineering Management (COMADEM 2017)

Proceedings of COMADEM 201

Recent Advances in Signal Processing

The signal processing task is a very critical issue in the majority of new technological inventions and challenges in a variety of applications in both science and engineering fields. Classical signal processing techniques have largely worked with mathematical models that are linear, local, stationary, and Gaussian. They have always favored closed-form tractability over real-world accuracy. These constraints were imposed by the lack of powerful computing tools. During the last few decades, signal processing theories, developments, and applications have matured rapidly and now include tools from many areas of mathematics, computer science, physics, and engineering. This book is targeted primarily toward both students and researchers who want to be exposed to a wide variety of signal processing techniques and algorithms. It includes 27 chapters that can be categorized into five different areas depending on the application at hand. These five categories are ordered to address image processing, speech processing, communication systems, time-series analysis, and educational packages respectively. The book has the advantage of providing a collection of applications that are completely independent and self-contained; thus, the interested reader can choose any chapter and skip to another without losing continuity