Search results for: programming
-
Adaptive dynamic control allocation for dynamic positioning of marine vessel based on backstepping method and sequential quadratic programming
PublicationIt is generally assumed in dynamic positioning of over-actuated marine vessels that the control effectiveness matrix (input matrix) is known and constant, or, in case of fault information, it is estimated by the fault detection and diagnosis system. The purpose of the study is to develop the adaptive dynamic positioning control system for an over-actuated marine vessel in the presence of uncertainties and with emphasis on limited...
-
Rust QA: question answering dataset for "The Rust Programming Language" in SQuAD 2.0 format
Open Research DataRust QA is a dataset for training and evaluating QA systems. The dataset consists of 1068 questions to "The Rust Programming Language" book (https://doc.rust-lang.org/stable/book/) with the answers provided as text spans from the book. The dataset is released in SQuAD 2.0 format.
-
Volume optimization of high-speed surface-mounted permanent magnet synchronous motor based on sequential quadratic programming technique and analytical solution
Publication -
Robust-adaptive dynamic programming-based time-delay control of autonomous ships under stochastic disturbances using an actor-critic learning algorithm
PublicationThis paper proposes a hybrid robust-adaptive learning-based control scheme based on Approximate Dynamic Programming (ADP) for the tracking control of autonomous ship maneuvering. We adopt a Time-Delay Control (TDC) approach, which is known as a simple, practical, model free and roughly robust strategy, combined with an Actor-Critic Approximate Dynamic Programming (ACADP) algorithm as an adaptive part in the proposed hybrid control...
-
Programming languages
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Object Programming
e-Learning Courses -
Object Programming 2023
e-Learning Courses -
2022 Programming ABC
e-Learning Courses -
2023 Programming ABC
e-Learning Courses -
Object Programming 2024
e-Learning Courses -
2024 Programming ABC
e-Learning Courses -
Programming languages 2021/22
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages 2022/23
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages 2023/24
e-Learning CoursesThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Objective Programming EMSS 2023
e-Learning CoursesTheory and practice on object oriented programmingSoftware programming paradigms including object oriented approachEncapsulation, inheritance, abstraction and polymorphism in C++ languageSpecific features of C++ obiect-orientationDynamic memory management in C++ languagePython as a scripting object oriented languageComparison of C++ and Python languages to Java and C#
-
Programming (ERASMUS) [2020/2021]
e-Learning CoursesKierunek: Matematyka (WFTiMS), I stopnia - licencjackie, stacjonarne, 2019/2020 - zimowy (obecnie sem. 2)
-
Programowanie Liniowe (Linear Programming)
e-Learning CoursesMateriały do przedmiotów: - Badania operacyjne (1/3), kier: informatyka mgr stac. rok. 1. sem. 1. - Operational research (1/3), kier: informatyka mgr stac. (ang) rok. 1. sem. 1. - Badania operacyjne (1/2), kier: informatyka mgr niestac. rok. 2. sem. 3.
-
Programming languages 24-25
e-Learning Courses -
Programming of GNSS applications [EMSS]
e-Learning CoursesThis course is designed for M.Sc. students of Space and Satellite Technologies, including Computer Science and Aerospace Technologies, within the specialty Engineering and Management of Space System [EMSS].
-
Programming of GNSS applications [EMSS]
e-Learning CoursesThis course is designed for M.Sc. students of Space and Satellite Technologies, including Computer Science and Aerospace Technologies, within the specialty Engineering and Management of Space System [EMSS].
-
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
Journals -
Bulletin of the South Ural State University Series-Mathematical Modelling Programming & Computer Software
Journals -
PRO DIALOG COMPUTER PROGRAMMING AND APPLICATIONS
Journals -
Electronic Systems Programming - Project 2021/22
e-Learning Courses -
Electronic Systems Programming - Project 2022/23
e-Learning Courses -
Electronic Systems Programming - Project 2023/24
e-Learning Courses -
[EMSS] Programming of GNSS applications 2023/24
e-Learning CoursesThis course is designed for M.Sc. students of Space and Satellite Technologies, including Computer Science and Aerospace Technologies, within the specialty Engineering and Management of Space System [EMSS].
-
Programowanie Systemów Wbudowanych (Embedded Systems Programming) 2022
e-Learning CoursesCelem przedmiotu jest zapoznanie studentów z budową i działaniem systemów operacyjnych oraz programów układowych i rozruchowych dla systemów wbudowanych, możliwościami ich modyfikacji dla poprawy wydajności oraz rozszerzenia funkcjonalności o nowe usługi i sterowniki.
-
Programowanie Systemów Wbudowanych (Embedded Systems Programming) 2024
e-Learning CoursesCelem przedmiotu jest zapoznanie studentów z budową i działaniem systemów operacyjnych oraz programów układowych i rozruchowych dla systemów wbudowanych, możliwościami ich modyfikacji dla poprawy wydajności oraz rozszerzenia funkcjonalności o nowe usługi i sterowniki.
-
Energy-Aware High-Performance Computing: Survey of State-of-the-Art Tools, Techniques, and Environments
PublicationThe paper presents state of the art of energy-aware high-performance computing (HPC), in particular identification and classification of approaches by system and device types, optimization metrics, and energy/power control methods. System types include single device, clusters, grids, and clouds while considered device types include CPUs, GPUs, multiprocessor, and hybrid systems. Optimization goals include various combinations of...
-
Badania operacyjne, Programowanie liniowe(Operations Reserach Linear Programming) 2021
e-Learning CoursesMateriały do przedmiotów: - Badania operacyjne (1/3), kier: informatyka mgr stac. rok. 1. sem. 1. - Operational research (1/3), kier: informatyka mgr stac. (ang) rok. 1. sem. 1.
-
Symposium on Programming Language Implementation and Logic Programming
Conferences -
Database Programming Languages (Databases and Programming Language)
Conferences -
Badania operacyjne, Programowanie liniowe(Operations Reserach Linear Programming) 2023 - summer
e-Learning CoursesMateriały do przedmiotów: - Badania operacyjne (1/3), kier: informatyka mgr stac. rok. 1. sem. 1. - Operational research (1/3), kier: informatyka mgr stac. (ang) rok. 1. sem. 1.
-
Badania operacyjne, Programowanie liniowe(Operations Reserach Linear Programming) 2022 - summer
e-Learning CoursesMateriały do przedmiotów: - Badania operacyjne (1/3), kier: informatyka mgr stac. rok. 1. sem. 1. - Operational research (1/3), kier: informatyka mgr stac. (ang) rok. 1. sem. 1.
-
Badania operacyjne, Programowanie liniowe(Operations Research, Linear Programming) 2024 - summer
e-Learning CoursesMateriały do przedmiotów: - Badania operacyjne (1/3), kier: informatyka mgr stac. rok. 1. sem. 1. - Operational research (1/3), kier: informatyka mgr stac. (ang) rok. 1. sem. 1.
-
European Symposium on Programming
Conferences -
Inductive Logic Programming
Conferences -
Constraint Programming Day
Conferences -
Benchmarking Performance of a Hybrid Intel Xeon/Xeon Phi System for Parallel Computation of Similarity Measures Between Large Vectors
PublicationThe paper deals with parallelization of computing similarity measures between large vectors. Such computations are important components within many applications and consequently are of high importance. Rather than focusing on optimization of the algorithm itself, assuming specific measures, the paper assumes a general scheme for finding similarity measures for all pairs of vectors and investigates optimizations for scalability...
-
Functional and Declarative Programming in Education
Conferences -
International Conference on Logic Programming
Conferences -
International Logic Programming Symposium
Conferences -
International Conference on Functional Programming
Conferences -
Logic Programming and Automated Reasoning
Conferences -
Programming Language Techniques for XML
Conferences -
Principles and Practice of Parallel Programming
Conferences -
Annual Conference on Evolutionary Programming
Conferences -
European Conference on Genetic Programming
Conferences -
Workshop on Component-Oriented Programming
Conferences