Author Details
Morozov, S. V.
| Issue | Section | Title | File |
| No 5 (2024) | THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS | Formal specification and verification of requirements in architecture and construction using the EXPRESS modeling language |
User
Subscription
Login to verify subscription
Keywords
C++
Fourier neural operator
GPU driver
OpenGL SC
RTOS
avionics
blur region
cloud computing
computer algebra
convolutional neural networks
deep learning
diversity of generations
histology
image generation
image processing
neural networks
on-board visualization system
point cloud
ray tracing
statistical moments of images
сockpit display
Information
×
User
Subscription
Login to verify subscription
Keywords
C++
Fourier neural operator
GPU driver
OpenGL SC
RTOS
avionics
blur region
cloud computing
computer algebra
convolutional neural networks
deep learning
diversity of generations
histology
image generation
image processing
neural networks
on-board visualization system
point cloud
ray tracing
statistical moments of images
сockpit display
Information