Filtry
wszystkich: 2124
-
Katalog
- Publikacje 1071 wyników po odfiltrowaniu
- Czasopisma 31 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 176 wyników po odfiltrowaniu
- Projekty 8 wyników po odfiltrowaniu
- Laboratoria 6 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 615 wyników po odfiltrowaniu
- Wydarzenia 82 wyników po odfiltrowaniu
- Dane Badawcze 98 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: jezyki formalne
-
Subiektywny pomiar jakości sygnałów mowy i muzyki w lokalnych multipleksach radiofonii DAB+ w Gdańsku i Wrocławiu
PublikacjaRadiofonia 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)
Publikacja -
FORMAL ASPECTS OF COMPUTING
Czasopisma -
Quantum aspects of semantic analysis and symbolic artificial intelligence.
PublikacjaNowoczesne 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
PublikacjaAutoFocus 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
PublikacjaArtykuł 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.
PublikacjaArtykuł 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
Publikacja -
Reprezentatywne dla danego języka spektra odpowiedzi impulsowej kanału głosowego = English language specific spectrum generated in the human vocal tract
PublikacjaW 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]
Publikacja -
Music Recommendation Based on Multidimensional Description and Similarity Measures . Rekomendacja muzyki na podstawie wielowymiarowego wektora cech i miar podobieństwa
PublikacjaThis 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
Publikacja -
Obszary fennistyki – język, kultura, naród. Tom wydany z okazji 100-lecia niepodległości Finlandii (książka)
Publikacja -
ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA-CLASSE DI SCIENZE
Czasopisma -
Automatyczna budowa taksonomii usług w oparciu o ich głosy w języku naturalnym oraz przy uzyciu zewnętrznych źródeł wiedzy
PublikacjaPrzedstawiono 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]
Publikacja -
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]
Publikacja -
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publikacja -
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publikacja -
Czy Mickiewicz był klasykiem? – Reinterpretacja jego poezji dokonywana przez Czesława Miłosza. Język i poetyka klasycyzmu
Publikacja -
Arte and Arche. On Art and Architecture
PublikacjaArchitekci 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
Czasopisma -
Koncert muzyki chóralnej zespołu wokalnego Art’n’Voices
WydarzeniaW 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)
Publikacja -
Język angielski w polskiej leksykografii. Tom 2: Słowniki przekładowe terminologiczne wydane w latach 1782–2012 (książka)
Publikacja -
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublikacjaArtykuł 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
Czasopisma -
Tomasz Klimczuk prof. dr hab. inż.
OsobyStopnie 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...
-
Edizioni della Normale
Wydawnictwa -
Język potoczny w polskiej lingwistyce. Materiały do Przewodnika leksykalno-bibliograficznego [Colloquial language in Polish linguistics. Materials to be included in a bibliography]
Publikacja -
Annali della Scuola Normale Superiore di Pisa. Classe di lettere e filosofia
Czasopisma -
Język angielski w polskiej leksykografii. Tom 1: Słowniki przekładowe lingwistyczne i encyklopedyczne wydane w latach 1782–2012 (książka)
Publikacja -
Kalendarium ważniejszych wydarzeń naukowych na Uniwersytecie Gdańskim związanych z utworzeniem kierunku finlandystycznego (rubryka: Język fiński na Uniwersytecie Gdańskim)
Publikacja -
Cassier E.Filozofia form symbolicznych. Część pierwsza: Język. Przekład, wstęp i opracowanie Przemysław Parszutowicz, Kęty : Wydawnictwo Marek Derewiecki, 2018
PublikacjaNeokantysta 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
Czasopisma -
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
PublikacjaRozprawa 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
PublikacjaIntegracyjna 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
PublikacjaArtykuł 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
OsobyUzyskała, z wynikiem bardzo dobrym, tytuł magistra na kierunku matematyka na Wydziale Matematyki Uniwersytetu Gdańskiego. Praca magisterska pt. „Zbiory swojskie i dzikie w R3” była z dziedziny topologia geometryczna. Równolegle ukończyła na Uniwersytecie Gdańskim „Podyplomowe Studium Podstaw Informatyki”. W 2001 roku uzyskała na Politechnice Poznańskiej tytuł doktora nauk matematycznych. Praca doktorska pt. „Iteracje monotoniczne...
-
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]
Publikacja -
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)
Publikacja -
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]
Publikacja -
Zbiorowe zaopatrzenie w wodę i odprowadzanie ścieków (2). Definicje niekompletne.
PublikacjaKomentarz do nowej ustawy. Formalne braki w regulacjach. Konieczne korekty.
-
Sprawdzanie dokumentacji projektowej
PublikacjaAnaliza problemu sprawdzenia projektu budowlanego. Wymagania prawne. Zmiany formalne, zagrożenia, konflikty.
-
Warunki wprowadzania ścieków do wód lub ziemi.
PublikacjaOmówienie aktualnej regulacji prawnej w przedmiotowym zakresie. Rozporządzenie, wymagania formalne, preferencje.
-
Koncepcja modelu matematycznego procesu eksploatacji okrętowego systemu energetycznego
PublikacjaW 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
PublikacjaCelem 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
PublikacjaOmówiono czasowe i formalne instrumenty polityki bilansowej i podatkowej na przykładzie rozrachunków
-
Janusz Górski prof. dr hab. inż.
Osoby -
Leadership, culture, intellectual capital and knowledge processes for organizational innovativeness across industries: the case of Poland
PublikacjaPurpose – 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...