Filters
total: 2124
-
Catalog
- Publications 1071 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 615 available results
- Events 82 available results
- Open Research Data 98 available results
displaying 1000 best results Help
Search results for: jezyki formalne
-
Subiektywny pomiar jakości sygnałów mowy i muzyki w lokalnych multipleksach radiofonii DAB+ w Gdańsku i Wrocławiu
PublicationRadiofonia cyfrowa DAB+ (Digital Audio Broadcasting plus) dostępna jest dla słuchaczy w Polsce od 2013 r. Standard ten oferuje szerokie możliwości konfiguracji multipleksów lokalnych nie tylko pod względem liczby, lecz także jakości nadawanych programów radiowych. Dzięki temu możliwe jest dostosowanie parametrów emitowanych sygnałów w celu sprostania oczekiwaniom odbiorców końcowych. W przeciwieństwie do radiofonii analogowej FM...
-
Język rosyjski w polskiej leksykografii przekładowej. Bibliografia słowników za lata 1795–2005 (książka)
Publication -
FORMAL ASPECTS OF COMPUTING
Journals -
Quantum aspects of semantic analysis and symbolic artificial intelligence.
PublicationNowoczesne podejścia do analizy semantycznej, jeśli przeformułować je w język przestrzeni Hilberta, ujawniają formalne struktury znane z mechaniki kwantowej. Podobna sytuacja występuje w rozproszonych reprezentacjach struktur poznawczych rozwijanych na użytek sieci neuronowych. W pracy przyglądamy się różnicom i podobieństwom owych teorii do kwantowej teorii informacji.
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublicationAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
Confronting representative spectral structures of vocal tract pulse responses
PublicationArtykuł niniejszy jest kolejnym w cyklu prac publikowanych na łamach Materiałów OSA, które poświęcono problemowi klasyfikacji formalnej leksemów odmiennych języków.W pracy omówiono metody i rezultaty automatycznego kwalifikowania wybranych leksemów trzech systemów języka na podstawie konfrontowania ich cyfrowych reprezantacji.
-
Oceny środowiskowe jako narządzie kształtowania krajobrazu.
PublicationArtykuł prezentuje możliwości wykorzystania procedury oceny oddziaływania na środowisko do ochrony i kształtowania krajobrazu miasta. Przedstawiono zagrożenia krajobrazów miast we współczesnym świecie, istotę ocen środowiskowych, jak i możliwości wykorzystania tej procedury z punktu widzenia uwarunkowań formalno-prawnych, czyli działań organów administracji publicznej oraz innych zainteresowanych instytucji i organizacji. Usystematyzowano...
-
Zaawansowane Systemy Elektroniczne i Fotoniczne - WILGA 2014. Cz�� 2 - Systemy elektroniczne dla eksperyment�w fizyki wielkich energii
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...
-
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 -
Music Recommendation Based on Multidimensional Description and Similarity Measures . Rekomendacja muzyki na podstawie wielowymiarowego wektora cech i miar podobieństwa
PublicationThis study aims to create an algorithm for assessing the degree to which songs belong to genres defined a priori. Such an algorithm is not aimed at providing unambiguous classification-labelling of songs, but at producing a multidimensional description encompassing all of the defined genres. The algorithm utilized data derived from the most relevant examples belonging to a particular genre of music. For this condition to be met,...
-
Między zawodem a służbą. O pracy pracownika socjalnego z osobami starszymi w perspektywie etyki personalistycznej
Publication -
Obszary fennistyki – język, kultura, naród. Tom wydany z okazji 100-lecia niepodległości Finlandii (książka)
Publication -
ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA-CLASSE DI SCIENZE
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 -
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publication -
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publication -
Czy Mickiewicz był klasykiem? – Reinterpretacja jego poezji dokonywana przez Czesława Miłosza. Język i poetyka klasycyzmu
Publication -
Arte and Arche. On Art and Architecture
PublicationArchitekci poszukują inspiracji i wzorców dla form architektonicznych wśród innych dziedzin sztuki. Zapożyczenia, cytaty i reinterpretacje malarstwa, rzeźby, muzyki, a nawet tańca mogą przynieść oryginalne koncepcje i rozwiązania formalne, przy okazji wiążąc architekturę z szerszym kontekstem historycznym, duchowym i kulturowym. Współczesne formy architektoniczne nieraz powstają jako przestrzenna interpretacja kompozycji malarskich...
-
Rasprave Instituta za hrvatski jezik i jezikoslovlje
Journals -
Koncert muzyki chóralnej zespołu wokalnego Art’n’Voices
EventsW ramach Politechniki Otwartej z cyklu „Akademia Muzyczna w Politechnice” koncert muzyki chóralnej zespołu wokalnego Art'n'Voices „KOLĘDY I NIE TYLKO…". Wstęp wolny, Aula GG.
-
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 -
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Annali della Scuola Normale Superiore di Pisa. Lettere, storia e filosofia
Journals -
Edizioni della Normale
Publishing Houses -
Tomasz Klimczuk prof. dr hab. inż.
PeopleStopnie naukowe i zawodowe dr hab. (2008) Wydz. FTiMS PG dr (2001) Wydz. FTiMS PG inż. (1997) Wydz. ZiE PG mgr inż. (1995 )Wydz. FTiMS PG Zatrudnienie grudzień 2013 – do chwili obcecnejprofesor nadzwyczajny na Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdańskiej wrzesień 2012 – grudzień 2013 adiunkt na Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdańskiej wrzesień 2009 – sierpień 2012grant-holder...
-
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 -
Annali della Scuola Normale Superiore di Pisa. Classe di lettere e filosofia
Journals -
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ą....
-
Croatica : časopis za hrvatski jezik, književnost i kulturu
Journals -
Cassirer E. Język i mit. Przyczynek do zagadnienia imion bogów.Przekład, wstęp i opracowanie: Przemysław Parszutowicz.. Wydaw. Marek Drzewiecki,2021
PublicationRozprawa Cassirera 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 Lehre von der religiösen Begriffsbildung. Pod względem...
-
Integracyjna metoda konstrukcji aplikacji obiektowych w środowisku graficznym z uwzględnieniem wymagań jakościowych
PublicationIntegracyjna metoda wytwarzania aplikacji IMAC łączy obiektowe metody analizy i projektowania oprogramowania oparte o UML i RUP z implementacją w wybranym języku programowania obiektowego. Dla opisu projektu informatycznego we wszystkich fazach jego powstawania zaproponowano język modelowania i implementacji IML łączący w spójny sposób zmodyfikowane diagramy UML z elastyczną składnią tekstową opartą o popularne języki obiektowe....
-
Wyszukiwanie informacji z wykorzystaniem algorytmu Ontology Clustering by Directions
PublicationArtykuł opisuje algorytm Ontology Clustering by Directions. Algorytm ten ma na celu wspieranie użytkowników w formułowaniu ontologicznych zapytań. Ontologiczne zapytania służą do wydobywania informacji sformułowanych za pomocą ontologii opisanych np. językiem OWL. Artykuł przedstawia rodzaje języków wykorzystywanych do formułowania ontologicznych zapytań. W szczególności opisuje języki, które mają być przyjazne użytkownikom. Na...
-
Anita Maria Dąbrowicz-Tlałka dr
PeopleAnita Dąbrowicz-Tlałka graduated from the Faculty of Mathematics and Physics at the University of Gdańsk with an outstanding grade, having written her thesis in the field of geometric topology. She concurrently obtained a diploma in Postgraduate Studies in the Basics of Computer Science at the University of Gdańsk. In 2001 she received a Ph.D. degree in mathematical studies at the Poznań University of Technology after defending...
-
Proces integracji języków europejskich wyrażonej w zasobach homonimiki języka polskiego, rosyjskiego i fińskiego [The process of integration of European languages as expressed by the rich homonymy of Polish, Russian and Finnish]
Publication -
Przemówienie wygłoszone 16 maja 2017 roku podczas inauguracji konferencji naukowej "Obszary fennistyki: język – kultura – naród" na Uniwersytecie Gdańskim (Konferenssin terveliaispuhe)
Publication -
Język białoruski w leksykografii polskiej. Bibliografia słowników (za lata 1807–2012) [The Byelorussian language in the Polish lexicography. A bibliography of dictionaries for the years 1807–2012]
Publication -
Zbiorowe zaopatrzenie w wodę i odprowadzanie ścieków (2). Definicje niekompletne.
PublicationKomentarz do nowej ustawy. Formalne braki w regulacjach. Konieczne korekty.
-
Sprawdzanie dokumentacji projektowej
PublicationAnaliza problemu sprawdzenia projektu budowlanego. Wymagania prawne. Zmiany formalne, zagrożenia, konflikty.
-
Warunki wprowadzania ścieków do wód lub ziemi.
PublicationOmówienie aktualnej regulacji prawnej w przedmiotowym zakresie. Rozporządzenie, wymagania formalne, preferencje.
-
Koncepcja modelu matematycznego procesu eksploatacji okrętowego systemu energetycznego
PublicationW czasie eksploatacji siłowni okrętowych użytkownicy w sposób ciągły podejmują decyzje dotyczące użytkowania i obsługiwania poszczególnych jej urządzeń i podsystemów dążąc w tym względzie do zapewnienie sytuacji normalnej. Kompleksowy a jednocześnie praktycznie użyteczny opis własności siłowni wymaga min. identyfikacji i formalnego opisu dwóch nawzajem zależnych podprocesów procesu eksploatacji tzn.: procesu zmian stanów technicznych...
-
Zastosowanie systemów chatter-bot do wspomagania zarządzania
PublicationCelem rozdziału jest analiza systemów przetwarzania języka naturalnego do wspomagania zarządzania na przykładzie chatter-botów - tzw. wirtualnych konsultantów - systemów informatycznych, które potrafią odpowiadać na pytania zadawane w języku naturalnym. Przedstawiono zakres zastosowań systemów, główne czynniki wpływające na ich funkcjonalność, analizę kosztów wdrożenia i efektywności inwestycji oraz przykłady komercyjnych zastosowań.
-
Wycena rozrachunków w prawie bilansowym i podatkowym
PublicationOmówiono czasowe i formalne instrumenty polityki bilansowej i podatkowej na przykładzie rozrachunków
-
Janusz Górski prof. dr hab. inż.
People -
Leadership, culture, intellectual capital and knowledge processes for organizational innovativeness across industries: the case of Poland
PublicationPurpose – This study aims to present the overview of intellectual capital creation micro-mechanisms concerning formal and informal knowledge processes. The organizational culture, transformational leadership and innovativeness are also included in the investigation as ascendants and consequences of the focal relation of intellectual capital and knowledge processes. Design/methodology/approach – Based on a sample of 1,418 Polish...