Our Work

OptimaSolver v0.8.0 Diff since v0.7.8 Each balance row judged against what it holds. Until 0.7.8 the dual Newton converged, and kkt_certificate certified, on the element balance in moles, against 1e-1…

OptimaSolver v0.8.0 Diff since v0.7.8 Each balance row judged against what it holds. Until 0.7.8 the dual Newton converged, and kkt_certificate certified, on the element balance in moles, against 1e-10: a component of 1e-9 mol could be 10 % wrong and certified. GEMS and PHREEQC judge a mass balance against the element total; so does this release. Breaking changes Below 1.0 a minor release is breaking for the registry: a package bounding OptimaSolver at "0.7" does not accept 0.8 and has to widen its bound. Convergence and certification are stricter. A solve converges, and a composition certifies, only when every balance row with a budget is met relative to what it holds, below one mole. An answer accepted before can take further iterations, or be refused. kkt_certificate's feasibility is now the measure judged, the larger of feasibility_abs (moles) and the new feasibility_rel; until 0.7.8 it was the absolute figure. Changed A row is met when |r_k| <= tol * min(s_k, 1 mol), with s_k = sum_j |A_kj x_j| + sum_l |Aq_kl q_l|: relative below one mole, in moles above it as before, so nothing refused is now accepted. The scales are those that already weighted the rows of the Newton step. A row whose budget is zero within rounding (the electron row of a redox pair) and a degenerate row are judged in moles. The comment that kept the certificate absolute, citing "7.6e-7 mol of machine noise" on a charge row, did not reproduce: the dual Newton leaves 3e-21 mol on a 1e-6 mol row. It is replaced by that measurement. Measured with ChemistryLab, on the same machine as 0.7.8: 32 cement pastes in 388 s instead of 349 s, every printed value unchanged, balance residuals down from 1e-11 to 1e-15; a three-hour CEM I hydration in 5.1 s instead of 5.8 s on an identical trajectory; its 28-day certified replay in 2.6 s instead of 2.5 s. Merged pull requests: Judge each balance row against what it holds (#29) (@jfbarthelemy)

This archive contains recordings of the following sessions from EuroVis 2018: Date Session Filename 2017-06-16 12:54 See you in Brno! SeeYouInBrno.mp4 2018-06-05 09:00 Opening Welcome Ope…

This archive contains recordings of the following sessions from EuroVis 2018: Date Session Filename 2017-06-16 12:54 See you in Brno! SeeYouInBrno.mp4 2018-06-05 09:00 Opening Welcome Opening.mp4 2018-06-05 09:40 Keynote by Drew Berry Keynote-Drew_Berry.mp4 2018-06-05 14:20 FP I: Multiple Fields and Time 01_FPI.mp4 2018-06-05 14:20 FP II: Comparative and Collaborative 02_FPII.mp4 2018-06-05 16:30 FP III: High-dimensional Data 03_FPIII.mp4 2018-06-06 09:00 FP IV: Visualization Design 04_FPIV.mp4 2018-06-06 09:00 FP V: Medical Visualization 05_FPV.mp4 2018-06-06 11:10 FP VI: Structure and Shape 06_FPVI.mp4 2018-06-06 14:20 FP VII: Embeddings 07_FPVII.mp4 2018-06-06 14:20 FP VIII: Vector and Tensor Fields 08_FPVIII.mp4 2018-06-06 16:30 FP IX: Visual Analytics 09_FPIX.mp4 2018-06-07 09:00 FP X: Biological Visualization 10_FPX.mp4 2018-06-07 09:00 FP XI: VR and Workflows 11_FPXI.mp4 2018-06-07 11:10 FP XII: Applications 12_FPXII.mp4 2018-06-07 14:20 FP XIII: Scalar Fields 13_FPXIII.mp4 2018-06-07 16:30 FP XIV: Trees and Graphs 14_FPXIV.mp4 2018-06-05 16:30 SP I: Flow, Volume, and Regions 15_SPI.mp4 2018-06-06 11:10 SP II: Visual Analytics and Applications 16_SPII.mp4 2018-06-06 16:30 SP III: Design and Evaluation 17_SPIII.mp4 2018-06-07 11:10 SP IV: Information Visualization and Visual Analytics 18_SPIV.mp4 2018-06-05 16:30 STAR I: Human Factors and Evaluation 19_STARI.mp4 2018-06-06 11:10 STAR II: FlowVis 20_STARII.mp4 2018-06-06 16:30 STAR III: Visualizing 3D Objects 21_STARIII.mp4 2018-06-07 11:10 STAR IV: Dealing with Scale 22_STARIV.mp4 2018-06-07 14:20 STAR V: Sports Visualization 23_STARV.mp4 2018-06-05 19:00 Posters 24_POSTER.mp4 2018-06-08 09:30 Capstone by Daniel Sykora Capstone-Daniel_Sykora.mp4 2018-06-08 11:10 Awards, Closing Closing.mp4 FP = full papers, SP = short papers, 

