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
-
Zur Ahnlichkeit der Drill- und Biegetrager-Formeln fur dunnwandige Stabe - Stellungsnahme zur Zuschrift.
PublicationPrzedstawiono stanowisko odnośnie uwag dyskutanta, stwierdzające możliwości przyjęcia różnych dróg przejścia granicznego w analizie problemu.
-
Język rosyjski w polskiej leksykografii przekładowej. Bibliografia słowników za lata 1795–2005 (książka)
Publication -
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...
-
Notre Dame Journal of Formal Logic
Journals -
The suitability of DNA extracted from formalin-fixed, paraffin-embedded tissues for double differential polymerase chain reaction analysis
Publication -
Zaświat i świat w tomiku Mariusza Więcka „Dar języków”
Publication -
Propozycja silnika fizyki bryły sztywnej dla trójwymiarowej gry komputerowej
PublicationReferat prezentuje autorski silnik dynamiki brył sztywnych działający w czasie rzeczywistym i przeznaczony do symulacji fizycznych na potrzeby gier komputerowych. Ze względu na przeznaczenie silnika przyjęto, że wiarygodność efektów symulacji będzie ważniejsza niż dokładne odwzorowanie zjawisk fizycznych. Pozwoliło to na zastosowanie uproszczonego modelu fizycznego i uzyskanie dzięki temu efektywnego silnika, radzącego sobie w...
-
Od zajęć tradycyjnych do MOOCów – role nauczyciela języków obcych
PublicationE-learning może stać się skutecznym środowiskiem uczenia się i nauczania przede wszystkim dzięki wytężonej pracy kompetentnego nauczyciela. Różne role, jakie musi on wypełniać, związane są z naturą procesu edukacyjnego prowadzonego online, na który ma wpływ przyjęta koncepcja metodyczna, instruktywistyczna lub konstruktywistyczna, liczba uczestników, struktura kursu, typy zasobów i aktywności oraz tematyka całego programu lub modułu....
-
Reprezentacja map procesów biznesowych Rummlera-Brache'a w języku PMDL na potrzeby agentów monitorujących proces wytwórczy.
PublicationW artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Proces wytwórczy definiowany jest w formie hierarchicznego zbioru procesów biznesowych opisywanych zgodnie z formalizmemzaproponowanym przez Rummlera-Brache'a. Zbiór ten odwzorowany jest na zapis w języku PMDL, z którego generowany jest kod agentów monitorujących proces wytwórczy.
-
The formal safety assesment in conforming to chosen vessel's type on the ground of hydromechanic characteristics in critical conditions.
PublicationTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna. W konsekwencji...
-
Why set of experience knowledge structure can be considered a knowledge representattion for formal decision events?
PublicationOmówiono zasady reprezentacji wiedzy przy pomocy zbioru dośwadczeń. Uzasadniono wybór takiej reprezentacji na tle badańliteraturowych.
-
Obszary fennistyki – język, kultura, naród. Tom wydany z okazji 100-lecia niepodległości Finlandii (książka)
Publication -
The potential role of fatty acids in prostate cancer determined by GC–MS analysis of formalin-fixed paraffin-embedded tissue samples
Publication -
Z Teorii i Praktyki Dydaktycznej Języka Polskiego
Journals -
Reprezentatywne dla danego języka spektra odpowiedzi impulsowej kanału głosowego [Language specific spectra generated in the human vocal tract]
Publication -
Zjawisko homonemii międzyjęzykowej na przykładzie języków: polskiego, rosyjskiego i fińskiego
Publication -
O lepszą jakość kształcenia matematyki i fizyki na Politechnice Gdańskiej
PublicationAnalizowano prawdopodobne niepowodzenia studentów I roku w nauczaniu matematyki i fizyki na Politechnice Gdańskiej. Przedstawiono je od strony samych absolwentów szkół średnich, nauczycieli szkół średnich oraz nauczycieli akademickich. Analizowano wpływ formy przyjęcia studentów na Politechnikę Gdańską egzamin-konkurs świadectw oraz nowe założenia programowe z przedmiotów matematyka i fizyka przygotowane przez MENiS na jakość kształcenia...
-
Zastosowanie wysokopoziomowych języków programowania do wyznaczania nośności przemieszczeniowych pali wkręcanych.
PublicationW artykule podjęta zostaje problematyka współczesnego, bardziej ekonomicznego projektowania pali. Rozwiązania normowe np. PN-83-B-2482, bazują zazwyczaj na wielkościach takich jak stopień zagęszczenia czy stopień plastyczności. Powoduje to, że dane uzyskane bezpośrednio z badań podłoża są korelowane podwójnie. W niniejszym opracowaniu proponuje się, aby korzystając z funkcji transformacyjnych wyznaczać nośność pala bezpośrednio...
-
A multi‐industry and cross‐country comparison of technology contribution to formal and informal knowledge sharing processes for innovativeness
PublicationThe study explores the impact of organizational information technology (IT) competency on knowledge sharing, both explicit and tacit, in the context of innovativeness of products and processes. Knowledge sharing is then assessed in terms of tacit-to-explicit conversion and the impact of both types of knowledge on organizational innovation. Both process (internal) and product/service (external) innovation are included. As an extension,...
-
Work and formal retirement age - opinions of SWE employees participating in the Best Agers Lighthouses International Project
PublicationThe paper presents selected results of studies carried out within the framework of the international project Best Agers Lighthouses – Strategic Age Management for SME in the Baltic Sea Region, related to the assessment of the opportunities to continue working beyond the retirement age in the opinion of workers.
-
Czy Mickiewicz był klasykiem? – Reinterpretacja jego poezji dokonywana przez Czesława Miłosza. Język i poetyka klasycyzmu
Publication -
Zarys problematyki tyczącej przekładu tekstów specjalistycznych z języka fińskiego [An outline of problems concerning translation of Finnish specialized texts into Polish]
Publication -
Reprezentatywne dla danego języka spektra odpowiedzi impulsowej kanału głosowego = English language specific spectrum generated in the human vocal tract
PublicationW pracy omówiono wybrane problemy ekstrakcji kodu informacji zawartego w dźwiękach mowy etnicznej. Autorzy, wykorzystując kompilację własnych i firmowych algorytmów, wydzielają w procesie wygładzania cepstralnego z cyfrowego zapisu dźwięków mowy naturalnej strukturę spektralną pobudzenia tonem krtaniowym i szumem oraz strukturę spektralną kanału głosowego modulującego to pobudzenie. W następnym kroku powstają -statystycznie reprezentatywne...
-
Teoria Muzyki. Studia, interpretacje, dokumentacje
Journals -
Nowe wyzwania, nowe horyzonty. Czterdzieści lat skandynawistyki gdańskiej. Tom 3: Język, kultura i społeczeństwo Finlandii (książka)
Publication -
Język angielski w polskiej leksykografii. Tom 2: Słowniki przekładowe terminologiczne wydane w latach 1782–2012 (książka)
Publication -
Ocena języków systemów ekspertowych dla celu implementacji baz wiedzy Systemu Wieloagentowego
PublicationW pracy dokonano oceny wybranych narzędzi do implementacji modelu baz wiedzy systemu wieloagentowego do oceny technologii informatycznych. Narzędzia te to języki programowania systemów ekspertowych. Jakkolwiek bardzo dobrze sprawdzają się one w zastosowaniach związanych z gromadzeniem wiedzy w postaci zarówno faktów, jak i reguł to może się okazać, że nie udaje się z ich wykorzystaniem zrealizować wszystkich wymagań zdefiniowanych...
-
Wystawa Jubileuszowa "100 lat fizyki i matematyki na politechnice w Gdańsku"
Publication -
Zajęcia wyrównawcze z matematyki i fizyki na Wydziale Mechanicznym Politechniki Gdańskiej.
PublicationOpisano stan przygotowania z matematyki i fizyki absolwentów szkół średnich do podjęcia studiów politechnicznych. Podano formy poprawy przygotowania na studia techniczne prowadzone na Politechnice Gdańskiej. Omówiono repetytorium z matematyki i fizyki prowadzone na Wydziale Mechanicznym, jego ocenę przez ankietowanych studentów oraz wyniki.
-
SKY PG - kolejny sukces na Wydziale Fizyki Technicznej i Matematyki Stosowanej
PublicationSukcesem zakończyła się misja balonu meteorologicznego z sondą pomiarową przygotowaną przez studentów Wydziału Fizyki Technicznej i Matematyki Stosowanej. W lipcu 2016 roku grupa studentów z WFTiMS, we współpracy z Kołem Naukowym Studentów Fizyki PG, wykonała pomiary wybranych wielkości zycznych, posługując się autorskim układem pomiarowym, umieszczonym w sondzie badawczej przyczepionej do balonu meteorologicznego. Podczas około...
-
Zapomniany profesor Politechniki Gdańskiej i Politechniki Warszawskiej Mieczysław Wolfke – geniusz fizyki
PublicationArtykuł przedstawia sylwetkę Mieczysława Wolfke - geniusza fizyki. W 2018 roku ukazała się książka Krzysztofa Petelczyca i Eweliny Kędzierskiej zatytułowana Mieczysław Wolfke. Gdyby mi dali choć pół miliona…, poświęcona Mieczysławowi Wolfkemu – wybitnemu fizykowi, wynalazcy, człowiekowi nieprzeciętnego umysłu i rozległej wiedzy z różnych dziedzin, wykładowcy polskich uczelni – Politechniki Gdańskiej i Politechniki Warszawskiej,...
-
Nauka w świecie cyfrowym okiem młodego inżyniera - strumieniowanie muzyki w sieci
PublicationNa początku konsumpcja treści multimedialnych, związanych początkowo z sygnałami audio, była możliwa tylko w sposób stacjonarny. Odtwarzacz muzyczny znajdował się w domu, wraz z niezbędnym nośnikiem fizycznym. Alternatywnym sposobem dla jednostki był udział w występie na żywo w sali koncertowej lub zorganizowanie prywatnego koncertu w domu. Podsumowując, efekty audiowizualne były zarezerwowane tylko dla wąskiego grona odbiorców.
-
REJESTRACJA, PARAMETRYZACJA I KLASYFIKACJA ALOFONÓW Z WYKORZYSTANIEM BIMODALNOŚCI
PublicationPraca dotyczy rejestracji i parametryzacji alofonów w języku angielskim z wykorzystaniem dwóch modalności. W badaniach dokonano rejestracji wypowiedzi w języku angielskim mówców, których znajomość tego języka odpowiada poziomowi rodowitego mówcy. W kolejnym etapie wyodrębnione zostały alofony z nagrań fonicznych i odpowiadające im sygnały wizyjne. W procesie tworzenia wektorów cech wykorzystano odrębne systemy parametryzacji,...
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
ANNALES SCIENTIFIQUES DE L ECOLE NORMALE SUPERIEURE
Journals -
Automatyczna budowa taksonomii usług w oparciu o ich głosy w języku naturalnym oraz przy uzyciu zewnętrznych źródeł wiedzy
PublicationPrzedstawiono propozycję metody automatycznej budowy taksonomiiusług na podstawie ich opisów w języku naturalnym, w oparciu ometodę analizy formalnych koncepcji (FCA). Dodatkowo przedstawione rozwiązanie przewiduje możliwość skorzystania z zewnętrznych źródeł wiedzy takich jak Wikipedia, Word Net, ConceptNet lub globalnej sieci WWW w celu eliminacji problemu niepełnych danych wejściowych (ang. data sparseness).
-
Dyglosja i tryglosja języka fińskiego w świetle sytuacji socjolingwistycznej Finlandii [Diglossia and triglossia in the Finnish language in the light of the sociolinguistic situation of Finland]
Publication -
O kulturowych i leksykalnych problemach tłumacza (na materiale języka fińskiego) [On cultural and lexical problems of a translator – based on the translations from Finnish]
Publication -
Koncert Muzyki Cerkiewnej
EventsBilety w cenie: 15 zł – sektor A / 10 zł – sektor B do nabycia w Księgarni PWN w Gdańsku, ul. Korzenna 33/35 lub w Centrum św. Jana na godzinę przed koncertem.
-
Język potoczny w polskiej lingwistyce. Materiały do Przewodnika leksykalno-bibliograficznego [Colloquial language in Polish linguistics. Materials to be included in a bibliography]
Publication -
Tool support for ECSDM fault tree methodology
PublicationExtended Common Safety Description Model (ECSDM) jest językiem do formalnej specyfikacji systemów związanych z bezpieczeństwem oraz ich komponentów. Język ten zawiera konstrukcje umożliwiające specyfikację zależności czasowych. Może on zostać użyty w analizie drzew błędów, aby uzyskać jednoznaczną specyfikację hazardów w sytuacji, gdy są one uzależnione od związków czasowych pomiędzy przyczynami. Artykuł opisuje narzędzie wytworzone...
-
Mathematical Modelling of Drive System with an Elastic Coupling Based on Formal Analogy between the Transmission Shaft and the Electric Transmission Line
PublicationIn the paper, the kinematic structure of the transmission shaft between the driving motor and the working mechanism is studied. The analysis is based on electrical and mechanical similarities. The equivalent circuits, typical for electrical systems, are defined for the transmission shaft concerned. Modelling of the transmission shaft based on a formal analogy between the transmission shaft and the electric transmission line is...
-
Probabilistic concept of defining the situations possible to occur during operation of floating docks
PublicationW artykule zasygnalizowana została możliwość oszacowania bezpieczeństwa doków pływajacych, w wyniku zastosowania teorii procesów semimarkowskich, zarówno w fazie projektowania jak też eksploatacji. Przedstawiono opis formalny sytuacji, jakie mogą zaistnieć podczas funkcjonowania (działania) doków pływających, zarówno budowlanych jak również remontowych. Wyróżniono takie sytuacje jak: normalna, skomplikowana, niebezpieczna, awaryjna...
-
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.
-
Experimental and theoretical investigations of silo music during granular flow
PublicationPraca dotyczy analizy efektów dynamicznych w silosach podczas przeływu materiałów sypkich.
-
Integracyjna metoda konstruowania aplikacji
PublicationZaproponowano metodę wytwarzania oprogramowania IMAC, która może stanowić pewien przełom w inżynierii oprogramowania na miarę jaką stanowiło wprowadzenie języków obiektowych zwłaszcza dla aplikacji rozproszonych do zastosowań biznesowych. W metodzie tej proponuje się ścisłe powiązanie analizy, projektu i implementacji w jednym, spójnym środowisku graficznym i stosowanie wspólnego języka modelowania i implementacji IML. Głównym...
-
Język angielski w polskiej leksykografii. Tom 1: Słowniki przekładowe lingwistyczne i encyklopedyczne wydane w latach 1782–2012 (książka)
Publication -
Kalendarium ważniejszych wydarzeń naukowych na Uniwersytecie Gdańskim związanych z utworzeniem kierunku finlandystycznego (rubryka: Język fiński na Uniwersytecie Gdańskim)
Publication -
Cassier E.Filozofia form symbolicznych. Część pierwsza: Język. Przekład, wstęp i opracowanie Przemysław Parszutowicz, Kęty : Wydawnictwo Marek Derewiecki, 2018
PublicationNeokantysta Cassirer podejmuje wyjściową kantowską intuicję, rozszerza ją jednak także poza przyrodoznawstwo, na cały obszar „rozumienia świata”. […] Sztuka, język, religia i nauka to wymiary ludzkiej aktywności sensotwórczej, które manifestują się jako obszary kultury, każdorazowo różniące się w swej funkcji i ekspresji. Wspólne im jest to, że nie odwzorowują po prostu tego, co dane, lecz że raczej to, co dane, najpierw wytwarzają....
-
O topologii w architekturze
PublicationOpracowanie dotyczy inspiracji we współczesnej architekturze topologicznymi koncepcjami. Wzbogacenie warsztatu projektowego o komputerowe narzędzia obliczeniowe umożliwiające tworzenie i modyfikowanie unikalnej, krzywoliniowej, geometrii katalizuje formalne i konceptualne eksploracje przestrzeni topologicznej przez awangardowych projektantów. Podejście topologiczne manifestuje się zarówno w dynamice procesu projektowania opartego...