Search
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
-
Rozkład logarytmiczno-normalny a względne i absolutne miary rozproszenia.
PublicationW artykule przedstawiono rozważania dotyczące miar rozproszenia zmiennej losowej, która charakteryzuje się rozkładem logarytmiczno- normalnym.
-
Wymagania formalne
PublicationFormalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy
-
Języki i gramatyki formalne
PublicationRozdział zawiera wprowadzenie do teorii języków formalnych, gramatyk i automatów. Przedstawione zostały podstawowe pojęcia i definicje oraz przykłady dotyczące w szczególności analizy leksykalnej, składniowej i semantycznej zdań w językach formalnych.
-
Języki formalne, automaty i translatory
PublicationKsiążka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...
-
Formalne przejawy procesów transformacji w architekturze współczesnej
PublicationW referacie przedstawiono aspekty podejścia topologicznego w projektowaniu architektonicznym. Omówiono wybrane tendencje i teorie panujące na badanym polu tema-tycznym, na tle podstaw alternatywnych geometrii w dobie CAAD, podstaw filozoficznych i uwarunkowań cywilizacyjnych.
-
Content malondialdehyde (MDA) in infant formulae and follow-on formulae
PublicationZbadano zawartość dialdehydu malonowego, szkodliwego dla zdrowia produktu oksydacji lipidów, w preparatach do początkowego MP i następnego MN żywienia niemowląt, w mleku ludzkim, nieprzetworzonym mleku krowim oraz w oleju sojowym i rzepakowym - składnikach MP i MN. W preparatach stwierdzono znaczne zawartości MDA, w zależności od stosowanej przez producenta technologii produkcji, sposobu pakowania oraz warunków przechowywania gotowego...
-
Czasowe i formalne instrumenty polityki bilansowej i podatkowej
PublicationPublikacja zawiera omówienie czasowych i formalnych instrumentów polityki bilansowej i podatkowej. Wyjaśniono w nim pojęcie roku podatkowego i roku obrotowego. Zaprezentowano obowiązki i odpowiedzialność za prawidłowe rozliczenia podatkowe.
-
Polska Organizacja Turystyczna-charakterystyka formalno-prawna
Publicationcelem opracowania jest przyblizenie celu, działania oraz regulacji formalno- prawnej Polskiej organizacji turystycznej.
-
Aspekty formalno-prawne współczesnej gospodarki energetycznej
PublicationPrzedstawiono najbardziej istotne akty prawne , dyrektywy,zarządzenia rozporządzenia regulujące procesy gospodarowania energią
-
Formalne wymagania w stosunku do ustalenia geotechnicznych warunków posadowienia
PublicationSzczegółowe omówienie formalnych wymagań prawnych w stosunku do dokumentacji posadowienia obiektu budowlanego. Konsekwencje przystąpienia Polski do CEN skutkują koniecznością wprowadzenia EUROKODÓW, a dalej odpowiednich wymagań w stosunku do dokumentacji posadowienia. Wprawdzie w dotychczasowych regulacjach prawnych były zamieszczone informacje dotyczące zagadnienia, a podstawowe klasyfikacje nie uległy zmianom,. jednak wcześniejsze...
-
Urządzenia fotowoltaiczno-termalne (PVT)
PublicationPVT to urządzenie łączące w sobie funkcje modułu fotowoltaicznego i kolektora słonecznego, w którym rolę absorbera pełni moduł ogniw fotowoltaicznych. Umożliwia to otrzymywanie z tej samej powierzchni pokrycia dachu lub fasady budynku jednocześnie energii elektrycznej i cieplnej. Uzyskiwane ciepło jest ciepłem niskotemperaturowym.Obniżenie temperatury ogniw fotowoltaicznych podczas ich pracy prowadzi do podwyższenia sprawności...
-
Upamiętnianie w zdecentralizowanej formule
PublicationRealizacje kommemoratywne tworzone obecnie w przestrzeni publicznej udowadniają, e definicja pomnika jest niejednoznaczna, wynika z różnych aspektów twórczości i dostosowuje się do kontekstu kulturowego epoki. Celem artykułu jest analiza współczenej realizacji formuły zdecentralizowanej.
-
Obliczenia złóż hydrofitowych ze względu na usuwanie azotu.
PublicationObliczenia powierzchni niezbędnej dla skutecznego usuwania azotu ze ścieków w obiektach hydrofitowych, wymagają uwzględnienia różnych form występowania azotu. Ich transformacja lub usuwanie jest uzależnione od wielu czynników chemicznych i środowiskowych. Oczyszczalnie hydrofitowe z roślinnością przytwierdzoną do podłoża można rozpatrywać jako reaktory biologiczne. Usuwanie łatwo rozkładalnej substancji organicznej wyrażonej...
-
Jak zorganizować stanowisko pracy od strony formalnej? (cz.2)
PublicationW artykule omówione zostały zasady sporządzania karty opisu stanowiska pracy.
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Sytuacja odbiorcy komunalno – bytowego w aktualnych uwarunkowaniach formalno - prawnych
PublicationW artykule zostanie przedstawiona analiza funkcjonowania zasady wolnego wyboru dostawcy energii elektrycznej. Podstawą do analizy sytuacji polskich gospodarstw domowych będą obowiązujące akty formalno – prawne. Rezultatem będzie wyznaczenie głównych przeszkód organizacyjnych, utrudniających zmianę sprzedawcy odbiorcom na niskim napięciu oraz próba wskazania obszarów, w których zmiany wydają się najistotniejsze.
-
Struktura dyskretnych algorytmów optymalnych ze względu na normę H_infty
PublicationW referacie omówiono strukturalne własności algorytmów sterowania w czasie dyskretnym optymalnych ze względu na normę H_infty. Pokazano, że podejście do projektowania dyskretnych układów sterowania optymalnych ze względu na tę normę, w którym stosuje się J-bezstratne faktoryzacje odpowiednich łańcuchowych macierzy rozproszenia sterowanych obiektów, pozwala na ujawnienie istotnych strukturalnych cech uzyskiwanych rozwiązań, a także...
-
Problemy moralne w sprzedaży bezpośredniej
PublicationAutorzy uściślają szerokie i węższe ujęcie definicyjne sprzedaży bezpośredniej, jako formy handlowania. Następnie przedstawiają problemy moralne, spotykane w tego typu sprzedaży. Problemy te zostały uszeregowane w zależności od relacji pomiędzy podmiotami transakcji.
-
Body surface area formulae: an alarming ambiguity
PublicationBody surface area (BSA) plays a key role in several medical fields, including cancer chemotherapy, transplantology, burn treatment and toxicology. BSA is often a major factor in the determination of the course of treatment and drug dosage. A series of formulae to simplify the process have been developed. Because easy-to-identify, yet general, body coefficient results of those formulae vary considerably, the question arises as to...
-
Zróżnicowanie państw Unii Europejskiej ze względu na stopień decentralizacji fiskalnej
PublicationArtykuł miał na celu porównanie stopnia decentralizacji wydatkowej w krajach UE. Oprócz celu głównego obrano cele szczegółowe, takie jak: identyfikacja cech państw, w których średni poziom decentralizacji wydatkowej był zbliżony, konfrontacja wyników z rezultatami przedstawianymi w literaturze, sprawdzenie przydatności metody analizy skupień do grupowania obiektów (krajów), gdy zmienną jest decentralizacja wydatkowa. Zakres badań...
-
Analiza sieci pętlowych pod względem niezawodności
PublicationZałożono, że sieć ma strukturę pętlową. Jako oceny niezawodności tych sieci przyjęty jest: 1) średnią liczbę sprawnych par węzłów, które mogą komunikować się wzajemnie. Przyjęto następujący model uszkodzeń. Węzły i kanały ulegają uszkodzeniom z określonym prawdopodobieństwem, uszkodzenia elementów sieci są od siebie niezależne. Wyznaczono niezawodność sieci jako funkcję prawdopodobieństwa sprawności elementów sieci oraz liczby...
-
Jak zorganizować stanowisko pracy w aptece od strony formalnej? (cz.1)
PublicationW artykule omówione zostały zasady organizowania stanowisk pracy.
-
DBpedia As a Formal Knowledge Base – An Evaluation
PublicationDBpedia is widely used by researchers as a mean of accessing Wikipedia in a standardized way. In this paper it is characterized from the point of view of questions answering system. Simple implementation of such system is also presented. The paper also characterizes alternatives to DBpedia in form of OpenCyc and YAGO knowledge bases. A comparison between DBpedia and those knowledge bases is presented.
-
Analiza wrażliwości dwuteowego pręta cienkościennego ze względu na zmiany parametrów przewiązek
PublicationPraca jest poświęcona analizie wrażliwości dwuteowego pręta cienkościennego o przekroju dwuteowym. Wyznaczono linie wpływowe zmian kątów skręcenia ze względu na zmiany szerokości przewiązek. Rezultaty otrzymane dla klasycznej teorii Własowa prętów cienkościennych o przekroju nieodkształcalnym porównano z wynikami analizy z zastosowaniem koncepcji superelementu.
-
Możliwości przyrodniczego wykorzystania osadów ściekowych ze względu na zawartość metali ciężkich
PublicationW pracy przedstawiono wyniki badań specjacji metali ciężkich w wybranych osadach ściekowych pochodzących z oczyszczalni ścieków w Gdańsku. Do oceny form występowania metali ciężkich w osadach ściekowych zastosowano metodykę sekwencyjnej ekstrakcji chemicznej. Na podstawie uzyskanych wyników oceniono stopień potencjalnego zagrożenia środowiska spowodowanego obecnością metali ciężkich w osadach ściekowych.
-
Możliwości przyrodniczego wykorzystania osadów ściekowych ze względu na zawartość metali ciężkich.
PublicationW pracy przedstawiono wyniki badań specjacji metali ciężkich w wybranych osadach ściekowych pochodzących z oczyszczalni ścieków w Gdańsku. Do oceny form występowania metali ciężkich w osadach ściekowych zastosowano metodykę sekwencyjnej eksteakcji chemicznej. Na podstawie uzyskanych wyników oceniono stopień potencjalnego zagrożenia środowiska spowodowanego obecnością metali ciężkich w osadach ściekowych.
-
On the use of instantaneous complex frequency for pitch and formant tracking.
PublicationW pracy opisano algorytm śledzenia częstotliwości podstawowej i formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. Działanie algorytmu przetestowano na nagraniach polskich samogłosek, których wysokość zmieniała się płynnie. Wyniki testów wraz z porównaniem działania opisanej metody i metody predykcji liniowej zawarto w artykule.
-
Moralne przesilenie współczesności a dydaktyczny potencjał etyki biznesu
PublicationW artykule okreslone są warunkowania okreslające funkcjonale mozliwości dydaktyki w zakresie etyki biznesu. Przypadek Enrom potraktowany jest jako moralistyczna przypowiesc na temat niedopuszczalnosci absolutyzacji wartosci programów etycznych firm oraz potrzeby modyfikacji metodyki edukacji etycznej w kierunku silniejszej inderdyscyplinarności, powiazania z anrtopologią, ekonomią, socjologią, politologią.
-
Ocena przedsiębiorstw ze względu na wyniki wdrażania nowych produktów metodą porządkowania liniowego
PublicationW artykule zaprezentowano zastosowanie metody porządkowania liniowego do oceny przedsiębiorstw pod kątem wyników uzyskanych przy wdrażaniu nowych produktów. Taką oceną objęto dwudziestu dwóch producentów sprzętu gospodarstwa domowego, gdzie syntetyczny miernik rozwoju utworzono na podstawie metod wzorcowych.
-
Selected reflections on formal modeling in Industry 4.0
Publication -
Formal Institutions: the Source of Unproductive Entrepreneurship in Poland
PublicationThe purpose of this article is to determine the entrepreneurs' perception of formal institutions in Poland as a source of non-productive behaviours. The research methodology was developed based on many years of the teams' research experience. It involved three stages of research: 1) panel of experts and 2) telephone surveys of 1,612 entrepreneurs in Poland, which were the basis for 3) development of detailed research to be conducted...
-
KONSTRUKCJA AUKSOTROFICZNEGO WZGLĘDEM L-LIZYNY SZCZEPU CANDIDA ALBICANS
PublicationEnzymy szlaku kwasu L-α-aminoadypinowego biosyntezy L-lizyny z Candida albicans są potencjalnymi celami molekularnymi w terapii przeciwgrzybowej. Niektóre grupy badawcze wykazały, że auksotrofia wobec L-lizyny u pewnych gatunków grzybów powoduje zmniejszenie ich zjadliwości i może mieć wpływ na wzrost in vivo [Liebmann i in. 2004]. Oznacza to, że można się spodziewać zahamowania wzrostu komórek grzybowych w wyniku działania selektywnych...
-
Prognozowanie na podstawie modeli multiplikatywnych - względne błędy prognoz
Publicationw artykule:1. sformułowano załozenia stochastyczne dla modelu multiplikatywnego wykorzystywanego dla celów prognostycznych,2. zdefiniowano względne i absolutne przedziały ufności prognoz dokonywanych na podstawie modeli multiplikatywnych,3. przedstawiono metodę estymacji względnego błędu predykcji dla predyktora modelu multiplikatywnego.
-
Efektywność wykorzystania zasobów radiowych a względna lokalizacja stacji bazowych
PublicationW artykule przedstawiono metodę wpływania na efektywność wykorzystania zasobów radiowych systemu UMTS w łączu w dół. Metoda ta polega na umiejętnym planowaniu rozmieszczenia stacji bazowych mikro- i makrokomórek względem siebie w sposób umożliwiający lepsze, z punktu widzenia wykorzystania zasobów radiowych rozmieszczanie stacji ruchomych w odpowiednich wartswach struktury hierarchicznej w celu zmiejszenia obciążenia wywołanego...
-
Moral problems in the process of polish economy transformation
PublicationArtykuł zawiera uwagi dotyczące problemów etycznych okresu transformacji w Polsce. Podane są przykłady kodeksów i zasadność ich wprowadzenia w firmach. Artykuł zawiera też informacje o realizowanym na Wydziale Zarządzania i Ekonomii PG programie ''Etyka biznesu'' oraz uwagi studentów dotyczące ciekawych problemów,o które program jest poszerzany.
-
Evaluation of Body Surface Area Formulae Based on 3D Body Scans
PublicationHuman body surface area (BSA) is an established parameter for the calculation of chemotherapy drugs dosage, treatment of chronic hepatitis B, treatment of burns or for establishing a dosing regimen for antimicrobials. Although being a critical parameter, usage of modern 3D scanners, which would measure the exact BSA value, is often impossible in time-sensitive operations or for patients unable to withstand the scanning process....
-
Evaluation of empirical formulae for estimation of the longitudinal dispersion in activated sludge reactors
PublicationBadania traserowe są szeroko stosowane do oceny hydrauliki reaktorów. Jednak w komorach osadu czynnego interpretacja wyników jest trudna z uwagi na recyrkulacje wewnętrzne i recyrkulację osadu z osadnika. Wzory empiryczne mogą być alternatywną metodą oceny warunków hydraulicznych w komorach. Celem tych badań było sprawdzenie czterech wzorów empirycznych na obliczanie współczynnika dyspersji hydrodynamicznej w oparciu o wyniki badań...
-
Zarządzanie bezpieczeństwem morskim z wykorzystaniem Formalnej Oceny Bezp0ieczeństwa Żeglugi na przykładzie Zatoki Pomorskiej
PublicationProjekt systemu formalnej oceny bezpieczeństwa żeglugi dla Zatoki Pomorskiej i portu Świnoujście, wykonany zgodnie z zaleceniami IMO. Zastosowanie technik wspomagających analizę ryzyka wykorzystywanych w FSA. Wnioskowanie dotyczące bezpieczeństwa na podstawie analizy FSA.
-
Formalno-prawne uwarunkowania rozwoju mieszkalnictwa w Polsce w aspekcie eksploatacji mieszkalnych jednistek pływających
PublicationArtykuł zawiera analizę sytuacji prawnej obiektów jakimi są Domy Na Wodzie oraz konsekwencji jakie powodują dla właścicieli aktualne zapisy najważniejszych Ustaw z nimi związanych tzn.: ustawy Prawo budowlane, ustawy o gospodarce nieruchomościami, Kodeksu cywilnego oraz Prawa wodnego. W pracy opisano światowe trendy osadnictwa na wodzie i porównano do sytuacji mieszkalnictwa na wodzie w Polsce. Na podstawie doświadczeń innych krajów...
-
Etos sprzedaży bezpośredniej. Problemy moralne a istniejące uregulowania kodeksowe
PublicationAutorzy uściślają szerokie i węższe ujęcie definicyjne sprzedaży bezpośredniej, jako formy handlowania. Następnie przedstawiają problemy moralne, spotykane w tego typu sprzedaży. Problemy te zostały uszeregowane w zależności od relacji pomiędzy podmiotami transakcji. Problematyka ta została spisana w sposób spontaniczny, wypływający z osobistego doświadczenia autorów artykułu. Następnie omówione zostają istniejące uregulowania...
-
Komputerowe wspomaganie projektowania łożysk antywibracyjnycho stałych powierzchniach ślizgowych ze względu na granicę stabilności.
PublicationW pracy przedstawiono zagadnienie projektowania antywibracyjnych łożysk ślizgowych. Jednym istotniejszych problemów w procesie projektowym jest ocena właściwości dynamicznych łożyska. Jako wskaźnik "dobroci" rozwiązania zaproponowano wartość granicy stabilności dla modelu jednomasowego wirnika. Omówiono też, stworzony w Katedrze Konstrukcji i Eksploatacji Maszyn Politechniki Gdańskiej, program komputerowy do wspomagania takiej...
-
On a systematic perspective on risk for formal safety assessment (FSA)
Publication -
Set of experience : a knowledge structure for formal decision events
PublicationOmówiono strukturę wiedzy w obszarze formalnych zadań decyzyjnych. Zaproponowano zbiór doświadczeń jako podstawę tej struktury.
-
Analiza akustyczna jako parametr klasyfikacji formalnej homonimii międzyjęzykowej [The acoustic analysis as a parameter for classifying interlingual homonymy]
Publication -
Interpretacja badania dysypacji w gruntach normalnie skonsolidowanych w metodzie CPTU
PublicationAnaliza ciśnienia wody generowanego podczas wciskania końcówki CPTU. Przedstawiono opis krzywej dysypacji w gruntach normalnie konsolidowanych oraz przykład interpretacji badania dysypacji nadwyżki ciśnienia wody w warstwie gliny pylastej. Wyznaczono wartość współczynnika konsolidacji oraz współczynnika filtracji w tej warstwie.
-
Synergistic effect of nickel formate on the thermal and flame-retardant properties of polypropylene
Publication -
Speech formant frequency and pitch estimation using instantaneous complex frequency
PublicationW pracy opisany został algorytm estymacji częstotliwości podstawowej oraz częstotliwości środkowych i pasm formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. W artykule przedstawiono również wyniki działania algorytmu dla polskich samogłosek.
-
Optymalizacja punktu pracy, ze względu na właściwości szumowe, warstw LSFO przeznaczonych do detekcji podczerwieni
PublicationW pracy przedstawiono proces optymalizacji warunków pracy detektora wykonanego z tlenku lantanowo-strontowo żelazowego (LSFO). Opisano proces doboru układu pracy dla detektora termicznego i realizację układu. Przedstawiono wyniki pomiarów szumu warstwy LSFO w zależności od prądu polaryzacji detektora. Zaprezentowano kierunki dalszych prac mających na celu wykorzystanie LSFO jako detektora termicznego.
-
Knowledge management based on formal models of software project management
PublicationCelem pracy jest prezentacja kompletnej koncepcji systemów wspierania decyzji w zarządzaniu projektami informatycznymi. Pomysł oparty jest na dynamicznych i samo nastrajających się modelach regułowo-rozmytych. W szczególności proponowane podejście wykorzystuje koncepcje metodologii opartych wiedzy oraz teorii układów dynamicznych oraz zbiorów rozmytych. Zastosowania tego opracowania znajdują się w obszarze wytwarzania produktów...
-
Business process modelling and simulation using formal experience record
PublicationZaproponowano modelowanie procesow biznesowych w oparciu o formalny zapis doswiadzcen. Przedtswiono softwerowa implementacje zaproponowego modelu.