• 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 30 matches

• 2016
• 
  Tetiana Aksenova:
  Simulations of hypertrophied heart's hemodynamics. UkrPROG 2016: 254-263
• 
  Olexiy Beketov, Evgeniy Vitriak, Igor Myronenko, Olga Ovdii:
  Development of meteorological forecasting web portal on multiprocessor platform. UkrPROG 2016: 246-253
• 
  Kateryna Chernichenko, Anastasya Kapkanets, Taras Panchenko:
  Contact center load forecasting and operator schedule planning. UkrPROG 2016: 227-236
• 
  Anatoliy Doroshenko, Volodymir Khavryuchenko, Evgeni Tulika, Kostiantyn Zhereb:
  Transformation of the legacy code on Fortran for scalability and cloud computing. UkrPROG 2016: 133-140
• 
  Irina Glushko:
  Outer Set Operations of Table Algebra of Infinite Tables. UkrPROG 2016: 11-16
• 
  Anton Guba, Olexander Kolchin, Stepan Potiyenko:
  A method for business logic extraction from legacy COBOL code of industrial systems. UkrPROG 2016: 17-25
• 
  Iurii Krak, Olexander Barmak, Olexander Mazurets:
  The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials. UkrPROG 2016: 237-245
• 
  Tetiana Lytvynenko:
  Problem of data analysis and forecasting using decision trees method. UkrPROG 2016: 220-226
• 
  Olexander Marchenko:
  Machine-learning methods for text named entity recognition. UkrPROG 2016: 150-157
• 
  Olexandra Moldavskaya:
  Method of forming multi-leveled sequential patterns. UkrPROG 2016: 158-163
• 
  Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
  Pure first-order logics of quasiary predicates. UkrPROG 2016: 73-86
• 
  Olexander Novitckiy:
  Extension of the UML specifications for modeling of the semantic objects. UkrPROG 2016: 211-219
• 
  Andrey Novokshonov:
  Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages. UkrPROG 2016: 26-31
• 
  Volodymyr Mykolaevich Opanasenko, Sergyi L. Kryvyi:
  Synthesis of multilevel structures with multiple outputs. UkrPROG 2016: 32-37
• 
  Yulia Ostapovska, Taras Panchenko, Nataliya Polishchuk, Mykita Kartavov:
  Correctness Property Proof for the Banking System for Money Transfer Payments. UkrPROG 2016: 119-132
• 
  Oleg Paulin, Natalia Komlevaya, Stanislav Marulin:
  Macro-operations extraction out of computation process array sorting data. UkrPROG 2016: 87-95
• 
  Sergiy Pogorilyy, Maxim Slynko:
  Research and development of Johnson's algorithm parallel schemes in GPGPU technology. UkrPROG 2016: 105-112
• 
  Olexander I. Provotar, Olexiy Vasylenko, Olexander O. Provotar:
  Fuzzy probability and fuzzy events. UkrPROG 2016: 170-178
• 
  Valeryi Reznichenko, Inna Chistyakova:
  Integration of the family of extended description logics with relational data model. UkrPROG 2016: 38-47
• 
  Julia Rogushina:
  Semantic Wiki resources and their use for the construction of personalized ontologies. UkrPROG 2016: 188-195
• 
  Julia Rogushina, Irina Grishanova:
  Processing of activity of Wiki resources users for development of their ontological model. UkrPROG 2016: 204-210
• 
  Stepan S. Shkilniak, Dmytro Volkovytskyi:
  Composition-nominative logics of free-quantifier levels. UkrPROG 2016: 48-62
• 
  Viktor Shynkarenko, Olena Kuropiatnyk:
  Constructive-synthesizing model of text graph representation. UkrPROG 2016: 63-72
• 
  Dmytro Titov, Anatoliy Doroshenko, Olena Yatsenko:
  Automated development of a parallel system for distributed streaming data processing. UkrPROG 2016: 96-104
• 
  Dmytro Voloshyn:
  Application of deep learning and computer vision frameworks for solving video context prediction problem. UkrPROG 2016: 164-169
• 
  Sergey Yershov, Felix Kostukevich:
  Modeling technology based on fuzzy object-oriented Bayesian belief networks. UkrPROG 2016: 179-187
• 
  Sergyi Yershov, Roman Ponomarenko:
  Methods of parallel computing for multilevel fuzzy Takagi-Sugeno systems. UkrPROG 2016: 141-149
• 
  Olga Zakharova:
  Usage of AI-planning techniques to solve problems of Web-services composition. UkrPROG 2016: 196-203
• 
  Andrey Zhygallo:
  Peterson's algorithm total correctness proof in IPCL. UkrPROG 2016: 113-118
• 
  Ivan Sergienko, Philip Andon:
  Proceedings of the 10th International Conference of Programming UkrPROG'2016, Kyiv, Ukraine, May 24-25, 2016. CEUR Workshop Proceedings 1631, CEUR-WS.org 2016 [contents]