Search results for: Programming

• MATHEMATICAL PROGRAMMING

  Journals

  ISSN: 0025-5610 , eISSN: 1436-4646

• Programming Geometry as a Creative Play with Architectural Form

  Publication

  • M. Helenowska-Peschke

  - Czasopismo Techniczne - Year 2015

  In the twenty-first century "programming" is the key word that opens unprecedented opportunities for design and materialization of geometrically complex architectural objects. From the digital designer perspective programming geometry can be seen as a creative play with a form and a process of generation/exploration as well as the possibility of applying the computing power as a co-designer in the process of finding solutions for...

  Full text available to download

• Testing for conformance of parallel programming pattern languages

  Publication

  • Ł. Garstecki
  • P. Kaczmarek
  • J. C. D. Kergommeaux
  • H. Krawczyk
  • B. Wiszniewski

  - LECTURE NOTES IN COMPUTER SCIENCE - Year 2002

  This paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.

• Realization, programming and controlling of the Stewart-Gough platform

  Publication

  • D. Owoc
  • K. Ludwiczak
  • R. Piotrowski

  - Journal of Automation, Mobile Robotics and Intelligent Systems - JAMRIS - Year 2020

  This paper presents realizaon, programming, and controlling of a low cost Stewart-Gough plaorm (SGP) with rotary actuators. The realized SGP is applied in a ball & plate control system. Developed dedicated software consists of embedded and applicaon soware for both the SGP posioning system and the ball & plate control. system. A ball posion is being obtained using computer vision. The paper contains tests results for both an SGP...

  Full text available to download

• Properties of dimension witnesses and their semidefinite programming relaxations

  Publication

  • P. A. Mironowicz
  • H. Li
  • M. Pawłowski

  - PHYSICAL REVIEW A - Year 2014

  In this paper we develop a method for investigating semi-device-independent randomness expansion protocols that was introduced in Li et al. [H.-W. Li, P. Mironowicz, M. Pawłowski, Z.-Q. Yin, Y.-C. Wu, S. Wang, W. Chen, H.-G. Hu, G.-C. Guo, and Z.-F. Han, Phys. Rev. A 87, 020302(R) (2013)]. This method allows us to lower bound, with semi-definite programming, the randomness obtained from random number generators based on dimension...

  Full text available to download

• ARCHITECTURAL PROGRAMMING FOR BALANCED LOCAL URBAN CENTERS

  Publication

  • R. BARELKOWSKI

  - Year 2019

  Full text to download in external service

• Parallel Programming for Modern High Performance Computing Systems

  Publication

  • P. Czarnul

  - Year 2018

  In view of the growing presence and popularity of multicore and manycore processors, accelerators, and coprocessors, as well as clusters using such computing devices, the development of efficient parallel applications has become a key challenge to be able to exploit the performance of such systems. This book covers the scope of parallel programming for modern high performance computing systems. It first discusses selected and...

  Full text to download in external service

• Genetic Programming for Workload Balancing in the Comcute Grid System

  Publication

  • J. Balicki
  • W. Korłub
  • J. Paluszak
  • A. Zacniewski

  - Year 2012

  A genetic programming paradigm is implemented for reliability optimization in the Comcute grid system design. Chromosomes are generated as the program functions and then genetic operators are applied for finding Pareto-suboptimal task assignment and scheduling. Results are compared with outcomes obtained by an adaptive evolutionary algorithm.

• Quadratic programming approach to coupled resonator filter cad

  Publication

  • P. Kozakowski
  • M. Mrozowski

  - IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES - Year 2006

  Artykuł prezentuje technikę komputerowego wspomagania procesu projektowania filtrów zbliżeniowych. Polega ona na sformułowaniu macierzy sprzężeń jako problemu programowania kwadratowego (QP). Dzięki zdefiniowaniu procedury optymalizacyjnej jako problemu QP, przy założeniu liniowej zależności współczynników sprzężeń od wymiarów geometrycznych struktury, uzyskano znaczącą redukcję liczby pełnofalowych symulacji prowadzących do uzyskania...

  Full text to download in external service

• Multi-Objective Portfolio Optimization by Mixed Integer Programming

  Publication

  • B. Sawik

  - SSRN Electronic Journal - Year 2011

  Full text to download in external service

