Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Vadim Mutilin
Static Verification Under the Hood: Implementation Details and Improvements of BLAST
How to Cook an Automated System for Linux Driver Verification
Related publications
Under the Hood -- E-Textbooks and the Library
Against the Grain
On the Improvements of Circulating Water Channel Experimental System and Their Evaluations-I : On the Details of the Improvements
The Journal of Japan Institute of Navigation
Testing, Verification and Improvements of Timeliness in ROS Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Peeking Under the Hood of Naive T Cells
Cell Metabolism
Cell Biology
Molecular Biology
Physiology
RODOS Re-Engineering: Aims and Implementation Details
Radioprotection
Risk
Sustainability
Mutagenesis
Renewable Energy
Public Health
Waste Management
Nuclear Energy
Disposal
Environmental
Engineering
Reliability
Safety
Toxicology
Health
Quality
the Environment
Occupational Health
Looking Under the Hood: Visualizing What LSTMs Learn
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Fan Chart: The Technical Details of the New Implementation
The Practice of Central Bank Intervention: Looking Under the Hood
SSRN Electronic Journal
Improvements in Blast Fragmentation Models Using Digital Image Processing
Fragblast
