Search
Filters
total: 2242
-
Catalog
- Publications 1059 available results
- Journals 24 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 240 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 680 available results
- Events 89 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
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...
-
Formalna metoda oceny bezpieczeństwa statków w stanie uszkodzonym na podstawie analizy przyczyn i skutków wypadków
PublicationW pracy przedstawiono elementy formalnej analizy bezpieczeństwa statków w oparciu o analizę przyczyn i skutków wypadków. Do analizy bezpieczeństwa zastosowano metodykę Formalnej Oceny Bezpieczeństwa FSA. Zgodnie z metodyką FSA analize bezpieczeństwa przeprowadzono w następującym zakresie: identyfikacja zagrożeń, ocena zagrożeń, identyfikacja scenariuszy wypadków, ocenaę ryzyka i kontrola ryzyka. Metoda umożliwia podejmowanie decyzji...
-
Business process modelling and simulation using formal experience record
PublicationZaproponowano modelowanie procesow biznesowych w oparciu o formalny zapis doswiadzcen. Przedtswiono softwerowa implementacje zaproponowego modelu.
-
Knowledge management based on formal models of software project management
PublicationCelem pracy jest prezentacja kompletnej koncepcji systemów wspierania decyzji w zarządzaniu projektami informatycznymi. Pomysł oparty jest na dynamicznych i samo nastrajających się modelach regułowo-rozmytych. W szczególności proponowane podejście wykorzystuje koncepcje metodologii opartych wiedzy oraz teorii układów dynamicznych oraz zbiorów rozmytych. Zastosowania tego opracowania znajdują się w obszarze wytwarzania produktów...
-
Web Services Choreography Description Language - WSCDL.
PublicationJęzyk Web Services Choreography Description Language służy do opisu współpracy równy z równym. Został zaprojektowany z myślą o automatyzacji współpracy usług sieciowych, ale jest na tyle ogólny, że pozwala opisywać współpracę nie tylko w świecie komputerowym. Prezentowana jest geneza tego języka oraz jego model. Następnie opisana jest struktura języka poparta przykładem dokumentu napisanego w języku WSCDL.
-
KQL as Application of SQL Rationale for Knowledge Bases
PublicationW ramach inicjatywy Semantic Web rozwijane są systemy wnioskowania z wiedzy. Ciągle otwartym problemem są również języki dostępu do takich systemów. W artykule zaproponowano nowy język dostępu do zmodularyzowanych baz wiedzy, o cechach umożliwiających jego kompleksowe wykorzystaniew systemach zarządzania wiedzą, w sposób analogiczny do wykorzystania języka SQL w systemach relacyjnych baz danych.
-
Wizualizacja w języku VRML przemieszczania się ryb pelagicznych w wiązce echosondy.
PublicationPrzedstawiono koncepcję tworzenia wirtualnego echogramu z danych pomiarowych pochodzących z przeszukiwań akustycznych. Wykorzystując wbudowane mechanizmy języka VRML zobrazowano proces przemieszczania się ryb wraz z jednoczesną analizą echa.
-
Wybrane metody i narzędzia modelowania systemów informatycznych z użyciem języka UML
PublicationRozdział prezentuje przykład technologii modelowania systemów informatycznych opartej na podejściu obiektowym w jednolitym środowisku, począwszy od Zunifikowanego Języka Modelowania (UML), poprzez metodykę Rational Unified Process (RUP), po aplikację Rational Software Modeler (RSM).
-
Identyfikacja ryzyka w projektach realizowanych w formule partnerstwa publiczno - prywatnego
PublicationW referacie prezentuje się zagadnienie identyfikacji różnego rodzaju zagrożeń wynikających ze współpracy dwóch podmiotów w ramach partnerstwa publiczno-prywatnego. Omawia się wzajemne ich relacje oraz bariery związane m.in. z upowszechnieniem realizacji projektów wg tej formuły.
-
Zur Ähnlichkeit der Drill und Biegeträger-Formeln für dünnwandige Stäbe.
PublicationPrzeanalizowano serię wzorów dla prętów cienkościennych w przypadku działania skupionego momentu skręcającego na belkę wspornikową swobodnie podpartą i obustronnie utwierdzoną dla przypadku charakterystyki giętnoskrętnej. Podkreślono dokładność tych wzorów, które mogą dotyczyć obciążenia nieruchomego i ruchomego.
-
Electron Scattering from Methyl Formate (HCOOCH3): A Joint Theoretical and Experimental Study
PublicationElastic low-energy electron collisions with methyl formate have been studied theoretically at the level of various theories. The elastic integral cross section was calculated using Schwinger multichannel and R-matrix methods, in the static-exchange and static-exchange plus polarization levels of approximations for energies up to 15 eV. The absolute total cross section for electron scattering from methyl formate has been measured...
-
Problem przekładu imion biblijnych na język chiński w „Biblii Bożonarodzeniowej”
Publication -
Sieci neuronowe oparte na prawach fizyki
PublicationWiele fizycznie nieuzasadnionych sieci neuronowych, mimo zadowalają- cej wydajności, generuje sprzeczności z logiką i prowadzi do rozbieżno- ści wyników z rzeczywistością. Jedną z metod poprawy funkcjonowania typowego modelu typu “black-box” na etapie uczenia, jest rozszerzenie jego funkcji kosztu o zależność bezpośrednio inspirowaną wzorem fizycz- nym. Niniejszy rozdział wyjaśnia koncepcję budowy sieci neuronowych opartych na...
-
Edukacja skupiona na karierze, czyli o roli edukacji formalnej i pozaformalnej w przygotowaniu do życia zawodowego
Publication -
FORMAL METHODS IN SYSTEM DESIGN
Journals -
A Formal Approach to Model the Expansion of Natural Events: The Case of Infectious Diseases
PublicationA formal approach to modeling the expansion of natural events is presented in this paper. Since the mathematical, statistical or computational methods used are not relevant for development, a modular framework is carried out that guides from the external observation down to the innermost level of the variables that have to appear in the future mathematical-computational formalization. As an example we analyze the expansion of Covid-19....
-
Wielojęzyczna Finlandia. Mniejszości narodowe i ich języki we współczesnej Finlandii [Multilingual Finland. National minorities and their languages in contemporary Finland]
Publication -
Języki europejskie we wspólnocie homonimicznej (na przykładzie polskiego i fińskiego) [European languages in a homonymic community – as exemplified by Polish and Finnish]
Publication -
Model pojawiania się sytuacji odmiennych od normalnej podczas pobytu statku na morzu
PublicationW referacie przedstawiono model zmian sytuacji, które mogą pojawiać sie w czasie ruchu statku. Model ten został opracowany w formie procesu semimarkowskiego. W modelu tym wyróżniono takie sytuacje, jak normalną, skomplikowaną, niebezpieczną, awaryjną i katastroficzną. Przedstawiono wzory określające prawdopodobieństwa pojawienia się wymienionych sytuacji. Zasygnalizowano, że w sytuacjach tych, jest możliwe podejmowanie racjonalnych...
-
Rocznik Przemyski. Literatura i język.
Journals -
Rocznik Przemyski. Literatura i Język
Journals -
Zastosowanie elektronicznych zmysłów w analizie żywności. Zastosowanie elektronicznego języka w analizie żywności.
PublicationW dzisiejszych czasach konsumenci zwracają dużą uwagę na takie cechy żywności jak: zapach, smak i wygląd. Ze względu na to naukowcy od wielu lat podejmują próby naśladowania ludzkich narządów zmysłów za pomocą urządzeń określanych jako elektroniczne zmysły. Zaliczamy do nich elektroniczny nos i język oraz komputerowy system rozróżnienia barw i kształtów. Elektroniczny język znany również jako sztuczny język lub czujnik smaku,...
-
Wpływ struktur wsparcia na efektywność nauczania języka pisanego w środowisku e-learningowym
PublicationThe process of knowledge and language skills development during an online course can be very effective if student engagement in learning is achieved. This can be attained by introducing general and specific support mechanisms prior to the commencement of the course and during it. The former relates to the technological aspect, that is to familiarizing students with the functionalities of the virtual learning environment they will...
-
Rozwijanie umiejętności miękkich na zajęciach wspomaganych narzędziami online – kurs języka angielskiego technicznego
PublicationKurs języka angielskiego technicznego powinien pomóc studentom w zdobyciu różnego typu umiejętności, zarówno językowych, czyli twardych, jak i pozajęzykowych, zwanych miękkimi. Skuteczne zintegrowanie tradycyjnego nauczania z zadaniami online może dzięki afordancjom i funkcjonalnościom wykorzystanych narzędzi internetowych zachęcić uczących się do wchodzenia w bardziej zróżnicowane interakcje, skutkujące rozwojem wielu umiejętności...
-
Leksykograficzne spotkania „dwóch bratanków”: języka węgierskiego z polskim (na podstawie danych bibliograficznych)
Publication -
Własność prywatna - moralne i niemoralne aspekty posiadania w kontekście gospodarki wolnorynkowej
PublicationPrzedmiotem artykułu w monografii stanowią rozważana związane z moralnymi i niemoralnymi aspektami posiadania w warunkach gospodarki wolnorynkowej. Analizie poddano kwestie związane z posiadaniem, własnością, zyskiem.
-
Corrosion behaviour of Cr coatings deposited from Cr(III) formate - urea electrolytes
PublicationPowłoki chromowe były otrzymane z elektrolitów Cr(III) zawierających odpowiednie ligandy, zapewniające ich dobry wygląd. Zbadano wpływ hydrazyny oraz hydrohylo aminofosfatu na właściwości korozyjne Cr otrzymanego z kąpieli mocznikowo-formaldehydowych Cr(III). Właściwości warstw testowano przy pomocy metody EIS rejestrując widma impedancyjne dla próbek o różnych czasach ekspozycji w zakwaszonym roztworze siarczanowym ( pH 2,6) stosując...
-
Kalendarium wydarzeń na linii fińskiej (rubryka: Język fiński na Uniwersytecie Gdańskim)
Publication -
Das "Mittendrin" - Land. Architektenausbildung in Polen. UZUPEŁNIĆ: TŁUMACZENIE TYTUŁU NA JĘZYK POLSKI.
PublicationWypowiedź 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?
-
Piotr Jasiński prof. dr hab. inż.
PeoplePiotr Jasinski obtained MSc in electronics in 1992 from the Gdansk University of Technology (GUT), Poland. Working at GUT, he received PhD in 2000 and DSc in 2009. Between 2001 and 2004 Post Doctoral Fellow at Missouri University of Science and Technology, while between 2008 and 2010 an Assistant Research Professor. Currently is an Associate Professor at Gdansk University of Technology working in the field of electronics, biomedical...
-
Wyróżnienia Oddziału Gdańskiego PTF za popularyzację fizyki
PublicationArtykuł poświęcony laureatowi wyróżnienia za popularyzację fizyki przyznawanego przez Oddział Gdańskiego Towarzystwa Fizycznego.
-
The formal safety assessment and influence of human factor in application to chosen ship's type
PublicationTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie się, 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....
-
Język. Komunikacja. Informacja
Journals -
Wykorzystanie języka VHDL do modelowania układów pracujących w logice wielowartościowej i arytmetyce resztkowej
PublicationW pracy przedstawiono bibliotekę zbudowaną w oparciu o język VHDL, przeznaczoną do symulacji elementów pracujących w logice wielowartościowej i w arytmetyce resztowej. Zaprezentowano również bramki prądowe - nowe elementy logiczne cechujące się znacznie mniejszym poziomem szumu cyfrowego. Pokazano przykłady sumatorów działających w logice wielowartościowej z podstawą N, lub w arytmetyce resztowej modulo N. Wyróżniającą cechą sumatorów...
-
Odmiany języka fińskiego. Finglish w różnych odsłonach [Varieties of the Finnish language. Different pictures of Finglish]
Publication -
Progress. Journal of Young Researchers. Tom 2. Dział: Wieloznaczność w języku i tekście (redakcja)
Publication -
Theoretical study of the photoelectron spectrum of ethyl formate: Ab initio and density functional theory investigation
PublicationThe first ionization energy and associated photoelectron spectrum of ethyl formate are investigated with quantum chemistry calculations. The geometries, harmonic vibrational frequencies and first ionization energy are computed at the Hartree-Fock (HF) and at the second order Moller-Plesset perturbation theory (MP2). Moreover, accurate ionization energies are obtained with the Coupled-Cluster theory including singles and doubles...
-
TOTAL CROSS SECTION MEASUREMENTS FOR ELECTRON SCATTERING ON METHYL FORMATE (HCOOCH3) MOLECULE: METHYLATION EFFECT
PublicationWe present the absolute total cross section (TCS) for electron scattering from the methyl formate (HCOOCH3) molecule measured in the 10-300 eV energy range, with electrostatic electron spectrometer working in the linear transmission mode. Comparison of TCS for the HCOOCH3 molecule with that measured earlier for the formic acid (HCOOH) compound manifests the methylation effect i.e. the response of the electron scattering dynamics...
-
Systemy ekspertowe wykorzystujące język korzyści do projektowania nowoczesnych technologii dla osób starszych
PublicationCelem 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...
-
System logiki rozmytej wspomagający tworzenie animacji komputerowych w oparciu o język Python
PublicationW 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...
-
Ocena wpływu stanu wody na Świnie na bezpieczeństwo żeglugi w porcie Świnoujście z wykorzystaniem formalnej oceny bezpieczeństwa żeglugi
PublicationFormalna ocena bezpieczeństwa jest procesem stworzonym na podstawie zaleceń Międzynarodowej Organizacji Morskiej (ang. International Maritime Organization (IMO)) w celu rozwinięcia lub wprowadzenia nowych rozwiązań, które przyczynią się do podniesienia poziomu bezpieczeństwa. FSA jest adresowana dla konkretnej kategorii statków lub obszarów nawigacyjnych, jak również może być zastosowana do konkretnej morskiej kwestii bezpieczeństwa...
-
Grimm Grass 1 (Słówka Grimmów)
PublicationKrzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...
-
Grimm Grass 2 (Słówka Grimmów)
PublicationKrzysztof Wróblewski | Eksperyment: Ekslibris - ekslibris do powieści „Słówka Grimmów” Güntera Grassa LINK DO PREZENTACJI EKSLIBRISU → https://youtu.be/823ryLQzxas W swoim ekslibrisie Krzysztof Wróblewski sięgnął po technikę graficzną linorytu. Dzięki niej artysta osiągnął efekt powtarzalnego, dynamicznego znaku-plamy, który stanowi kwintesencję wypowiedzi z pogranicza sztuk wizualnych i literatury. Zainspirowany poezją konkretną,...
-
Badania empiryczne związane z ewolucją języków - wybrane zagadnienia
PublicationAlthough language evolution is an area in science yet to be developed, its foundations lay on empirical research. The aim of this article is to present three categories of ways to get empirical data on language evolution: observing language in laboratory, monitoring animal communication and analysing pidgins and creoles. The part of the paper about language in laboratory bases on English-language articles presenting the experiments...
-
Tissue fixed with formalin and processed without paraffin embedding is suitable for imaging of both peptides and lipids by MALDI-IMS
Publication -
Rola komponentów online we wspieraniu autentycznej komunikacji na zajęciach akademickich z technicznego języka angielskiego
PublicationProgramy 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''.
PublicationProject 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
PublicationArtykuł 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...
-
Konceptualizacja kolorów w języku osób niewidomych od urodzenia i ociemniałych we wczesnym stadium rozwoju
Publication -
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.