National Technical University of Athens

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)

We report on using an agentic coding assistant (Claude Code, powered by Claude Opus 4.6) to mechanize a substantial Rocq correctness proof from scratch, with human guidance but without any human-authored proof code. The proof establishes semantic preservation for the administrati...

The emergence of (3+1)-dimensional expanding spacetime from complex Langevin simulations of the Lorentzian type IIB matrix model with deformations

Abstract The Lorentzian type IIB matrix model is a promising candidate for a nonperturbative formulation of superstring theory. In this model, the eigenvalue distribution of the N × N bosonic matrices Aμ (μ = 0, …, 9) represents an emergent spacetime, which is determined by the d...

Infectious complications following bispecific antibody or CAR T therapy in adult patients with hematologic malignancies: a retrospective database analysis

T-cell redirection therapies, including bispecific antibodies (BsAbs) and chimeric antigen receptor (CAR) T therapy, have transformed the treatment of relapsed or refractory hematologic malignancies. However, comparative data on infectious complications between these treatments r...

Aquaplaning Mitigation via Longitudinal Crown Lines

As climate change drives more frequent and intense rainfall events worldwide, urban areas are increasingly vulnerable to flooding—an issue further amplified by rapid urbanization and industrialization. In this context, aquaplaning has become a critical consideration in road desig...

Wave Scattering and Hydrodynamic Interaction Effects Among the Columns of the OC4-DeepCwind Semi-Submersible Floating Offshore Wind Turbine

This study investigates the hydrodynamic behavior of the OC4-DeepCwind floating offshore wind turbine, with a specific focus on the influence of wave reflection and hydrodynamic interaction effects between the platform components. The OC4-DeepCwind semi-submersible platform, supp...

The hydrogeological and tectonic features as the crucial factors for the hydro-geochemistry of surface and groundwater in active geothermal systems: The case study of Methana Peninsula in Greece

Abstract Active geothermal systems developed in coastal volcanic environments are characterized by complex interactions among magmatic fluids, groundwater, seawater, and structurally controlled permeability. The Methana Peninsula (western Hellenic Volcanic Arc, Greece) represents...

Going with the flow to solve for symmetry-driven PDE dynamics with physics-informed neural networks

We address a computational framework that integrates symmetry reduction into Physics-Informed Neural Networks (PINNs) for analysing symmetry-driven dynamics in nonlinear partial differential equations (PDEs). Using an auxiliary network to learn time-dependent transformations, we...

Sustainability Certifications in Building Projects: Adoption Insights from the Greek Construction Sector in the European Context

Sustainability certification schemes (SCSs) such as LEED, BREEAM, etc., are widely accepted as an effective tool for the promotion of sustainable design principles and lifecycle carbon reduction in building projects. Greece, despite having a relatively small real estate market, p...

Advancing Sustainable Metallurgy Through an Electrified Indirect Heated Rotary Kiln: Efficient Magnesite Calcination and Hydrogen-Based Reduction of Lateritic Ores

The transition towards climate-neutral metallurgical production requires a broader transformation than the simple substitution of fossil-fuel combustion with electrical heating. While process electrification is a fundamental step towards reducing greenhouse gas emissions, achievi...