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
-
Kury - Centrum Wystawienniczo-Regionalne Dolnej Wisły w Tczewie/Fabryka Sztuki
PublicationWystawa fotografii, która odbyła się w Fabryce Sztuk Centrum Wystawienniczo-Regionalnym Dolnej Wisły w Tczewie. Katalog towarzyszący wystawie liczy 12 stron i zawiera teksty krytyczne i notę biograficzną w języku polskim oraz 7 kolorowych reprodukcji prac.
-
Electromodulation of photoluminescence in vacuum-evaporated films of fac-tris(2-phenylpyridine)iridium(III)
PublicationZaobserwowano silne wygaszenie fosforescencji w komórkach sandwiczowych Al/Ir(ppy)3/Al/kwarc, które w polu elektrycznym o natężeniu 3 MV/cm dochodzi do 30%. Mechanizm wygaszania jest związany z dysocjacją ekscytonów trypletowych pod działaniem zewnętrznego pola elektrycznego w obszarach zdefektowanych sieci krystalicznej.
-
Phraseological Units in Audiovisual Translation. A Case Study of Polish Dubbing of Disney’s 'The Little Mermaid'
PublicationThe paper aims to discuss phraseological units as the object of audiovisual translation in the Polish dubbing of Disney’s 'The Little Mermaid', to discuss the role of phraseological translation techniques, and to present possible translation inconsistencies. A theoretical introduction presents definitions for crucial terms. It is followed by the analysis of the corpus of phraseological units in Disney’s The Little Mermaid and...
-
English, French, and Polish Aliases of Criminals: Diversity of Inspirations in their Creation and Typical Nicknaming Schemes
PublicationThe present paper examines the topic of aliases of criminals, which seems to be understudied in linguistic research. Therefore, this article’s primary goal is to describe how criminals’ aliases are created and what are the differences and similarities in that process in English, French, and Polish. Firstly, the theoretical background concerning the topic of pseudonyms is presented. Then, the corpus gathered for this paper (available...
-
Joanna Raczek dr inż.
PeopleEmployment 2003 -- 2019: Faculty of Applied Physics and Mathematics, Gdańsk University of Technology. 2019 - present: Faculty of Electronic, Informatics and Telecominications, Gdańsk University of Technology. Education May 2007: Doctor of Philosophy in Mathematics, University of Gdańsk. Doctoral dissertation: "Paired domination and doubly domination in graphs". Supervisor: dr hab. Jerzy Topp. 2000 -- 2004 Bachelor of Science...
-
Dbajmy o poprawność językową naszych prac i wypowiedzi
PublicationCelem opracowania jest zwrócenie uwagi czytelnika na problem braku dbałościo język polski oraz stosowanie poprawnej nomenklatury i terminologii chemi-cznej. W pracy zawarto najczęstsze przypadki usterek terminologicznych iprzejawy żargonu laboratoryjnego.
-
Continuous three-dimensional radiation dosimetry in tissue-equivalent phantoms using electron paramagnetic resonance in L -α-alanine
Publication -
Style w gdyńskiej architekturze okresu międzywojennego
PublicationKrótki okres międzywojenny był jednak czasem narodzin nowej zupełnie formacji stylowej - modernizmu. Stąd też w architekturze gdyńskiej widzimy wielość konwencji związanych z odchodzącym w przeszłość historyzmem i narodzinami nowego języka artystycznego. Artykuł daje krótki przegląd tej problematyki.
-
Analiza porównawcza systemów zarządzania nauczaniem opartych na licencji open source.
PublicationReferat zawiera przegląd najbardziej znanych systemów LMS opartych na licencji Open Source. Systemy przeanalizowano pod względem jakości interfejsu użytkownika, wsparcia dla standardów zdalnego nauczania oraz dostępności w języku polskim. Określono również technologie wykorzystywane do budowy analizowanych systemów.
-
Analiza porównawcza systemów zarządzania nauczaniem opartych na licencji Open Source
PublicationReferat zawiera przegląd najbardziej znanych systemów LMS opartych na licencji Open Source. Systemy przeanalizowano pod względem jakości interfejsu użytkownika, wsparcia dla standardów zdalnego nauczania oraz dostępności w języku polskim. Określono również technologie wykorzystywane do budowy analizowanych systemów.
-
Paweł Burdziakowski dr inż.
PeoplePaweł Burdziakowski, PhD, is a professional in low-altitude aerial photogrammetry and remote sensing, marine and aerial navigation. He is also a licensed flight instructor and software developer. His main areas of interest are digital photogrammetry, navigation of unmanned platforms and unmanned systems, including aerial, surface, underwater. He conducts research in algorithms and methods to improve the quality of spatial measurements...
-
Scale effect in shaft friction from direct shear tests
PublicationPrzeanalizowano wartości maksymalne tarcia uzyskane w aparacie bezpośredniego ścinania w kontakcie konstrukcja-grunt dla piasków kwarcowych i węglanowych oraz gładkiego i szorstkiego kontaktu. Badania przeprowadzono przy regulowanej sztywności normalnej kontaktu, przy różnej składowej normalnej naprężenia w kontakcie i różnym zagęszczeniu gruntu. Określono efekt skali jako stosunek wartości tarcia mobilizowanego na modelu do tarcia...
-
Realizacja definiowanego programowo interfejsu radiowego NB-IoT
PublicationW niniejszym artykule przedstawiono sposób realizacji definiowanego programo-wo, uniwersalnego interfejsu radiowego do inteligentnych urządzeń IoT (Internet of Things) - DUCH IoT, pracującego zgodnie z międzynarodowymi standardami: LTE (Long Term Evolution) kat. NB1 (Narrowband) oraz LTE kat. NB2. Interfejs radiowy został za-implementowany w formie sprzętowo-programowego, frameworka z konfigurowalnym podziałem realizowanych funkcji...
-
The application of an expert system for simulation investigations in yhe aided design of ship power systems automation.
PublicationPrzedstawiono strukturę i funkcje systemu wspomagającego projektowanie automatyki systemów enegretycznych statków. Dane opisujące projektowany podsystem energetyczny są wprowadzane w trybie interaktywnym do systemu ekspertowego. Reguły określaja poprawność formalną i merytoryczną wprowadzonych danych. W przypadku braku błędów system automatycznie tworzy model symulacyjny projektowanego podsystemu enegretycznego i wywołuje program...
-
Challenges of modern assessment of safety of ships in critical conditions. Options for preliminary design
PublicationW pracy przedstawiono wyniki badań na temat zastosowania formalnej metody oceny bezpieczeństwa statków w stanie uszkodzonym w stosunku do obecnej metody, opartej na przepisach zawartych w konwencji SOLAS rozdział II-1, części A, B i B-1. Przedstawiono elementy analizy bezpieczeństwa obejmujące identyfikację zagrożeń i scenariuszy wypadków, ocenę zagrożeń, ocenę ryzyka i kontrolę ryzyka. Podano przykłady obliczeniowe i wnioski praktyczne.
-
Mikroekonomia nst msu_on-line
e-Learning CoursesPodstawy mikroekonomii dla msu 4. sem. - 2h zajęć prowadzi w formule on-line dr Aniela Mikulska.
-
Zapomniane, zaniedbane, znikające... zabytkowe miejskie ogrody = Forgotten, Neglected, Disappearing... Historic Urban Gardens
PublicationW artykule przedstawiono przyczyny degradacji zabytkowej zieleni miejskiej. Na dwóch gdańskich przykładach pokazano w jaki sposób zabytkowa zieleń jest wypierana ze sfery publicznej. Podjęto próbę określenia sposobów przeciwdziałania niekorzystnym zjawiskom. Artykuł ukazał się w języku polskim i angielskim.
-
Janusz Osicki Techniki mieszane
PublicationDruk towarzyszący wystawie, która odbyła się w Zakliczyńskim Centrum Kultury w Galerii Poddasze w Ratuszu w Zakliczynie w terminie 8.02 – 6.03. 2013 roku. Publikacja liczy 4 strony i zawiera 2 reprodukcje prac i notę biograficzną w języku polskim.
-
Bildhauerwettbewerb Rheda - Wiedenbrück
PublicationSympozjum rzeźbiarskie, które miało miejsce w 2012 roku w Rheda - Wiedenbrück w Niemczech. Katalog towarzyszący liczy 8 stron, zawiera krótkie teksty krytyczne i noty biograficzne w języku niemieckim oraz 22 reprodukcji kolorowych. Wydawcą katalogu jest Flora Westfalica GmbH.
-
MUZYKA W ARCHITEKTURZE :Inspiracje muzyczne we współczesnej architekturze
PublicationW książce podjęty został temat złożonych relacji pomiędzy architekturą i muzyką oraz udział muzyki – tytułowej inspiracji – we współczesnej praktyce architektonicznej. Głównym zadaniem autora było zebranie i usystematyzowanie wiedzy na temat podejmowanych prób udziału muzyki w tworzeniu architektury oraz ukazanie nowych sposobów kształtowania przestrzeni, jakie stwarza wykorzystanie muzyki jako nauki i sztuki w dziele architektonicznym,...
-
Przetwarzanie języka naturalnego -2022
e-Learning CoursesPrzetwarzanie języka naturalnego.
-
Przetwarzanie języka naturalnego -AITech-2023
e-Learning CoursesPrzetwarzanie języka naturalnego.
-
Przetwarzanie języka naturalnego -2023
e-Learning CoursesPrzetwarzanie języka naturalnego.
-
Przetwarzanie języka naturalnego -2024
e-Learning CoursesPrzetwarzanie języka naturalnego.
-
Przetwarzanie języka naturalnego -AITech-2024
e-Learning CoursesPrzetwarzanie języka naturalnego.
-
Seminarium dyplomowe, S-30, WIMiO, MiBM, II st., sem. 02, stacjonarne, (PG_00057411), semestr letni 2022/2023
e-Learning CoursesWymagania formalne przy realizacji pracy dyplomowej. Dyskusja nad postępami w pracy, w szczególności przeglądu literatury. Prezentacja multimedialna osiągnięć z pracy dyplomowej w dwu wystąpieniach: pierwsze przeglądu literatury i założeń, drugie uzyskanych wyników. Przygotowanie do egzaminu dyplomowego. Źródła: https://wimio.pg.edu.pl/studenci/sprawy-studenckie/zasady-dyplomowania
-
Instytut Fizyki Molekularnej Polskiej Akademii Nauk
Publishing Houses -
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
Publishing Houses -
Aestheticization of Flowcharts
PublicationOne of the important issues of diagrams is their aesthetics. In this paper a method of its formalization for freehand drawn flowcharts is proposed. In order to formalize the evaluation of flowcharts' aesthetics a criterion consisting of several measures is proposed. Based on this criterion the algorithms for automatic optimization of flowcharts' appearance are proposed.
-
Visual Dimensions of Modeling Languages in Interdisciplinary Perspective
PublicationUżyteczność języków modelowania wizualnego zależy od notacji. Notacja może być postrzegana jako zestaw wizualnych komponentów, które w określony sposób oddziałują na ludzkie oko i ludzki mózg. Referat przedstawia analizę interdyscyplinarną wykonaną w celu lepszego zrozumienia wizualnych wymiarów języków modelowania. Wizualne wymiary pochodzą z teorii opisujących percepcję wzrokową, wizualizację danych oraz reprezentacje poznawcze....
-
Muzeum Miasta Gdyni 30 lat
PublicationPublikacja ilustrująca 30 lat działalności Muzeum Miasta Gdyni. Publikacja liczy 168 stron i zawiera 284 reprodukcji prac (praca autora s.89) i notę biograficzną w języku polskim. Wydawcą publikacji jest Muzeum Miasta Gdyni, ISBN 978-83-937119-0-1.
-
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ę...
-
Spor o sušestvovanii mira : vremâ i sposób sušestvovaniâ / Roman Ingarden ; przeł. Janina Kubka, Maxim W. Lebiediew
PublicationPrzekład na język rosyjski paragrafu 27 ''Wstępne uwagi o czasie konkretnym'', paragraf 28 ''Sposób istnienia zdarzeń'' i paragrafu 29 ''Sposób istnienia procesu''. Pierwszego Tomu ''Sporu o istnienie świata'' Romana Ingardena, wydanie Warszawa 1987.
-
Perception-based data processing in acoustics. Applications to music information retrieval and psychophysiology of hearing.
PublicationTematyka książki obejmuje w pierwszej kolejności opis mechanizmów kognitywnych leżących u podstaw percepcji muzyki. Przedstawione zostały również zagadnienia automatycznego rozpoznawania dźwięków instrumentów muzycznych i muzyki, zastosowanie nowych metod z dziedziny sztucznej inteligencji w szeroko rozumianej inżynierii dźwięku oraz komputerowych metod badania słuchu.
-
FE-modeling of shear resistance degradation in granular materials during cyclic shearing under CNS condition
PublicationW artykule przedstawiono wyniki numerycznej analizy degradacji wytrzymałości na ścinanie w materiałach granulowanych podczas cyklicznego ścinania z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego modelu hipoplastycznego.
-
Wykroczenie, Galeria-pl; 26 maja-30 czerwca 2011
PublicationKatalog wystawy malarstwa, która miała miejsce w czerwcu 2011 roku w galerii-pl w Gdyni. Katalog liczy 4 strony i zawiera tekst krytyczny i notę biograficzną w języku polskim oraz trzy kolorowe reprodukcje prac. Wydawcą katalogu jest galeria-pl z gdyni.
-
Application of virtual reality modeling language for 3D seafloor imaging.
PublicationW artykule przedstawiono koncepcję wykorzystania języka opisu wirtualnej rzeczywistości do trójwymiarowej wizualizacji objektów znajdujących się na dnie morskim w zastosowaniu do danych pochodzących z systemów hydroakustycznych. W szczególności zaprezentowano technikę tworzenia trójwymiarowych scen przeznaczonych do szerokiego udostępniania w sieci Internet.
-
Wdrożenia komercyjne chatter-botów
PublicationCelem artykułu jest ocena przydatności wdrożenia systemów chatter-bot, czyli tzw. wirtualnych konsultantów - systemów informatycznych, które potrafią odpowiadać na pytania zadawane w języku naturalnym. Przedstawiono główne czynniki wpływające na funkcjonalność systemu, analizę kosztów wdrożenia i efektywności inwestycji oraz przykłady komercyjnych zastosowań.
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublicationThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...
-
Ocena wykrywalności modelowych wad wąskoszczelinowych metodą pomiaru przestrzennego rozkładu magnetycznego pola rozproszonego
PublicationWykazano, że metoda pomiaru natężenia metodą pomiaru natężenia pola rozproszonego (MPR) w polu szczątkowym umożliwia skuteczne wykrywanie zewnętrznych wad szczelinowych o głębokościach 0,2 mm przy długości 2,5 mm, oraz wad punktowych o średnicy mniejszej od 1mm i głębokości 0,3 mm. Zwiększenie poziomu namagnesowania (pomiary w pełnym polu magnetycznym) umożliwiło wykrywanie wad o znacznie mniejszych rozmiarach. Wykazano również,...
-
Języki Programowania (2023)
e-Learning Courses -
Języki programowania obiektowego
e-Learning Courses -
Języki Programowania 2024
e-Learning Courses -
Języki projektowania HDL 2023/24
e-Learning CoursesCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Języki projektowania HDL 2022/23
e-Learning CoursesCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Języki projektowania HDL 2021/22
e-Learning CoursesCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Języki projektowania HDL-stary!
e-Learning CoursesCel przedmiotu: Zapoznanie z metodami projektowania i symulacji cyfrowych układów programowalnych i ASIC z wykorzystaniem języków opisu sprzętu. Treści przedmiotu: 1. Wprowadzenie, znaczenie i zastosowania języków HDL. Historia powstania języka Verilog. 2. Poziomy opisu sprzętu (Verilog). 3. Metodologie projektowania. Prosty przykład. 4. Składnia języka Verilog. 5. Typy danych. 6. Zadania systemowe i dyrektywy kompilatora. 7....
-
Klawiatura ekranowa dla osób posługujących się jedną kończyną górną
Publicationrtykuł prezentuje układ symboli na klawiaturze wirtualnej dedykowanej osobom niepełnosprawnym posługującym się jedną kończyną górną. Rozmieszczenie znaków zostało ustalone na podstawie przeprowadzonej analizy częstotliwości występowania poszczególnych liter w języku polskim. Uwzględniono również najczęściej występujące pary liter, a odpowiadające im klawisze ułożono blisko siebie. Zaproponowany kształt klawiatury jest wynikiem...
-
Komputerowe wspomaganie zmian modernizowanych układów geometrycznych toru
PublicationW artykule przedstawiono opracowywany obecnie program komputerowy służący do obliczeń przesunięć toru i robót ziemnych związanych z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano zastosowany język programowania oraz przedstawiono aktualny stan pracy nad programem.
-
Artificjal environment for simulation of emergent behaviour
PublicationPrzedstawiono opracowane środowisko dla modelowania zjawisk, w których współdziałanie wielu prostych jednostek prowadzi do powstawania złozonych struktur. Sposób oddziaływania jednostki zawarty jest w jej strukturze, która interpretowana jest poprzez specjalnie zdefiniowany język podobny do Prologu.