These are the appendices to the paper “Identification of Pollution Sources in Sewer Networks Using an Analytically Guided CNN Method”, published in the *Journal of Hydraulic Engineering*.

We report the developments obtained after PIHR–GOLDBACH XVIII (Gold-18) in the continuing attempt to isolate a rigorous analytic route toward the binary Goldbach conjecture. Gold-18 introduced a…

We report the developments obtained after PIHR–GOLDBACH XVIII (Gold-18) in the continuing attempt to isolate a rigorous analytic route toward the binary Goldbach conjecture. Gold-18 introduced a logarithmically near-square-root endpoint in which the short prime factor was reduced from a fixed power of the main variable to  P=(log N)^B This changed the required gain from a fixed power of  to a logarithmic or, after suitable global averaging, potentially qualitative  saving. The subsequent analysis pursued this endpoint through local Möbius Barban–Davenport–Halberstam energy, centered fixed-modulus Möbius dispersion, averaged Elliott/Chowla correlations, and a large-sieve spectral formulation. Several new conclusions have now been obtained. First, a direct global uncentered Möbius-dispersion statement is stronger than intended: it contains the principal Möbius mode and would imply an unexpectedly strong bound for the Mertens function. The correct endpoint formulation must therefore be centered before the final variance estimate. Second, the centered endpoint problem admits an exact large-sieve representation. Ramaré’s spectral and Parseval formulations make clear that positive majorization is too expensive at the square-root-plus-polylogarithmic endpoint.

We propose Quantum Distortion Gravity (QDG), a metric-affine framework in which the affine connection is an independent field and Weyl invariance is imposed as a gauge symmetry. The construction is pr…

We propose Quantum Distortion Gravity (QDG), a metric-affine framework in which the affine connection is an independent field and Weyl invariance is imposed as a gauge symmetry. The construction is presented in four stages. (i) Classical foundations: an irreducible decomposition of the distortion tensor with explicit projectors; the Weyl-covariant distortion \(\tilde D\); a proof that no combination of the quadratic invariants of the bare distortion \(D\) is Weyl invariant, and the resulting Weyl-invariant ultraviolet action, in which the distortion enters through \(\phi^2 I_i[\tilde D]\) with free dimensionless coefficients; and a constraint analysis showing that, in unitary gauge, the truncated action is Einstein-Proca-Proca gravity with \(8\) propagating degrees of freedom and no spin-2 ghost. (ii) Quantum structure: BRST-BV quantization of \(\mathrm{Diff}(\mathcal{M}) \ltimes \mathrm{Weyl}\), with nilpotency and the classical master equation. (iii) Quantum-gravitational content: heat-kernel coefficients, the anomaly-induced Riegert action, and the logarithmic correction to black-hole entropy, which for macroscopic black holes coincides with the general-relativity value. (iv) Asymptotic safety: a functional-renormalization-group (FRG) model flow whose coefficients are not derived from QDG, with a non-trivial fixed point and four relevant directions in the model. We also discuss the spectral dimension (\(d_s = 4 \to 2\)), the Page curve, gravitational waves (identical to general relativity at this order), the fermionic sector, the vector no-hair theorem, and a phenomenological inflationary extension in which the conformal coupling \(\xi = 1/6\) yields an \(E\)-model \(\alpha\)-attractor with \(\alpha_{\mathrm{att}} = 2\), i.e. \(n_s \simeq 1 - 2/N\), \(r \simeq 24/N^2\). Compared with earlier versions, several claims have been corrected or withdrawn; the logical status of each result (proven, derived under stated assumptions, model-dependent, heuristic, or open) is indicated throughout. QDG is presented as a proposal, not as a completed theory.  