• BIOINFO Genetic Programming

  Journals

  ISSN: 2249-4006

• Mathematical Programming Computation

  Journals

  ISSN: 1867-2949 , eISSN: 1867-2957

• JOURNAL OF FUNCTIONAL PROGRAMMING

  Journals

  ISSN: 0956-7968 , eISSN: 1469-7653

• SCIENCE OF COMPUTER PROGRAMMING

  Journals

  ISSN: 0167-6423 , eISSN: 1872-7964

• PROGRAMMING AND COMPUTER SOFTWARE

  Journals

  ISSN: 0361-7688 , eISSN: 1608-3261

• Genetic Programming for Interaction Efficient Supporting in Volunteer Computing Systems

  Publication

  • J. Balicki
  • W. Korłub
  • H. Krawczyk
  • J. Paluszak

  - Year 2014

  Volunteer computing systems provide a middleware for interaction between project owners and great number volunteers. In this chapter, a genetic programming paradigm has been proposed to a multi-objective scheduler design for efficient using some resources of volunteer computers via the web. In a studied problem, genetic scheduler can optimize both a workload of a bottleneck computer and cost of system. Genetic programming has been...

  Full text to download in external service

• Genetic Programming with Negative Selection for Volunteer Computing System Optimization

  Publication

  • J. Balicki
  • W. Korłub
  • H. Krawczyk
  • J. Paluszak

  - Year 2013

  Volunteer computing systems like BOINC or Comcute are strongly supported by a great number of volunteers who contribute resources of their computers via the Web. So, the high efficiency of such grid system is required, and that is why we have formulated a multi-criterion optimization problem for a volunteer grid system design. In that dilemma, both the cost of the host system and workload of a bottleneck host are minimized. On...

  Full text to download in external service

• Solving nonlinear programming problems by using O&G software.

  Publication

  • K. Rudzinska
  • H. Kormański

  - Year 2005

  Praca opisuje pakiet optymalizacyjny oprogramowania O&G. Umożliwia on rozwiązywanie problemów programowania nieliniowego. Użytkownik może w wygodny sposób formułować rozwiązywane zadanie i dobierać metody obliczeniowe używając interaktywnego interfejsu.

• Analysis of the impact of aspect-oriented programming on source code quality

  Publication

  • A. Przybyłek

  - Year 2011

  Celem rozprawy jest ocena wpływu paradygmatu aspektowego na: modularność, możliwość dalszego rozwoju oraz ponowne użycie oprogramowania. Jako punkt odniesienia do oceny paradygmatu aspektowego wybrano paradygmat obiektowy. W ramach pracy przeprowadzono studium przypadków, w którym zbadano implementacje obiektowe oraz aspektowe 11 rzeczywistych systemów i 23 wzorców projektowych. Ponadto zrealizowano kontrolowany eksperyment, w...

• Effective methods for functional confermance testing of parallel and distributed programming libraries.

  Publication

  • Ł. Garstecki

  - Year 2004

  Rozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...

• Selected multiobjective methods for multiperiod portfolio optimization by mixed integer programming

  Publication

  • B. Sawik

  - Year 2010

  Full text to download in external service

• Application of multi-criteria mathematical programming models for assignment of services in a hospital

  Publication

  • B. Sawik

  - Year 2013

  Full text to download in external service

• Survey of multi-objective portfolio optimization by linear and mixed integer programming

  Publication

  • B. Sawik

  - Year 2013

  Full text to download in external service

• Method of selecting programming practices for the safety-critical software development projects

  Publication

  • K. Łukasiewicz

  - Year 2019

  In recent years a plan-driven approach traditionally used in safety-critical software development has been put to a test by rapidly changing technologies, more diverse group of clients and volatile market requirements. The need to deliver good quality systems, faster and at lower cost in comparison to competitors encouraged companies to look for more efficient solutions. Agile methodologies are known to successfully address these...

  Full text available to download

