Filtry
wszystkich: 2377
-
Katalog
- Publikacje 1735 wyników po odfiltrowaniu
- Czasopisma 222 wyników po odfiltrowaniu
- Konferencje 53 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 55 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Kursy Online 87 wyników po odfiltrowaniu
- Dane Badawcze 223 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: GENERIC PROGRAMMING
-
Automated Reasoning Based User Interface
PublikacjaMotivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in...
-
Two-phase optimizing approach to design assessments of long distance heat transportation for CHP systems
PublikacjaCogeneration or Combined Heat and Power (CHP) for power plants is a method of putting to use waste heat which would be otherwise released to the environment. This allows the increase in thermodynamic efficiency of the plant and can be a source of environmental friendly heat for District Heating (DH). In the paper CHP for Nuclear Power Plant (NPP) is analyzed with the focus on heat transportation. A method for effectivity and feasibility...
-
Personal adaptive tuning of mobile computer audio
PublikacjaAn integrated methodology for enhancing audio quality in mobile computers is presented. The key features are adaptation of the characteristics of the acoustic track to the changing conditions and to the user's individual preferences. Original signal processing algorithms are introduced, which concern: linearization of frequency response, dialogue intelligibility enhancement and dynamics processing tuned up to the user's preferences....
-
Data for meta-analysis on interversions reducing car use
Dane BadawczeThis dataset contains the results of a meta-analysis of reported interventions reducing car use. To standardise intervention effects reported in different scales, the Hedges’ g effect size measure was used (ratio of raw difference in samples’ means and pooled standard deviation). The standardised studies outcomes, along with overall outcome, were...
-
IEEE International Symposium on Adaptive Dynamic Programming and Reinforcement Learning
Konferencje -
ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming
Konferencje -
ACM Conference on Object Oriented Programming Systems Languages and Applications
Konferencje -
International Workshop on Formal Methods for Parallel Programming: Theory and Applications
Konferencje -
Małgorzata Pawłowicz dr n. med.
OsobyMałgorzata Pawłowicz MD PhD is a paediatrician and paediatric neurologist (Department of Developmental Neurology; Medical University of Gdańsk, Poland) and a resident in clinical genetics (Genetic Outpatient Clinic, Children's Memorial Health Institute in Warsaw, Poland). She studied medicine and received her Master Degree in Paediatrics and Paediatric Neurology at Medical University of Gdańsk. Dr. Pawłowicz completed her PhD studies...
-
Automated anonymization of sensitive data on production unit
PublikacjaThe article presents an approach to data anonymization with the use of generally available tools. The focus is put on the practical aspects of using open-source tools in conjunction with programming libraries provided by suppliers of industrial control systems. This universal approach shows the possibilities of using various operating systems as a platform for process data anonymization. An additional advantage of the described...
-
Global Optimization for Recovery of Clipped Signals Corrupted With Poisson-Gaussian Noise
PublikacjaWe study a variational formulation for reconstructing nonlinearly distorted signals corrupted with a Poisson-Gaussian noise. In this situation, the data fidelity term consists of a sum of a weighted least squares term and a logarithmic one. Both of them are precomposed by a nonlinearity, modelling a clipping effect, which is assumed to be rational. A regularization term, being a piecewise rational approximation of the ℓ0 function...
-
Zarządzanie procesem innowacyjnym w polskich małych i średnich przedsiębiorstwach
PublikacjaZarządzanie procesem innowacyjnym stanowi wyzwanie dla menedżerów, nie tylko dużych przedsiębiorstw. Przedsiębiorcy stają przed problemem czy i jakie działania przed-sięwziąć, aby efektywnie konkurować na rynku. Poziom innowacyjności polskich małych i średnich przedsiębiorstw nie świadczy dobrze o sposobie zarządzania procesem innowacyjnym. Jednak w nowym okresie programowania pojawią się środki przeznaczone na wdrożenia w firmach....
-
Adaptive Personal Tuning of Sound in Mobile Computers
PublikacjaAn integrated methodology for enhancing audio quality in mobile computers is presented. The key features are adaptation of the characteristics of their acoustic track to changing acoustic conditions of the environment and to users’ individual preferences. Signal processing algorithms are introduced that concern: linearization of frequency response, dialogue intelligibility enhancement, and dynamics processing tuned up to the users’...
-
Integrating heterogeneous systems with high-dependability requirements by means of web services
PublikacjaWeb services are commonly used on boundaries of heterogeneous components in Service Oriented Architecture (SOA) as they provide a universal communication channel not bound to any particular programming language or run-time platform. This paper describes how web services can be used to integrate heterogeneous systems which serve purposes requiring high dependability, reliability and availability. Examples of such systems include...
-
Leszek Ziemczonek dr
OsobyUniversity education 1973-1978 – Nicolaus Copernicus University in Toruń, University of Gdańsk in Gdańsk, Mathematical Physics, M. Sc. 1979 – Diploma of Postgraduate Studies, Pedagogics 1989 – Institute of Physics, Polish Academy of Sciences in Warsaw, Theoretical Physics, Ph. D. 2010-2012 – Diploma of Postgraduate Studies, Mathematics Training: · 09.1983 – Trieste (Italy) – International Centre for Theoretical Physics...
-
Knowledge and Attitudes of Future Healthcare Professionals Toward Rare Diseases
Publikacja -
Social Differentiation of the Perception and Human Tissues Donation for Research Purposes.
PublikacjaThe willingness to donate human biological material for research purposes is shaped by socio-cultural factors; however, there is a lack of studies analysing the social perception of different human tissues, which may affect such willingness. This study aimed to distinguish different sociocultural categories of human tissues and types of potential donors based on their willingness to donate material. Quantitative research was...
-
The last flight of F/O Tadeusz Stabrowski. Identification of the polish pilot
Publikacja -
N6-methyladenosine regulates the stability of RNA:DNA hybrids in human cells
Publikacja -
Social differentiation of the perception and human tissues donation for research purposes
Publikacja -
An insertion/deletion polymorphism of the dihydrofolate reductase (DHFR) gene is associated with serum and red blood cell folate concentrations in women
Publikacja -
Prediction of skin color, tanning and freckling from DNA in Polish population: linear regression, random forest and neural network approaches
Publikacja -
Jerzy H. Czembor Prof. dr hab.
OsobyYear of birth: 1965, Poland, Work address: Plant Breeding and Acclimatization Institute –National research Institute (IHAR-PIB), Radzikow, 05-870 Blonie, Poland. Scientific disciplines: agricultural sciences, plant pathology, plant physiology, genetics. Specialization: phytopathology, mycology, plant genetics, molecular genetics, plant breeding, breeding for disease resistance, biotechnology, evaluation of genetic resources,...
-
The Impact of EU Funds on the Development of Business Environment Institutions – Research Results in Pomeranian Voivodeship in Poland
PublikacjaThe paper presents the main findings of the research conducted to assess the impact of EU funds on development of business environment infrastructure in Pomeranian Voivodeship in Poland, and – indirectly – on the growth of the innovation capacity of Pomeranian entrepreneurs. The research shows that support of ROP PV 2007-2013 contributed to the creation of multifunctional business infrastructure throughout the Pomorskie Voivodship,...
-
Swarm Algorithms in Modern Engineering Optimization Problems
PublikacjaComplexity of today engineering problems is constantly increasing. Scientists no longer are facing issues, for which simple, mathematical programming methods are sufficient. Issues like autonomic vehicle navigation or classification are considered to be challenging, and although there exist valid means to solve them, in some cases there still is some place for improvement. With emergence of a new type of optimization techniques...
-
Use of ICT infrastructure for teaching HPC
PublikacjaIn this paper we look at modern ICT infrastructure as well as curriculum used for conducting a contemporary course on high performance computing taught over several years at the Faculty of Electronics Telecommunications and Informatics, Gdansk University of Technology, Poland. We describe the infrastructure in the context of teaching parallel programming at the cluster level using MPI, node level using OpenMP and CUDA. We present...
-
Badania operacyjne, Programowanie liniowe(Operations Reserach Linear Programming) 2021
Kursy OnlineMateriał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.
-
An empirical study on the impact of AspectJ on software evolvability
PublikacjaSince its inception in 1996, aspect-oriented programming (AOP) has been believed to reduce the effort required to maintain software systems by replacing cross-cutting code with aspects. However, little convincing empirical evidence exists to support this claim, while several studies suggest that AOP brings new obstacles to maintainability. This paper discusses two experiments conducted to evaluate the impact of AspectJ (the most...
-
Tuning matrix-vector multiplication on GPU
PublikacjaA matrix times vector multiplication (matvec) is a cornerstone operation in iterative methods of solving large sparse systems of equations such as the conjugate gradients method (cg), the minimal residual method (minres), the generalized residual method (gmres) and exerts an influence on overall performance of those methods. An implementation of matvec is particularly demanding when one executes computations on a GPU (Graphics...
-
1+1 Protection of Overlay Distributed Computing Systems: Modeling and Optimization
PublikacjaW niniejszym artykule przedstawiono autorską koncepcję ochrony transmisji od krańca do krańca (ang. 1+1 protection) dla systemów przetwarzania rozproszonego (ang. distributed computing systems). Artykuł prezentuje nowatorskie rozwiązanie dedykowane systemom typu ''overlay'', w których system przetwarzania rozproszonego stanowi warstwę najwyższą w warstwowej architekturze sieci, korzystającą z usług warstwy sieci transportowej....
-
Różne kształty pobudzeń optymalnych dla celów identyfikacji parametrów modeli systemów farmakokinetycznych
PublikacjaW pracy przedstawiono optymalizację pobudzeń dla celów identyfikacji parametrycznej kompartmentowych modeli systemów farmakokinetycznych opisanych w kategorii zmiennych stanu. Stosowana w pracy funkcja kryterialna to ślad macierzy Fishera (optymalizacja czułościowa). Rozważono klasę pobudzeń optymalnych o ograniczonej energii, ze względu na występowanie w przypadku wielu leków skutków ubocznych zależnych od szybkości podania leku....
-
Evolutionary Sets Of Safe Ship Trajectories: A New Approach To Collision Avoidance
PublikacjaThe paper introduces a new method of solving multi-ship encounter situations for both open waters and restricted water regions. The method, called evolutionary sets of safe trajectories combines some of the assumptions of game theory with evolutionary programming and aims to find optimal set of safe trajectories of all ships involved in an encounter situation. In a two-ship encounter situation it enables the operator of an on-board...
-
Analysing and processing of geotagged social media
PublikacjaThe use of location based data analysing tools is an important part of geomarketing strategies among entrepreneurs. One of the key elements of interest is social media data shared by the users. This data is analysed both for its content and its location information, the results help to identify trends represented in the researched regions. In order to verify the possibilities of analysing and processing of geotagged social media...
-
Experimentally feasible semi-device-independent certification of four-outcome positive-operator-valued measurements
PublikacjaRecently the quantum information science community devoted a lot of attention to the theoretical and practical aspects of generalized measurements, the formalism of all possible quantum operations leading to acquisition of classical information. On the other hand, due to imperfections present in quantum devices, and limited thrust to them, a trend of formulating quantum information tasks in a semi-device-independent manner emerged....
-
FPGA-Based System for Electromagnetic Interference Evaluation in Random Modulated DC/DC Converters
PublikacjaField-Programmable Gate Array (FPGA) provides the possibility to design new “electromagnetic compatibility (EMC) friendly” control techniques for power electronic converters. Such control techniques use pseudo-random modulators (RanM) to control the converter switches. However, some issues connected with the FPGA-based design of RanM, such as matching the range of fixed-point numbers, might be challenging. The modern programming...
-
ADAPTIVE BACKSTEPPING TRACKING CONTROL FOR OVER-ACTUATED DP MARINE VESSEL WITH INERTIA UNCERTAINTIES
PublikacjaDesigning a tracking control system for an over-actuated dynamic positioning marine vessel in the case of insufficient information on environmental disturbances, hydrodynamic damping, Coriolis forces and vessel inertia characteristics is considered. The designed adaptive MIMO backstepping control law with control allocation is based on Lyapunov control theory for cascaded systems to guarantee stabilization of the marine vessel...
-
International Workshop on High-Level Parallel Programming Models and Supportive Environments
Konferencje -
General Building Technology I 2022/23
Kursy Online -
General Building Technologies II 2023/24
Kursy Online -
General Building Technology I 2023/2024
Kursy Online -
Epitaph of John Sinclair in St. Mary's Church in Gdańsk
Dane BadawczeThe data set concerns epigraphy. It refers to the epitaph placed in St. Mary’s Church in Gdańsk, which is dedicated to John Sinclair, an Scottish nobleman, the 6th count of Caithness. He was general and from 1716 was chief commandant of the defenses in Gdańsk. He died in 1731 in Gdańsk. Data set contains one general photo of the epitaph, transcription...
-
Sylwester Kaczmarek dr hab. inż.
OsobySylwester Kaczmarek ukończył studia w 1972 roku jako mgr inż. Elektroniki, a doktorat i habilitację uzyskał z technik komutacyjnych i inżynierii ruchu telekomunikacyjnego w 1981 i 1994 roku na Politechnice Gdańskiej. Jego zainteresowania badawcze ukierunkowane są na: sieci IP QoS, sieci GMPLS, sieci SDN, komutację, ruting QoS, inżynierię ruchu telekomunikacyjnego, usługi multimedialne i jakość usług. Aktualnie jego badania skupiają...
-
NUOVO CIMENTO DELLA SOCIETA ITALIANA DI FISICA B-GENERAL PHYSICS RELATIVITY ASTRONOMY AND MATHEMATICAL PHYSICS AND METHODS
Czasopisma -
Digital Transformation and Its Influence on Sustainable Manufacturing and Business Practices
PublikacjaThe paper focuses on the relationship between businesses and digital transformation, and how digital transformation has changed manufacturing in several ways. Aspects like Cloud Computing, vertical and horizontal integration, data communication, and the internet have contributed to sustainable manufacturing by decentralizing supply chains. In addition, digital transformation inventions such as predictive analysis and big data analytics...
-
Principles and applications of Ligation Mediated PCR methods for DNA-based typing of microbial organisms
PublikacjaA significant number of DNA-based techniques has been introduced into the field of microorganisms’ characterization and taxonomy. These genomic fingerprinting methods were developed to detect DNA sequence polymorphisms by using general principles, such as restriction endonuclease analysis, molecular hybridization, and PCR amplification. In recent years, some alternative techniques based on ligation of oligonucleotide adapters before...
-
Dagmara Lisman PhD
OsobyScientist, biologist, forensic geneticist. She completed her master's studies at the West Pomeranian University of Technology in Szczecin, at the Faculty of Biology, and obtained a doctoral degree in forensic genetics at the Pomeranian Medical University in Szczecin. Currently, he works as an assistant at the Department of Forensic Medicine of the same university. Her research, conducted at the Department of Forensic Genetics at...
-
Marta Łabuda dr hab. inż.
Osoby -
Badania operacyjne, Programowanie liniowe(Operations Reserach Linear Programming) 2023 - summer
Kursy OnlineMateriał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
Kursy OnlineMateriał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
Kursy OnlineMateriał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.