Filters
total: 2378
-
Catalog
- Publications 2179 available results
- Journals 7 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 26 available results
- Inventions 10 available results
- Projects 4 available results
- Laboratories 3 available results
- Research Teams 2 available results
- e-Learning Courses 75 available results
- Events 35 available results
- Open Research Data 12 available results
displaying 1000 best results Help
Search results for: WZGLĘDY FORMALNE
-
Comprehensive circumscribing of non-linearity cases of a water supply system with smooth flow control
PublicationW artykule opisano formalnie poprawne metody opisu matematycznego pracy pomp o płynnie regulowanych wydatkach oraz reduktorów ciśnienia i reduktorów przepływu w modelowaniu przepływów ustalonych zachodzących w systemach wodociągowych. Opisano metodę opartą o dynamiczną analizę wrażliwości systemu oraz metodę wykorzystującą charakterystyki hydrauliczne systemu wodociągowego. Przedstawiono wyniki symulacji wykorzystującej ww. metody...
-
Addendum to ''On the derivative of the Legendre function of the first kind with respect to its degree''
PublicationPraca stanowi uzupełnienie wcześniejszej publikacji autora [J. Phys. A: Math. Gen. 39(2006) 15147-15172]. Przedstawiono w niej nowe wyrażenia dla pochodnej funkcji Legendre'a względem jej indeksu i zastosowano je do konstrukcji dwóch nowych reprezentacji funkcji Legendre'a drugiego rodzaju z całkowitym indeksem.
-
Oligopeptide antifungals are exceptionally active against multidrug-resistant yeast
PublicationPermeazy peptydowe w komórkach drożdżowych są zdolne do transportu do wnętrza komórek oligopeptydów, zawierających w swojej strukturze niebiałkowe aminokwasy o właściwościach przeciwgrzybowych. Wśród szerokiego wachlarza tego rodzaju związków przebadanych pod względem aktywności biologicznej na wielolekoopornych komórkach drożdżowych, zaobserwowano liczna grupę, wykazującą zwiększoną aktywność względem komórek eksprymujących transportery...
-
Michał Bernard Pietrzak dr hab.
PeopleMichal Pietrzak is head of the Department of Statistics and Econometrics at the Faculty of Economics and Management, Gdańsk University of Technology, and Deputy Editor-in-Chief for Statistical Reviewing of the journals: Oeconomia Copernicana and Equilibrium. Quarterly Journal of Economics and Economic Policy. Until October 2021, he worked as an associate professor at the Faculty of Economic Sciences and Management, Nicolaus...
-
FORMAL ASPECTS OF COMPUTING
Journals -
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublicationAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
Oceny środowiskowe jako narządzie kształtowania krajobrazu.
PublicationArtykuł prezentuje możliwości wykorzystania procedury oceny oddziaływania na środowisko do ochrony i kształtowania krajobrazu miasta. Przedstawiono zagrożenia krajobrazów miast we współczesnym świecie, istotę ocen środowiskowych, jak i możliwości wykorzystania tej procedury z punktu widzenia uwarunkowań formalno-prawnych, czyli działań organów administracji publicznej oraz innych zainteresowanych instytucji i organizacji. Usystematyzowano...
-
Justyna Płotka-Wasylka dr hab. inż.
PeopleUrodziła się w Słupsku (24.03.1986).W 2005 roku ukończyła I Liceum Ogólnokształcące im. Jana II Sobieskiego w Wejherowie i rozpoczęła studia na Wydziale Chemicznym Politechniki Gdańskiej. Po ich ukończeniu w 2010 rozpoczęła pracę naukową na tej uczelni, uzyskując w 2014 roku stopień doktora nauk chemicznych. Tematem jej rozprawy doktorskiej, wykonywanej pod kierunkiem prof. Marka Biziuka oraz dr Caluma Morrisona (Uniwersytet w...
-
ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA-CLASSE DI SCIENZE
Journals -
Robert Hirsch dr hab. inż. arch.
People -
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...
-
A new OSS design based on parameter sensitivity tochanges in measurements
PublicationW wyniku istniejących silnych ograniczeń praktycznych i etycznych nałożonych na eksperymenty medyczne, procedura estymacji parametrów w diagnozie i terapii jest często zagadnieniem skomplikowanym. Jeśli dane pomiarowe pobierane są w postaci próbek krwi, liczba tych próbek, a także czas obserwacji powinny być zminimalizowane. Optymalizacja eksperymentu polega na optymalizacji odpowiedniego sformułowanego kryterium będącego funkcją...
-
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publication -
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publication -
Characterization of white cabbages from different cultivations by isothiocynates content and antioxidant activities
PublicationBadania epidemiologiczne wskazują, że wraz z zwiększeniem spożywania kapusty maleje ryzyko zachorowania na niektóre nowotwory. Mechanizmy przeciwrakotwórczego działania nie są do końca wyjaśnione, jednak wiele badań przeprowadzonych z wykorzystaniem zwierząt i ludzi sugeruje, że substancje występujące w tych roślinach, szczególnie izotiocyjaniany (ITC) modulują aktywność enzymów I i II fazy. Aktywność przeciwutleniająca jest innym...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Annali della Scuola Normale Superiore di Pisa. Lettere, storia e filosofia
Journals -
Edizioni della Normale
Publishing Houses -
Pochodne amfoterycyny B z zawadą przestrzenną - nowa grupa antymykotyków o niskiej toksyczności i aktywnych względem szczepów z opornością wielolekową. Badanie natury i mechanizmów ich właściwości fizykochemicznych i biologicznych
PublicationBadania prezentowane w ramach niniejszej rozprawy koncentrują się na poznaniu i wyjaśnieniu molekularnych mechanizmów leżących u podstaw poprawy selektywnej toksyczności pochodnych amfoterycyny B z zawadą przestrzenną jak również ich aktywności względem opornych szczepów grzybowych. Kluczowe wnioski wynikające z pracy są następujące: i) mutanty drożdżaków z defektem biosyntezy ergosterolu zachowują wrażliwość na badane związki...
-
Annali della Scuola Normale Superiore di Pisa. Classe di lettere e filosofia
Journals -
Przegląd mechanizmów integracji wiedzy w projektach interdyscyplinarnych
PublicationCelem referatu było dokonanie przeglądu i porównania mechanizmów integracji wiedzy pochodzących z różnych źródeł, zaczynając od podejść kreatywnych, poprzez mniej i bardziej formalne podejścia powiązane z inżynierią oprogramowania, a kończąc na teorii badań interdyscyplinarnych i menadżerskim podejściu do zarządzania zespołami interdyscyplinarnymi. Pod względem metodologicznym, w referacie zastosowano wielodyscyplinarną analizę...
-
Weryfikacja badań i ocena przeprowadzonych przez laboratorium KB POMORZE badan ultradźwiękowych spoin ram konstrukcji naprawczej platformy PG-1 (poziom 25m), względem wad stwierdzonych przez Laboratorium Lotos Serwis w dodatkowych badaniach.
PublicationPrzedmiotem pracy było badania ultradźwiękowe KB POMORZE w miesiącu marcu 2013. Konstrukcje będą zamontowane jako wzmocnienia dla podwodnych elementów konstrukcji na 3 poziomach. Dla badań NDT projekt przewidywał badania na podstawie specyfikacji: Quality Plan for Fabrication. 2.1. Badaniom ultradźwiękowym w obu przypadkach podlegały połączenia spawane - spoiny czołowe, obwodowe stalowych rur o średnicach Dz=609,6x25,4mm...
-
Zbiorowe zaopatrzenie w wodę i odprowadzanie ścieków (2). Definicje niekompletne.
PublicationKomentarz do nowej ustawy. Formalne braki w regulacjach. Konieczne korekty.
-
Warunki wprowadzania ścieków do wód lub ziemi.
PublicationOmówienie aktualnej regulacji prawnej w przedmiotowym zakresie. Rozporządzenie, wymagania formalne, preferencje.
-
Sprawdzanie dokumentacji projektowej
PublicationAnaliza problemu sprawdzenia projektu budowlanego. Wymagania prawne. Zmiany formalne, zagrożenia, konflikty.
-
Koncepcja modelu matematycznego procesu eksploatacji okrętowego systemu energetycznego
PublicationW czasie eksploatacji siłowni okrętowych użytkownicy w sposób ciągły podejmują decyzje dotyczące użytkowania i obsługiwania poszczególnych jej urządzeń i podsystemów dążąc w tym względzie do zapewnienie sytuacji normalnej. Kompleksowy a jednocześnie praktycznie użyteczny opis własności siłowni wymaga min. identyfikacji i formalnego opisu dwóch nawzajem zależnych podprocesów procesu eksploatacji tzn.: procesu zmian stanów technicznych...
-
Wycena rozrachunków w prawie bilansowym i podatkowym
PublicationOmówiono czasowe i formalne instrumenty polityki bilansowej i podatkowej na przykładzie rozrachunków
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Leadership, culture, intellectual capital and knowledge processes for organizational innovativeness across industries: the case of Poland
PublicationPurpose – This study aims to present the overview of intellectual capital creation micro-mechanisms concerning formal and informal knowledge processes. The organizational culture, transformational leadership and innovativeness are also included in the investigation as ascendants and consequences of the focal relation of intellectual capital and knowledge processes. Design/methodology/approach – Based on a sample of 1,418 Polish...
-
Sprawność egzaminowania. Uprawnienia budowlane - nowe reguły.
PublicationNowe zasady prowadzenia egzaminów na uprawnienia budowlane w 2004 roku. Zmiany formalne i rzeczywiste
-
O topologii w architekturze
PublicationOpracowanie dotyczy inspiracji we współczesnej architekturze topologicznymi koncepcjami. Wzbogacenie warsztatu projektowego o komputerowe narzędzia obliczeniowe umożliwiające tworzenie i modyfikowanie unikalnej, krzywoliniowej, geometrii katalizuje formalne i konceptualne eksploracje przestrzeni topologicznej przez awangardowych projektantów. Podejście topologiczne manifestuje się zarówno w dynamice procesu projektowania opartego...
-
Samodzielne funkcje w budownictwie wprowadzone w 2014 r; Rozdział w pracy zbiorowej
PublicationKonsekwencje zmian prawnych wprowadzonych w 2014 r. Samodzielne funkcje w budownictwie. Wymagania formalne. Zasady uzyskiwania.
-
Agnieszka Szymik mgr
PeopleAgnieszka Szymik is an e-resources librarian at Gdańsk University of Technology Library in Scientific Information Services. Agnieszka graduated from Jagiellonian University in Cracow with a major in Information and Library Science, specializing in Digital Resources and Electronic Publishing. Currently, she is responsible for managing online resources and databases and teaches an e-learning course on Information Literacy. Agnieszka...
-
Synthesis of 7-oxo-7h-naphto[1,2,3-de]quinoline derivatives as potential anticancer agents active on multidrug resistant cell lines
PublicationOpierając się na naszym wcześniejszym stwierdzeniu, że tetracykliczne analogi antrachinonów z wbudowanym pierścieniem pirydynowym wykazują aktywną cytotoksyczność względem komórek z indukowaną opornością, przeprowadzono syntezę pochodnych 7-oxo-7h-nafto[1,2,3-de]chinoliny (3, 6-8, 10-12, 14,15 i 18) posiadających jeden lub dwa zasadowe łańcuchy boczne i różne podstawniki w pierścieniu pirydynowym, związków o potencjalnym działaniu...
-
Wody opadowe - aspekty prawne, ekonomiczne i techniczne
PublicationProblemy zagospodarowania wód opadowych. Zagadnienia formalne i techniczne, trudności, poszukiwanie dróg rozwiązania. Konflikty. Rezultaty branżowego spotkania włocławskiego.
-
Rura dobrze posadowiona
PublicationPosadowienie rurociągu. Znaczenie poznania warunków posadowienia. Podłoże rurociągu - formalne wymagania prawne, Eurokod 07. Konsekwencje rozporządzenia. Podstawowe błędy.
-
Uprawnienia budowlane. Wykształcenie w cenie
PublicationWarunki spełniania samodzielnych funkcji w budownictwie po zmianie ustawy prawo budowlane. Warunki uzyskania uprawnień zawodowych - wymagania formalne, postępowanie kwalifikacyjne.
-
Uprawnienia budowlane.
Publicationprzedstawiono formalne wymagania stawiane osobom ubiegającym się o przyznanie uprawnień. Omówiono specjalności, specjalizacje oraz zasady kwalifikacji i prowadzenia egzaminu na uprawnienia
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublicationOmówiono wymogi formalne dopuszczenia dźwignic o przekroczonym resursie do dalszej eksploatacji. Podano algorytmy przeglądów specjalnych. Przedstawiono przykłady weryfikacji stanu technicznego żurawi portowych.
-
Ochrona zabudowy przed zalewaniem.
PublicationPrzedstawiono ogólne zasady ochrony budynku przed zalewanie. Wykazano potrzebę nowego podejścia do problemu. Określono braki formalne oraz ogólne zalecenia co do zabezpieczeń.
-
Zmiany w procesie inwestycyjnym
PublicationKonsekwencje zmian w procesie inwestycyjnym, nowe regulacje w zakresie prawa budowlanego. Zmienione procedury. Problemy formalne. Sankcjonowanie odstępstw. Nowe technologie i nowe wyposażenie.
-
Rura w gruncie. Niekończąca się historia?
PublicationKonsekwencje błędów posadowienia rurociągu w podłożu gruntowym. Formalne wymagania w stosunku do posadowienia. Główne odstępstwa, ich konsekwencje. Problem zmian podłoża w czasie.
-
A Method Supporting Monitoring And Repair Processes of Information Systems
PublicationW pracy zaproponowano nową metodę (ARM) zarządzania monitorowaniem i naprawą systemów IT, bez przerywania ciągłości ich funkcjonowania. Metoda ta integruje procesy monitorowania (uwzględniając już istniejące i stosowane rozwiązania) z procesami naprawy. Stworzono formalny model koncepcyjny opisujący dziedzinę monitorowania i naprawy oraz formalne specyfikacje mechanizmu napraw oraz wybranych procedur naprawczych. Do specyfikacji...
-
Uwagi do wniosków o dofinansowanie w ramach ZPORR (Zintegrowanego Programu Operacyjnego Rozwoju Regionalnego)
PublicationOmówiono podstawowe uchybienia dyskwalifikujące wnioski składane w ramacj ZPORR. Wymagania formalne, motywacje, realność rozwiązań. Prymat eksploatacji nad samą realizacją. Braki w systemie samorządowym.
-
Powodzie miejskie. Wody opadowe – aspekty prawne, ekonomiczne i techniczne.
PublicationPowodzie miejskie. Problemy formalne, prawne i techniczne zagospodarowania wód opadowych. Podstawowe braki polskich rozwiązań. Opłaty za wody opadowe - utrudnienia wprowadzania, konsekwencje braku regulacji prawnych
-
Próbne obciążenia statyczne i dynamiczne pali w odniesieniu do zaleceń Eurokodu 7
PublicationOmówiono metody badań oraz zalecenia formalne Eurokodu 7. Na przykładach przedstawiono interpretacje badań nośności pali wg PN-83/B-02482 porównując je do Eurokodu 7.
-
Wymagania w stosunku do projektu budowlanego.
PublicationOmówiono nowe regulacje prawne określające formalne wymagania w stosunku do dokumentacji w fazie projektu budowlanego. Zwrócono uwagę na daleko idące obostrzenie wymagań formalnych w tym zakresie.
-
Ogólne warunki procesu inwestycyjnego
PublicationSpecyficzne warunki realizacji procesu inwestycyjnego. Wymagania formalne. Zagadnienie inwestycji nietypowych, potrzeba zewnętrznego fachowego nadzoru. Podstawowe błędy na etapie projektowania i wykonawstwa. Problem wiarygodności inspektora nadzoru inwestorskiego.
-
Semi-Markow Processes as Models of Devices´ Operating Process of Ship Pro-pulsion System
PublicationReferat zawiera formalny opis procesu eksploatacji urządzeń.
-
Theoretical and practical solving of hydroengineering problems
PublicationRozważono wzajemne relacje pomiędzy znaczeniem terminów ''teoretyczny'' i ''praktyczny'', w kontekście problematyki nauk technicznych, analizujac aspekty terminologiczne, poznawcze, wolicjonalne i formalne. Wskazano na potrzebę różnicowania ścisłych i potocznych znaczeń uzywanych terminów.