Filters
total: 2167
-
Catalog
- Publications 1076 available results
- Journals 31 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 176 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 651 available results
- Events 83 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: jezyki formalne
-
Ireneusz Linert dr inż.
People -
Fizyka dla Chemii - ćwiczenia
e-Learning CoursesKurs zawiera materiały do ćwiczeń z fizyki dla Wydziału Chemii
-
Elektryczność i Magnetyzm Laboratorium
e-Learning CoursesLaboratorium z fizyki dla stufentów WFTiMS na 2 roku studiów
-
General Genetics webinarium_3.04.2020
e-Learning CoursesWykład przybliżający studentom problemy Genetyki ogólnej, prowadzony w języku angielskim.
-
Podstawy Muzyki
e-Learning CoursesCelem kursu Podstawy muzyki jest poznanie (lub przypomnienie) zasad notacji muzycznej oraz elementów dzieła muzycznego. Omawiane treści na zajęciach będą skupiały się na wszystkich istotnych elementach będących składowymi utworu muzycznego (m.in. artykulacja, dynamika, agogika, barwa, melodyka, rytmika, harmonia). Będą omawiane elementy różniące różne klasyczne style muzyczne, nie w sposób naukowy a raczej poprzez subiektywną...
-
Podstawy fizyki
e-Learning CoursesKierunek: Informatyka (WETI), I stopnia - inżynierskie, stacjonarne, 2019/2020 - zimowy (obecnie sem. 2) Kierunek: Automatyka, cybernetyka i robotyka (WETI), I stopnia - inżynierskie, stacjonarne, 2019/2020 - zimowy (obecnie sem. 2)
-
Mural i jego rola w przestrzeni zurbanizowanej
PublicationCzym tak naprawdę jest mural? Definicji jest bardzo wiele. Według Słownika języka polskiego PWN mural to „wielkie malowidło wykonane bezpośrednio na ścianie budynku”. Pierwotnymi malowidłami tego typu były prace naskalne z epoki paleolitu. Następnie ważnymi epokami dla rozwoju tego typu prac był starożytny Egipt i starożytny Rzym. Samo słowo „mural” pochodzi z języka hiszpańskiego (h. mural – ścienny; malarstwo ścienne). To dzięki...
-
Sanctions and their role in preventing the appropriation of the creditor’s property rights in bankruptcy proceedings–the case of Poland
PublicationThe aim of this paper is to fill the cognitive gap regarding the role of sanc-tions in the protection of a creditor’s property rights in the event of an entrepreneur insolvency. The impact of sanctions on transaction costs, including their identifica-tion and types, as well as the impact on the protection of creditor rights, has been poorly recognized in the subject literature to date. This article investigates...
-
Smart Innovation Engineering System - A Tool for Facilitating Product Innovation Process
PublicationFor the survival and prosperity of the manufacturing unit, entrepreneurs need to find out new ideas that can be implemented in the products leading to innovation. The current study employs a systematic approach for product innovation. In this approach past experiences based on innovation decisions are stored and recalled during the innovation problem solving process. Implementing this system in the process of product innovation...
-
Proces wytwarzania oprogramowania
PublicationPraca wprowadza w zagadnienia organizacji procesu wytwórczego, omawia uznanestandardy procesu i ich wykorzystanie w przedsiębiorstwie. Omówienie podsta-wowych problemów prowadzenia projektu informatycznego poszerzono o krótkąprezentację dwu istotnych, choć rzadziej prezentowanych, zagadnien: politykiprowadzenia projektu oraz etyki w realizacji projektu informatycznego.
-
Uwarunkowania efektywności kształcenia w liceum dla dorosłych
PublicationTematyka funkcjonowania szkolnictwa dla dorosłych w Polsce od ponad 20 lat wydaje się zapomniana. Wprawdzie podejmowane są nieliczne prace ukazujące wspierający charakter edukacyjny szkół dla dorosłych wobec uczących się w nich słuchaczy, jednak instytucje te nie cieszą się uznaniem społeczeństwa. Celem oddanej w ręce czytelnika monografii jest zweryfikowanie tej oceny na podstawie badania efektów uczenia w szkołach dla dorosłych...
-
Marketing terytorialny
e-Learning CoursesW ramach kursu zgłębiona zostanie wiedza na temat Marketingu terytorialnego, który staje się coraz popularniejszą gałęzią praktyki i nauki. W Polsce od niedawna traktowany jako koncepcja zarządzania miejscem, kreowania jego wartości dla różnych grup docelowych, budowanie tzw. "brandingu miasta". Kurs prowadzony jest w formie wykładów, w formule online.
-
Oxford Language Centre Szkolenie Językowe dla pracowników Politechniki Gdańskiej
e-Learning CoursesSzkolenie z języka angielskiego dla pracowników Politechniki Gdańskiej realizowane przez Oxford Language Centre. Kurs obejmuje 10 modułów będących rozszerzeniem materiału realizowanego w trakcie 14 spotkań słuchaczy z trenerem języka obcego. Zadania przeznaczone są do samodzielnego zrealizowania przez uczestników.
-
Barbara Kościelska prof. dr hab. inż.
People -
Podstawy systemów okrętowych, W, PiBJ, sem.3, zimowy 24/25
e-Learning CoursesPojęcie systemu okrętowego, funkcje i klasyfikacja systemów okrętowych, wymagania formalno - prawne wodniesieniu do instalacji i urządzeń okrętowych, zdolność do ruchu statku ogólne wiadomości o układzienapędowym, ogólne wiadomości o instalacjach okrętowych, instalacje przeciwpożarowe, instalacje zęzowe ibalastowe, instalacje sanitarne statku, wentylacja i klimatyzacja okrętowa, okrętowe urządzenia i instalacjechłodnicze. Systemy...
-
Podstawy systemów okrętowych, W, OiKM, sem. 3, zimowy 24/25
e-Learning CoursesPojęcie systemu okrętowego, funkcje i klasyfikacja systemów okrętowych, wymagania formalno - prawne wodniesieniu do instalacji i urządzeń okrętowych, zdolność do ruchu statku ogólne wiadomości o układzienapędowym, ogólne wiadomości o instalacjach okrętowych, instalacje przeciwpożarowe, instalacje zęzowe ibalastowe, instalacje sanitarne statku, wentylacja i klimatyzacja okrętowa, okrętowe urządzenia i instalacjechłodnicze. Systemy...
-
ZMIANA SPRZEDAWCY ENERGII ELEKTRYCZNEJ - UWARUNKOWANIA RYNKOWE W POLSCE
PublicationPrzystąpienie Polski do Unii Europejskiej stało się niewątpliwie dodatkowym impulsem do zintensyfikowania działań na rzecz liberalizacji polskiego rynku energii elektrycznej. Wprowadzone mechanizmy rynku konkurencyjnego umożliwiają odbiorcom energii m. in. swobodny wybór sprzedawcy energii elektrycznej w formule TPA. To fundamentalne prawo odbiorców, zakorzenione w krajowym rynku energii od ponad 8 lat, nadal budzi szereg wątpliwości....
-
Metody matematyczne fizyki – 2021/2022
e-Learning CoursesKurs do przedmiotu Metody matematyczne fizyki dla studentów 6 semestru Matematyki
-
Fizyka I - samouczek
e-Learning CoursesKurs z podstaw fizyki dla studentów WIMiO dla wszystkich kierunków (wyrównanawczy)
-
Procedury odwzorowania i łączenia ontologii dziedzinowych
PublicationW trakcie prac nad rozprawą opracowano oryginalną metodę integracji ontologii na podstawie analizy leksykalnej jej elementów. Zaproponowany algorytm został zaimplementowany w postaci biblioteki w języku Java oraz włączony do systemu OCS. Opracowano również procedury i narzędzia pomocnicze wspierające proces integracji wiedzy, w tym autorską bibliotekę wizualizacji ontologii SOVA.Zaprojektowano i zaimplementowano ontologię bezpieczeństwa...
-
Bazy wiedzy w wieloagentowym systemie do oceny technologii informatycznych - podział wiedzy i baz wiedzy
PublicationArtykuł prezentuje bazy wiedzy systemu agentowego do oceny technologii informatycznych. W części pierwszej przedstawiono podział wiedzy i baz wiedzy uwzględniający wiedzę dotyczącą samych technologii jak i kryteriów ich ocen oraz środowisk zastosowania technologii informatycznych. W części drugiej omówiono struktury poszczególnych baz wskazując jednocześnie na zachodzące (w nich i między nimi) relacje. Artykuł uwzględnia także...
-
Leksykon Szkocji : historia, polityka, nauka, kultura
PublicationLeksykon zawiera 1043 hasła obejmujące różne dziedziny: historia, polityka, nauka, kultura i inne. Jest to pierwszy w języku polskim tak obszerny zasób informacji o Szkocji, jej dziejach i dniu dzisiejszym. Oprócz haseł zawiera też: ''Od autora'', mapy, tablicę chronologiczną, drzewa genealogiczne, liczne aneksy (w tym: ''Szkocja - wybrane dane statystyczne'') oraz 34 kolorowe ilustracje. Obok bibliografii tradycyjnej podano również...
-
Stability and initial post-buckling behaviour of frame system with vertical bracings
PublicationStalowe hale są budowane jako układ ram płaskich połączonych stężeniami dachowymi i stężeniami pionowymi w postaci krzyżujących się prętów. W pracy przedstawiono analizę stateczności i zachowania pokrytycznego takiego układu poddanego działaniu obciążeń pionowych. Korzystając z warunków stacjonarności całkowitej energii potencjalnej wykazano, że punkt bifurkacji utraty stateczności jest niesymetryczny i niestateczny. Oznacza to,...
-
Applications of computational intelligence techqniues to acoustics
PublicationCelem artykułu jest przegląd wybranych zastosowań metod inteligentnych w akustyce, a w szczególności w szeroko rozumianej inżynierii dźwięku. Przedstawione badania i eksperymenty były prowadzone w oparciu o sztuczne sieci neuronowe, metodę zbiorów przybliżonych, logiką rozmytą, grafy przepływowe Pawlaka oraz algorytmy genetyczne. Rozwiązywane problemy dotyczyły klasyfikacji dźwięków muzycznych, rozpoznawania fraz muzycznych, przetwarzania...
-
Electronic and nuclear properties from the analysis of the isotope shifts in the spectral lines of lead [online]
PublicationW pracy dokonano analizy 24 linii widmowych atomu i jonu ołowiu, przy użyciu metody diagramów Kinga. Połączenie danych pomiarowych otrzymanych z badań fizyki jądrowej z danymi spektroskopii optycznej pozwoliło na analizę przesunięć izotopowych linii widmowych niezależnie od modelu teoretycznego. W wyniku czego, rozdzielono efekt masy od efektu objętościowego i otrzymano szereg danych spektroskopowych stanowiących bogatą bazę doświadczalną...
-
Noturnos, etudes, scherzi...
Publicationkatalog wystawy malarstwa i rzeźby grupy polskich artystów mieszkajacych w Portugalii, która miała miejsce w Casa Santa Maria, Cascais w Portugali. Twórczość inspirowana muzyka Fryderyka Chopina z okazji 200 rocznicy urodzin kompozytora. Format 16,5x24cm, 4 strony w języku portugalskim. Na stronach 3 i 4 przedstawiona jest nota o autorze i jego twórczosci oraz reprodukcja jednego z 5 obrazów prezentowanych na wystawie.
-
Bezprzewodowy moduł detekcji źródeł dźwięku – system klasyfikatorów
PublicationMonitoring bezpieczeństwa osób starszych i chorych przebywających samotnie w pomieszczeniach można realizowaćpoprzez detekcję dźwięków nietypowych. W tym celu zbudowano moduł nasłuchujący, który analizuje dźwięki z otoczenia. Oblicza on szereg parametrów dźwięku, także bazujących na STFT i MFCC. Umożliwiają one wychwycenie i sklasyfikowanie takich odgłosów jak jęki, krzyki, kaszel oraz huki. Przedstawiono...
-
System kar i represji karnej w starożytności
PublicationKara jest pojęciem wieloznacznym zarówno w języku prawnym jak i prawniczym.Podstawa instytucja w prawie prymitywnym była krwawa zemsta.Stosowano kary zwykłe i kwalifikowane.W Mezopotamii wymiar kary opierał się na zasadzie talionu lub stosowaniu kar odzwierciedlających. W starożytnym Rzymie występował dualizm przestępstw na publiczne, zagrożone m.in. karą śmierci i prywatne, zagrożone lżejszymi karami.W okresie późnego cesarstwa...
-
From Gdansk to Istanbul Artists linked with the Faculty of Painting at the Academy of Fine Arts in Gdansk = Z Gdańska do Istanbułu Artyści związani z Wydziałem Malarstwa Akademii Sztuk Pięknych w Gdańsku. - Turcja, grudzień 2010r.
PublicationKatalog wystawy [ISBN:978-83-62759-02-6], która odbyła się w Istambule w Turcji w grudniu 2010 roku. Wystawa prezentuje twórczość artystów związanych z Akademią Sztuk Pięknych w Gdańsk (z Wydziałem Malarstwa), a także z Katedrą Sztuk Wizualnych Wydziału Architektury Politechniki Gdańskiej. Katalog liczy 40 stron i zawiera teksty krytyczne i noty biograficzne w języku angielskim oraz 36 kolorowych reprodukcji prac.
-
KORPUS MOWY ANGIELSKIEJ DO CELÓW MULTIMODALNEGO AUTOMATYCZNEGO ROZPOZNAWANIA MOWY
PublicationW referacie zaprezentowano audiowizualny korpus mowy zawierający 31 godzin nagrań mowy w języku angielskim. Korpus dedykowany jest do celów automatycznego audiowizualnego rozpoznawania mowy. Korpus zawiera nagrania wideo pochodzące z szybkoklatkowej kamery stereowizyjnej oraz dźwięk zarejestrowany przez matrycę mikrofonową i mikrofon komputera przenośnego. Dzięki uwzględnieniu nagrań zarejestrowanych w warunkach szumowych korpus...
-
Zakres stabilnej pracy silnika indukcyjnego z obserwatorem prędkości kątowej wału wyznaczony za pomocą drugioej metody Lapunowa.
PublicationZamieszczono analizę stabilności układu regulacji silnika indukcyjnego z obserwatorem prędkości kątowej wału w oparciu o drugą metodę Lapunowa. Na podstawie modelu matematycznego układu silnika z obserwatorem wyznaczono funkcję Lapunowa oraz udowodniono warunki jej poprawności. Dokonano analizy lokalnej dla małych prędkości oraz częściowej analizy globalnej rozważanego układu. Wyniki potwierdzono w symulacji komputerowej z zastosowaniem...
-
Programowalny system radiokomunikacyjny
PublicationW pracy omówiono kluczowe zagadnienia dotyczące koncepcji radia programowalnego. Opisano w sposób funkcjonalny platformę sprzętową i programową takiego rozwiązania. Przedstawiono schemat tworzenia aplikacji użytkowych przy użyciu języka uniwersalnego JAVA. Scharakteryzowano uwarunkowania technologiczne, głównie w zakresie zapotrzebowania na bardzo szybkie procesory sygnałow oraz przetworniki cyfrowo-analogowe i analogowo-cyfrowe...
-
The antioxidant and antimicrobial properties of phenol-rich extracts of Dracocephalum forrestii W. W. Smith shoot cultures grown in the nutrient sprinkle bioreactor
Publication -
High quality speech coding using combined parametric and perceptual modules. [Kodowanie sygnału mowy z zachowaniem wysokiej jakości przy wykorzystaniu modułu parametrycznego i perceptualnego]
PublicationW komunikacie zaprezentowano nową metodę hybrydowego kodowania sygnału mowy. Techniki kodowania parametrycznego oraz perceptualnego zostały wykorzystane w celu zapewnienia wysokiej jakości kodowania sygnału mowy. Przedstawiono wyniki badań dla dwóch architektur kodeka. Jedna z nich bazuje na algorytmie pozwalajacym wyodrębnić składowe dźwięczne, bezdźwięczne oraz transjenty. Składowe dźwięczne kodowane są metodą perceptualną, bezdźwięczne...
-
Billiard in a rotating half-plane
PublicationThe main objective of this research is to study the properties of a billiard system in an unbounded domain with moving boundary. We consider a system consisting of an infinite rod (a straight line) and a ball (a massless point) on the plane. The rod rotates uniformly around one of its points and experiences elastic collisions with the ball. We define a mathematical model for the dynamics of such a system and write down asymptotic...
-
Convenient and efficient N-methylation of secondary amines under solvent-free ball milling conditions
PublicationIn the present work, we report the development of a rapid, efcient, and solvent-free procedure for the N-methylation of secondary amines under mechanochemical conditions. After optimization of the milling parameters, a vibrational ball mill was used to synthesize 26 tertiary N-methylated amine derivatives in a short time of 20 min (30 Hz frequency) and high yields ranging from 78 to 95%. An exception was compounds having a hydroxyl...
-
Karta założeń nowego produktu
PublicationW pracy przedstawiono istotę i funkcje założeń nowego produktu oraz składniki karty założeń. Założenia te stanowią zestawienie planowanych aspektów technicznych, marketingowych i ekonomicznych dotyczących wdrażanego nowego produktu. Powstają one jako jeden z końcowych elementów fazy przygotowania koncepcji w procesie kształtowania nowego produktu, zaś karta założeń jest ich formalnym wyrazem. Określono trzy podstawowe funkcje założeń...
-
Teoria zbiorów rozmytych w zarządzaniu ryzykiem jako utylitarne narzędzie systemu zarządzania jakością
PublicationDziałalność przedsiębiorstwa wiąże się z potrzebą analizowania ryzyka oddziałującego na procesy firmy. Norma PN-EN ISO 9001:2015 dokonuje identyfikacji czynników ryzyka i ich wpływu na jakość wyrobu. W szacowaniu ryzyka punktowe oceny wyrażające subiektywne opinie zastępowane są coraz częściej formalnym zapisem niepewności. Artykuł ukazuje zastosowanie rozmytego systemu wnioskującego w procesie zarządzania ryzykiem, umożliwiającego...
-
2-D constitutive equations for orthotropic Cosserat type laminated shells in finite element analysis
PublicationWe propose 2-D Cosserat type orthotropic constitutive equations for laminated shells for the purpose of initial failure estimation in a laminate layer. We use nonlinear 6-parameter shell theory with asymmetric membrane strain measures and Cosserat kinematics as the framework. This theory is specially dedicated to the analysis of irregular shells, inter alia, with orthogonal intersections, since it takes into account the drilling...
-
Analiza drgań przewodu jezdnego dla potrzeb walidacji modelu matematycznego sieci trakcyjnej
PublicationNieprawidłowa współpraca odbieraka z siecią jezdną, w niekorzystnych warunkach lokalnych, prowadzi do uszkodzeń sieci lub odbieraka. Najczęściej spowodowane to jest niewłaściwą regulacją tych elementów układu zasilania. Awarie te wywołują z reguły duże opóźnienia w ruchu pociągów i generują olbrzymie koszty. Sieć trakcyjna nie posiada rezerwy, stąd wysokie wymagania jakościowe i niezawodnościowe określa się szczególnie dla niej....
-
The role of analytical chemistry in the study of the Anthropocene
PublicationThe term “Anthropocene” refers to not yet formalized epoch of geologic time during which geologic processes have been dominated by the human impact. This impact takes on many forms. Biological, physical and chemical changes to the Earth System caused by anthropogenic activity are recorded in natural archives either as new fossil assemblages (neobiota), anthropogenic deposits or a wide variety of pollutants emitted to the environment....
-
Małgorzata Franz dr
People -
Paweł Syty dr inż.
People -
Ontologia ekonomii i ''niewidzialna ręka''.
PublicationArtykuł przedstawia umiejscowioną w niemieckiej tradycji refleksji nad moralnym wymairem gospodarowania koncepcją ''etycznej ekonomii'' P. Koslowskiego. W zamysle analizowanego autora obejmuje ona trzy dziedziny: teorię etycznych przesłanek ekonomii, koncepcję etyki sprofilowanej pod katem potrzeb ekonomii i etyczno-ekonomiczną teorię dóbr i wartości kulturowych.
-
Etyka a wirtualne społeczności
PublicationArtykuł przedstawia ontologiczne aspekty wirtualnych społeczności i wirtualnych rzeczywistości. Dodatkowo przedstawiono w jaki sposób status ontologiczny wirtualnego świata wpływa na pojęcie etyki wewnątrz świata wirtualnego. Dodatkowo zwrócono uwagę na nowe problemy etyczne związane z pojawieniem się wirtualnych światów w życiu współczesnych ludzi.
-
Balancing agility and discipline in a research project
PublicationSuccessful software development requires both agility and discipline. Optimal selection of methods, however, is not an easy task. The problem becomes even more difficult for long lasting projects. Appropriate selection of methods involving skillful introduction and abandonment of certain practices in time makes the whole process dynamic. The paper presents in this context a research project which was realized in a few iterations....
-
Scheduling jobs to contain a natural disaster: a model and complexity
Publicationthis paper is devoted to the problem of scheduling suppression units so that a natural disaster is dealt with as efficient as possible. the concept of deteriorating jobs is adopted, that is, the formal model of scheduling represents linearly increasing value loss as the disaster remains unsuppressed and increasing time for its suppression. more precisely, two different goals are considered: finding a suppression schedule of minimal...
-
Systems, environments, and soliton rate equations: A non-Kolmogorovian framework for population dynamics
PublicationSoliton rate equations are based on non-Kolmogorovian models of probability and naturally include autocatalytic processes. The formalism is not widely known but has great unexplored potential for applications to systems interacting with environments. Beginning with links of contextuality to non- Kolmogorovity we introduce the general formalism of soliton rate equations and work out explicit examples of subsystems interacting with...
-
Projekt i budowa uniwersalnego sterownika programowalnego
PublicationArtykuł opisuje projekt i realizację niskobudżetowego ale zarazem funkcjonalnego i uniwersalnego kompaktowego sterownika programowalnego PLC (ang. Programmable Logic Controller) oraz dedykowanej aplikacji narzędziowej umożliwiającej jego elastyczne oprogramowanie. Przedstawiany sterownik bazuje na jednostce centralnej w postaci 32-bitowego mikrokontrolera ARM firmy STMicroelectronics oraz wyposażony jest w standardowe peryferia...
-
Analiza zastosowania gumowych słupków na przejściach przez dwupasowe drogi jednokierunkowe do poprawy brd
PublicationBezpieczeństwo pieszych w Polsce, mimo prowadzonych wielu działań systemowych, nadal pozostawia wiele do życzenia i jest na niepokojąco niskim poziomie. W roku 2018 prawie 24% wypadków stanowiły wypadki z pieszymi, a udział ofiar śmiertelnych w nich stanowi od wielu lat niezmiennie około 30% pieszych. W celu zwiększenia bezpieczeństwa na przejściach dla pieszych znajdujących się na jezdniach o przekroju 2 x 2 zaczęto niedawno...