Certified and accurate computation of function space norms of deep neural networks

Dit artikel introduceert een framework voor de gecertificeerde en nauwkeurige berekening van functieruimtenormen van diepe neurale netwerken door intervalrekening op as-uitgelijnde dozen te combineren met adaptieve verdeling en kwadratuur, waardoor gegarandeerde boven- en ondergrenzen worden verkregen voor integralen zoals LpL^p- en Sobolev-normen.

Johannes Gründler, Moritz Maibaum, Philipp PetersenMon, 09 Ma🤖 cs.LG

Convergence of the Immersed Interface Method in Linear Elasticity

Dit artikel bewijst dat de L2{\bf L}^2-norm van het verschil tussen de exacte oplossing van een lineaire elasticiteitsprobleem met krachten op een interface en de oplossing met een kwadratuurbenadering van die krachten, dezelfde orde heeft als de fout van de gebruikte kwadratuurregel, waarbij het bewijs steunt op fundamentele oplossingen, het principe van singulierheidsverwijdering en de uitgebreide tracesstelling.

Sabia Asghar, Qiyao Peng, Etelvina Javierre, Fred J. VermolenFri, 13 Ma🔢 math

Multi-Period Sparse Optimization for Proactive Grid Blackout Diagnosis

Dit artikel introduceert een multi-periode sparse-optimalisatiemethode die persistente kwetsbaarheden in elektriciteitsnetten proactief identificeert door middel van circuitgebaseerde modellen en heuristieken, waardoor de schaalbaarheid voor grote systemen wordt gegarandeerd en de resilientie tegen extreme gebeurtenissen wordt versterkt.

Qinghua Ma, Reetam Sen Biswas, Denis Osipov, Guannan Qu, Soummya Kar, Shimiao LiFri, 13 Ma⚡ eess

Convergence Analysis of Block Newton Methods for 1D Shallow Neural Network Approximation

Dit artikel analyseert de lokale convergentie van de block Newton-methode en de gereduceerde variant voor het benaderen van functies en het oplossen van diffusie-reactieproblemen met één-dimensionale ondiepe neurale netwerken, waarbij de mogelijkheid wordt geboden om parameters te reduceren wanneer neuronen weinig bijdragen.

Zhiqiang Cai, Anastassia Doktorova, Robert D. Falgout, César HerreraFri, 13 Ma🔢 math

Efficient numerical computation of traveler states in explicit mobility-based metapopulation models: Mathematical theory and application to epidemics

Dit artikel introduceert een wiskundig bewezen, Runge-Kutta-gestuurde methode voor het efficiënt berekenen van reizigerstoestanden in metapopulatiemodellen, die de complexiteit van kwadratisch naar lineair schaalt met het aantal regio's en zo snellere epidemie-simulaties mogelijk maakt zonder nauwkeurigheidsverlies.

Henrik Zunker, René Schmieding, Jan Hasenauer, Martin J. KühnFri, 13 Ma🔢 math

Explicit Discrete Solution for Some Optimization Problems and Estimations with Respect to the Exact Solution

Dit artikel presenteert expliciete discrete oplossingen voor optimalisatieproblemen in twee stationaire warmtegeleidingssystemen, bewijst convergentie en foutestimaten bij verfijning van het rooster en bij een oneindige convectiecoëfficiënt, en toont aan dat het gebruik van een drie-punts eindige-differentiebenadering de globale convergentieorde van O(h)O(h) naar O(h2)O(h^2) verbetert.

Julieta Bollati, Mariela C. Olguin, Domingo A. TarziaFri, 13 Ma🔢 math

Physics-based Approximation and Prediction of Speedlines in Compressor Performance Maps

Dit artikel presenteert een op natuurkunde gebaseerde methode om compressorprestatiekaarten te reconstrueren uit schaarse metingen door snelheidslijnen te modelleren met superellipsen en een robuust tweestaps-fittingproces te gebruiken voor betrouwbare interpolatie en extrapolatie.

Abdul-Malik Akiev, Danyal Ergür, Alexander Schirger, Matthias Müller, Alexander Hinterleitner, Thomas Bartz-BeielsteinFri, 13 Ma🔢 math

Ill-Conditioning in Dictionary-Based Dynamic-Equation Learning: A Systems Biology Case Study

Dit artikel analyseert hoe numerieke slecht-geconditioneerde problemen, veroorzaakt door sterke correlaties tussen kandidaat-functies, de nauwkeurigheid van data-gedreven modellering van biologische systemen beïnvloeden, en toont aan dat orthogonale polynomen alleen betere resultaten leveren wanneer de data-verdeling overeenkomt met de bijbehorende gewichtsfunctie.

Yuxiang Feng, Niall M Mangan, Manu JayadharanFri, 13 Ma🧬 q-bio