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
-
Zbigniew Kaźmierczyk dr hab.
PeopleProf. Zbigniew Kaźmierczyk, PhD in Literature, associate professor in the Department of History of Literature at the Institute of Polish Language and Literature at the University of Gdańsk. He has displayed the Gnostic – Manichaean dimension of existence in Miłosz’s writings ('The Work of Demiurge', 2011) by applying the language of access to apocrypha of the religion of gnosis. He has gathered linguistic, historic, religious,...
-
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...
-
Wyznaczanie charakterystyk hydraulicznych dla trójwymiarowych obiektów przepływowych
PublicationZaproponowano systematyczną klasyfikację reaktorów, służących do oczyszczania wody i ścieków, uwzględniającą formalny charakter zmiennych przepływu. Opisano zasady wymiarowania obiektów dla poszczególnych kategorii.
-
O imionach bogów
PublicationArtykuł omawia i analizuje Cassirerowską koncepcję imion bogów. Koncepcja ta pochodzi z najważniejszego bodaj okresu jego twórczości – okresu współpracy z Biblioteką Warburga – i mimo niewielkich rozmiarów jest w dużej mierze reprezentatywna, tak gdy idzie o wykorzystywaną przez niego metodę, jak i o główny obszar jego zainteresowań badawczych. Stanowi bezpośrednie nawiązanie do rozprawy Hermanna Usenera Götternamen. Versuch einer...
-
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).
-
Projekt posadowienia rurociągu jako element projektu budowlanego
PublicationWymagania formalne w stosunku do dokumentacji projektowej fazy projektu budowlanego. Dokumentacja geotechniczna (w tym projekt posadowienia) jako część projektu budowlanego. Konsekwencje przyjęcia Eurokodów. Zaostrzenie wymagań formalnych w stosunku do projektu budowlanego. Aktualne wymagania prawne. Możliwe konsekwencje pomijania w dokumentacji projektowej dokumentacji posadowienia obiektu budowlanego.
-
Ontologie w Sieci Semantycznej
PublicationWraz z nastaniem ery Internetu i jego gwałtownym rozwojem, zasadniczym problemem dla współczesnej informatyki stała się automatyzacja pozyskiwania olbrzymich zasobów wiedzy ludzkiej w nim zgromadzonych. Wiedza ta ma bardzo zróżnicowany charakter z uwagi na wielość formatów zapisu danych, a przede wszystkim z uwagi na różny stopień jej ustrukturalizowania. Jedną z najbardziej popularnych idei dążących do systematycznego podejścia...
-
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ą...
-
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.
-
Projektowanie gier komputerowych z wykorzystaniem Unreal Development Kit
PublicationW pracy przedstawiono pakiet narzędziowy Unreal Development Kit (UDK) umożliwiający tworzenie gier w oparciu o silnik Unreal Engine 3 (UE3). Silnik ten umożliwia tworzenie wieloplatformowych, zaawansowanych graficznie gier praktycznie dowolnego typu. UDK jest zasadniczo kompletnym środowiskiem wytwarzania gier oferując rozmaite narzędzia modelowania poziomów, w tym: edytor brył geometrycznych, siatek obiektów i terenu, bibliotekę...
-
Z polsko-łacińskiej leksykografii przekładowej. Cz. I. Bibliografia słowników z językiem łacińskim za lata 1964–1989 w układzie chronologicznym [From the Polish translation lexicography. Part I. A bibliography of dictionaries with the Latin language, the years 1964–1989, in a chronological order]
Publication -
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...
-
Wojciech Sadowski prof. dr hab. inż.
PeopleWojciech Sadowski (born 2 February 1954 in Ostaszewo, Poland), scientist, engineer, professor at Gdansk University of Technology, specialist in solid state body physics, nanotechnology, optoelectronics. In 1973 he completed his high school education at High School Nicolaus Copernicus in Chelmno. In 1979 he graduate from Leningrad Electrotechnical Institute in Russia (former Soviet Union) with specialism in dielectrics and semiconductors....
-
Statistical analysis of pressuremeter tests for the north transversal tunnel in Grenoble
PublicationInterpretacja wyników badań presjometrycznych metodą statystyczną. Wartości charakterystyczne. Zastosowano rozkłady normalny, log-normalny, wykładniczy, Weybulla, Gamma, Chiz, Studenta i Pareto. Określono zmienność parametrów geotechnicznych zastosowanych do projektu tunelu i współczynnika bezpieczeństwa w czasie drążenia tunelu.
-
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.
-
Z polsko-łacińskiej leksykografii przekładowej. Cz. II. Bibliografia słowników z językiem łacińskim za lata 1990–2011 w układzie chronologicznym [From the Polish-Latin translation lexicography. Part II. A bibliography of dictionaries with the Latin language, the years 1990–2011, in a chronological order]
Publication -
Z polsko-łacińskiej leksykografii przekładowej. Cz. II. Bibliografia słowników z językiem łacińskim za lata 1990–2011 w układzie chronologicznym [From the Polish-Latin translation lexicography. Part II. A bibliography of dictionaries with the Latin language, the years 1990–2011, in a chronological order]
Publication -
Sztuka w przestrzeni publicznej miasta - konfrontacja czy dopełnienie?
PublicationCelem artykułu jest próba pokazania języka dialogu sztuki publicznej i przestrzeni miejskiej.
-
Ontologie OWL i ich wykorzystanie.
PublicationPrzedstawiono zarys idei sieci semantycznej i rolę języka OWL w tej inicjatywie. Omówiono pojęcie ontologii i jej budowę przyjętą w OWL. Opisano trzy wersje języka wraz ze wskazaniem różnic i odmiennych zastosowań. Szczegółowo przedstawiono sposób definiowania klas i ich instancji, a także metody tworzenia relacji między klasami za pomocą właściwości. Na przykładach omówiono rodzaje właściwości oferowanych przez specyfikację OWL....
-
Opis zasobów za pomocą RDF.
PublicationPrzedstawiono zarys idei sieci semantycznej i rolę języka OWL w tej inicjatywie. Omówiono pojęcie ontologii i jej budowę przyjętą w OWL. Opisano trzy wersje języka wraz ze wskazaniem różnic i odmiennych zastosowań. Szczegółowo przedstawiono sposób definiowania klas i ich instancji, a także metody tworzenia relacji między klasami za pomocą właściwości. Na przykładach omówiono rodzaje właściwości oferowanych przez specyfikację OWL....
-
Dariusz Świsulski dr hab. inż.
People -
Using XML for implementing set of experience knowledge structure
PublicationPrzedstawiono implementację struktury wiedzy na platformie języka XML. Omówiono zalety implementacji w XML.
-
Nowe oblicze melioracji i retencji w Polsce
PublicationProblemy związane z formalnie nieistniejącymi "melioracjami miejskimi". Nowe zadania, obowiązki i możliwości wprowadzone nowym prawem wodnym. Zadania gmin, potencjalne nowe możliwości przedsiębiorstwa "wodociągów i kanalizacji". Zagadnienia organizacyjne i ekonomiczne.
-
Buckling of frame braced by linear elastic springs
PublicationIn the design codes and specifications, simplifed formulae or diagrams are given for determining the buckling lengths of frame columns based on the ruling criterion of considering frames as sway or non sway. Due to the fact that, the code formulae utilize onlylocal stifness distributions, these formulae may yield in certain cases rather erroneous results. In most code formulas a case of weakly braced frames is usually not considered.In...
-
Spotkanie z doktorantami II roku
EventsDn. 16.03.2023 r. (czwartek) o godz. 13.00 odbędzie się spotkanie informacyjne dla doktorantów II roku w Szkole Doktorskiej na Politechnice Gdańskiej, poświęcone ocenie śródokresowej. Spotkanie będzie prowadzone w języku
-
An integrated framework for security protocol analysis
PublicationAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...
-
Państwowy zasób geodezyjny i kartograficzny
PublicationRozdział poświęcony państwowemu zasobowi geodezyjnemu i kartograficznemu. Przedstawia zasady formalno-prawne jego funkcjonowania we współczesnym świecie. Rozdział w kontekście monografii podaje zasady na poziomie masowego użytkownika zasobu geodezyjnego i kartograficznego.
-
Państwowy zasób geodezyjny i kartograficzny
PublicationRozdział poświęcony państwowemu zasobowi geodezyjnemu i kartograficznemu. Przedstawia zasady formalno-prawne jego funkcjonowania we współczesnym świecie. Rozdział w kontekście monografii podaje zasady na poziomie masowego użytkownika zasobu geodezyjnego i kartograficznego.
-
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
-
Krajowa Polityka Miejska jako wyraz miastopoglądu?
PublicationPo dwóch latach pracy w październiku 2015 Krajowa Polityka Miejska została przyjęta przez rząd RP, jako krok w stronę skoordynowania działań, w odpowiedzi na wyzwania stojące przed polskimi miastami. Jest to nowe podejście, choć Polska nie jest jedynym krajem na świecie stosującym to narzędzie koordynacji zarządzania miastami. W Krajowej Polityce Miejskiej zebrano wyniki ekspertyz rządowych. Jej ustalenia mają kierunkować zarówno...
-
Problemy gospodarki przestrzennej w Parku Narodowym ''Bory Tucholskie'' i w jego otoczeniu.
PublicationW artykule omówiono problemy gospodarki przestrzennej w następujących ujęciach formalno-terytorialnych: Park Narodowy ''Bory Tucholskie''; otulina parku narodowego; Zaborski Park Krajobrazowy; jednostki samorządu terytorialnego (gminy i powiat); rezerwat biosfery ''Bory Tucholskie''.
-
Knowledge Views and their application in systems engineering
PublicationWykorzystanie technologii Semantic Web, w szczególności baz wiedzy, w przemyśle informatycznym jest niewielkie. Jest to spowodowane między innymi dużym ryzykiem związanym z wdrażaniem nowych technologii i brakiem wiedzy na ich temat ze strony inżynierów oprogramowania. Aby zmniejszyć ryzyko związane z wdrażaniem baz wiedzy i zminimalizować nakład pracy inżynierów na zapoznanie się z nimi, w niniejszej pracy zaproponowano koncepcję...
-
Posadowienie obiektu liniowego
PublicationProblemy posadowienia obiektu liniowego w warunkach zmiennych (na długości i głębokości) stosunków gruntowo -wodnych, konsekwencje błędnych decyzji. Posadowienie praktycznie dominuje jako przyczyna awarii. Wymagania formalne w zakresie opracowania warunków posadowienia. Konieczność zwiększenia wymagań formalnych na skutek powszechnego lekceważenia prawa. Warunki gruntowe oraz kategorie geotechniczne obiektów. Zasady kwalifikacji...
-
Jacek Dziedzic dr hab. inż.
People -
Przede wszystkim rachunek ekonomiczny. Wnioski o dofinansowaniu ze środków unijnych
PublicationAnaliza dokumentacji związanych z inwestycjami. Spójność dokumentacji, formalna zgodność z programami, strona ekonomiczna. Wykazano dyskwalifikujące braki w zakresie dokumentacji projektowej oraz kosztorysowej. Brak liczenia się ze stroną ekonomiczną inwestycji komunalnych oraz eksploatacją.
-
Alternative shaper: a model for automatic design generation
Publication -
Excition interactions in emitters of organic electroluminescent diodes
Publication -
Jakub Mężyk
People -
Elementary gates for cartoon computation
PublicationSformułowano elementarne bramki kwantowe, pozwalające tłumaczyć algorytmy kwantowe na język geometryczny.
-
A new integrated curriculum for computational methods in mechanics and design
PublicationPrzedstawiono program nowej specjalności na studiach inżynierskich: metody numeryczne w mechanice i projektowaniu, prowadzonej w języku angielskim.
-
Akwarela- pasje i namiętności
PublicationMonografia dwujęzyczna: w języku polskim i angielskim przedstawiająca twórczość akwarelistów, członków założycieli nowo powstałego Stowarzyszenie Akwarelistów Polskich.
-
Trzy historyczne miejsca kultu - włączone-wyłączone a przestrzeń miasta Gdańska = Three historic sities for religious cult - included-excluded in the space of the city of Gdansk.
Publicationpublikacja przedstwia historię 3 wybranych świątyń w gdańsku, które zmieniały obrządek oraz ich deklaratywną rolę we współczesnym mieście wynikajacą z potrzeb i możliwości obrządku oraz lokalizacji.trzy obiekty to: cerkiew prawosławna ul. traugutta w gdańsku-wrzeszczu,synagoga w gdańsku-wrzeszczu, kośiół-cerkiew unicka w gdańsku głównym. autor zwraca uwagę na wartości zarówno formalne jak i duchowe oraz związki nieformalne.
-
Współczesne cykle wytwarzania oprogramowania
PublicationPraca omawia inne stosowane współcześnie cykle wytwórcze. Do dyskusji wybra-ne zostały modele, których wykorzystanie przynosi satysfakcjonujące rezulta-ty (wytwarzanie obiektowe, ponowne użycie oprogramowania z wykorzystaniemkomponentów i wzorców, ponowna inżynieria systemów), podejścia, których sto-sowanie nie jest oceniane jednoznacznie (jak to ma miejsce w wypadku metody-ki SSM Checklanda) oraz modele uważane, obok wymienionych,...
-
Technologie informatyczne wykorzystywane w projektowaniu i implementacji ontologii
PublicationW rozdziale tym zostały przedstawione podstawowe zagadnienia związane z tworzeniem ontologii rozumianych jako modele wiedzy o wybranej dziedzinie. Prezentowane są języki służące do opisu ontologii, aplikacje wspomagające tworzenie i implementację ontologii, a także przykładowe projekty, których celem jest rozwijanie ontologii dotyczących wiedzy ogólnej lub ograniczonych do określonych domen.
-
Formal and Computational Cryptography
Conferences -
Integrated Formal Methods
Conferences -
Formal Methods Pacific
Conferences