Wyszukiwarka
Filtry
wszystkich: 2156
-
Katalog
- Publikacje 1100 wyników po odfiltrowaniu
- Czasopisma 31 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 184 wyników po odfiltrowaniu
- Projekty 7 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 660 wyników po odfiltrowaniu
- Wydarzenia 84 wyników po odfiltrowaniu
- Dane Badawcze 47 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JEZYKI FORMALNE
-
Interpretacja badania dysypacji w gruntach normalnie skonsolidowanych w metodzie CPTU
PublikacjaAnaliza ciśnienia wody generowanego podczas wciskania końcówki CPTU. Przedstawiono opis krzywej dysypacji w gruntach normalnie konsolidowanych oraz przykład interpretacji badania dysypacji nadwyżki ciśnienia wody w warstwie gliny pylastej. Wyznaczono wartość współczynnika konsolidacji oraz współczynnika filtracji w tej warstwie.
-
Wyróżnienia dla trójmiejskich popularyzatorów fizyki
PublikacjaArtykuł poświęcony doktorowi Stanisławowi Zacharze - laureatowi wyróżnienia za popularyzację fizyki przyznawanego przez Oddział Gdańskiego Towarzystwa Fizycznego.
-
Salve. Ćwiczenia z języka łacińskiego.
Publikacja -
Filmowość języka poetyckiego Czesława Miłosza
PublikacjaArtykuł rozwija tezę o filmowości wczesnej poezji Czesława Miłosza, przedstawia jej przesłanki na tle nowatorskich prądów epoki, omawia zastosowanie pojęć języka filmu jako adekwatnych wobec synekdochicznej techniki obrazowania noblisty. Prezentuje ją jako algorytm strukturalny świata poetyckiej wielogłosowości. Ukazuje związek etyki, filozofii, teologii z obrazowaniem wiersza. Dowodzi, że rozwój techniki synekdochiczno-filmowej...
-
O nieposzanowaniu języka w chromatografii
PublikacjaW pracy przedstawiono najczęstsze błęy popełniane w języku polskim w mowie i piśmie dotyczące chromatografii.
-
Marketing usług w języku cybernetyki.
PublikacjaW artykule zaproponowano koncepcję systemu marketingu usług na przykładzie firmy usługowej składającej się z kierownika i personelu świadczącego usługi. W zakresie tego systemu wyróżniono marketing wewnętrzny (mix I), marketing zewnętrzny (mix II) oraz marketing interakcyjny (mix III).
-
Speech formant frequency and pitch estimation using instantaneous complex frequency
PublikacjaW 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.
-
Synergistic effect of nickel formate on the thermal and flame-retardant properties of polypropylene
Publikacja -
Jezik in slovstvo
Czasopisma -
Język a Kultura
Czasopisma -
Język Polski
Czasopisma -
Formalna metoda oceny bezpieczeństwa statków w stanie uszkodzonym na podstawie analizy przyczyn i skutków wypadków
PublikacjaW 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...
-
Ontology-Aided Software Engineering
PublikacjaThis 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)...
-
Knowledge management based on formal models of software project management
PublikacjaCelem 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
PublikacjaZaproponowano 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)
Publikacja -
Identyfikacja ryzyka w projektach realizowanych w formule partnerstwa publiczno - prywatnego
PublikacjaW 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.
PublikacjaPrzeanalizowano 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
PublikacjaElastic 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...
-
Automaty jako narzędzia w przetwarzaniu języka
PublikacjaRozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.
-
Wpływ nawierzchni jezdni na zużycie paliwa
PublikacjaW 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.
-
Sieci neuronowe oparte na prawach fizyki
PublikacjaWiele 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...
-
Potrzebujemy nowego języka rozmowy o mieście
PublikacjaTekst 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...
-
Wstęp do etyki-skrypt
PublikacjaW 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....
-
Cifrovaâ reprezentaciâ leksem russkogo âzyka
PublikacjaKonfrontowanie 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...
-
Edukacja skupiona na karierze, czyli o roli edukacji formalnej i pozaformalnej w przygotowaniu do życia zawodowego
Publikacja -
FORMAL METHODS IN SYSTEM DESIGN
Czasopisma -
A Formal Approach to Model the Expansion of Natural Events: The Case of Infectious Diseases
PublikacjaA 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
PublikacjaW 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...
-
Własność prywatna - moralne i niemoralne aspekty posiadania w kontekście gospodarki wolnorynkowej
PublikacjaPrzedmiotem 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
PublikacjaPowł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...
-
Piotr Jasiński prof. dr hab. inż.
OsobyPiotr 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
PublikacjaArtykuł poświęcony laureatowi wyróżnienia za popularyzację fizyki przyznawanego przez Oddział Gdańskiego Towarzystwa Fizycznego.
-
WordNet -bazodanowy system jako słownik języka angielskiego
PublikacjaWordNet[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
Publikacja -
Projektowanie systemów informatycznych z wykorzystaniem języka korzyści
PublikacjaCelem 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
PublikacjaPrzedmiotem 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.
PublikacjaNiniejszy 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
PublikacjaTragedia 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]
Publikacja -
Theoretical study of the photoelectron spectrum of ethyl formate: Ab initio and density functional theory investigation
PublikacjaThe 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
PublikacjaWe 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...
-
Ocena wpływu stanu wody na Świnie na bezpieczeństwo żeglugi w porcie Świnoujście z wykorzystaniem formalnej oceny bezpieczeństwa żeglugi
PublikacjaFormalna 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ęść 2
PublikacjaW 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.
-
Pseudostany w diagramach maszyny stanowej języka UML 2.0
PublikacjaKluczowymi 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ęść 1
PublikacjaW 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.
-
Wpływ nawierzchni jezdni na opór toczenia opon samochodowych
PublikacjaPraca 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.
-
Wieloznaczność w języku i tekście [Ambiguity in language and text]
Publikacja -
Ontologia języka wzorców projektowych dla systemów Smart Cities
PublikacjaW 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
PublikacjaCelem 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.