Reusable Lean 4 definitions and proofs for derivation-Ore extensions, differential operators, filtered modules, localization, rank and length arguments. Includes finite-order coordinate generation, re…

Reusable Lean 4 definitions and proofs for derivation-Ore extensions, differential operators, filtered modules, localization, rank and length arguments. Includes finite-order coordinate generation, regular-action faithfulness, a filtered-ring layer with Hilbert functions and Gelfand-Kirillov dimension, and the shared HessianAlgebra package for polynomial self-map calculus. The Bernstein inequality is stated and left open as the target of the filtration layer. Application-specific Stafford assembly remains downstream. Pins Lean v4.35.0-rc3 and official Mathlib commit c55e6e786f49471c72fbddbec5415808896aec1e.

Mazkur maqolada tijorat banklarida foiz siyosatini takomillashtirishning depozit va kredit operatsiyalari bilan bog'liq amaliy hamda metodik jihatlari tadqiq etilgan. Tadqiqotda depozit foiz stavkalar…

Mazkur maqolada tijorat banklarida foiz siyosatini takomillashtirishning depozit va kredit operatsiyalari bilan bog'liq amaliy hamda metodik jihatlari tadqiq etilgan. Tadqiqotda depozit foiz stavkalarini depozit hajmi va muddatiga mutanosib ravishda differensiallashtirish mexanizmi taklif etilib, bank resurs bazasini shakllantirishda foiz stavkalaridan samarali foydalanish imkoniyatlari asoslangan. Shuningdek, tijorat banklari foiz siyosati samaradorligini kompleks baholash maqsadida 9 ta asosiy ko'rsatkichni qamrab oluvchi ballik baholash moduli ishlab chiqilgan. Mazkur modul banklarning samaradorligini hamda foiz riskini tavsiflovchi ko'rsatkichlarni yagona baholash tizimida umumlashtirish imkonini beradi. Tadqiqotning yana bir yo'nalishida o'rtacha tortilgan kredit va depozit foiz stavkalarining dinamikasi ekonometrik usullar asosida tahlil qilinib, ularning 2030-yilgacha bo'lgan prognoz qiymatlari shakllantirilgan.

This dataset provides the data and code for the study “Nominally identical microplastic models differ greatly in their particle-cell interactions”. Due to the size of the raw data, they we…

This dataset provides the data and code for the study “Nominally identical microplastic models differ greatly in their particle-cell interactions”. Due to the size of the raw data, they were deposited only for one particle type (PX). With these files, it is possible to run all code and follow the evaluation procedure. The complete set of raw data, which is about 575 GB in size (compressed), can be obtained from the corresponding authors upon request. Holger Kress: holger.kress@uni-bayreuth.de, Christian Laforsch: christian.laforsch@uni-bayreuth.de.

The study aimed to analyze the transformation of business models within the digital sports ecosystem, with particular emphasis on the role of e-commerce and digital marketing in contemporary sports ma…

The study aimed to analyze the transformation of business models within the digital sports ecosystem, with particular emphasis on the role of e-commerce and digital marketing in contemporary sports management. To this end, a systematic literature review adopted an integrative approach and followed the PRISMA protocol. The bibliographic search covered Scopus, Web of Science, and ScienceDirect for the 2010–2026 period, with an updated search conducted before manuscript completion to incorporate publications from 2026 that met the inclusion criteria. The systematic review analyzed 50 studies selected according to the protocol. In addition, theoretical and methodological literature supported the conceptual framework and research design. The findings reveal a transition that has consolidated over several years, as traditional models increasingly give way to more digital and, in many cases, hybrid configurations. Social platforms, live commerce, data analytics, and immersive experiences all contribute to this reconfiguration. Another prominent finding concerns the interdependence among technological, commercial, and relational dimensions. Rather than evolving along separate paths, these three dimensions intersect and ultimately reshape how the sports sector creates and captures value. The study's main contribution lies in a systemic conceptual framework designed to articulate these dimensions, as the literature predominantly offers fragmented perspectives that examine each aspect independently. The proposed framework provides an analytical tool for examining both the opportunities and risks associated with e-commerce in the sports sector, with particular relevance when considered from a Latin American perspective.

No description provided.