182. Decomposition of vertical velocity and its zonal wavenumber kinetic energy spectra in the hydrostatic atmosphere
Nedjeljka Žagar, Valentino Neduhal, Sergiy Vasylkevych, Žiga Zaplotnik, Hiroshi L. Tanaka, 2023, izvirni znanstveni članek

Ključne besede: meteorology, atmospheric physics
Celotno besedilo (datoteka, 2,24 MB) Gradivo ima več datotek! Več...

184. Finitary type theories with and without contexts
Philipp Georg Haselwarter, Andrej Bauer, 2023, izvirni znanstveni članek

Ključne besede: dependent type theory, context-free type theory, formal meta-theory, proof assistants
Celotno besedilo (datoteka, 2,36 MB) Gradivo ima več datotek! Več...

186. Thermal streak spacing in fully developed duct flow with different Reynolds and Prandtl numbers
Mohit Pramod Sharma, Iztok Tiselj, Jan Kren, Blaž Mikuž, Leon Cizelj, 2023, izvirni znanstveni članek

Ključne besede: thermal streaks, thermal streak spacing, Reynolds number, Prandtl number, heat flux
Celotno besedilo (datoteka, 2,39 MB) Gradivo ima več datotek! Več...

188. Measurement of polarization transfer in the quasi-elastic ▫$^{40} Ca(\vec{e}, e' \vec{p})$▫ process
Tim Kolar, Miha Mihovilovič, Simon Širca, 2023, izvirni znanstveni članek

Ključne besede: nuclear physics
Celotno besedilo (datoteka, 675,83 KB) Gradivo ima več datotek! Več...

190. Tail artifact removal via transmittance effect subtraction in optical coherence tail artifact images
Urban Simončič, Matija Milanič, 2023, izvirni znanstveni članek

Ključne besede: medical physics, medical imaging, optical coherence tomography
Celotno besedilo (datoteka, 41,02 MB) Gradivo ima več datotek! Več...