| Rapid Instruction Decoding for IA-32
|
2019 |
Klimiankou, Yauhen |
| Archival Information Systems: New Opportunities for Historians
|
2019 |
Krayneva, Irina |
| Two-Step Deductive Verification of Control Software Using Reflex
|
2019 |
Anureev, Igor |
| A Logical Approach to the Analysis of Aerospace Images
|
2019 |
Kuchuganov, Valeriy |
| A Metamodel-Based Approach for Adding Modularization to KeYmaera’s Input Syntax
|
2019 |
Baar, Thomas |
| Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS
|
2019 |
Zelenova, Sophia A. |
| Causality-Based Testing in Time Petri Nets
|
2019 |
Bozhenkova, Elena |
| Case-Based Genetic Optimization of Web User Interfaces
|
2019 |
Bakaev, Maxim |
| Inter-country Competition and Collaboration in the miRNA Science Field
|
2019 |
Firsov, Artemiy |
| Parallel Factorization of Boolean Polynomials
|
2019 |
Kulkarni, Vadiraj |
| Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing
|
2019 |
Kleyko, Denis |
| Nobrainer: An Example-Driven Framework for C/C++ Code Transformations
|
2019 |
Savchenko, Valeriy |
| Verification and Validation of Semantic Annotations
|
2019 |
Panasiuk, Oleksandra |
| An Ontology-Based Approach to the Agile Requirements Engineerin
|
2019 |
Murtazina, Marina |
| The Analytical Object Model as a Base of Heterogeneous Data Integration
|
2019 |
Korobko, Anna |
| Prediction of RNA Secondary Structure Based on Optimization in the Space of Its Descriptors by the Simulated Annealing Algorithm
|
2019 |
Kobalo, Nikolay |
| Computable Topology for Reliable Computations
|
2019 |
Korovina, Margarita |
| Towards Automatic Deductive Verification of C Programs over Linear Arrays
|
2019 |
Kondratyev, Dmitry |
| Providing the Sharing of Heterogeneous Ontology Design Patterns in the Development of the Ontologies of Scientific Subject Domains
|
2019 |
Zagorulko, Yury |
| Data Compression Algorithms in Analysis of UI Layouts Visual Complexity
|
2019 |
Bakaev, Maxim |
Tag hinzufügen