Parallel Marching Hypercubes Algorithm with Applications to Rigorous Proofs
Predictive models for the phases from structure factors of centric reflections in ...
Multiparametric analysis of the phase problem in protein crystallography by deep l...
Development of simulation algorithms and computational modeling of microbial growt...
Logics of formal inconsistency with replacement: An algebraic and proof-theoreti...
Fractional powers of matrix linear operators and fractional approximations of semi...