• Big Data Paradigm Developed in Volunteer Grid System with Genetic Programming Scheduler

  Publication

  • J. Balicki
  • W. Korłub
  • J. Szymański
  • M. Zakidalski

  - LECTURE NOTES IN COMPUTER SCIENCE - Year 2014

  Artificial intelligence techniques are capable to handle a large amount of information collected over the web. In this paper, big data paradigm has been studied in volunteer and grid system called Comcute that is optimized by a genetic programming scheduler. This scheduler can optimize load balancing and resource cost. Genetic programming optimizer has been applied for finding the Pareto solu-tions. Finally, some results from numerical...

  Full text to download in external service

• Optimal programming of critical sections in modern network processors under performance requirements.

  Publication

  • H. Krawczyk
  • T. Madajczak

  - Year 2004

  Przegląd konstrukcji i zastosowań metod programowania sekcji krytycznych w nowoczesnych procesorach sieciowych rodziny Intel IXP. Porównanie wydajnościowe w formie tabeli.

• Programming, tunning and automatic parallelization of irregular divide and conquer applications in DAMPVM/DAC.

  Publication

  • P. Czarnul

  - INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS - Year 2003

  Artykuł prezentuje nowy, obiektowo zorientowany wzorzec programowy DAMPVM/DAC, który zimplementowany został z użyciem systemu DAMPVM i umożliwia automatyczny podział nieregularnych aplikacji "Dziel i zwyciężaj" (DAC) w czasie ich działania.

• Genetic programming extension to APF-based monocular human body pose estimation

  Publication

  • P. Szczuko

  - MULTIMEDIA TOOLS AND APPLICATIONS - Year 2012

  New method of the human body pose estimation based on a single camera 2D observation is presented, aimed at smart surveillance related video analysis and action recognition. It employs 3D model of the human body, and genetic algorithm combined with annealed particle filter for searching the global optimum of model state, best matching the object's 2D observation. Additionally, new motion cost metric is employed, considering current...

  Full text available to download

• Ontology supported selection of versions for N-version programming in semantic web services

  Publication

  • P. Kaczmarek

  - Year 2008

• A single and triple-objective mathematical programming models for assignment of services in a healthcare institution

  Publication

  • B. Sawik

  - International Journal of Logistics Systems and Management - Year 2013

  Full text to download in external service

• Lexicographic and weighting approach to multi-criteria portfolio optimization by mixed integer programming

  Publication

  • B. Sawik

  - Year 2009

  Full text to download in external service

• Genetic Programming and Evolvable Machines

  Journals

  ISSN: 1389-2576 , eISSN: 1573-7632

• Foundations and Trends in Programming Languages

  Journals

  ISSN: 2325-1107 , eISSN: 2325-1131

• Proceedings of the ACM on Programming Languages

  Journals

  eISSN: 2475-1421

• JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING

  Journals

  ISSN: 1567-8326

• Art, Science, and Engineering of Programming

  Journals

  eISSN: 2473-7321

• THEORY AND PRACTICE OF LOGIC PROGRAMMING

  Journals

  ISSN: 1471-0684 , eISSN: 1475-3081

• Scientific Programming

  Journals

  ISSN: 1058-9244 , eISSN: 1875-919X

• Survey of Methodologies, Approaches, and Challenges in Parallel Programming Using High-Performance Computing Systems

  Publication

  • P. Czarnul
  • J. Proficz
  • K. Drypczewski

  - Scientific Programming - Year 2020

  This paper provides a review of contemporary methodologies and APIs for parallel programming, with representative technologies selected in terms of target system type (shared memory, distributed, and hybrid), communication patterns (one-sided and two-sided), and programming abstraction level. We analyze representatives in terms of many aspects including programming model, languages, supported platforms, license, optimization goals,...

  Full text available to download

• Optimization of Data Assignment for Parallel Processing in a Hybrid Heterogeneous Environment Using Integer Linear Programming

  Publication

  • T. M. Boiński
  • P. Czarnul

  - COMPUTER JOURNAL - Year 2021

  In the paper we investigate a practical approach to application of integer linear programming for optimization of data assignment to compute units in a multi-level heterogeneous environment with various compute devices, including CPUs, GPUs and Intel Xeon Phis. The model considers an application that processes a large number of data chunks in parallel on various compute units and takes into account computations, communication including...

  Full text available to download

