Wyszukiwarka
Filtry
wszystkich: 2180
wybranych: 1082
-
Katalog
- Publikacje 1082 wyników po odfiltrowaniu
- Czasopisma 31 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 181 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 652 wyników po odfiltrowaniu
- Wydarzenia 84 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JEZYKI FORMALNE
-
A model-based approach to analysis of authentication protocols.
PublikacjaW 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ń...
-
Kalendarium wydarzeń na linii fińskiej (rubryka: Język fiński na Uniwersytecie Gdańskim)
Publikacja -
Wokół antropologii i etyki Janusza Korczaka. Szkic zagadnienia i pytania otwarte
Publikacja -
Das "Mittendrin" - Land. Architektenausbildung in Polen. UZUPEŁNIĆ: TŁUMACZENIE TYTUŁU NA JĘZYK POLSKI.
PublikacjaWypowiedź na postawione przez DBZ Deutsche Bauzeitschrift pytania dotyczące specyfiki edukacji architektoniczno-urbanistycznej w Polsce. Pytania dotyczyły: - cech edukacji architektoniczno-urbanistycznej w Polsce; - obecnego podejścia do architektury w Polsce; - specyfiki szkół architektury w tym Wydziału Architektury w Gdańsku oraz - co i dlaczego warto polecić studentom z zagranicy, którzy chcieliby podjąć naukę w Polsce?
-
Konceptualizacja kolorów w języku osób niewidomych od urodzenia i ociemniałych we wczesnym stadium rozwoju
Publikacja -
Katalog typowych konstrukcji nawierzchni jezdni przeznaczonych do ruchu bardzo lekkiego oraz innych elementów dróg
PublikacjaW lipcu bieżącego roku zostało rekomendowane do stosowania przez Ministra Infrastruktury opracowanie WR-D-63, w którym zostały zawarte typowe konstrukcje nawierzchni dla dróg obciążonych bardzo lekkim ruchem oraz konstrukcje nawierzchni dla innych elementów dróg, obejmujących zatoki przystankowe, stanowiska postojowe, drogi manewrowe, drogi dla pieszych oraz drogi dla rowerów. W artykule przedstawiono zakres stosowania i ogólne...
-
Rola komponentów online we wspieraniu autentycznej komunikacji na zajęciach akademickich z technicznego języka angielskiego
PublikacjaProgramy e-learningowe mogą pomóc edukatorom w podniesieniu atrakcyjności kształcenia i osią-gnięciu pożądanych efektów. Praktyki metodyczne stosowane w nauczaniu na odległość: instruktywizm, konstruk-tywizm, konstrukcjonizm i konektywizm, wpływają wydatnie na stymulowanie uczących się do autentycznej inte-rakcji i komunikacji. Dotyczy to wszystkich przedmiotów, w tym także języków obcych, a w szczególności języka angielskiego,...
-
Projekt Leonardo da Vinci ''Wirtualne kursy zawodowego języka angielskiego oraz system ich ewaluacji VENOCES''.
PublikacjaProject VENOCES ma na celu podniesienie poziomu nauczania języków obcych oraz ułatwienie dostępu do wiedzy specjalistycznej przez stworzenie wirtualnych kursów językowych w dziedzinach istotnych dla wszystkich partnerów stosując nowoczesne technologie multimedialne oraz innowacyjne podejście metodologiczne CLIL (ang. Content and Language Learning Approach). Niewątpliwą innowacją założoną przez twórców projektu będzie zastosowanie,...
-
Rola i funkcje diagramów harmonogramowania w modelowaniu systemów informatycznych z wykorzystaniem języka UML 2
PublikacjaArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
O topologii w architekturze
PublikacjaOpracowanie 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...
-
System logiki rozmytej wspomagający tworzenie animacji komputerowych w oparciu o język Python
PublikacjaW celu tworzenia animacji komputerowych opartych o reguły wywodzące się z animacji tradycyjnej zaimplementowano system logiki rozmytej w języku Python, wykorzystujący słownikowy typ danych (tablice asocjacyjne). Zaprojektowane reguły łączą etykiety słowne, oznaczające zmienne lingwistyczne z etykietami nazw funkcji przynależności wykorzystującymi wartości lingwistyczne. W referacie przedstawiono fazy projektowania systemu, określania...
-
Zarządzanie wiedzą moralną w życiu gospodarczym : na pograniczu etyki i nowych technologii
PublikacjaAutorzy przedstawiają wstępną koncepcję zbudowania Internetowego Systemu Ekspertowego w dziedzinie wiedzy moralnej. Idea sprowadza się do zaaplikowania możliwości ogólnoświatowej sieci internetowej oraz koncepcji rozwijanych w ramach zarządzania wiedzą w odniesieniu do problemów moralnych występujących w życiu gospodarczym. System ten obejmuje: wiedzę ekspercką, akwizycję wiedzy o faktycznie dokonanych wyborach moralnych i ich...
-
Systemy ekspertowe wykorzystujące język korzyści do projektowania nowoczesnych technologii dla osób starszych
PublikacjaCelem artykułu jest próba znalezienia podejścia ułatwiającego projektowanie/dostosowanie nowoczesnych technologii dla osób powyżej 65 roku życia. Do projektowania zdecydowano się wykorzystać język korzyści i systemy ekspertowe. W pierwszej części artykułu opisane zostały statystyki związane z użytkowaniem Internetu przez osoby starsze na przestrzeni siedmiu lat. Druga i trzecia część została poświęcona przybliżeniu pojęcia systemów...
-
Czy fizyka może pomóc w rozwoju sztucznej inteligencji? (Czy sztuczna inteligencja pomoże w rozwoju fizyki?)
PublikacjaZaprezentowano możliwości zastosowania metod sztucznej inteligencji w rozwiązywaniu problemów z zakresu fizyki i inżynierii materiałowej
-
Reprezentacja map procesów biznesowych Rummlera-Brache'a w języku PMDL na potrzeby agentów monitorujących proces wytwórczy.
PublikacjaW 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.
-
Automatic music set organizatio based on mood of music / Automatyczna organizacja bazy muzycznej na podstawie nastroju muzyki
PublikacjaThis work is focused on an approach based on the emotional content of music and its automatic recognition. A vector of features describing emotional content of music was proposed. Additionally, a graphical model dedicated to the subjective evaluation of mood of music was created. A series of listening tests was carried out, and results were compared with automatic mood recognition employing SOM (Self Organizing Maps) and ANN (Artificial...
-
Valence and ionic lowest-lying electronic states of ethyl formate as studied by high-resolution vacuum ultraviolet photoabsorption, He(I) photoelectron spectroscopy, and ab initio calculations
PublikacjaThe highest resolution vacuum ultraviolet photoabsorption spectrum of ethyl formate, C2H5OCHO, yet reported is presented over the wavelength range 115.0–275.5 nm (10.75–4.5 eV) revealing several new spectral features. Valence and Rydberg transitions and their associated vibronic series, observed in the photoabsorption spectrum, have been assigned in accordance with new ab initio calculations of the vertical excitation energies...
-
REJESTRACJA, PARAMETRYZACJA I KLASYFIKACJA ALOFONÓW Z WYKORZYSTANIEM BIMODALNOŚCI
PublikacjaPraca 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,...
-
Reprezentatywne dla danego języka spektra odpowiedzi impulsowej kanału głosowego [Language specific spectra generated in the human vocal tract]
Publikacja -
GRAPHICAL REPRESENTATION OF MUSIC SET BASED ON MOOD OF MUSIC. GRAFICZNA PREZENTACJA ZBIORU MUZYCZNEGO OPARTA NA ANOTACJI NASTROJU MUZYKI
PublikacjaOne of the features for music recommendation, which is useful and intuitive for music listen-ers, is “mood”. The paper presents an approach to graphical representation of mood of music pieces. Subjective evaluation based on listening tests is performed for assigning mood labels of 150 pieces of music and placing them on the 2D mood plane. As a result, a map of songs is created, where music excerpts with similar mood are organized...
-
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 -
„A usta znów rozluźniają się do słów okaleczałych” – namopaniki Aleksandra Wata (recepcja, język, interpretacja)
Publikacja -
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...
-
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 -
Zaawansowane Systemy Elektroniczne i Fotoniczne - WILGA 2014. Cz�� 2 - Systemy elektroniczne dla eksperyment�w fizyki wielkich energii
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,...
-
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...
-
Obszary fennistyki – język, kultura, naród. Tom wydany z okazji 100-lecia niepodległości Finlandii (książka)
Publikacja -
Między zawodem a służbą. O pracy pracownika socjalnego z osobami starszymi w perspektywie etyki personalistycznej
Publikacja -
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 -
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).
-
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [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...
-
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...
-
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 -
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ą....
-
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...