Filters
total: 2193
-
Catalog
- Publications 1054 available results
- Journals 24 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 231 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 646 available results
- Events 88 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
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.
-
Finite element investigations of granular material behaviour during cyclic wall shearing under a constant normal stiffness condition
PublicationW artykule przedstawiono wyniki numnerycznej analizy zachowania sie materiałów granulowanych podczas cyklicznego ścinanai wzdłuz szorstkiej ściany z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego nodelu hipopalstycznego. Obliczenia wykonano dla róznych sztywności, początkowych wskaźników porowatości i sredniej średnicy ziarna. Wyniki numeryczne porównano...
-
Ontologie jako metoda reprezentacji wiedzy
PublicationLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Electric field and charge induced quenching of luminescence in electroluminescent emitters based on lanthanide complexes
PublicationW pracy badano ładunkowe i elektrycznopolowe wygaszanie ekscytonóww układzie dwuamina TPD: organiczny kompleks europu przez pomiar zaników fotoluminescencji w zewnętrznym polu elektrycznym.
-
Exciton quenching in emitter blends for organic light emitting devices probed by electric field-dependent time-resolved luminescence
PublicationW pracy badano mechanizm wygaszania ekscytonów w układzie dwuamina TPD:organiczny kompleks Eu:matryca TPD przez pomiar zaniku fotoluminescencji w zewnętrznym polu elektrycznym.
-
Singlet exciton interactions in solid films of Alq3.
PublicationW pracy tej na podstawie pomiarów zależności wydajności fluorescencji od natężenia światła wzbudzjącego, wyznaczono stałą oddziaływania ekscyton singletowy - ekscyton singletowy w warstwie organicznego kompleksu aluminium Alq3.
-
Triplet exciton interactions in solid films of an elektrophosphorescent Pt(II) porphyrin
PublicationW pracy pokazano, że fosforescencja porfiryny platynowej (PtOEP) jest wygaszana na skutek oddziaływania między monomerowymi i dimerowymi ekscytonami trypletowymi. Stała oddziaływania dla monomerowych ekscytonów trypletowych wynosi 8x10-12 cm3/s a dla ekscytonów dimerowych 8x10-15 cm3/s.
-
Phosphorescence response to excitonic interactions in Ir organic complex-based electrophosporescent emitters
PublicationSpadek kwantowej wydajności fosforescencji ze wzrostem natężenia światła wzbudzajacego w Ir(ppy)3 tworzącym 100% warstwę naparowaną próżniowo oraz w Ir(ppy)3 umieszczonym w matrycy polimerowej PC:TPD, jest wywołany odziaływaniami między ekscytonami trypletowymi. Stała oddziaływania tryplet-tryplet wynosi (1-3)x 10-12 cm3/s i tylko nieznacznie zależy od stężenia Ir(ppy)3 w warstwie.
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Klasyfikacja emocji w muzyce filmowej z wykorzystaniem uczenia głębokiego
PublicationPraca przedstawia zagadnienia związane z klasyfikacją emocji w muzyce filmowej. W artykule zaproponowano model emocji zawierający dziewięć stanów emocjonalnych, do których przypisany jest kolor zgodnie z teorią koloru w filmie. Kolejne kroki eksperymentu obejmowały wybór muzyki filmowej do testów (baza Epidemic Sound), przygotowanie założeń ankiety oraz modelu emocji wykorzystywanych w testach odsłuchowych, a także konstrukcję...
-
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...
-
Adam Smith
PublicationKsiążka omawia życie i twórczość Adama Smitha (1723-1790), zarówno opublikowaną za jego życia, jak i tę wydaną pośmiertnie oraz odtworzoną na podstawie notatek jego słuchaczy. W drugiej części zamieszczono wybór fragmentów tekstów najbardziej reprezentatywnych dla tego filozofa. Wśród nich znalazły się teksty tłumaczone po raz pierwszy na język polski.
-
Język angielski fizyki, informatyki i techniki I, sem V, Fizyka Techniczna
e-Learning Courses -
International Conference on Software Engineering and Formal Methods
Conferences -
A Satellite workshop on Formal Approaches to Testing of Software
Conferences -
International Workshop on Formal Methods for interactive Systems
Conferences -
International Conference Formal Concept Analysis Conference
Conferences -
International Conference on Formal Ontology in Information Systems
Conferences -
International Conference on Formal Structures for Computation and Deduction
Conferences -
International Conference on Formal Engineering Methods [FEM]
Conferences -
Piotr Bartłomiejczyk dr hab.
PeopleW roku 2014 zostałem zatrudniony w Katedrze Równań Różniczkowych i Zastosowań Matematyki na Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdańskiej. Zajmuję się badaniem niezmienników występujących w analizie nieliniowej. W roku 2000 uzyskałem stopień naukowy doktora w zakresie nauk matematycznych w Instytucie Matematycznym Polskiej Akademii Nauk w Warszawie. Uchwałą Rady Wydziału Matematyki, Fizyki i Informatyki...
-
Metody opisu ontologii: Inżynieria ontologii i jej zastosowania
PublicationPrzedstawiono rozwój języków opisu technologii i wskazano mozliwości ich zastosowania w różnych dziedzinach, a zwłaszcza do integracji i automatycznego uruchamiania usług sieciowych.
-
Linear Time-Varying Dynamic-Algebraic Equations of Index One on Time Scales
PublicationIn this paper, we introduce a class of linear time-varying dynamic-algebraic equations (LTVDAE) of tractability index one on ar- bitrary time scales. We propose a procedure for the decoupling of the considered class LTVDAE. Explicit formulae are written down both for transfer operator and the obtained decoupled system. A projector ap- proach is used to prove the main statement of the paper and sufficient conditions of decoupling...
-
A method for assessing hazards, risks and safety of damaged ships at sea
PublicationPrzedstawiono wybrane problemy związane z metodą oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka, w warunkach eksploatacyjnych. Omówiono zakres oceny bezpieczeństwa i analizy ryzyka w odniesieniu do zagadnienia zachowania się statku uszkodzonego na morzu. Analiza ryzyka oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Opisano główne kroki analizy ryzyka. Podano podstawowe...
-
Contextual Knowledge to Enhance Workplace Hazard Recognition and Interpretation in a Cognitive Vision Platform
PublicationThe combination of vision and sensor data together with the resulting necessity for formal representations builds a central component of an autonomous Cyber Physical System for detection and tracking of laborers in workplaces environments. This system must be adaptable and perceive the environment as automatically as possible, performing in a variety of plants and scenes without the necessity of recoding the application for each...
-
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ż...
-
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.
-
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...
-
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...
-
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...
-
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...
-
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.
-
Własności fotowoltaiczne układów organicznych
PublicationPraca omawia fizyczne podstawy zjawiska fotowoltaicznego w układach organicznych oraz badania tego zjawiska prowadzone na Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdańskiej.
-
Silo music - mechanism of dynamic flow and structure interaction
PublicationArtykuł omawia zjawisko muzyki silosowej. Wykonano pomiary dynamiczne przyspieszeń, częstotliwości i postaci drgań własnych. Zaproponowano nowa hipotezę powstawania efektów dynamicznych podczas przepływu silosowego.
-
Silo music - mechanism of dynamic flow and structure interaction
PublicationArtykuł omawia zjawisko muzyki silosowe. Wykonano pomiary dynamiczne przyspieszeń, częstotliwości i postaci drgań własnych. Zaproponowano nowa hipotezę powstawania efektów dynamicznych podczas przepływu silosowego.
-
Brittle fracture of 100-, 110-, 111-oriented Cu crystals: MD vs. TB/MD approach
PublicationPrzeprowadzono wieloskalowe symulacje nanoindentacji miedzi nieskończenie twardym narzędziem, przy zastosowaniu metody dynamiki molekularnej, z siłami liczonymi na bieżąco w formalizmie ciasnego wiązania (TB). Przedstawiono wyniki dla trzech orientacji krystalicznych podłoża. Badano efekt dołączenia obliczeń TB na siłę normalną odczuwaną przez narzędzie i na przemieszczenia atomów podłoża, przez porównywanie z symulacją czystą...
-
Budowa ontologii usług dla potrzeb wyszukiwania
PublicationOntologie, dzięki zapewnieniu formalnego opisu przy zachowaniu czytelności dla człowieka, są coraz powszechniej stosowaną metodą opisu usług sieciowych. Zaprezentowano słownik WordNet i jego zastosowanie jako meta ontologia do opisów usług podobnych różnych dostawców. Zaproponowano algorytm oparty o ten słownik umożliwiający integrację ontologii usług w celu zapewnienia interoperacyjności rozwiązań dostępnych w sieci Internet.
-
The structure of rarefied and densified PbSiO3 glass: a molecular dynamics study.
PublicationArtykuł przedstawia wyniki symulacji dynamiczno-molekularnychstruktury rozrzedzonego i zagęszczonego szkła PbSiO3 (w zakresie gęstości od 3000 kg/m3 do 8000 kg/m3). Otrzymane wyniki dokładnie przedyskutowano pod kątem blisko- i średnio-zasięgowego uporządkowania atomów i porównano ze strukturą szkła PbSiO3 o normalnej gęstości (5970kg/m3) oraz ze strukturą rozrzedzonych i zagęszczonych szkieł PbGeO3.
-
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...
-
Trust-IT - a framework for trust cases
PublicationArtykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...
-
UWARUNKOWANIA APLIKACYJNE KONCEPCJI PUNKTÓW STEROWANIA JAKOŚCIĄ NA PRZYKŁADZIE USŁUG PRALNICZYCH
PublicationW artykule tym zaprezentowano charakterystykę procesu w profesjonalnej pralni chemicznej. Jako cel przyjęto identyfikację i opis zasadniczych punktów sterowania jakością (PSJ) w tego typu procesach. Przedstawiono też informacje, jak działania formalizujące PSJ przełożyły się na efekty konkretnej organizacji świadczącej usługi pralnicze
-
Statistics (EE, MSc, sem. I)
e-Learning CoursesStatistics course. Kurs statystyki w inżynierii środowiska realizowany w języku angielskim.
-
Study of free convective boundary layer of isothermal lateral surface of axisymmetrical horizontal body
PublicationPrzedstawiono rozwiązanie równań Naviera-Stokesa i Fouriera-Kirchhoffa we współrzędnych tau i sigma. Pierwsza jest styczną a druga normalną do konwekcyjnych linii prądu, wzdłuż jakich porusza się ogrzany od powierzchni płyn. Wynik w postaci równania na grubość warstwy przyściennej zweryfikowano dla granicznych przypadków ciała obrotowego o poziomej osi symetrii (stożka poziomego i kołowej pionowej płyty).
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069411451]
Open Research DataThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069416181]
Open Research DataThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069412881]
Open Research DataThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [3300730069413581]
Open Research DataThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Verrucous squamous cell carcinoma - Unknown, 36 - Tissue image [330073006941921]
Open Research DataThis is the histopathological image of OTHER AND UNSPECIFIED PARTS OF TONGUE tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.