default search action
Open Computer Science, Volume 11
Volume 11, Number 1, 2021
- William Steingartner:
Preface to Special Issue "Informatics 2019". 1 - William Steingartner:
On some innovations in teaching the formal semantics using software tools. 2-11 - Ondrej Kainz, E. Karpiel, Rastislav Petija, Miroslav Michalko, Frantisek Jakab:
Non-standard situation detection in smart water metering. 12-21 - Matej Madeja, Jaroslav Porubän:
Unit Under Test Identification Using Natural Language Processing Techniques. 22-32 - Jurij Mihelic, Uros Cibej:
An experimental evaluation of refinement techniques for the subgraph isomorphism backtracking algorithms. 33-42 - Tomaz Dobravec:
Selected tools for Java class and bytecode inspection in the educational environment. 43-50 - Uros Cibej, Jurij Mihelic:
Graph automorphisms for compression. 51-59 - Petr Veigend, Gabriela Necasová, Václav Sátek:
Taylor Series Based Numerical Integration Method. 60-69 - Dániel Lukács, Gergely Pongrácz, Máté Tejfel:
Control flow based cost analysis for P4. 70-79 - Marek Zak, Jaroslav Rozman, Frantisek Vítezslav Zboril:
Design and Control of 7-DOF Omni-directional Hexapod Robot. 80-89 - Peter Sedlacek, Marek Kvet, Monika Vaclavkova:
Development of FRIMAN - Supporting Tool for Object Oriented Programming Teaching. 90-98 - Marián Hudák, Stefan Korecko, Branislav Sobota:
LIRKIS Global Collaborative Virtual Environments: Current State and Utilization Perspective. 99-106 - Endre Fülöp, Norbert Pataki:
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution. 107-115 - Roman Kolpakov, Mikhail Posypkin:
Optimality and Complexity Analysis of a Branch-and-Bound Method in Solving Some Instances of the Subset Sum Problem. 116-126 - Konstantin N. Kudryavtsev, Ustav Malkov:
Weak Berge Equilibrium in Finite Three-person Games: Conception and Computation. 127-134 - Matús Sulír, Jaroslav Porubän:
Natural mapping between voice commands and APIs. 135-145 - Kaushik Mishra, Santosh Kumar Majhi:
A binary Bird Swarm Optimization based load balancing algorithm for cloud computing environment. 146-160 - Marko Vjestica, Vladimir Dimitrieski, Milan Pisaric, Slavica Kordic, Sonja Ristic, Ivan Lukovic:
Towards a Formal Specification of Production Processes Suitable for Automatic Execution. 161-179 - Stefan Toth, Emanuel Zaymus, Michal Duracík, Patrik Hrkút, Matej Mesko:
Diacritics restoration based on word n-grams for Slovak texts. 180-189 - Naveen Kumar Gupta, Rama Shankar Yadav, Rajendra Kumar Nagaria, Deepak Gupta:
An Angular 3D Path Selection Protocol in Wireless Sensor Networks. 190-207 - George Papageorgiou, Anastasia Ioannou, Athanasios Maimaris, Alexander N. Ness:
A Strategic Approach for implementing A Smart Pedestrian Network (SPN) System. 208-217 - Tomás Huszaník, Ján Turán, Lubos Ovseník:
On the 100 Gbps DWDM with Optical Carrier Suppression Modulation. 218-223 - George Papageorgiou, Anastasia Ioannou, Athanasios Maimaris, Alexander N. Ness:
Evaluation of the Benefits of Implementing a Smart Pedestrian Network System. 224-231 - Alexander V. Khorkov, Shamil I. Galiev:
Optimization of a k-covering of a bounded set with circles of two given radii. 232-240 - Patrik Vostinár, Dana Horváthová, Martin Mitter, Martin Bako:
The look at the various uses of VR. 241-250 - T. Arumuga Maria Devi, V. I. Mebin Jose:
Three Stream Network Model for Lung Cancer Classification in the CT Images. 251-261 - Adnan Khalid, Qurat ul Ain, Awais Qasim, Zeeshan Aziz:
QoS Based Optimal Resource Allocation and Workload Balancing for Fog Enabled IoT. 262-274 - B. Venkatesh, J. Anuradha:
Fuzzy Rank Based Parallel Online Feature Selection Method using Multiple Sliding Windows. 275-287 - Nada I. Najim:
Improving Data Delivery in Large Environments and Mobile Areas. 288-293 - Siraj Munir, Syed Imran Jami, Shaukat Wasi:
Towards the Modelling of Veillance based Citizen Profiling using Knowledge Graphs. 294-304 - Dharyll Prince M. Abellana:
Modelling the interdependent relationships among epidemic antecedents using fuzzy multiple attribute decision making (F-MADM) approaches. 305-329 - Satender Sharma, Usha Chauhan, Ruqaiya Khanam, Krishna Kant Singh:
Digital Watermarking using Grasshopper Optimization Algorithm. 330-336 - Rahul Dev, Rohit Tripathi, Ruqaiya Khanam:
A Novel Approach Based Multi Biometric Finger Vein Template Recognition System using HGF. 337-345 - Johan S. Rueda-Rueda, Jesús M. T. Portocarrero:
Framework-based security measures for Internet of Thing: A literature review. 346-354 - Alexander K. Skiba, Nadezhda K. Skiba:
Theoretical Estimate of the Total Shelf Length in a Gas Fields Model. 355-364 - Wisam Elmasry, Akhan Akbulut, Abdul Halim Zaim:
A Design of an Integrated Cloud-based Intrusion Detection System with Third Party Cloud Service. 365-379 - Pradipta Kumar Mishra, Suresh Chandra Satapathy, Minakhi Rout:
Segmentation of MRI Brain Tumor Image using Optimization based Deep Convolutional Neural networks (DCNN). 380-390 - M. Sruthi, Rajkumar Rajasekaran:
Hybrid lightweight Signcryption scheme for IoT. 391-398 - Jozsef Suto:
The effect of hyperparameter search on artificial neural network in human activity recognition. 411-422 - Cu Kim Long, Rashmi Agrawal, Ha Quoc Trung, Hai Van Pham:
A big data framework for E-Government in Industry 4.0. 461-479 - Kaitheri Thacharedath Dilna, Jude Hemanth Duraisamy:
Novel image enhancement approaches for despeckling in ultrasound images for fibroid detection in human uterus. 399-410 - Sourav Kumar Bhoi, Sanjaya Kumar Panda, Chittaranjan Mallick, Kalyan Kumar Jena:
Impact of road architecture and design on performance of city-based VANETs. 423-436 - Amol Adamuthe, Abdulhameed Pathan:
Enhanced shuffled frog leaping algorithm with improved local exploration and energy-biased load reduction phase for load balancing of gateways in WSNs. 437-460 - Asha Gnana Priya Henry, Anitha Jude:
Convolutional neural-network-based classification of retinal images with different combinations of filtering techniques. 480-490 - Monika Lamba, Yogita Gigras, Anuradha Dhull:
Classification of plant diseases using machine and deep learning. 491-508 - Sajad Ahmad Rather, P. Shanthi Bala:
Lévy flight and chaos theory-based gravitational search algorithm for mechanical and structural engineering design optimization. 509-529
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.