• A multithreaded CUDA and OpenMP based power‐aware programming framework for multi‐node GPU systems

  Publication

  • P. Czarnul

  - CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE - Year 2023

  In the paper, we have proposed a framework that allows programming a parallel application for a multi-node system, with one or more GPUs per node, using an OpenMP+extended CUDA API. OpenMP is used for launching threads responsible for management of particular GPUs and extended CUDA calls allow to manage CUDA objects, data and launch kernels. The framework hides inter-node MPI communication from the programmer who can benefit from...

  Full text to download in external service

• BatchI: Batch effect Identification in high-throughput screening data using a dynamic programming algorithm

  Publication

  • A. Papiez
  • M. Marczyk
  • J. Polanska
  • A. Polanski

  - BIOINFORMATICS - Year 2019

  Full text to download in external service

• Adaptive Optimal Discrete-Time Output-Feedback Using an Internal Model Principle and Adaptive Dynamic Programming

  Publication

  • Z. Wang
  • Y. Wang
  • Z. Kowalczuk

  - IEEE-CAA Journal of Automatica Sinica - Year 2024

  In order to address the output feedback issue for linear discrete-time systems, this work suggests a brand-new adaptive dynamic programming (ADP) technique based on the internal model principle (IMP). The proposed method, termed as IMP-ADP, does not require complete state feedback, merely the measurement of input and output data. More specifically, based on the IMP, the output control problem can first be converted into a stabilization...

  Full text to download in external service

• Initializing the EM Algorithm for Univariate Gaussian, Multi-Component, Heteroscedastic Mixture Models by Dynamic Programming Partitions

  Publication

  • A. Polanski
  • M. Marczyk
  • M. Pietrowska
  • P. Widlak
  • J. Polanska

  - International Journal of Computational Methods - Year 2018

  Full text to download in external service

• Hierarchical Estimation of Human Upper Body Based on 2D Observation Utilizing Evolutionary Programming and 'Genetic Memory'

  Publication

  • P. Szczuko

  - Communications in Computer and Information Science - Year 2011

  New method of the human body pose estimation based on single camera 2D observation is presented. It employs 3D model of the human body, and genetic algorithm combined with annealed particle filter for searching the global optimum of model state, best matching the object's 2D observation. Additionally, motion cost metric is employed, considering current pose and history of the body movement, favouring the estimates with the lowest...

  Full text to download in external service

• Journal of Logical and Algebraic Methods in Programming

  Journals

  ISSN: 2352-2208

• ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

  Journals

  ISSN: 0164-0925 , eISSN: 1558-4593

• Adaptive dynamic control allocation for dynamic positioning of marine vessel based on backstepping method and sequential quadratic programming

  Publication

  • A. Witkowska
  • R. Śmierzchalski

  - OCEAN ENGINEERING - Year 2018

  It 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...

  Full text to download in external service

• Rust QA: question answering dataset for "The Rust Programming Language" in SQuAD 2.0 format

  Open Research Data

  open access

  • S. Olewniczak
  • M. Maciszka
  • K. Paluszewski
  • G. Pozorski
  • W. Rosenthal
  • Ł. Zaleski

  Rust 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

  • D. Hoang
  • M. Nguyen
  • J. Woo
  • H. Shin
  • K. Shin
  • A. Phung
  • J. Choi

  - AIP Advances - Year 2024

  Full text to download in external service

• Robust-adaptive dynamic programming-based time-delay control of autonomous ships under stochastic disturbances using an actor-critic learning algorithm

  Publication

  • H. N. Esfahani
  • R. Szłapczyński

  - JOURNAL OF MARINE SCIENCE AND TECHNOLOGY - Year 2021

  This 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...

  Full text available to download

• Programming languages

  e-Learning Courses

  • J. Daciuk
  • J. Dembski
  • P. A. Mironowicz
  • T. Goluch
  • B. Wiszniewski

  The 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

  • T. Idzi
  • T. Bieliński
  • M. Moszyński

• Object Programming 2023

  e-Learning Courses

  • T. Idzi
  • T. Bieliński
  • M. Moszyński

• 2022 Programming ABC

  e-Learning Courses

  • M. Jurkiewicz

• 2023 Programming ABC

  e-Learning Courses

  • M. Jurkiewicz

