• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 63 matches

• 2017
• 
  Artem Artyukhov, Viktor Obodiak, Pavlo Boiko, Pablo Rossi:
  Computer Modeling of Hydrodynamic and Heat-Mass Transfer Processes in the Vortex Type Granulation Devices. ICTERI 2017: 33-47
• 
  Nadiia R. Balyk, Vasyl Oleksiuk, Galina Shmyger:
  Development of E-Learning Quality Assessment Model in Pedagogical University. ICTERI 2017: 440-450
• 
  Juan Pablo Martínez Bastida, Elena Gavrilenko, Andrey Chukhray:
  Developing a Pedagogical Intervention Support based on Bayesian Networks. ICTERI 2017: 265-272
• 
  Oleksandr Burov:
  ICT for Performance Assessment of Emergent Technologies Operators. ICTERI 2017: 127-138
• 
  Galyna Chornous, Serhii Rybalchenko:
  Integration of Information Technologies' Dynamic Development into Academic Teaching Process. ICTERI 2017: 207-222
• 
  Yuliia Denysenko, Vitalii Ivanov, Oleksandr Ivchenko:
  Quality Assessment of Teaching the Disciplines in the E-learning Environment of Sumy State University. ICTERI 2017: 166-175
• 
  Oleksandr Drozd, Miroslav Drozd, Oleksandr Martynyuk, Mykola Kuznietsov:
  Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems. ICTERI 2017: 654-661
• 
  Michael D. Godlevsky, Sergey V. Orekhov, Elena Orekhova:
  Theoretical Fundamentals of Search Engine Optimization Based on Machine Learning. ICTERI 2017: 23-32
• 
  Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy:
  Formalization and Algebraic Verification of Legal Requirements. ICTERI 2017: 524-535
• 
  Oleksandr Gordieiev, Vyacheslav S. Kharchenko, Kate Vereshchak:
  Usable Security Versus Secure Usability: an Assessment of Attributes Interaction. ICTERI 2017: 727-740
• 
  Iuliia Iarmolenko:
  Effectiveness and Transparency of Sentiment Analysis Tools for Academic Purposes. ICTERI 2017: 273-280
• 
  Oleksii Ignatenko:
  Game Theoretic Analysis of Multi-Processor Schedulers: Matrix Multiplication Example. ICTERI 2017: 88-95
• 
  Oleg Ivanchenko, Vyacheslav S. Kharchenko, Yurij Ponochovny, Ivan Blindyuk, Oksana Smoktii:
  Semi-Markov Availability Model for Infrastructure as a Service Cloud Considering Hidden Failures of Physical Machines. ICTERI 2017: 634-644
• 
  Ievgen Ivanov, Taras Panchenko:
  A Formal Proof of Correctness of a Distributed Presentation Software System. ICTERI 2017: 467-487
• 
  Alla Ivashchenko, Yuliia Sybirianska, Yevheniia Polischuk:
  Information and Communication Platform as a Complex Approach for Solving Information Asymmetry Problems. ICTERI 2017: 111-126
• 
  Vyacheslav S. Kharchenko, Svitlana Yaremchuk:
  Technology Oriented Assessment of Software Reliability: Big Data Based Search of Similar Programs. ICTERI 2017: 686-698
• 
  Vitaliy Kobets, Alexander J. Weissblut:
  Mathematical Model of Microeconomic System with Different Social Responsibilities in Software Module. ICTERI 2017: 139-154
• 
  Taras Kobylnyk:
  Statistical Software in the Higher School Educational Process. ICTERI 2017: 311-318
• 
  Maryna Kolisnyk, Vyacheslav S. Kharchenko, Iryna Piskachova, Nikolaos G. Bardis:
  A Markov Model of IoT System Availability Considering DDoS Attacks and Energy Modes of Server and Router. ICTERI 2017: 699-712
• 
  Yuriy P. Kondratenko, Oleksiy V. Kozlov, Oleksiy V. Korobko, Andriy M. Topalov:
  Internet of Things Approach for Automation of the Complex Industrial Systems. ICTERI 2017: 3-18
• 
  Yuriy P. Kondratenko, Oleksiy V. Kozlov, Andriy M. Topalov, Oleksandr S. Gerasin:
  Computerized System for Remote Level Control with Discrete Self-Testing. ICTERI 2017: 608-619
• 
  Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov:
  An Approach To Formalization of an Extension of Floyd-Hoare Logic. ICTERI 2017: 504-523
• 
  Jozef Kostolny, Monika Vaclavkova:
  Learning System FRIMAN. ICTERI 2017: 281-288
• 
  Hennadiy Kravtsov, Vitaliy Kobets:
  Implementation of Stakeholders' Requirements and Innovations for ICT Curriculum Through Relevant Competences. ICTERI 2017: 414-427
• 
  Halyna Kuchakovska:
  The Organization of Students' Joint Activity by Means of Popular Network Services. ICTERI 2017: 155-165
• 
  Miroslav Kvassay, Elena Zaitseva, Vitaly G. Levashenko:
  Minimal Cut and Minimal Path Vectors in Reliability Analysis of Binary- and Multi-State Systems. ICTERI 2017: 713-726
• 
  Maria Leshchenko, Larysa Ruban, Larysa Tymchuk:
  Digital Storytelling in a Foreign Language Classroom of Higher Educational Establishments. ICTERI 2017: 428-439
• 
  Olena Liashenko, Tetyana Kravets, Kateryna Krytsun:
  Econometric Modeling of Financial Time Series Volatility Using Software Packages. ICTERI 2017: 56-71
• 
  Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich:
  The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. ICTERI 2017: 536-554
• 
  Michael Lvov, Hanna Shmarova:
  Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes. ICTERI 2017: 380-387

skipping 33 more matches