| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Design Guide for Usable Web APIs
|
Tello-Rodríguez, M.
|
|
|
46 |
8 |
p. 584-593
|
artikel
|
| 2 |
A Formal Model for Detecting Bugs by Symbolic Execution of Programs
|
Gerasimov, A. Yu.
|
|
|
46 |
8 |
p. 731-736
|
artikel
|
| 3 |
Analysis of Correct Synchronization of Operating System Components
|
Andrianov, P. S.
|
|
|
46 |
8 |
p. 712-730
|
artikel
|
| 4 |
Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing
|
Alaasam, Ameer B. A.
|
|
|
46 |
8 |
p. 511-525
|
artikel
|
| 5 |
Automated Testing of a TCG Frontend for Qemu
|
Koltunov, D. S.
|
|
|
46 |
8 |
p. 737-746
|
artikel
|
| 6 |
Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation
|
Flores-Fuentes, Wendy
|
|
|
46 |
8 |
p. 526-535
|
artikel
|
| 7 |
Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis
|
Rodríguez-Ruiz, J. G.
|
|
|
46 |
8 |
p. 689-698
|
artikel
|
| 8 |
Developing Web Applications with Awareness of Data Quality Elements – DQAWA
|
Guerra-García, C.
|
|
|
46 |
8 |
p. 548-560
|
artikel
|
| 9 |
Fault Identification in Mobile Robot Groups Using Sliding Mode Observers
|
Sergiyenko, O.
|
|
|
46 |
8 |
p. 679-688
|
artikel
|
| 10 |
Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS
|
Rodríguez-Quiñonez, J. C.
|
|
|
46 |
8 |
p. 619-625
|
artikel
|
| 11 |
Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT)
|
Safyan, Muhammad
|
|
|
46 |
8 |
p. 626-635
|
artikel
|
| 12 |
Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment
|
Tchernykh, A.
|
|
|
46 |
8 |
p. 483-502
|
artikel
|
| 13 |
Mixed Integer Programming Formulations for Steiner Tree and Quality of Service Multicast Tree Problems
|
Risso, C.
|
|
|
46 |
8 |
p. 661-678
|
artikel
|
| 14 |
Mu-Calculus Satisfiability with Arithmetic Constraints
|
Limón, Y.
|
|
|
46 |
8 |
p. 503-510
|
artikel
|
| 15 |
Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets
|
Muraña, J.
|
|
|
46 |
8 |
p. 636-651
|
artikel
|
| 16 |
Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A First Approach
|
Fortuna-Cervantes, J. M.
|
|
|
46 |
8 |
p. 536-547
|
artikel
|
| 17 |
Patterns Related to Microservice Architecture: a Multivocal Literature Review
|
Valdivia, J. A.
|
|
|
46 |
8 |
p. 594-608
|
artikel
|
| 18 |
Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness
|
Vasilyev, A. A.
|
|
|
46 |
8 |
p. 747-754
|
artikel
|
| 19 |
Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges
|
Lozano-Rizk, J. E.
|
|
|
46 |
8 |
p. 561-568
|
artikel
|
| 20 |
Recent Trends in Underwater Wireless Sensor Networks (UWSNs) – A Systematic Literature Review
|
Tariq, Ayesha
|
|
|
46 |
8 |
p. 699-711
|
artikel
|
| 21 |
Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm
|
Riaño, D.
|
|
|
46 |
8 |
p. 652-660
|
artikel
|
| 22 |
Retraction Note: DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network
|
Khan, Ahmed
|
|
|
46 |
8 |
p. 755
|
artikel
|
| 23 |
Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning
|
Vershkov, N.
|
|
|
46 |
8 |
p. 609-618
|
artikel
|
| 24 |
User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks
|
Durán, M.
|
|
|
46 |
8 |
p. 569-583
|
artikel
|
Tijdschrift beschrijving