Search results for: S-D LOGIC
-
Automated Reasoning Based User Interface
PublicationMotivation: 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...
-
Power System Stabilizer as a Part of a Generator MPC Adaptive Predictive Control System
PublicationIn this paper, a model predictive controller based on a generator model for prediction purposes is proposed to replace a standard generator controller with a stabilizer of a power system. Such a local controller utilizes an input-output model of the system taking into consideration not only a generator voltage Ug but also an additional, auxiliary signal (e.g., α, Pg, or ωg). This additional piece of information allows for taking...
-
A Parallel Corpus-Based Approach to the Crime Event Extraction for Low-Resource Languages
PublicationThese days, a lot of crime-related events take place all over the world. Most of them are reported in news portals and social media. Crime-related event extraction from the published texts can allow monitoring, analysis, and comparison of police or criminal activities in different countries or regions. Existing approaches to event extraction mainly suggest processing texts in English, French, Chinese, and some other resource-rich...
-
Improved energy management technique in pipe-embedded wall heating/cooling system in residential buildings
PublicationEffective and environmentally responsive techniques of energy management in residential buildings are desirable for the resulting reduction of energy costs and consumption. In this paper, an improved and efficient technique of energy management in pipe-embedded wall heating/cooling systems, called the Thermal Barrier, is described. Specifically, the Thermal Barrier is a technique focused on the management and control of heat...
-
Improved energy management technique in pipe-embedded wall heating/cooling system in residential buildings
PublicationEffective and environmentally responsive techniques of energy management in residential buildings are desirable for the resulting reduction of energy costs and consumption. In this paper, an improved and efficient technique of energy management in pipe-embedded wall heating/cooling systems, called the Thermal Barrier, is described. Specifically, the Thermal Barrier is a technique focused on the management and control of heat supply...
-
Koncert Zimowy
EventsNajpiękniejsze polskie kolędy i pastorałki w wykonaniu Kuby Jurzyka, Pauliny Grochowskiej (wokale), Golden Gate String Quartet i Jana Jareckiego (piano). Nie zabraknie największych świątecznych zagranicznych hitów.
-
The selective salinity and hydrazine parameters for the start-up of non-anammox-specific biomass SBR
PublicationThe presence of ammonium (NH 4+ ) in wastewater above the permissible limits leads to undesirable ecological impact and public health concerns. In this study, the anaerobic ammonium oxidizing (anammox) bacteria-mediated nitrogen removal was investigated using a sequential batch reactor (SBR). Effects of different salinity levels were evaluated on the bacterial activity at: mild (below 0.2 g NaCl/L), elevated (18.2 g NaCl/L) and...
-
Metoda oceny wiarygodności pomiarów wpływających na jakość diagnostyki cieplno-przepływowej w energetyce
PublicationW rozprawie doktorskiej podjęto problem uwiarygodnienia pomiarów wpływających na jakość diagnostyki cieplno-przepływowej w energetyce. W pracy wykazano potrzebę rzetelnej informacji pozyskanej po przez pomiar parametrów, która jest niezbędna dla przeprowadzenia diagnozy badanego systemu. Jednocześnie zwrócono uwagę na zmienny charakter pracy systemów energetycznych, która wpływa na niestabilność pozyskanych danych, co prowadzi...
-
Koncert z cyklu Akademia Muzyczna w Politechnice
EventsKoncert z cyklu Akademia Muzyczna w Politechnice: Maciej Kasprzak – akordeon, Karol Sokołowski – wiolonczela. W programie utwory m.in. J.S. Bacha, D. Scarlattiego, A. Chaczaturiana, K. Wiłkomirskiego, K. Olczaka.
-
Stefan Niewitecki dr inż. arch.
PeopleW dniu 29.07.1977 r. ukończenie Studium Podyplomowego Kształcenia Pedagogicznego Nauczycieli Akademickich (świadectwo Nr 301, wynik dobry). Dnia 29.04.1982 r. nagroda III stopnia Rektora Politechniki Gdańskiej, zespołowa za ''Studium wpływu ujęcia wody Gdańsk-Lipce na stateczność obiektów budowlanych w rejonie leja depresyjnego.'' W 1986 r. nagroda Rektora Politechniki Gdańskiej za ''Orzeczenie i projekt techniczny wzmocnienia...
-
Physics-guided neural networks (PGNNs) to solve differential equations for spatial analysis
PublicationNumerous examples of physically unjustified neural networks, despite satisfactory performance, generate contradictions with logic and lead to many inaccuracies in the final applications. One of the methods to justify the typical black-box model already at the training stage and lead to many inaccuracies in the final applications. One of the methods to justify the typical black-box model already at the training stage involves extending...
-
Rhythm and Colours of the Angles
PublicationABSTRACT The game of space was and still is a crucial aspect of visual arts. The aim of this study is to examine how the arrangement of hues, rhythms and angles of various polygons can create an impression of depth and movement on a flat surface. The so-called Penrose tiling and Ulam's spiral are mathematical models that have been applied for the painting experiment. There is a vast amount of evidence gathered over the ages that...
-
Tomasz Gzella mgr inż.
People -
System oceny efektywności użytkowania aparatów słuchowych (Hearing aid use effectiveness evaluation system)
PublicationCelem rozprawy jest opracowanie metody oceny efektywności protezowania słuchu przy użyciu aparatów słuchowych, która pozwoli w łatwy sposób poddawać ocenie korzyść z użytkowania protez słuchowych w najbardziej typowych sytuacjach akustycznych. Przedstawiono genezę podjętych badań i na tej podstawie zaproponowano cele i tezy rozprawy doktorskiej. W pracy w pierwszej kolejności zawarto przegląd dotyczący rodzajów ubytku słuchu...
-
BASECOL2023 scientific content
PublicationContext. The global context of making numerous data produced by researchers available requires collecting and organising the data, assigning meaningful metadata, and presenting the data in a meaningful and homogeneous way. The BASECOL database, which collects inelastic rate coefficients for application to the interstellar medium and to circumstellar and cometary atmospheres, meets those requirements. Aims. We aim to present the...
-
Aleksandra Giełdoń - Paszek dr hab.
PeopleDoktor habilitowany w dziedzinie nauk o sztuce, historyk sztuki. Studiowała historię sztuki na Wydziale Filozoficzno-Historycznym Uniwersytetu Jagiellońskiego w Krakowie. W roku 2002 na Wydziale Historycznym tejże uczelni uzyskała tytuł doktora nauk humanistycznych w zakresie nauk o sztuce na podstawie dysertacji: Malarstwo pejzażowe a szkolnictwo artystyczne w Polsce (do 1939 roku). W roku 2015 została doktorem habilitowanym w...
-
The ONETEP linear-scaling density functional theory program
PublicationWe present an overview of the ONETEP program for linear-scaling density functional theory (DFT) calculations with large basis set (planewave) accuracy on parallel computers. The DFT energy is computed from the density matrix, which is constructed from spatially localized orbitals we call Non-orthogonal Generalized Wannier Functions (NGWFs), expressed in terms of periodic sinc (psinc) functions. During the calculation, both the...
-
Impact of AlphaFold on structure prediction of protein complexes: The CASP15‐CAPRI experiment
PublicationWe present the results for CAPRI Round 54, the 5th joint CASP-CAPRI protein assembly prediction challenge. The Round offered 37 targets, including 14 homodimers, 3 homo-trimers, 13 heterodimers including 3 antibody–antigen complexes, and 7 large assemblies. On average 70 CASP and CAPRI predictor groups, including more than 20 automatics servers, submitted models for each target. A total of 21 941 models submitted by these groups...
-
Comparability of Raman Spectroscopic Configurations: A Large Scale Cross-Laboratory Study
PublicationThe variable configuration of Raman spectroscopic platforms is one of the major obstacles in establishing Raman spectroscopy as a valuable physicochemical method within real-world scenarios such as clinical diagnostics. For such real world applications like diagnostic classification, the models should ideally be usable to predict data from different setups. Whether it is done by training a rugged model with data from many setups...
-
Prediction of protein assemblies, the next frontier: The CASP14‐CAPRI experiment
PublicationWe present the results for CAPRI Round 50, the 4th joint CASP-CAPRI protein assembly prediction challenge. The Round comprised a total of 12 targets, including 6 dimers, 3 trimers, and 3 higher-order oligomers. Four of these were easy targets, for which good structural templates were available either for the full assembly, or for the main interfaces (of the higher-order oligomers). Eight were difficult targets for which only distantly...