Filters
total: 2134
-
Catalog
- Publications 1075 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 619 available results
- Events 83 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: jezyki formalne
-
A model of ship propulsion systems operating process.
PublicationArtykuł zawiera opis formalny procesu eksploatacji układów napędowych statków. Model tego procesu został przedstawiony w formie dwuwymiarowego procesu,, którego współrzędnymi są procesy semi-Markowa o skończonych zbiorach stanów. Jeden z tych procesów jest procesem zmian stanów technicznych układów napędowych a drugi „ procesem zmian ich stanów eksploatacyjnych. Zaproponowano także jednowymiarowy model procesu eksploatacji układów...
-
Kaszubskie zamieszkiwanie. Studium
PublicationGraficzne, malarskie i fotograficzne przedstawianie przestrzeni zamieszkiwania poprzez obraz oraz formalne poprzez rzeźbę to poszukiwanie nowych środków wyrazu dla ukazania osobistych refleksji na temat domu i jego relacji środowiskowych. Stanowią dopełnienie pracy naukowej i projektowej. Cykl „kaszubskie zamieszkiwanie. studium” to efekt projektu stypendialnego (stypendium dla twórców kultury Marszałka Województwa Pomorskiego...
-
Uwarunkowania dotyczące zawartości granulatu asfaltowego w mieszankach mineralno-asfaltowych produkowanych na gorąco w otaczarkach cyklicznych
PublicationRecykling MMA na gorąco jest obecnie szeroko wykorzystywany w budownictwie drogowym. Pozwala on na uzyskanie istotnych korzyści ekologicznych i ekonomicznych. W artykule przedstawiono uwarunkowania wpływające na zawartość granulatu asfaltowego w MMA. Powinny być one uwzględniane, aby uzyskać MMA z granulatem asfaltowym o właściwościach, takich jak w przypadku mieszanek wykonanych z nowych materiałów. Omówiono głównie uwarunkowania...
-
JEDNORAZOWE DOTACJE NA PODJĘCIE DZIAŁALNOŚCI GOSPODARCZEJ NA PRZYKŁADZIE DOTACJI UDZIELANYCH PRZEZ POWIATOWY URZĄD PRACY W GDYNI
PublicationW artykule dokonano opisu możliwości uzyskania dofinansowania w ramach środków pochodzących z Funduszu Pracy przyznawanych przez urzędy pracy. Tego typu jednorazowe i bezzwrotne wsparcie należy do stosunkowo łatwo dostępnych form finansowania nowo powstałych przedsiębiorstw zakładanych przez osoby bezrobotne. Niemniej jednak uzyskanie dotacji, wynoszącej nawet sześciokrotność przeciętnego wynagrodzenia w gospodarce narodowej, wymaga...
-
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...
-
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.
-
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...
-
An English afternoon tea at Fortnum & Mason's: scenariusz lekcji
PublicationNiniejszy scenariusz lekcji prezentuje jedną z flagowych tradycji Wielkiej Brytanii – afternoon tea, znaną w języku polskim jako popołudniowa herbatka lub, bardziej poprawnie, podwieczorek. Uczeń wirtualnie wyrusza do londyńskiej herbaciarni Fortnum & Mason, gdzie poznaje słownictwo dotyczące rezerwacji stolika oraz uczy się, jak zamówić podwieczorek. Ponadto...
-
Rozwijanie kreatywności ucznia w procesie kształtowania umiejętności językowych. Innowacja pedagogiczna z elementami neurodydaktyki w edukacji wczesnoszkolnej
PublicationThis text is a ready-to-use pedagogical innovation program combining teaching English and classes developing creativity in early childhood education. Classes developing creativity are a unique opportunity to implement innovative solutions and ideas to develop language competencies and key competencies, which can be difficult during a standard English lesson. The...
-
Continuous three-dimensional radiation dosimetry in tissue-equivalent phantoms using electron paramagnetic resonance in L -α-alanine
Publication -
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...
-
Sebastian Lech Wachowski dr inż.
PeopleBorn in 1987 in Bydgoszcz, Poland. In 2012 graduated MSc in Applied Physics: Nanotechnology and in 2017 finished, with honours, PhD in physics at Gdańsk University of Technology. Since the beginning of his academic journey interested in functional materials, especially in high-tech ceramics. Devoted to the development of high temperature protonic conductors for water vapour electrolyzers and fuel cells. During his career has several...
-
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.
-
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...
-
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,...
-
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 Języka Polskiego Polskiej Akademii Nauk
Publishing Houses -
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.
-
Zasady programowania w Internecie
PublicationPrzedstawiono środowisko Internetu widziane z punktu widzenia programisty. Wprowadzono model trójwarstwowej aplikacji WWW, jakonajczęściej spotykanego przykładu programowania w środowisku Internetu. Wymieniono główne zadania programisty w ramach każdej z warstw i opisano przykładowe narzędzia realizacji tych zadań - technologie i języki.
-
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ę...
-
Krzysztof Leja dr hab. inż.
PeopleKrzysztof Leja graduated from the Faculty of Applied Physics at Gdansk University of Technology, PhD in economics, DSc in management. Associate professor and v-ce dean for research at the Faculty of Management and Economics, Gdansk University of Technology. His fields of interest include research of HEIs and policy studies. He is an expert of Polish Rectors Foundation and Ministry of Science and Higher Education. He led and participated...
-
Ideologiczny i praktyczny model metaontologii
PublicationRozwój inicjatywy Semantic Web spowodował rozwój różnych języków definiowania wiedzy i manipulowania nią. W ramach tych języków istotnym elementem jest zaprojektowanie rozkazów terminologicznych. W artykule przedstawiono sposób realizacji zapytań terminologicznych w języku KQL (Knowledge Query Language) - języku dostępu do systemu zarządzania wiedzą RKaSeA.
-
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.
-
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...
-
Kszysztof Wróblewski : Danzig / Polen
PublicationKatalog prac artystów, którzy otrzymali stypendium artystyczne miasta Bremy w latach 2003-2008.Katalog liczy 80 stron i zawiera teksty krytyczne w języku niemieckim i angielskim, noty biograficzne w języku niemieckim, 6 reprodukcji czarno-białych oraz 44 reprodukcje kolorowe (praca autora s.28 i 29).
-
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 -
ZzP - Podstawy budowania stron przy pomocy PHP7 - Spotkanie Akademickie 21.11.2020 r.
e-Learning CoursesSpotkanie poświęcone będzie zapoznaniu uczniów z podstawami w zakresie programowania w języku PHP7 przy tworzeniu dynamicznie generowanych treści stron internetowych. Przedstawiany materiał będzie wprowadzał do zagadnień programowania w języku PHP. Od uczniów wymagana jest podstawowa wiedza w zakresie obsługi komputerów, oraz tworzenia prostych stron internetowych za pomocą technologii HTML, CSS i JavaScript. Mile widziane są...
-
Dorota Wojtowicz-Jankowska dr hab. inż. arch.
PeopleSenior lecturer at the Faculty of Architecture, Gdansk University of Technology. In the years 1996 - 2014 she worked at the Department of Public Utilities and she is currently employed at the Department of Environmental Design. In 2006 she was awarded the title of doctor. Since 2011 he has been a member of POIA RP. In the years 2014 - 2017 she was a member of the Faculty Council. In his research work, he deals with issues connected...
-
Ekspertyza dotycząca oszacowania wartości odtwarzacza plików mp3 w telefonie komórkowym
PublicationEkspertyza ma na celu rozstrzygnięcie kwestii czy jest możliwe ustalenie, jaką część telefonu komórkowego stanowi odtwarzacz plików w formacie mp3 i czy jest on w takim przypadku "urządzeniem w urządzeniu", czy też jest to wyłącznie aplikacja.
-
Nowoczesny menedżeryzm sądowy
PublicationCelem artykułu jest ocena rozwiązań przyjętych w wymiarze sprawiedliwości dotyczących zarządzania nim przez profesjonalne podmioty. Artykuł odpowiada na pytania, na ile formalne kompetencje menedżerów sądowych pokrywają się z kompetencjami merytorycznymi i praktycznymi. I wreszcie, na ile menedżerowie są świadomi wyzwań stojących przed współczesnym wymiarem sprawiedliwości w Polsce. Brak wiedzy i umiejętności z zakresu zarządzania...
-
Inspiracje muzyczne we współczesnej architekturze.
PublicationW pracy 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 pracy 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,...
-
Automatic Classification of Polish Sign Language Words
PublicationIn the article we present the approach to automatic recognition of hand gestures using eGlove device. We present the research results of the system for detection and classification of static and dynamic words of Polish language. The results indicate the usage of eGlove allows to gain good recognition quality that additionally can be improved using additional data sources such as RGB cameras.
-
Bending of a Three-Layered Plate with Surface Stresses
PublicationWe discuss here the bending deformations of a three-layered plate taking into account surface and interfacial stresses. The first-order shear deformation plate theory and the Gurtin-Murdoch model of surface stresses will be considered and the formulae for stiffness parameters of the plate are derived. Their dependence on surface elastic moduli will be analyzed.
-
Comparative analysis of the theoretical models of ideal propulsor, ideal fluid brake, ideal screw propeller and ideal axial wind turbine
PublicationThe article presents a detailed discussion of four different fluid dynamics devices.These devices are presented with all relevant mathematical formulae regarding the forces, the power and the efficiency. It is demonstrated that application of the Betz theorem to axial wind turbines is not correct and it underestimates the maximujm achievable efficiency. This conclusion is supported by numerical calculations.
-
Bazy danych w zastosowaniach
e-Learning CoursesBazy danych - modele , implementacje ,języki
-
Języki programowania dla sztucznej inteligencji (2022/2023)
e-Learning CoursesJęzyki programowania dla sztucznej inteligencji
-
Języki Programowania dla Sztucznej Inteligencji (2023/2024)
e-Learning CoursesJęzyki programowania dla sztucznej inteligencji
-
Cassirer E. Jednostka i Kosmos w filozofii Odrodzenia. Przekład, wstęp i opracowanie P. Parszutowicz i D. Facca.Warszawa 2023
PublicationPublikacja stanowi przekład na jezyk polski, opracowanie i interpretację rozprawy Ernsta Cassirera Individuum und Kosmos in der Philosophie der Renaissance (1927). Cassirerowska wykładnia filozofii renesansu, zawarta w rozprawie cieszy się sławą jednego z najlepszych syntetycznych opracowań tego okresu.
-
Michał Szydłowski dr hab. inż.
People -
Formal Methods in Computer-Aided Design
Conferences -
Formal Power Series and Algebraic Combinatorics
Conferences -
Evaluation of Multimedia Stream Processing Modeling Language from the Perspective of Cognitive Dimensions
PublicationW referacie zawarto opis zastosowania wymiarów poznawczych do oceny języka modelowania przetwarzania strumieni multimedialnych, nazwanego MSP-ML, w trakcie tworzenia tego języka. Poszczególne części referatu prezentują kontekst i motywacje oceny MSP-ML, metodę oceny, rezultaty oceny oraz porównanie rezultatów oceny z wynikami otrzymanymi za pomocą innych metod oceny języków modelowania wizualnego.