-
1Academic Journal
Πηγή: Bionics of Intelligence; Vol. 1 No. 99 (2023): Scientific and Technical Journal "Bionics of Intelligence"; 83-87
Бионика интеллекта; Том 1 № 99 (2023): Науково-технічний журнал «Біоніка інтелекту»; 83-87
Біоніка інтелекту; Том 1 № 99 (2023): Науково-технічний журнал «Біоніка інтелекту»; 83-87Θεματικοί όροι: ФОРМАЛЬНА МОДЕЛЬ, LEXICOGRAPHIC DATABASE, FORMAL MODEL, VIRTUAL LEXICOGRAPHIC LABORATORY, ВІРТУАЛЬНА ЛЕКСИКОГРАФІЧНА ЛАБОРАТОРІЯ, L-SYSTEM, Л-СИСТЕМА, ЛЕКСИКОГРАФІЧНА БАЗА ДАНИХ
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://bionics.nure.ua/article/view/314592
-
2Academic Journal
Πηγή: Bionics of Intelligence; Vol. 1 No. 98 (2022): Scientific and technical journal "Bionics of intelligence"; 89-97
Бионика интеллекта; Том 1 № 98 (2022): Научно-технический журнал «Бионика интеллекта»; 89-97
Біоніка інтелекту; Том 1 № 98 (2022): Науково-технічний журнал «Біоніка інтелекту»; 89-97Θεματικοί όροι: ФОРМАЛЬНА МОДЕЛЬ, FORMAL MODEL, INFLECTIONAL E-DICTIONARY, ЦИФРОВЕ СЕРЕДОВИЩЕ, Л-СИСТЕМА, L-SYSTEM, COMPUTER LEXICOGRAPHY, DIGITAL ENVIRONMENT, ЕЛЕКТРОННИЙ СЛОВОЗМІННИЙ СЛОВНИК, КОМП'ЮТЕРНА ЛЕКСИКОГРАФІЯ
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://bionics.nure.ua/article/view/308887
-
3Academic Journal
Συγγραφείς: Купріянов , Є.
Πηγή: Bionics of Intelligence; Vol. 1 No. 98 (2022): Scientific and technical journal "Bionics of intelligence"; 89-97 ; Бионика интеллекта; Том 1 № 98 (2022): Научно-технический журнал «Бионика интеллекта»; 89-97 ; Біоніка інтелекту; Том 1 № 98 (2022): Науково-технічний журнал «Біоніка інтелекту»; 89-97 ; 2663-306X ; 2663-3051
Θεματικοί όροι: КОМП'ЮТЕРНА ЛЕКСИКОГРАФІЯ, ФОРМАЛЬНА МОДЕЛЬ, Л-СИСТЕМА, ЕЛЕКТРОННИЙ СЛОВОЗМІННИЙ СЛОВНИК, ЦИФРОВЕ СЕРЕДОВИЩЕ, COMPUTER LEXICOGRAPHY, FORMAL MODEL, L-SYSTEM, INFLECTIONAL E-DICTIONARY, DIGITAL ENVIRONMENT
Περιγραφή αρχείου: application/pdf
Relation: http://bionics.nure.ua/article/view/308887/300444; http://bionics.nure.ua/article/view/308887
Διαθεσιμότητα: http://bionics.nure.ua/article/view/308887
-
4Academic Journal
Συγγραφείς: Kotov , E.V.
Πηγή: Dissertation abstracts; Котов Е.В. (спец. 052) ; Авторефераты диссертаций; Котов Е.В. (спец. 052) ; Автореферати та анотації дисертацій; Котов Е.В. (спец. 052)
Θεματικοί όροι: discourse, formal discourse analysis, political process, political subject, discursive structure, formal model, дискурс, формальний дискурс-аналіз, політичний процес, політичний суб’єкт, дискурсивна структура, формальна модель
Περιγραφή αρχείου: application/octet-stream
Relation: https://abstracts.donnu.edu.ua/article/view/10205/10115; https://abstracts.donnu.edu.ua/article/view/10205
Διαθεσιμότητα: https://abstracts.donnu.edu.ua/article/view/10205
-
5Academic Journal
Συγγραφείς: Шубін, Ігор Юрійович, Кириченко, Ірина Віталіївна
Πηγή: Bulletin of the National Technical University "KhPI". Series: Strategic management, portfolio, program and project management; No. 1(1277) (2018); 57-63 ; Вестник Национального технического университета "ХПИ". Серия: Стратегическое управление, управление портфелями, программами и проектами; № 1(1277) (2018); 57-63 ; Вісник Національного технічного університету «ХПІ». Серія: Стратегічне управління, управління портфелями, програмами та проектами; № 1(1277) (2018); 57-63 ; 2413-3000 ; 2311-4738
Θεματικοί όροι: agent, multi-agent system, e-learning, information technology, operational data processing, agents interaction, formal model, algorithm, dynamic system, агент, мультиагентная система, электронное обучение, информационная технология, оперативная обработка данных, взаимодействие агентов, формальная модель, алгоритм, динамическая система, мультиагентна система, електронне навчання, інформаційна технологія, оперативна обробка даних, взаємодія агентів, формальна модель, динамічна система
Περιγραφή αρχείου: application/pdf
-
6Academic Journal
Πηγή: Bulletin of NTU "KhPI". Series: Strategic Management, Portfolio, Program and Project Management; № 1(1277) (2018); 57-63
Вестник НТУ "ХПИ". Серия: Стратегическое управление, управление портфелями, программами и проектами; № 1(1277) (2018); 57-63
Вісник НТУ «ХПІ». Серія: Стратегічне управління, управління портфелями, програмами та проектами; № 1(1277) (2018); 57-63Θεματικοί όροι: агент, мультиагентна система, електронне навчання, інформаційна технологія, оперативна обробка даних, взаємодія агентів, формальна модель, динамічна система, мультиагентная система, электронное обучение, информационная технология, оперативная обработка данных, взаимодействие агентов, формальная модель, алгоритм, динамическая система, agent, multi-agent system, e-learning, information technology, operational data processing, agents interaction, formal model, algorithm, dynamic system
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://pm.khpi.edu.ua/article/view/125148
-
7Academic Journal
Συγγραφείς: Kharchenko, Volodymyr, Chynchenko, Yuriy
Πηγή: Proceedings of National Aviation University; Vol. 69 No. 4 (2016); 7-13 ; Успехи авиакосмической техники; Том 69 № 4 (2016); 7-13 ; Вісник Національного авіаційного університету; Том 69 № 4 (2016); 7-13
Θεματικοί όροι: aeronautical system, air traffic flows models, air traffic flow and capacity management, air traffic services, safety of flights, terminal control area descriptive model, uncertainty factors, 656.7.052(045), аэронавигационная система, безопасность полетов, модели потоков воздушного движения, обслуживание воздушного движения, управление потоками воздушного движения и пропускной способностью, формальная модель терминального диспетчерского района, аеронавігаційна система, безпека польотів, моделі потоків повітряного руху, обслуговування повітряного руху, управління потоками повітряного руху та пропускною здатністю, фактори невизначеності, формальна модель термінального диспетчерського району
Περιγραφή αρχείου: application/pdf
Relation: https://jrnl.nau.edu.ua/index.php/visnik/article/view/11048/14696; https://jrnl.nau.edu.ua/index.php/visnik/article/view/11048/14697; https://jrnl.nau.edu.ua/index.php/visnik/article/view/11048/14698; https://jrnl.nau.edu.ua/index.php/visnik/article/view/11048
-
8Academic Journal
Συνεισφορές: Національний університет 'Львівська політехніка'
Θεματικοί όροι: алгебра систем, дескриптивна логіка, формальна модель, фреймворк, situation awareness, framework, Algebra of ystems, interpreted systems, ситуаційна обізнаність, description logic, інтерпретовані системи, formal model, 004.9
Περιγραφή αρχείου: application/pdf; image/png
Σύνδεσμος πρόσβασης: https://ena.lpnu.ua/handle/ntb/42965
-
9Academic Journal
Θεματικοί όροι: chess poetry, креолізований віршований текст, формальна модель, verbal elements, nonverbal elements, вербальні елементи, вербальные элементы, креолизованный стихотворный текст, шахопоезія, шахопоэзия, формальная модель, невербальні елементи, the creolized verse text, formal model, невербальные элементы
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://essuir.sumdu.edu.ua/handle/123456789/46179
-
10Academic Journal
Συγγραφείς: И.В. Терещук, І.В. Терещук, I.V. Tereshchuk
Πηγή: Системи обробки інформації. — 2013. — № 7(114). 148-151 ; Системы обработки информации. — 2013. — № 7(114). 148-151 ; Information Processing Systems. — 2013. — № 7(114). 148-151 ; 1681-7710
Θεματικοί όροι: Математичне та комп’ютерне моделювання складних систем, УДК 519.876.2, логико-формальная модель, бюджетирование, логіко-формальна модель, бюджетування, logic and formal model, budgeting
Περιγραφή αρχείου: application/pdf
Relation: http://www.hups.mil.gov.ua/periodic-app/article/11043/soi_2013_7_37.pdf; http://www.hups.mil.gov.ua/periodic-app/article/11043
Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/11043
-
11Academic Journal
Συγγραφείς: О.А. Криводубский, О.А. Шевчук, О.О. Криводубський, О.О. Шевчук, О.A. Кryvodubskiy, О.А. Shevchuk
Πηγή: Системи обробки інформації. — 2011. — № 4(94). 240-244 ; Системы обработки информации. — 2011. — № 4(94). 240-244 ; Information Processing Systems. — 2011. — № 4(94). 240-244 ; 1681-7710
Θεματικοί όροι: Моделювання в економіці, організація виробництва та управління проектами, УДК 519.816.8:69, логико-формальная модель, строительно-монтажные работы, планирование, доходная часть, расходная часть предприятия, логіко-формальна модель, будівельно-монтажні роботи, планування, дохідна частина, видаткова частина підприємства, logical and formal model, building and construction works, planning, revenues and expenditures of the enterprise
Περιγραφή αρχείου: application/pdf
Relation: http://www.hups.mil.gov.ua/periodic-app/article/8553/soi_2011_4_57.pdf; http://www.hups.mil.gov.ua/periodic-app/article/8553
Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/8553
-
12Academic Journal
Συγγραφείς: Nosov, Vitaliy
Συνεισφορές: ELAKPI
Θεματικοί όροι: інформаційна безпека, формальна модель, Системний підхід
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/9624
-
13Academic Journal
Συγγραφείς: Буров, Є. В., Микіч, Х. І.
Συνεισφορές: Національний університет “Львівська політехніка”
Θεματικοί όροι: ситуаційна обізнаність, формальна модель, фреймворк, алгебра систем, дескриптивна логіка, інтерпретовані системи, situation awareness, formal model, framework, Algebra of ystems, description logic, interpreted systems, 004.9
Θέμα γεωγραφικό: Львів
Περιγραφή αρχείου: 25-34; application/pdf; image/png
Relation: Вісник Національного університету «Львівська політехніка». Серія: Інформаційні системи та мережі, 872, 2017; 1. Endsley M. Theoretical underpinnings of situation awareness: a critical review Process More Data ≠ More Information / M. Endsley, R. Mica // Edited by Array. Most, Vol. 301, 2000. – P. 3–32.; 2. BeAware!-Situation awareness, the ontology-driven way / N. Baumgartner [and other] // Data and Knowledge Engineering, Vol. 69, 2010. – P. 1181–1193.; 3. Jousselme A. Interpreted Systems for Situation Analysis / Jousselme Anne Laure, Patrick Maupin // 10th International Conference on Information Fusion. – IEEE, 2007. – P. 1–11.; 4. Steinberg A. N. Revisions to the JDL Model / Steinber A. N., Bowman C. L., White F. E // Joint NATO/IRIS Conference Proceedings. – Quebec, 1998 and in Sensor Fusion: Architectures, Algorithms, and Applications, Proceedings of the SPIE, Vol. 3719, 1999. – Р. 430–441.; 5. Codd E. Relational Completeness of Data Base Sublanguages / E. F. Codd. – IBM corporation, Vol. 54, 1972. – Р. 65 – 98.; 6. Koo B. Algebra of Systems: A metalanguage for Model Synthesis and Evaluation / B. Koo, W.L. Simmons, E.F. Crawley // IEEE Transactions On 39.3, Systems, Man and Cybernetics, Part A:Systems and Humans, 2009. – Р. 501–513.; 7. Koo B. Meta-language for Systems Architecting / B. A. Koo // In Engineering Systems and Management Massachusetts Institute of Technology, 2005. – P. 168.; 8. Koo B. A valuation technology for product development option using an executable meta-modeling language in Complex Systems Concurrent Engineering / B. Koo, W. L. Simmons, E. F. Crawley // Collaboration, Technology Innovation and Sustainability. New York: Springer-Verlag, 2007. – Р. 107–115.; 9. Burris S. A Course in Universal Algebra / S. Burris, H. P. Sankappanavar. – New York: Springer-Verlag, 1981. – Р. 129–154.; 11. Devlin K. Situation theory and situation semantics / K. Delvin. – Handbook of the History of Logic, vol. 7, 2006. – Р. 601–664.; 12. White F. E. A Model for Data Fusion / F. E. White // Proc. 1st National Symposium on Sensor Fusion. – 1988. – Р. 153–158.; 1. Endsley M. Theoretical underpinnings of situation awareness: a critical review Process More Data ≠ More Information, M. Endsley, R. Mica, Edited by Array. Most, Vol. 301, 2000, P. 3–32.; 2. BeAware!-Situation awareness, the ontology-driven way, N. Baumgartner [and other], Data and Knowledge Engineering, Vol. 69, 2010, P. 1181–1193.; 3. Jousselme A. Interpreted Systems for Situation Analysis, Jousselme Anne Laure, Patrick Maupin, 10th International Conference on Information Fusion, IEEE, 2007, P. 1–11.; 4. Steinberg A. N. Revisions to the JDL Model, Steinber A. N., Bowman C. L., White F. E, Joint NATO/IRIS Conference Proceedings, Quebec, 1998 and in Sensor Fusion: Architectures, Algorithms, and Applications, Proceedings of the SPIE, Vol. 3719, 1999, R. 430–441.; 5. Codd E. Relational Completeness of Data Base Sublanguages, E. F. Codd, IBM corporation, Vol. 54, 1972, R. 65 – 98.; 6. Koo B. Algebra of Systems: A metalanguage for Model Synthesis and Evaluation, B. Koo, W.L. Simmons, E.F. Crawley, IEEE Transactions On 39.3, Systems, Man and Cybernetics, Part A:Systems and Humans, 2009, R. 501–513.; 7. Koo B. Meta-language for Systems Architecting, B. A. Koo, In Engineering Systems and Management Massachusetts Institute of Technology, 2005, P. 168.; 8. Koo B. A valuation technology for product development option using an executable meta-modeling language in Complex Systems Concurrent Engineering, B. Koo, W. L. Simmons, E. F. Crawley, Collaboration, Technology Innovation and Sustainability. New York: Springer-Verlag, 2007, R. 107–115.; 9. Burris S. A Course in Universal Algebra, S. Burris, H. P. Sankappanavar, New York: Springer-Verlag, 1981, R. 129–154.; 11. Devlin K. Situation theory and situation semantics, K. Delvin, Handbook of the History of Logic, vol. 7, 2006, R. 601–664.; 12. White F. E. A Model for Data Fusion, F. E. White, Proc. 1st National Symposium on Sensor Fusion, 1988, R. 153–158.; Буров Є. В. Формальна модель опрацювання знань у системах із ситуаційною обізнаністю / Є. В. Буров, Х. І. Микіч // Вісник Національного університету «Львівська політехніка». Серія: Інформаційні системи та мережі. — Львів : Видавництво Львівської політехніки, 2017. — № 872. — С. 25–34.; https://ena.lpnu.ua/handle/ntb/42965; Burov Ye. V. Formal model of knowledge processing in situational awareness systems / Ye. V. Burov, Kh. I. Mykich // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". Serie: Informatsiini systemy ta merezhi. — Lviv : Vydavnytstvo Lvivskoi politekhniky, 2017. — No 872. — P. 25–34.
Διαθεσιμότητα: https://ena.lpnu.ua/handle/ntb/42965
-
14Academic Journal
Συγγραφείς: Вялікова, О.О.
Θεματικοί όροι: креолізований віршований текст, шахопоезія, формальна модель, вербальні елементи, невербальні елементи, креолизованный стихотворный текст, шахопоэзия, формальная модель, вербальные элементы, невербальные элементы, the creolized verse text, chess poetry, formal model, verbal elements, nonverbal elements
Περιγραφή αρχείου: application/pdf
Διαθεσιμότητα: http://essuir.sumdu.edu.ua/handle/123456789/46179
-
15Academic Journal
Συγγραφείς: Вялікова, О. О.
Θεματικοί όροι: креолізований віршований текст, формальна модель, вербальний елемент, невербальний елемент, графічний стилістичний прийом, структура тексту, креолизованный стихотворный текст, формальная модель, вербальный элемент, невербальный елемент, графический стилистический приём, структура текста, creolised verse text, formal model, verbal element, nonverbal element, graphic stylistic device, text structure, 811.161.2
Περιγραφή αρχείου: application/pdf
Διαθεσιμότητα: http://enpuir.npu.edu.ua/handle/123456789/21560
-
16Academic Journal
Συγγραφείς: Макаренко, Олександр Іванович, Makarenko, Oleksandr, Макаренко, Александр Иванович, Кіщенко, Ольга Василівна, Kishchenko, Olga, Кищенко, Ольга Васильевна
Θεματικοί όροι: система електронного документообігу, система моніторингу, ризик, формальна модель, моніторинг, electronic document management system, monitoring system, risk, formal model, monitoring, система электронного документооборота, система мониторинга, риск, формальная модель, мониторинг, 519.7
Περιγραφή αρχείου: application/pdf
Relation: Макаренко О. І. Система моніторингу ризиків, які виникають у процесі експлуатації системи корпоративного електронного документообігу / Макаренко О. І., Кіщенко О. В. // Бізнес Інформ. – 2015. – № 4. – С. 83–88.; https://ir.kneu.edu.ua:443/handle/2010/31367
Διαθεσιμότητα: https://ir.kneu.edu.ua:443/handle/2010/31367
-
17Conference
Συγγραφείς: Гломозда, Дмитро, Глибовець, Микола
Θεματικοί όροι: формальна модель, функціонування колоборативного середовища
Περιγραφή αρχείου: application/pdf
Διαθεσιμότητα: https://ekmair.ukma.edu.ua/handle/123456789/1875
-
18Academic Journal
Συγγραφείς: Носов, Віталій, Nosov, Vitaliy, Носов, Виталий
Πηγή: Правове, нормативне та метрологічне забезпечення системи захисту інформації в Україні: науково-технічний збірник
Θεματικοί όροι: Системний підхід, інформаційна безпека, формальна модель, 004.056: 004.942
Περιγραφή αρχείου: С. 92-97; application/pdf
Relation: Носов, В. Системний підхід у забезпеченні інформаційної безпеки / Віталій Носов // Правове, нормативне та метрологічне забезпечення системи захисту інформації в Україні : науково-технічний збірник. – 2010. – Вип. 1(20). – С. 92-97. – Бібліогр.: 7 назв.; https://ela.kpi.ua/handle/123456789/9624
Διαθεσιμότητα: https://ela.kpi.ua/handle/123456789/9624
-
19Dissertation/ Thesis
Συγγραφείς: Ннамене, Крістофер Чізоба
Συνεισφορές: Лупенко, Сергій Анатолійович, Марценюк, Василь Петрович, Пастух, Олег Анатолійович, Мацюк, Олександр Васильович
Θεματικοί όροι: комп’ютерна онтологія, computer ontolog, онтологічне моделювання, ontological modeling, формальна модель онтології, formal ontology model, онтоорієнтована інформаційна система, onto-oriented information system, математичне моделювання, mathematical modeling, опрацювання сигналів, signal processing, циклічні сигнали, cyclic signals, 004.5, 614.2
Διαθεσιμότητα: http://elartu.tntu.edu.ua/handle/lib/36019
-
20Dissertation/ Thesis
Συγγραφείς: Богушевська, Наталія Володимирівна
Συνεισφορές: Томашевський Валентин Миколайович, Національний технічний університет України "Київський політехнічний інститут", інформатики та обчислювальної техніки
Θεματικοί όροι: сітьове дискретно-подійне імітаційне моделювання, системи масового обслуговування, формальна модель, діалогова нотація, кільцева мережа, маршрутизатор, мережі Петрі, сетевое дискретно-событийное имитационное моделирование, системы массового обслуживания, формальная модель, диалоговая нотация, кольцевая сеть, сети Петри, network discrete-event simulation, queuing system, formal model, a dialog notation, ring network, router, Petri nets
Περιγραφή αρχείου: application/pdf
Relation: Богушевська Н. В. Автоматизація синтезу сітьових дискретно-подійних імітаційних моделей : дис. . канд. техн. наук. : 05.13.06 – інформаційні технології / Н. В. Богушевська . - К., 2011. - 173 л. + CD-ROM; https://ela.kpi.ua/handle/123456789/730
Διαθεσιμότητα: https://ela.kpi.ua/handle/123456789/730