Bald neuer Katalog: sichern Sie sich schon vorab Ihre persönlichen Merklisten im Nutzerkonto: Anleitung.

Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service

"Artikel & mehr" berücksichtigt nur einen Teil der für die Bibliothek der Frankfurt UAS verfügbaren Datenbanken. Zur Übersicht in DBIS

Ergebnis verändern

einschränken: Volltextzugriff; Academic (peer-reviewed) journals
erweitern: Auch Volltexte der Artikel durchsuchen; Verwandte Themen suchen

Publikationstyp

Thema

erschienen in

Verlag

Geographic terms

Sprache

Datenbank

Erscheinungsjahr

Von:

Bis:

Treffer 1 - 25 von 27244, Suchdauer: 1.45s

12 3 4 5 6 7 8 9 10 11 weiter »

1
Методи та засоби створення інтелектуальних сервіс-орієнтованих інформаційних систем у середовищі Semantic Web / За ред.П.І.Андона

von Institute of Software Systems

Schlagworte: Semantic Web; intelligent systems; ontological analysis; web services
- View full text via BASE
Merkliste

2
Розроблення методів та засобів створення інтелектуальних інформаційних систем для роботи з великими даними на основі семантичних технологій / За ред. П.І.Андона

von Institute of Software systems
- View full text via BASE
Merkliste

3
Звіт про науково-дослідну роботу 'Створення програмної системи контролю, симуляції та візуалізації кооперативної поведінки рою безпілотних літальних апаратів', 2-1-24 ІПС/2024 1230 ЦП, (заключний), № держреєстрації 0124U000022т. Київ: Інститут програмних систем НАН України, 2024. 57 с.

von Doroshenko, Anatoliy ; Zhora, Dmitry ; Rahozin, Dmytro ; et al.

Schlagworte: БПЛА; ІНФОРМАЦІЙНО-АНАЛІТИЧНА ДІЯЛЬНІСТЬ; МАШИННЕ НАВЧАННЯ; НЕЙРОЕВОЛЮЦІЯ; НЕЙРОМЕРЕЖЕВІ ТЕХНОЛОГІЇ; СЕНСОРИ; РОЗПІЗНАВАННЯ ОБРАЗІВ; РОЙОВИЙ ШТУЧНИЙ ІНТЕЛЕКТ; МІКРОІНТЕЛЕКТУАЛЬНІ АГЕНТИ
- View full text via BASE
Merkliste

4
Звіт про виконання робіт за проєктами Програми інформатизації НАН України на 2024 рік «Модернізація Цифрової системи управління нерухомим майном НАН України (ЦС 'Майно')», 2-4-24 ПІ-24, № держреєстрації 0124U002563. Київ:Інститут програмних систем НАН України, 2024. 90 с.

von Fedorenko, Ruslan ; Shevchenko, Viktor ; Ignatenko, Petro ; et al.
- View full text via BASE
Merkliste

5
Звіт про науково-технічну роботу «Впровадження у промислову експлуатацію ХАРВЕСТЕРА ВІДКРИТИХ ПУБЛІКАЦІЙ НАН УКРАЇНИ як елемента інфраструктури відкритої науки в НАН України» Цільового науково-технічного проєкту НАН України «Створення й впровадження інфраструктури відкритої науки в НАН України (OPENS)» на 2023–2024 роки В.К.145.45.24,: II-2-24 ЦП, (остаточний), № держреєстарації 0124U001898. Київ:Інститут програмних систем НАН України, 2024. 50 с.

von Andon, Philipp ; Reznichenko, Valery ; Novytskyi, Oleksandr ; et al.

Schlagworte: ВІДКРИТА НАУКА; ІНФОРМАЦІЙНА СИСТЕМА; ЕЛЕКТРОННА БІБЛІОТЕКА; ПЕРІОДИЧНЕ ВИДАННЯ; ІНТЕГРАЦІЯ ІНФОРМАЦІЙНИХ РЕСУРСІВ; АГРЕГАТОР МЕТАДАНИХ
- View full text via BASE
Merkliste

6
ЗВІТ ПРО НАУКОВО-ДОСЛІДНУ РОБОТУ 'РОЗРОБКА ІНСТРУМЕНТАРІЮ ДЛЯ АВТОМАТИЗАЦІЇ ПРОЕКТУВАННЯ ТА ОПТИМІЗАЦІЇ ШВИДКОДІЇ ВИСОКОПРОДУКТИВНИХ РЕСУРСОЄМНИХ ПРОГРАМ ДЛЯ МУЛЬТИПРОЦЕСОРНИХ ПЛАТФОРМ', III-8-22, (заключний), № держреєстрації 0122U002283. Київ: Інститут програмних систем НАН України, 2024. 89 с.

von Doroshenko, Anatoliy ; Rahozin, Dmytro ; Yatsenko, Olena ; et al.

