default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICTERI 2015: Lviv, Ukraine
- Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Vyacheslav S. Kharchenko, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, Vadim Ermolayev, Yuriy Bobalo, Aleksander Spivakovsky:
Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015. CEUR Workshop Proceedings 1356, CEUR-WS.org 2015 - Klaus-Dieter Schewe:
Rigorous Semantics and Renement for Business Processes. 1-2 - David Esteban:
Smart Learning Environments: a Shift of Paradigm. 3
TUTORIAL
- Heinrich C. Mayr:
Systematic Business Process Modeling in a Nutshell. 4
I.I Teaching ICT and Using ICT in Education
- Aleksandr Spivakovsky, Maksim Vinnik, Yulia Tarasich:
Using ICT in Training Scientic Personnel in Ukraine: Status and Perspectives. 5-20 - Olena Semenikhina, Marina Drushlyak:
On the Results of a Study of the Willingness and the Readiness to Use Dynamic Mathematics Software by Future Math Teachers. 21-34 - Jyoti Chauhan, Anita Goel:
An Analysis of Video Lecture in MOOC. 35-50 - Aleksandr Alekseev, Marika Aleksieieva, Kateryna Lozova, Tetiana Nahorna:
Using Fuzzy Logic in Knowledge Tests. 51-61
I.II Model-Based Software System Development
- Mykola V. Tkachuk, Kostiantyn Nagornyi, Rustam Gamzayev:
Knowledge-Based Approach to EObject-Oriented Technologies in Software Maintenance. 62-77 - Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran:
Provably Correct Graph Transformations with Small-tALC. 78-93 - Vira Liubchenko:
A Study of Bi-Objective Models for Decision Support in Software Development Process. 94-99 - Tetyana Hovorushchenko, Andriy Krasiy:
Method of Evaluating the Success of Software Project Implementation Based on Analysis of Specication Using Neuronet Information Technologies. 100-107
I.III Machine Intelligence, Knowledge Engineering and Management for ICT
- Igor P. Atamanyuk, Yuriy P. Kondratenko:
Calculation Method for a Computer's Diagnostics of Cardiovascular Diseases Based on Canonical Decompositions of Random Sequences. 108-120 - Fedir Geche, Vladyslav Kotsovsky, Anatoliy Batyuk, Sandra Geche, Mykhaylo Vashkeba:
Synthesis of Time Series Forecasting Scheme Based on Forecasting Models System. 121-136 - Alexander V. Lyaletski:
C-Clause Calculi and Refutation Search in First-Order Classical Logic. 137-152 - Andrey Kupin, Anton Senko:
Principles of Intellectual Control and Classication Optimization in Conditions of Technological Processes of Beneciation Complexes. 153-160
I.IV ICT in Industrial Applications
- Kseniia Ilchenko, Ivan Pyshnograiev:
A Composite Indicator of K-society Measurement. 161-171 - Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid. 172-187 - Nataliia Medzhybovska:
ICT and e-Business Development by the Ukrainian Enterprises: The Empirical Research. 188-195 - Nataliia Kussul, Andrii Shelestov, Ruslan Basarab, Sergii Skakun, Olga Kussul, Mykola Lavrenyuk:
Geospatial Intelligence and Data Fusion Techniques for Sustainable Development Problems. 196-203
II.I 4th International Workshop on Information technologies in economic research (ITER 2015)
- Andriy Skrypnyk, Olha Holiachuk:
Risk Assessment of Use of the Dnieper Cascade Hydropower Plants. 204-213 - Tetiana Paientko:
Behavioral Aspects of Financial Anomalies in Ukraine. 214-224 - Andriy Skrypnyk, Maryna Nehrey:
The Formation of the Deposit Portfolio in Macroeconomic Instability. 225-235 - Vitaliy Kobets, Valeria Yatsenko, Maksim Poltoratskiy:
Dynamic Model of Double Electronic Vickrey Auction. 236-251 - Karine Mesropyan:
Which Data Can Be Useful to Make Decisions on Foreign Exchange Markets? 252-261 - Alexander J. Weissblut:
Econometric Analysis of Educational Process on the Web Site. 262-275 - Viktoria Yatsenko:
The Multidimensional Data Model of Integrated Accounting Needed for Compiling Management Reports Based on Calculation EBITDA Indicator. 276-283 - Anastasiia Kolesnyk, Ihor Lukianov:
Statistical Analysis of Indexes of Capitalization of the Ukrainian Firms: an Empirical Research. 284-294
II.II 3rd International Workshop on Methods and Resources for Distance Learning (MRDL 2015)
- Mariya Shyshkina:
The Hybrid Service Model of Electronic Resources Access in the Cloud-Based Learning Environment. 295-310 - Hennadiy Kravtsov:
Methods and Technologies for the Quality Monitoring of Electronic Educational Resources. 311-325
II.III 4th International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2015)
- Grygoriy Zholtkevych:
Realisation of "Black Boxes" Using Machines. 326-337 - Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko:
An Interleaving Reduction for Reachability Checking in Symbolic Modeling. 338-353 - Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker:
Abstracting an Operational Semantics to Finite Automata. 354-365 - Michael Lvov, Yulia Tarasich:
The Static Analysis of Linear Loops. 366-381 - Andrei Alexandru, Gabriel Ciobanu:
Dening Finitely Supported Mathematics over Sets with Atoms. 382-395 - Ievgen Ivanov:
On a Strong Notion of Viability for Switched Systems. 396-407 - Bogdan Aman, Gabriel Ciobanu:
Natural Computing Modelling of the Polynomial Space Turing Machines. 408-418
II.IV International Workshop on Theory of Reliability for Modern Information Technologies (WS TheRMIT 2015)
- Vitaliy Yakovyna, Oksana Nytrebych:
Discrete and Continuous Time High-Order Markov Models for Software Reliability Assessment. 419-431 - Oleksandr Gordieiev, Vyacheslav S. Kharchenko, Mario Fusani:
Evolution of Software Quality Models: Green and Reliability Issues. 432-445 - Olga Yanovskaya, Maria Anna Devetzoglou, Vyacheslav S. Kharchenko, Max Yanovsky:
Service and Business Models with Implementation Analysis of Distributed Cloud Solution. 446-461 - Bogdan Y. Volochiy, Oleksandr Mulyak, Vyacheslav S. Kharchenko:
Automated Development of Markovian Chains for Fault-Tolerant Computer-Based Systems with Version-Structure Redundancy. 462-475 - Alexander V. Drozd, Miroslav Drozd, Viktor Antonyuk:
Features of Hidden Fault Detection in Pipeline Digital Components of Safety-Related Systems. 476-485 - Kostiantyn Zashcholkin, Olena Ivanova:
The Control Technology of Integrity and Legitimacy of LUT-Oriented Information Object Usage by Self-Recovering Digital Watermark. 486-497 - Ivan Malynyak:
Functional Diversity Design of Safety-Related Systems. 498-506 - Igor P. Atamanyuk, Yuriy P. Kondratenko:
Computer's Analysis Method and Reliability Assessment of Fault-Tolerance Operation of Information Systems. 507-522 - Kyrylo Rukkas, Galyna Zholtkevych:
Distributed Datastores: Towards Probabilistic Approach for Estimation of Dependability. 523-534 - Elena N. Zaitseva, Vitaly G. Levashenko, Jozef Kostolny, Miroslav Kvassay:
Direct Partial Logic Derivatives in Analysis of Boundary States of Multi-State System. 535-549 - Bohdan Y. Volochiy, Bohdan A. Mandziy, Leonid D. Ozirkovskyy:
Automation of Building the Safety Models of Complex Technical Systems for Critical Application. 550-565 - Vyacheslav S. Kharchenko, Yurij Ponochovny, Artem Boyarchuk, Anatoliy Gorbenko:
Scenario-Based Markovian Modeling of Web-System Availability Considering Attacks on Vulnerabilities. 566-577
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.
last updated on 2026-05-01 23:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
