Search
Filters
total: 2179
filtered: 1082
-
Catalog
- Publications 1082 available results
- Journals 31 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 181 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 651 available results
- Events 84 available results
- Open Research Data 99 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: jezyki formalne
-
Synergistic effect of nickel formate on the thermal and flame-retardant properties of polypropylene
Publication -
Speech formant frequency and pitch estimation using instantaneous complex frequency
PublicationW pracy opisany został algorytm estymacji częstotliwości podstawowej oraz częstotliwości środkowych i pasm formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. W artykule przedstawiono również wyniki działania algorytmu dla polskich samogłosek.
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
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...
-
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...
-
Business process modelling and simulation using formal experience record
PublicationZaproponowano modelowanie procesow biznesowych w oparciu o formalny zapis doswiadzcen. Przedtswiono softwerowa implementacje zaproponowego modelu.
-
Języki sztuczne. Zapotrzebowanie społeczeństw czy fantazja jednostek? Zarys dziejów interlingwistyki (książka)
Publication -
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...
-
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.
-
Wpływ nawierzchni jezdni na zużycie paliwa
PublicationW pracy przedstawiono problematykę wpływu tekstury nawierzchni na opór toczenia opon samochodowych. Przedstawiono wymierne efekty ekonomiczne i ekologiczne wpływu nierówności i tekstury przy oporze toczenia opon na zużycie paliwa. Zawarto krótki opis celu badań, pomiarów oraz analizy wyników. Zaprezentowano również spostrzeżenia i wnioski.
-
Automaty jako narzędzia w przetwarzaniu języka
PublicationRozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.
-
Potrzebujemy nowego języka rozmowy o mieście
PublicationTekst jest dwugłosem specjalistów od kwestii poprawy jakości przestrzeni miejskiej widzących miasto jak przestrzeń społeczną osadzoną w zmiennych uwarunkowaniach zbudowanego środowiska życia. Aktorka/reżyser/animator kultury i architektka/urbanistka rozmawiają o sposobie komunikowania się wokół przestrzeni. W rozmowach na temat przyszłych miast blokuje nas w dużej mierze nasz język. Tu wizja podwórek i kamienic rodem z pozytywistycznych...
-
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...
-
Cifrovaâ reprezentaciâ leksem russkogo âzyka
PublicationKonfrontowanie zasobów leksyki pokrewnych systemów języka etnicznego w celu określenia stopnia zbieżności przynależnych im homonimik wymaga stosowania wysublimowanych procedur językoznawczych mających na celu oszacowanie wspólnoty akustycznej zawartej w paralelnych parlacjach użytkowników owych języków. Ewidentne zróżnicowanie nawyków aktu artykulacji a zwłaszcza, co szczególnie istotne, nieświadomego procesu intelektualnej percepcji...
-
Wstęp do etyki-skrypt
PublicationW podręczniku, pt. "Wstęp do etyki" w postaci skryptu przedstawiłe podstawowe zagadnienia etyczne takie, jak: pojęcie "dobra moralnego", pojęcie "etyki" wraz z jej podziałem, określenie normy moralnej, oceny moralnej, kryterium oceny moralnej, pojęcie "wartości" z wyszczególnieniem typów hierarchii wartości, pojęcie "sumienia" wraz z jego trzema wymiarami. Zaliczyłem do podstawowych zagadnień również typologię etyki....
-
Edukacja skupiona na karierze, czyli o roli edukacji formalnej i pozaformalnej w przygotowaniu do życia zawodowego
Publication -
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....
-
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...
-
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...
-
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.
-
WordNet -bazodanowy system jako słownik języka angielskiego
PublicationWordNet[1] to alternatywne podejście do organizacji danychsłownikowych, w stosunku do klasycznej listy słów wraz z ich defnicjami. Koncepcja słownika opiera się na utworzeniu sieci koncepcji (sensów) powiązanych ze sobą relacjami określonego typu. Opisane zostały podstawowe założenia dotyczące budowy systemu WordNet oraz sposób organizacji danych językowych w postaci sieci semantycznej.
-
Rozumienie pojęć języka naturalnego w procesie kognitywnym
Publication -
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.
-
Projektowanie systemów informatycznych z wykorzystaniem języka korzyści
PublicationCelem rozdziału jest prezentacja możliwości zastosowania języka korzyści zamiast języka wymagań w projektowaniu systemów informatycznych. W części pierwszej został przedstawiony problem złożoności wymagań pozyskiwanych od klienta. Scharakteryzowano podstawowe pojęcia: inżynierii wymagań i języka wymagań oraz wskazano na ich znaczenie. W części drugiej przedstawiono koncepcję języka korzyści. Omówiono język korzyści z punktu widzenia...
-
Rola fragmentów wyodrębnionych w języku UML 2
PublicationPrzedmiotem rozważań zaprezentowanych w niniejszej publikacji są zmiany oraz udoskonalenia związane z superstrukturą języka UML, wprowadzone wraz z wersją 2.0 tego standardu. W odróżnieniu od modyfikacji poczynionych w ramach poprzednich rewizji języka, zakres udoskonaleń związanych z przejściem pomiędzy wersjami 1.5 oraz 2.0 określić należy jako znaczny. W niniejszym referacie skoncentrowano się na jednej, ale bardzo znaczącej...
-
Język opisu usług sieciowych WSDL.
PublicationNiniejszy rozdział opisuje WSDL - język opisu usług sieciowych. Rozdział zawiera wprowadzenie w tematykę usług sieciowych (Web Services), również w odniesieniu do innych technologii przetwarzania rozproszonego jak CORBA, RMI. W szczególności przedstawiono podobieństwa i różnice w opisie metod udostępnianych do wywołania klientowi w WSDL oraz IDL. Elementy standardu WSDL omówiono na przykładzie usługi sieciowej do zdalnego uruchomienia...
-
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ęzyki skonstruowane jako obiekt badań współczesnej interlingwistyki [Constructed Languages as an Object of Study in Contemporary Interlinguistics]
Publication -
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...
-
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...
-
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...
-
Wpływ nawierzchni jezdni na hałas drogowy. Część 1
PublicationW pracy przedstawiono rys historyczny walki z hałasm generowanym przez ruch drogowy. Problem ten był już istotny w Starożytnym Rzymie. W latach trzydziestych ubiegłego wieku wykonano w Polsce pierwsze pomiary hałasu związanego z ruchem drogowym. Podano zakresy prędkości powyżej których dominującym źródłem hałasu są toczące się opony. Przedstawiono czynniki związane z nawierzchnią i wpływające na hałas toczenia opon.
-
Wieloznaczność w języku i tekście [Ambiguity in language and text]
Publication -
Pseudostany w diagramach maszyny stanowej języka UML 2.0
PublicationKluczowymi pojęciami w odniesieniu do obiektowych baz danych są obiekty i ich klasy. Aspekt dynamiczny obiektów w systemach intensywnie wykorzystujących dane może być modelowany przy wykorzystaniu diagramów maszyn stanowych. Semantykę tego rodzaju diagramów w wersji 2.0 języka UML znacząco rozbudowano o szereg kategorii pojęciowych. Do najistotniejszych z nich należą pseudostany obiektów. Pozwalają one na precyzyjną specyfikację...
-
Wpływ nawierzchni jezdni na hałas drogowy - część 2
PublicationW pracy przedstawiono mechanizmy generowania hałasu opon związane z drganiami mechanicznymi oraz z przepływami powietrza. Omówiono wpływ rzeźby bieżnika opony oraz tekstury nawierzchni na generowany hałas podczas toczenia się opony po nawierzchni jezdni.
-
Wpływ nawierzchni jezdni na opór toczenia opon samochodowych
PublicationPraca stanowi wprowadzenie do problematyki wpływu tekstury nawierzchni na opór toczenia opon samochodowych. Przedstawiono krótki opis celu pracy, pomiarów oraz wyników. Zaprezentowane własne spostrzeżenia i wnioski.
-
Ontologia języka wzorców projektowych dla systemów Smart Cities
PublicationW artykule przedstawiono definicję języka wzorów projektowych Smart Cities w postaci ontologii. Jako, że wdrażanie rozwiązania Smart City jest trudne, drogie i ściśle związane z problematyką dotycząca danego miasta, wiedza nabywana podczas pojedynczego wdrożenia jest wiedzą niezwykle cenną. Zdefiniowany przez nas język wspiera zarządzanie ww. wiedzą jako, że pozwala on na ekspresję rozwiązania, które bazując na najlepszych praktykach...
-
Neuronowe modele z atencją w przetwarzaniu języka naturalnego
PublicationCelem niniejszego rozdziału jest wprowadzenie w tematykę sieci neuronowych z atencją oraz ich zastosowań w przetwarzaniu języka naturalnego. Rozdział skupia się w szczególności na dokładnym omówieniu architektury modelu Transformer, wykorzystującego atencję jako podstawowy mechanizm swojego działania.
-
Tissue fixed with formalin and processed without paraffin embedding is suitable for imaging of both peptides and lipids by MALDI-IMS
Publication -
Instytucjonalizacja etyki organizacji jako technologia zarządcza.
PublicationW artykule zaprezentowano i przeanalizowane zostały techniki i programy instytucjonalizacji etyki w organizacji. Sam proces instytucjonalizacji etyki wskazany został jako wazny aspekt zarządzania organizacjami.
-
Logika opisowa jako język modelowania oprogramowania
PublicationW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
-
Zastosowania ontologii: Tworzenie scenariuszy negocjacyjnych z wykorzystaniem języka WS-CDL
PublicationIstnieje mozliwość formalnego zapisu przebiegu różnego rodzaju przedsięwzięć. Jedną z mozliwości zapisu scenariusza przedsięwzięcia jest wykorzystanie języka WS-CDL. Zaprezentowano metodę tworzenia konkretnej choreografii przedsięwzięcia w tym języku. Zwrócono uwagę na taniec negocjacyjny, w tym definicje ról, związków oraz typów kanałów komunikacyjnych. Dodatkowo zaproponoano środowisko wykonania scenariuszy zapisanych w tym języku.
-
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.
-
„Zakochałam się w Finach, w Finlandii, w ich języku...”. Rozmowa Sabiny Lech z kierownikiem Pracowni Języka, Kultury i Gospodarki Finlandii prof. nadzw. dr hab. Katarzyną Wojan, przeprowadzona w Gdańsku w dniu 16.03.2017
Publication -
The suitability of DNA extracted from formalin-fixed, paraffin-embedded tissues for double differential polymerase chain reaction analysis
Publication -
Układy cyfrowe : podstawy projektowania i opis w języku VHDL
PublicationPrzedstawiono podstawowe wiadomosci dotyczące zasad budowy, działania, analizy i syntezy układów cyfrowych kombinacyjnych, sekwencyjnych i modułowych oraz opisu układów w języku VHDL.
-
Obraz Bożego Narodzenia i Wielkanocy w języku dziesięcioletnich dzieci
Publication -
Przetwarzanie wyrażeń języka naturalnego w wyrażenia logiczne - system Denise
PublicationPo krótkim wprowadzeniu do systemów reprezentacji wiedzy i wnioskowania omówiono eksperymentalny system przetwarzania zdań w języku polskim w wyrażenia rachunku zdań i logiki pierwszego rzędu.
-
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...