Schlagworte: АВТОМАТИЗАЦІЯ ПРОЕКТУВАННЯ ТА ПРОГРАМУВАННЯ ПРОГРАМ; БАГАТОЯДЕРНІ ПРОЦЕСОРИ; ВИСОКОПРОДУКТИВНІ ОБЧИСЛЕННЯ; ГРАФІЧНІ ПРИСКОРЮВАЧІ; ОПТИМІЗАЦІЯ ПРОГРАМ; ФОРМАЛЬНІ МЕТОДИ ПРОЕКТУВАННЯ І ПРОГРАМУВАННЯ
- View full text via BASE
Merkliste

7
A Versatile Adaptive Curriculum Learning Framework for Task-oriented Dialogue Policy Learning

von Zhao, Yangyang ; Qin, Hua ; Zhenyu, Wang ; et al.
- View full text via BASE
Merkliste

8
VALSE: A Task-independent benchmark for Vision and Language models centered on linguistic phenomena

von Parcalabescu, L ; Cafagna, M ; Muradjan, L ; et al.
- View full text via BASE
Merkliste

9
Анотований звіт про науково-дослідну роботу 'Розробка методів, технологій та засобів автоматизації паралельного програмування із використанням методів обчислювального інтелекту', 3-1-22 (проміжний), № держреєстрації 0117u000734. Київ: Інститут програмних систем НАН України, 2024. 13 с.

von Doroshenko, Anatoliy ; Yatsenko, Olena ; Beketov, Oleksii ; et al.

Schlagworte: автотюнінг; високопродуктивні обчислення; генерація програм; генетичні алгоритми; графічні прискорювачі; обчислювальний інтелект; формальні методи програмування
- View full text via BASE
Merkliste

10
Звіт про виконання робіт за проектами програми інформатизації НАН України на 2023 рік «Створення резервного сегменту інформаційної інфраструктури НАН України» шифр 2-1-23 ПІ, № держреєстрації 0123U102003. Київ: Інститут програмних систем НАН України, 2023. 25 с.

von Shevchenko, Viktor ; Fedorenko, Ruslan ; Suskyi, Heorhii ; et al.

Schlagworte: інформаційна інфраструктура; веб-портал; інформаційнокомунікаційна система; інформаційна безпека; відмово- та катастрофостійкість
- View full text via BASE
Merkliste

11
Звіт про виконання робіт за проектами програми інформатизації нан україни на 2023 рік «Розроблення та впровадження програмних технологій забезпечення функціонування Центру моніторингу інформаційної інфраструктури НАН України», шифр 2-2-23 ПІ, № держреєстрації 0123U102004. Інститут програмних систем НАН України, 2023. 22 с.

von Shevchenko, Viktor ; Fedorenko, Ruslan ; Institute of Software Systems ; et al.

Schlagworte: інформаційна інфраструктура; веб-портал; інформаційнокомунікаційна система; інформаційна безпека; відмово- та катастрофостійкість
- View full text via BASE
Merkliste

12
Звіт про науково-дослідну роботу 'Розробка інструментарію для автоматизації проектування та оптимізації швидкодії високопродуктивних ресурсоємних програм для мультипроцесорних платформ', III-8-22 (проміжний), № держреєстрації 0122U002283. Київ: Інститут програмних систем НАН України, 2023. 53 с.

von Doroshenko, Anatoliy ; Yatsenko, Olena ; Rahozin, Dmytro ; et al.

Schlagworte: автоматизація проектування та програмування програм; багатоядерні процесори; високопродуктивні обчислення; графічні прискорювачі; оптимізація програм; формальні методи проектування і програмування
- View full text via BASE
Merkliste

13
Звіт про науково-дослідну роботу 'Розробка методів, технологій та засобів автоматизації паралельного програмування із використанням методів обчислювального інтелекту', III-1-22 (проміжний), № держреєстрації 0122U002282. Київ: Інститут програмних систем НАН України, 2023. 48 с.

von Doroshenko, Anatoliy ; Yatsenko, Olena ; Beketov, Oleksii ; et al.

Schlagworte: автотюнінг; високопродуктивні обчислення; генерація програм; генетичні алгоритми; графічні прискорювачі; обчислювальний інтелект; формальні методи програмування
- View full text via BASE
Merkliste

14
Implementation method of mappings between the descriptive logic and the binary relational data model by RDF

von Inna Chystiakova ; Institute of software systems

Глобальні та регіональні проблеми інформатизації в суспільстві і природокористуванні; ГЛОБАЛЬНІ ТА РЕГІОНАЛЬНІ ПРОБЛЕМИ ІНФОРМАТИЗАЦІЇ В СУСПІЛЬСТВІ І ПРИРОДОКОРИСТУВАННІ ’2021

Schlagworte: Computer Science; Mapping; RDF; OWL2; DL; ALC; RDM; R2RML; 004.6; OWL2: DL
- View full text via BASE
Merkliste

15
The diagnosing behaviour of intelligent tutoring systems