• Object Programming 2024

  e-Learning Courses

  • T. Idzi
  • T. Bieliński
  • M. Moszyński

• Programming languages 2021/22

  e-Learning Courses

  • J. Daciuk
  • J. Dembski
  • P. A. Mironowicz
  • T. Goluch
  • B. Wiszniewski

  The 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 Courses

  • J. Daciuk
  • J. Dembski
  • P. A. Mironowicz
  • T. Goluch
  • B. Wiszniewski

  The 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 Courses

  • J. Daciuk
  • J. Dembski
  • P. A. Mironowicz
  • T. Goluch
  • B. Wiszniewski

  The 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 Courses

  • E. Lubecka

  Theory 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 Courses

  • A. Myszkowski
  • R. Fidytek
  • P. Wojda

  Kierunek: Matematyka (WFTiMS), I stopnia - licencjackie, stacjonarne, 2019/2020 - zimowy (obecnie sem. 2)

• Programowanie Liniowe (Linear Programming)

  e-Learning Courses

  • P. Obszarski
  • M. Kubale
  • K. Giaro
  • P. Petrosyan

  Materiał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.

• INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING

  Journals

  ISSN: 0885-7458 , eISSN: 1573-7640

• Programming of GNSS applications [EMSS]

  e-Learning Courses

  • P. Falkowski-Gilski

  This 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 Courses

  • P. Falkowski-Gilski

  This 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].

• Bulletin of the South Ural State University Series-Mathematical Modelling Programming & Computer Software

  Journals

  ISSN: 2071-0216 , eISSN: 2308-0256

• PRO DIALOG COMPUTER PROGRAMMING AND APPLICATIONS

  Journals

  ISSN: 0867-6011

• Electronic Systems Programming - Project 2021/22

  e-Learning Courses

  • A. Szewczyk

• Electronic Systems Programming - Project 2022/23

  e-Learning Courses

  • A. Szewczyk

• Electronic Systems Programming - Project 2023/24

  e-Learning Courses

  • A. Szewczyk

• [EMSS] Programming of GNSS applications 2023/24

  e-Learning Courses

  • P. Falkowski-Gilski

  This 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 Courses

  • J. Schmidt
  • I. Kochańska
  • M. Rudnicki
  • D. Toboła

  Celem 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 Courses

  • J. Schmidt
  • I. Kochańska
  • M. Rudnicki
  • D. Toboła

  Celem 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

  Publication

  • P. Czarnul
  • J. Proficz
  • A. Krzywaniak

  - Scientific Programming - Year 2019

  The 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...

  Full text available to download

• Badania operacyjne, Programowanie liniowe(Operations Reserach Linear Programming) 2021

  e-Learning Courses

  • P. Obszarski
  • K. Giaro
  • K. Pastuszak

  Materiał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 Courses

  • P. Obszarski
  • K. Giaro
  • K. Pastuszak

  Materiał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 Courses

  • P. Obszarski
  • K. Giaro
  • K. Pastuszak

  Materiał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 Courses

  • P. Obszarski
  • K. Giaro
  • K. Pastuszak

  Materiał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

  Publication

  • P. Czarnul

  - INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING - Year 2016

  The 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...

  Full text available to download

• 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

• DNA Computing and Molecular Programming (International Meeting on DNA Computing and Molecular Programming)

  Conferences

• Metoda chromatyczna i jej zastosowania techniczne

  Publication

  • M. Kubale

  - PRO DIALOG COMPUTER PROGRAMMING AND APPLICATIONS - Year 2003

  Artykuł ma charakter przeglądowy. Przedstawiono w nim najważniejsze modele koloryzowania grafów i ich zastosowania w wybranych problemach technicznych. Ponieważ jest to wiodąca tematyka badawcza Katedry Podstaw Informatyki Wydziału ETI Politechniki Gdańskiej, praca służy również upowszechnianiu dorobku naukowego pracowników Katedry oraz osób z nią współpracujących w opisywanej dziedzinie.

• International Conference on Algebraic and Logic Programming

  Conferences

• International Symposium on Functional and Logic Programming

  Conferences

• Workshop on Programming Languages and Operating Systems

  Conferences