Filters
total: 2377
-
Catalog
displaying 1000 best results Help
Search results for: GENERIC PROGRAMMING
-
International Workshop on Functional and Constraint Logic Programming
Conferences -
International Conference on Principles and Practice of Declarative Programming
Conferences -
IEEE Conference on Open Architecture and Network Programming
Conferences -
ACM-SIGACT Symposium on Principles of Programming Languages
Conferences -
An facile Fortran-95 algorithm to simulate complex instabilities in three-dimensional hyperbolic systems
Open Research DataIt is well know that the simulation of fractional systems is a difficult task from all points of view. In particular, the computer implementation of numerical algorithms to simulate fractional systems of partial differential equations in three dimensions is a hard task which has no been solved satisfactorily. Here, we provide a Fortran-95 code to solve...
-
INTEGRATED FUNCTIONAL SAFETY AND CYBERSECURITY ANALYSIS METHOD FOR SMART MANUFACTURING SYSTEMS
PublicationThis article addresses integrated functional safety and cybersecurity analysis with regard to: the generic functional safety standard IEC 61508 and the cyber security standard IEC 62443 concerning an industrial automation and control system (IACS). The objective is to mitigate the vulnerability of information technology (IT) and operational technology (OT) systems, and reduce relevant risks taking into account a set of fundamental...
-
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 -
Stereoscopy in Graphics APIs for CAVE Applications
PublicationThe paper compares the advantages and disadvantages of a variety of Graphics Application Programming Interfaces (APIs) from the perspective of obtaining stereoscopy in applications written for a CAVE virtual reality environment. A number of problems have been diagnosed and an attempt has been made to solve them using OpenGL, DirectX 11 and 12, Vulkan, as well as the Unity Engine which can internally use DirectX, OpenGL and Vulkan,...
-
[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].
-
Employing Blended E-Learning to Improve Rate of Assignments Handing-In
PublicationIt has been observed that students hand in homework assignments at a notably low rate in introductory C programming course. A survey has revealed that the real issue was not student learning but instructor work organization. Based on survey results, the physical course has been complemented with an e-learning component to guide the homework process. Assignment handing-in rate significantly improved, as e-learning allowed the homework...
-
Towards an efficient multi-stage Riemann solver for nuclear physics simulations
PublicationRelativistic numerical hydrodynamics is an important tool in high energy nuclear science. However, such simulations are extremely demanding in terms of computing power. This paper focuses on improving the speed of solving the Riemann problem with the MUSTA-FORCE algorithm by employing the CUDA parallel programming model. We also propose a new approach to 3D finite difference algorithms, which employ a GPU that uses surface memory....
-
Equitable coloring of hypergraphs
PublicationA hypergraph is equitablyk-colorable if its vertices can be partitioned into k sets/colorclasses in such a way that monochromatic edges are avoided and the number of verticesin any two color classes differs by at most one. We prove that the problem of equitable 2-coloring of hypergraphs is NP-complete even for 3-uniform hyperstars. Finally, we apply the method of dynamic programming for designing a polynomial-time algorithm to...
-
Robotic manipulators, Lab, MiBM, st. I, sem.6 (PG_00053663) 03.2022 Fri
e-Learning CoursesThe course Manipulators and Industrial Robots (laboratory) is for students of the 6th semester of a full-time bachelor's degree studies of Mechatronics. The course includes laboratory classes in the field of industrial manipulators - their construction, features, components, control, and modular robots - their programming and models.
-
Robotic manipulators, Lab, MiBM, st. I, sem.6 (PG_00053663) 03.2023
e-Learning CoursesThe course Manipulators and Industrial Robots (laboratory) is for students of the 6th semester of a full-time bachelor's degree studies of Mechatronics. The course includes laboratory classes in the field of industrial manipulators - their construction, features, components, control, and modular robots - their programming and models.
-
Robotic manipulators, Lab, MiBM, st. I, sem.6 (PG_00053663) 03.2024 kopia 1
e-Learning CoursesThe course Manipulators and Industrial Robots (laboratory) is for students of the 6th semester of a full-time bachelor's degree studies of Mechatronics. The course includes laboratory classes in the field of industrial manipulators - their construction, features, components, control, and modular robots - their programming and models.
-
Robotic manipulators, Lab, MiBM, st. I, sem.6 (PG_00053663) 03.2024
e-Learning CoursesThe course Manipulators and Industrial Robots (laboratory) is for students of the 6th semester of a full-time bachelor's degree studies of Mechatronics. The course includes laboratory classes in the field of industrial manipulators - their construction, features, components, control, and modular robots - their programming and models.
-
Krzysztof Cwalina dr inż.
PeopleKrzysztof Kamil Cwalina w 2013 r. uzyskał tytuł inżyniera na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej; w 2014 r. uzyskał tytuł magistra inżyniera, a w 2017 r. otrzymał stopień doktora nauk technicznych w dyscyplinie: telekomunikacja, także na WETI PG. Aktualnie pracuje na stanowisku adiunkta w Katedrze Systemów i Sieci Radiokomunikacyjnych Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki...
-
Jerzy Proficz dr hab. inż.
PeopleJerzy Proficz, Ph.D. is the director of the Centre of Informatics – Tricity Academic Supercomputer & networK (CI TASK) at Gdansk University of Technology, Poland. He earned his Ph.D. (2012) in HPC (High Performance Computing) in the subject of supercomputer resource provisioning and management for on-line data processing D.Sc. (2022) in the discipline: Information and Communication Technology. Author and co-author of over 50...
-
IEEE Symposium on Visual Languages and Human-Centric Computing (was VL)
Conferences -
Towards detecting programmers’ stress on the basis of keystroke dynamics
PublicationThe article describes the idea of detecting stress among programmers on the basis of keystroke dynamics. An experiment with a group of students of artificial intelligence classes was performed. Two samples of keystroke data were recorded for each case, the first while programming without stress, the second under time pressure. A number of timing and frequency parameters were calculated for each sample. Then statistical analysis...
-
Rehabilitation device supporting active and passive upper limb exercises
PublicationThis article presents a mechatronic solution for rehabilitation devices supporting active and passive exercises in persons with motor dysfunctions of the upper limbs in the area of the elbow and shoulder joints. A planar positioner integrated with original software and a control system, served as the basis for creating the present solution. Bellman’s programming method was applied to optimize the motion trajectory of the planar...
-
Compensation of supply current harmonics, reactive power, and unbalanced load current balance in the closed-loop control of a shunt active power filter
PublicationThis paper presents the compensation tasks performed by a shunt active power filter, including compensation of harmonic currents, reactive power, and an unbalanced load current. The paper demonstrates novel control of the shunt active power filter in a closed-loop system. The control algorithm was verified by performing simulations and compared the simulated results with those obtained in an open-loop control system. All simulations...
-
Robotics, Lab, MiBM, st. II, sem.1 (PG_00057380) 03.2022 Thu
e-Learning CoursesThe course Robotics (laboratory) is for students of the 1st semester of a full-time Master degree studies of Machine Design. The course includes laboratory classes in the field of industrial manipulators - their construction, features, components, control, and modular robots - their programming and models.
-
Yade-open DEM: an open-source software using a discrete element methodto simulate granular material
PublicationPurpose - YADE-OPEN DEM is an open source software based on the Discrete Element Method which uses object oriented programming techniques. The paper describes the softwarearchitecture.Design/methodology/approach - The DEM chosen uses position, orientation, velocity and angular velocity as independent variables of simulated particles which are subject to explicit leapfrog time-integration scheme (Lagrangian method). The three-dimensional...
-
The generalized Suzuki model of the multipath fading channel
Open Research DataThe dataset contains the results of simulations that are part of the research on modelling the multipath fading in the communication channel. The generalized Suzuki fading envelope is generated using the Monte-Carlo simulation (MCS) in the LabVIEW programming environment.
-
Jarosław Bąkowski dr inż. arch.
Peopledr inż. Jarosław Bąkowski, assistant professor in the Department of Marine and Industrial Architecture, Faculty of Architecture, Gdansk University of Technology.The subject of his interest is the programming and designing methodology of functionally complex buildings (especially the healthcare architecture buildings, mainly hospitals). He conducts research on optimization of the design process for functional and utility analysis....
-
Deep Learning Optimization for Edge Devices: Analysis of Training Quantization Parameters
PublicationThis paper focuses on convolution neural network quantization problem. The quantization has a distinct stage of data conversion from floating-point into integer-point numbers. In general, the process of quantization is associated with the reduction of the matrix dimension via limited precision of the numbers. However, the training and inference stages of deep learning neural network are limited by the space of the memory and a...
-
Review of Diameter protocol implementations for realization of communication in NGN networks
PublicationIn the paper Diameter protocol as well as its applications in the context of Next Generation Network (NGN) are described. Diameter message content and Attribute-Value Pairs (AVPs) concept are presented. Critical review of open source Diameter implementations is carried out. The performed analysis takes into consideration programming language, availability, support and documentation aspects. Basing on the review project fulfilling...
-
The evaluation of eGlasses eye tracking module as an extension for Scratch
PublicationIn this paper we present the possibility of using eGlasses eye tracking module as an extension for Scratch programming tool which is a visual programming language supporting computer skills learning. The main concept behind this project is to setup the interface for rapid interaction design. Eye tracking is a powerful tool for hands free communication but for that requires a dedicated software. This software is rarely tailored...
-
General building technology III
e-Learning Courses -
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.
-
International French Speaking Conference on Logic and Constraint Programming
Conferences -
Joint Conference on Declarative Programming APPIA-GULP-PRODE
Conferences -
International Conference on Logic Programming and Non-monotonic Reasoning
Conferences -
ACM-SIGPLAN Conference on Programming Language Design and Implementation
Conferences -
International workshop on High-Level Parallel Programming and Applications
Conferences -
Graph Decomposition for Memoryless Periodic Exploration
PublicationWe consider a general framework in which a memoryless robot periodically explores all the nodes of a connected anonymous graph by following local information available at each vertex. For each vertex v, the endpoints of all edges adjacent to v are assigned unique labels within the range 1 to deg (v) (the degree of v). The generic exploration strategy is implemented using a right-hand-rule transition function: after entering vertex...
-
Improving flexibility and performance of PVM applications by distributed partial evaluation
PublicationA new framework for developing both flexible and efficient PVM applications is described. We propose Architecture Templates Interface (ATI) that allows to control application granularity and parallelism. To ensure high application efficiency we extend partial evaluation strategy into domain of distributed applications obtaining Distributed Partial Evaluation (DPE). Both ATI and DPE were implemented using a new distributed programming...
-
MaliciousIDE – software development environment that evokes emotions
PublicationEmotions affect every aspect of human live, including work. Numerous studies in software engineering have shown that negative emotions can lower the productivity of programmers. Unlike traditional approaches to managing software development, modern methods, such as Agile and Lean, take into account human aspects of programming. To thoroughly investigate the impact of negative emotions on the work of programmers, a malicious integrated...
-
Optymalizacja zasobów chmury obliczeniowej z wykorzystaniem inteligentnych agentów w zdalnym nauczaniu
PublicationRozprawa dotyczy optymalizacji zasobów chmury obliczeniowej, w której zastosowano inteligentne agenty w zdalnym nauczaniu. Zagadnienie jest istotne w edukacji, gdzie wykorzystuje się nowoczesne technologie, takie jak Internet Rzeczy, rozszerzoną i wirtualną rzeczywistość oraz deep learning w środowisku chmury obliczeniowej. Zagadnienie jest istotne również w sytuacji, gdy pandemia wymusza stosowanie zdalnego nauczania na dużą skalę...
-
The Weibull model of the multipath fading channel
Open Research DataThe dataset contains the results of simulations that are part of the research on modelling the multipath fading in the communication channel. The Weibull fading envelope is generated using the Monte-Carlo simulation (MCS) in the LabVIEW programming environment.
-
Szybka identyfikacja harmonicznych na podstawie oszczędnego próbkowania
PublicationW pracy przedstawiono implementację szybkiego algorytmu rekonstrukcji sygnału, opartego na teorii oszczędnego próbkowania, który może wykrywać harmoniczne w sygnale wejściowym. Zagadnienie rekonstrukcji sygnału jest problemem optymalizacyjnym rozwiązywanym za pomocą algorytmu programowania liniowego. Dodatkowo, aby przyspieszyć zbieżność rozwiązania zastosowano w rzadkiej dziedzinie sygnału filtr typu K-rank-order. Przeprowadzona...
-
Terminal charging scheduling of battery electric buses based on vehicle routing problem
PublicationElectric buses are considered to be a viable solution for reducing emission in dense urban areas. However, the greater charging time is a huge challenge for operators. In this paper, charging scheduling method was elaborated based on vehicle routing problem using mixed-integer linear programming model. The main novelty of the paper is the combination of modelling aspect, namely flexible turn sequence and heterogeneous shared charging...
-
Neurocontrolled Car Speed System
PublicationThe features of the synthesis of neural controllers for the car speed control system are considered in this article. The task of synthesis is to determine the weight coefficients of neural networks that provide the implementation of proportional and proportional-integralderivative control laws. The synthesis of controllers is based on an approach that uses a reversed model of the standard. A model of the car speed control system with...
-
Emulsifi ers from renewable materials: an eco-friendly synthesis and properties
PublicationThe focus of this study was the preparation of novel bio based polyglycerol emulsifiers characterized by a one pot synthesis, thus by modified properties with respect to interfacial activity and effectiveness as emulsion stabilizers. The final products of the esterification process, carried out in the presence of carboxylates were used directly as emulsifiers (without purification or fractionation). Polyglycerol emulsifiers obtained...
-
Analysing By-Products Interaction as an Industry Resource of Circular Economy in Ukraine and the World
PublicationThe paper analyses existing and current scientific developments and literature sources, which show the advantages and disadvantages of many different influences of waste in Ukraine and other countries of Europe and the world. As a research result, stable connections have been established between the factors and criteria in assessing the by-product interaction as an industry resource. In our research, we used programs R.Studio and...
-
Współczesne metody zapewniania jakości oprogramowania. Od klasyki do zwinności
PublicationKsiążka opisuje problematykę jakości w kontekście metod wytwarzania oprogramowania. Składa się z 22 rozdziałów podzielonych na 6 części: Znaczenie jakości oprogramowania, Podstawowe pojęcia i problemy jakości, Jakość w ujęciu klasycznym, Pomiary jakości, Dokumentacja i normy jakości procesu, Jakość w podejściu zwinnym. Zebrany materiał pokazuje ewolucję podejścia do jakości w klasycznych metodykach wytwarzania (od modelu kaskadowego...