von van der Bent, Renate ; Jeuring, J.T. ; Heeren, B.J. ; et al.

Schlagworte: Intelligent Tutoring Systems; Diagnosis; Feedback; Taverne
- View full text via BASE
Merkliste

16
How teachers would help students to improve their code

von Keuning, H.W. ; Heeren, B.J. ; Jeuring, J.T. ; et al.

Schlagworte: Programming education; code quality; refactoring; Taverne
- View full text via BASE
Merkliste

17
Звіт за проєктом №803-22 програми інформатизації НАН України на 2022 рік «Розроблення та впровадження системи управління господарськомайновим комплексом НАН України» шифр II-3-22 (проміжний), № держреєстрації 0122U200139. Київ: Інститут програмних систем НАН України, 2022. 47 с.

von Shevchenko, Viktor ; Fedorenko, Ruslan ; Ignatenko, Petro ; et al.

Schlagworte: інформаційно-аналітична система; адміністратор; хмарна інфраструктура НАН України
- View full text via BASE
Merkliste

18
Звіт про науково-дослідну роботу 'Розробка методів, технологій та засобів автоматизації паралельного програмування із використанням методів обчислювального інтелекту' III-1-22 (проміжний), № держреєстрації 0122U002282. Київ: Інститут програмних систем НАН України, 2022. 44 с.

von Doroshenko, Anatoliy ; Yatsenko, Olena ; Beketov, Oleksii ; et al.

Schlagworte: автотюнінг; високопродуктивні обчислення; генерація програм; генетичні алгоритми; графічні прискорювачі; обчислювальний інтелект; формальні методи програмування
- View full text via BASE
Merkliste

19
Звіт про науково-дослідну роботу 'Розробка засобів машинного навчання для коригування чисельного прогнозу приземних метеорологічних величин для різних регіонів України на основі використання суперкомп'ютерних технологій', II-9-21 ЦП (заключний), № держреєстрації 0121U111181. Київ: Інститут програмних систем НАН України, 2022. 35 с.

von Doroshenko, Anatoliy ; Yatsenko, Olena ; Shpyg, Vitalii ; et al.

Schlagworte: нейронні мережі; високопродуктивні обчислення; моделі циркуляції атмосфери; регіональне метеорологічне прогнозування; формальні методи програмування
- View full text via BASE
Merkliste

20
Звіт про науково-дослідну роботу 'Розробка інструментарію для автоматизації проектування та оптимізації швидкодії високопродуктивних ресурсоємних програм для мультипроцесорних платформ' III-8-22 (проміжний), № держреєстрації 0122U002283. Київ: Інститут програмних систем НАН України, 2022. 57 с.

von Doroshenko, Anatoliy ; Yatsenko, Olena ; Rahozin, Dmytro ; et al.

Schlagworte: автоматизація проектування та програмування програм; багатоядерні процесори; високопродуктивні обчислення; графічні прискорювачі; оптимізація програм; формальні методи проектування і програмування
- View full text via BASE
Merkliste

21
Providing hints, next steps and feedback in a tutoring system for structural induction

von Lodder, J. ; Heeren, B.J. ; Jeuring, J.T. ; et al.
- View full text via BASE
Merkliste

22
Automated Testing of Computer Games Using an Agent-Based Approach

von Shirzadehhajimahmood, Samira ; Afd Information & Software Systems begr. ; Keller, Gabriele ; et al.

Schlagworte: Geautomatiseerd testen van computerspellen; Robuust geautomatiseerd testen; Geautomatiseerd speltesten; Modelgebaseerd speltesten; Agentgebaseerd testen; Agentgebaseerd speltesten; Scenariogebaseerd speltesten; Multi-agent testen; Automated testing of computer games; robust automated testing; automated game testing; model-based game testing; agent-based testing; agent-based game testing; scenario-based gametesting; multi-agent testing
- View full text via BASE
Merkliste

23
Generating hints and feedback for Hilbert-style axiomatic proofs

von Lodder, Josje ; Heeren, B.J. ; Jeuring, J.T. ; et al.

Schlagworte: propositional logic; axiomatic proofs; Hilbert axiom system; feedback; hints; intelligent tutoring; e-learning; Taverne
- View full text via BASE
Merkliste

24
An extensible domain-specific language for describing problem-solving procedures

von Heeren, B.J. ; Jeuring, J.T. ; Sub Softw.Techn. for Learning and Teach. ; et al.

Schlagworte: Taverne
- View full text via BASE
Merkliste

25
Code quality issues in student programs

von Keuning, H.W. ; Heeren, B.J. ; Jeuring, J.T. ; et al.

Schlagworte: code quality; programming education
- View full text via BASE
Merkliste

12 3 4 5 6 7 8 9 10 11 weiter »

Sie haben nicht gefunden, wonach Sie gesucht haben? Diese Services können Ihnen weiterhelfen.
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag