| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Algorithm for Constructing Modular Projections for Correcting Multiple Errors Based on a Redundant Residue Number System Using Maximum Likelihood Decoding
|
Babenko, M.
|
|
|
47 |
8 |
p. 839-848
|
artikel
|
| 2 |
Algorithms for Planning on Computational Model with Redundancy and Uncertainty
|
Feoktistov, A.
|
|
|
47 |
8 |
p. 601-614
|
artikel
|
| 3 |
A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach
|
Phung, K.
|
|
|
47 |
8 |
p. 765-777
|
artikel
|
| 4 |
Automotive Post-Collision Control Software System: Requirements and Verification
|
Cisneros, J. R. Aguilar
|
|
|
47 |
8 |
p. 735-745
|
artikel
|
| 5 |
Autonomous Swarm of Low-Cost Commercial Unmanned Aerial Vehicles for Surveillance
|
Garate, B.
|
|
|
47 |
8 |
p. 558-577
|
artikel
|
| 6 |
Bibliographic Review on Data Mining Techniques Used with Weather Data
|
Castillo-Rojas, Wilson
|
|
|
47 |
8 |
p. 817-829
|
artikel
|
| 7 |
CASR: Analysis of Core Dump Files in Linux and Error Reporting
|
Fedotov, A. N.
|
|
|
47 |
8 |
p. 866-870
|
artikel
|
| 8 |
Comparing Two Learning Curves Approaches to Predict the Product Delivery Rate in a Software Factory Contract
|
Valdés-Souto, F.
|
|
|
47 |
8 |
p. 694-703
|
artikel
|
| 9 |
Curve-Based Security Schemes for Automating the Encryption and Signing of Digital Documents in Organizational Environments
|
Morales-Sandoval, M.
|
|
|
47 |
8 |
p. 849-857
|
artikel
|
| 10 |
Database Management System Verification with Separation Logics
|
Medina-Martínez, Diego
|
|
|
47 |
8 |
p. 654-672
|
artikel
|
| 11 |
Digital Twins, Internet of Things and Mobile Medicine: A Review of Current Platforms to Support Smart Healthcare
|
Volkov, I.
|
|
|
47 |
8 |
p. 578-590
|
artikel
|
| 12 |
Editorial
|
Tchernykh, A.
|
|
|
47 |
8 |
p. 555-557
|
artikel
|
| 13 |
Explicit Multiobjective Evolutionary Algorithms for Flow Shop Scheduling with Missing Operations
|
Rossit, D. G.
|
|
|
47 |
8 |
p. 615-630
|
artikel
|
| 14 |
Exploring a Web-Based Application to Convert Tamil and Vietnamese Speech to Text without the Effect of Code-Switching and Code-Mixing
|
Phung, K.
|
|
|
47 |
8 |
p. 757-764
|
artikel
|
| 15 |
Generation of Graphs for the Identification of Various Types of Scientific Collaboration in an Academic Institution
|
Guerrero, J.
|
|
|
47 |
8 |
p. 722-734
|
artikel
|
| 16 |
Implementation of Neural Machine Translation for Nahuatl as a Web Platform: A Focus on Text Translation
|
García, S. Khalil Bello
|
|
|
47 |
8 |
p. 778-792
|
artikel
|
| 17 |
Improving the Analytic Hierarchy Process for Requirements Prioritization Using Evolutionary Computing
|
Somohano-Murrieta, Juan Carlos Benjamín
|
|
|
47 |
8 |
p. 746-756
|
artikel
|
| 18 |
Improving the Software Estimation Models Based on Functional Size through Validation of the Assumptions behind the Linear Regression and the Use of the Confidence Intervals When the Reference Database Presents a Wedge-Shape Form
|
Valdés-Souto, F.
|
|
|
47 |
8 |
p. 673-693
|
artikel
|
| 19 |
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection
|
Borodin, A. E.
|
|
|
47 |
8 |
p. 858-865
|
artikel
|
| 20 |
Metrics of Efficiency and Performance when Using Evolutionary Algorithm on Desktop Grids
|
Khrapov, N. P.
|
|
|
47 |
8 |
p. 882-886
|
artikel
|
| 21 |
Optimization of Neural Network Training for Image Recognition Based on Trigonometric Polynomial Approximation
|
Vershkov, N.
|
|
|
47 |
8 |
p. 830-838
|
artikel
|
| 22 |
Refactoring the Monolith Workflow into Independent Micro-Workflows to Support Stream Processing
|
Alaasam, Ameer B. A.
|
|
|
47 |
8 |
p. 591-600
|
artikel
|
| 23 |
Requirements and GitHub Issues: An Automated Approach for Quality Requirements Classification
|
Pérez-Verdejo, J. Manuel
|
|
|
47 |
8 |
p. 704-721
|
artikel
|
| 24 |
SafeComp: Protocol for Certifying Cloud Computations Integrity
|
Shishkin, E.
|
|
|
47 |
8 |
p. 871-881
|
artikel
|
| 25 |
Specifying Data Quality Requirements through Web Functionalities – MOSQAF
|
Guerra-García, C.
|
|
|
47 |
8 |
p. 631-653
|
artikel
|
| 26 |
The Role of Personality in Motivation to use an Affective Feedback System
|
Jiménez, S.
|
|
|
47 |
8 |
p. 793-802
|
artikel
|
| 27 |
Visualization Technologies to Support Decision-Making in City Management
|
Cepero, T.
|
|
|
47 |
8 |
p. 803-816
|
artikel
|
Tijdschrift beschrijving