Wyniki wyszukiwania dla: JĘZYKI FORMALNE - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: JĘZYKI FORMALNE

Wyniki wyszukiwania dla: JĘZYKI FORMALNE

  • Experience Based Clinical Decision Support Systems: An Overview and Case Studies

    Publikacja

    - Rok 2020

    This chapter briefly overviews the evolution of the application of the Decisional DNA and the Set of Experience Knowledge Structure (SOEKS) in the medical domain and in particular in the specific case of the experience-based decision support systems. Decisional DNA, as a knowledge representation structure, offers great possibilities on gathering explicit knowledge of formal decision events as well as a tool for decision making...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Pier of the future- investigation of green and blue strategies as tools for modernization of Gdynia's public waterfront

    Publikacja

    Between rising water levels and global migration to cities, architects and designers need to critically reimagine the relationship between coastal landscapes and public space. Cities are facing entirely new risks and environmental conditions. Resiliency, infrastructure, and ecology are increasingly common terms, reflecting the growing demand to address the spatial and formal challenges faced by cities worldwide. Rethinking boundaries...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Organic electroluminescent devices containing phosphorescent molecules in molecularly doped hole transporting layer.

    Publikacja

    - Rok 2004

    W pracy opisano mechanizm świecenia diody dwuwarstwowej diody elektroluminescencyjnej (EL) o zewnętrznej kwantowej wydajności świecenia osiągającej 9% fot./elektron. Warstwę transportującą elektrony tworzyła pochodna osadiazolu (PBD) otrzymana metodąnaparowania próżniowego. Warstwę transportującą dziury uzyskano przez wylanie roztworu poliwęglanu(PC), dendrymeru aminowego m-MTDATAoraz fosforyzującego kompleksu irydu Ir(ppy)3 i...

  • Quenching effects in organic electroluminescence

    Publikacja

    - PHYSICAL REVIEW B - Rok 2002

    We examine various electronic processes that underlie the quenching of the emission from highly efficient phosphorescent and electrophosphorescent organic solid-state molecular systems. As an example, we study the luminescent efficiencies from the phosphorescent iridium (III) complex, fac tris (2-phenylpyridine) iridium [(Ir (ppy)3] doped into a diamine derivative doped polycarbonate hole-transporting matrix and in the form...

  • Wstęp do informatyki

    Kursy Online
    • M. Augustyniak

    Pakiet biurowy (pod Windows), Linux/Unix: praca w powłocetekstowej, podstawy programowania w języku C.

  • Managing competence and certifying persons responsible for functional safety = Zarządzanie kompetencjami i certyfikacja osób odpowiedzialnych za bezpieczeństwo funkcjonalne

    This article emphasizes that knowledge and competences of managers, engineers and specialists dealing with safety-related technologies for hazardous industry should be appropriately shaped in the technical education processes and training programmes fulfilling some quality requirements and assessment criteria. It concerns especially persons dealing with the functional safety solutions in the design and operation of the electric,...

    Pełny tekst do pobrania w portalu

  • Instrumented End Notched Flexure - Crack propagation and process zonemonitoring. Part I: Modelling and analysis

    Publikacja
    • J. Jumel
    • M. Budzik
    • N. Ben Salem
    • M. Shanahan

    - INTERNATIONAL JOURNAL OF SOLIDS AND STRUCTURES - Rok 2013

    Analysis of the three-point bending, End Notched Flexure (ENF), test is presented for exploitation with a new experimental methodology using the backface strain monitoring technique. The model consists oftwo Timoshenko beams joined with a two parameter elastic foundation, to evaluate stress and strain fields in both adherends and the adhesive layer, together with the specimen compliance and energyrelease rate. This model is compared...

    Pełny tekst do pobrania w portalu

  • Transition curve with smoothed curvature at its ends for railway roads

    In the paper, in view of a railway ballasted track, a new concept of transition curve of linear form of curvature along its length and smoothed extreme regions is presented. For this purpose use has been made of an original, universal method for identifying transition curves by means of differential equations. Some general curvature equations for three regions investigated have been determined to be followed by appropriate parametric...

    Pełny tekst do pobrania w portalu

  • MPEG-7 jako format zapisu cyfrowych dokumentów muzycznych

    W pracy zwrócono uwagę na problem przechowywania różnych postaci muzyki w cyfrowych dokumentach muzycznych. Przedstawiono ogólną charakterystykę formatu MPEG7. Pokazano możliwości wynikające z zastosowania MPEG7 do cyfrowej reprezentacji dokumentów muzycznych. Zwrócono uwagę na możliwość rozszerzania standardu w celu dopasowania go do przechowywania dokumentów muzycznych zawierających pełną informację muzyczną.

  • Applying computational intelligence to acoustics.

    Publikacja

    W artykule przedstawiono przegląd wybranych zagadnień związanych z zastosowaniem metod inteligencji obliczeniowej w akustyce. Zaprezentowane metody obejmują m.in. sztuczne sieci neuronowe, zbiory przyblizone, logikę rozmytą, algorytmy genetyczne. Problematyka akustyczna dotyczy z kolei klasyfikacji dźwięków muzycznych, inteligentnego przetwarzania muzyki, inteligentnego sterowania trakturą organową oraz obiektywizacji metody oceny...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Koncert "My Kobiety"

    Wydarzenia

    07-03-2018 18:00 - 07-03-2018 21:00

    7 marca w Klubie Kwadratowa odbędzie się koncert dedykowany płci pięknej "My kobiety". O godzinie 19.00 sceną zawładnie 5 niezależnych kobiet – kwartet smyczkowy "Golden Gate String Quartet" i Dora Theisebach.

  • Podstawy Informatyki (IŚ sII, stacj., 22/23)

    Kursy Online
    • D. Kalinowska
    • W. Gorczewska-Langner
    • P. Wielgat
    • W. Artichowicz

    Nauka podstaw programowania i pracy z danymi związanymi z inżynierią środowiska. Zaawansowana obsługa arkusza kalkulacyjnego, programowanie obliczeń w języku Python, praca z bazami danych SQL.

  • Podstawy Informatyki I (sem. IV IŚ, stacj. 22/23)

    Kursy Online
    • D. Kalinowska
    • W. Gorczewska-Langner
    • P. Wielgat
    • W. Artichowicz

    Nauka podstaw programowania i pracy z danymi związanymi z inżynierią środowiska. Zaawansowana obsługa arkusza kalkulacyjnego, programowanie obliczeń w języku Python, praca z bazami danych SQL.

  • Podstawy Informatyki (IŚ, sII, n-stacj. 22/23)

    Kursy Online
    • W. Artichowicz

    Nauka podstaw programowania i pracy z danymi związanymi z inżynierią środowiska. Zaawansowana obsługa arkusza kalkulacyjnego, programowanie obliczeń w języku Python, praca z bazami danych SQL.

  • Podstawy Informatyki II (sIV, n-stacj., 22/23)

    Kursy Online
    • W. Gorczewska-Langner
    • W. Artichowicz

    Nauka podstaw programowania i pracy z danymi związanymi z inżynierią środowiska. Zaawansowana obsługa arkusza kalkulacyjnego, programowanie obliczeń w języku Python, praca z bazami danych SQL.

  • Polityka Rozwoju/Development Policy

    Kursy Online
    • G. Rembarz

    Zajęcia dotyczą wyzwań realizacji 11 celu Światowej Polityki Zrównoważonego Rozwoju czyli kwestii budowania odpornych społeczności miejskich w krajach rozwijających się Wykłady odbywają się w formule zdalnej w układzie zajęć zblokowanych wg indywidualnego planu. prowadząca: dr Gabriela Rembarz grem@pg.edu.pl

  • Projekt zespołowy

    Kursy Online
    • M. Dampc

    Projekt zespołowy dla II stopnia Fizyki technicznej

  • Seminarium Fizyki Stosowanej I 2021/22

    Kursy Online
    • S. Bielski

    Seminarium dla studentów 4. semestru Fizyki Stosowanej

  • Detektory promieniowania

    Kursy Online
    • G. Jarosz

    kurs dla studentów fizyki medycznej, II stopień

  • Seminarium Fizyki Stosowanej I 2022/23

    Kursy Online
    • S. Bielski

    Seminarium dla studentów 4. semestru Fizyki Stosowanej

  • Podstawy technik spektroskopowych

    Kursy Online
    • M. Dampc

    Wykład dla studentów Fizyki medycznej sem 7.

  • Seminarium Fizyki Stosowanej I 2023/24

    Kursy Online
    • S. Bielski

    Seminarium dla studentów 4. semestru Fizyki Stosowanej

  • INFLUENCE OF DATA NORMALIZATION ON THE EFFECTIVENESS OF NEURAL NETWORKS APPLIED TO CLASSIFICATION OF PAVEMENT CONDITIONS – CASE STUDY

    In recent years automatic classification employing machine learning seems to be in high demand for tele-informatic-based solutions. An example of such solutions are intelligent transportation systems (ITS), in which various factors are taken into account. The subject of the study presented is the impact of data pre-processing and normalization on the accuracy and training effectiveness of artificial neural networks in the case...

  • Property revenues (PRs) and expenditures of local government units (LGUs) in Poland

    PRs are new category of local government revenues, which was introduced by changing the law on public finances at the end of 2006 and which took effect in 2007. By principle, these revenues should be converted into property expenditures. Their formalisation did not only allow assessing their absolute size but also a comparison with the longer existing property expenditures. Both categories were subject of analysis in this article....

    Pełny tekst do pobrania w portalu

  • Teatr Improwizacji

    Wydarzenia

    14-04-2018 18:00 - 14-04-2018 22:00

    W Akademickim Klubie Politechniki Gdańskiej „Kwadratowa” wystąpi grupa „No i Fajnie” w ramach Teatru Improwizacji.

  • Influence of the variability of the odour emission rate on its impact range: a case study of the selected industrial source

    Publikacja
    • E. Romanik
    • Y. Bezyk
    • M. Pawnuk
    • U. Miller
    • A. Grzelka

    - E3S Web of Conferences - Rok 2019

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Colour Terms in Five Linguistic Images of the World: The Semantic Perspective

    Publikacja
    • P. Golda
    • J. Mężyk
    • J. Ryszka
    • T. Uchman
    • A. Jedziniak

    - GEMA Online Journal of Language Studies - Rok 2022

    Social and cultural factors shape the linguistic perception of colour. At the same time, colour terms co-create the linguistic image of the world, which allows us to interpret reality and profile our statements and beliefs. This paper presents six basic colour terms: white, black, red, green, yellow, and blue (both as adjectives and as nouns) in the five different linguistic images of the world of the following languages: English,...

    Pełny tekst do pobrania w portalu

  • Residual stress evaluation in oil pipeline.

    Publikacja

    - Rok 2003

    Przedstawiono metodę pomiaru rozkładu naprężeń w ropociągu z wykorzystaniem efektu Barkhausena. Opisano procedurę pomiaru oraz kalibracji metody. Wynik potwierdzono w jednym punkcie metodą Mathar´a

  • Cienie, cykl 'Odcinki' (1998)

    Publikacja

    - Rok 2011

    Katalog aukcji polskiej sztuki współczesnej, która odbyła się w Domu Aukcyjnym Desa Unicum w Warszawie w dniu 15 grudnia 2011 roku. Katalog liczy 62 strony i zawiera noty biograficzne artystów wraz z charakterystyką twórczości w jezyku polskim, i zawiera 59 kolorowych reprodukcji (rep. autora s. 12). Wydawcą katalogu jest Desa Unicum.

  • Music query and annotation processes supported by gaze fixation tracking

    Publikacja

    - Rok 2011

    Celem referatu jest przegląd kluczowych zagadnień związanych z automatycznym wyszukiwaniem informacji muzycznej MIR - Music Information Retrieval. W pierwszej kolejności przedstawiono aktualne kierunki badań i rozwiązań systemowych związane z wyszukiwaniem i rekomendacją muzyki. Następnie zaprezentowano eksperymenty przeprowadzone na skonstruowanej bazie muzycznej. Pokazano również propozycję wspomagania procesu wyszukiwania i...

  • Wspomaganie procesu wyszukiwania nagrań w repozytoriach muzycznych

    Publikacja

    - Rok 2011

    Celem referatu jest przegląd kluczowych zagadnień związanych z automatycznym wyszukiwaniem informacji muzycznej MIR - Music Information Retrieval. W pierwszej kolejności przedstawiono aktualne kierunki badań i rozwiązań systemowych związane z wyszukiwaniem i rekomendacją muzyki. Następnie zaprezentowano eksperymenty przeprowadzone na skonstruowanej bazie muzycznej. Pokazano również propozycję wspomagania procesu wyszukiwania i...

  • International Career Day

    Wydarzenia

    18-01-2018 10:00 - 18-01-2018 15:00

    Biuro Karier PG oraz Organizacja Studentów Zagranicznych PG zapraszają na Targi Pracy – International Career Day. Zaproszone firmy przedstawią oferty pracy, praktyk i staży.

  • MTS pilot tone tracking for "wow" distortion determination

    Publikacja

    Artykuł przedstawia nowy algorytm do wyznaczania charakterystyki kołysania dźwięku na podstawie śledzenia zmian tonu pilota MTS. Śledzenie zmian częstotliwości nośnej tonu MTS pozwala określić zmienną w czasie głębokość pasożytniczych modulacji częstotliwości będących konsekwencją kołysania. Na tej podstawie tworzona jest charakterystyka zniekształcenia. Proponowany algorytm bazuje na zaproponowanej wcześniej metodzie śledzenie...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Quantum origins of objectivity

    Publikacja

    - PHYSICAL REVIEW A - Rok 2015

    In spite of all of its successes, quantum mechanics leaves us with a central problem: How does nature create a bridge from fragile quanta to the objective world of everyday experience? Here we find that a basic structure within quantum mechanics that leads to the perceived objectivity is a so-called spectrum broadcast structure. We uncover this based on minimal assumptions, without referring to any dynamical details or a concrete...

    Pełny tekst do pobrania w portalu

  • Materials for energy storage devices

    Kursy Online
    • A. Lisowska-Oleksiak
    • A. Nowak

    Kurs dotyczy zagadnień inżynierii materiałowej, elektrochemii, fizykochemii nanotechnologii materiałów stosowanych w budowaniu urządzeń elektrochemicznych do magazynowania i konwersji energii w urządzeniach. Prowadzony jest w języku angielskim.

  • Semi-Markov model of diesel engines' operating process.

    Publikacja

    - Rok 2004

    Najistotniejszym problemem eksploatacji silników o zapłonie samoczynnym jest problem racjonalnego (a zwłaszcza optymalnego) sterowania procesem eksploatacji tych silników. Sterowanie takie może ułatwić zastosowanie iteracyjnego algorytmu wyznaczania optymalnych strategii opracowanego przez R.A. Howarda. Wykorzystanie jednak tego algorytmu do sterowania procesem eksploatacji silników wymaga między innymi opracowania modelu procesu...

  • Semi-Markovian models of the process of technical state changes of technical objects.

    Publikacja

    - Rok 2004

    Najistotniejszym problemem eksploatacji wszystkich obiektów technicznych (urządzeń) jest problem racjonalnego (a zwłaszcza optymalnego) decyzyjnego sterowania procesem zmian stanów technicznych tych obiektów. Sterowanie takie może być realizowane w przypadku zastosowania między innymi modelu wspomnianego procesu zmian stanów. Mając to na uwadze, w opracowaniu tym przedstawiono formalny opis procesu eksploatacji obiektów technicznych...

  • Prawne aspekty wykorzystania Internetu w procesie kształcenia studentów

    Publikacja

    Zajęcia prowadzone z wykorzystaniem metod i technik kształcenia na odległość nabierają coraz większego znaczenia w związku z rozwojem technologii informacyjno−komunikacyjnych. Pozwalają one na zastosowanie nowych form przekazywania wiedzy oraz komunikacji nauczycieli akademickich i studentów. Pamiętać należy, że przepisy dotyczące usług internetowych nie zostały stworzone z myślą o regulacji e−nauczania. W 2006 roku Ministerstwo...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Identyfikacja systemów cumowniczych MJP i konsekwencje wynikające z ich zastosowania

    W pracy rozpoznano i przeanalizowano użycie najczęściej stosowanych systemów cumowniczych dla MJP. Dobór konkretnego systemu cumowniczego jest skomplikowany i wymaga przeanalizowania szeregu czynników. Najczęściej stosowanymi systemami cumowniczymi są: cumowanie do pali stalowych, cumowanie za pomocą bomów cumowniczych, cumowanie za pomocą lin (cum), cumowanie za pomocą martwych kotwic i kotwic Seaflex. Konsekwencje wynikające...

  • FINANSOWANIE ODNOWY ZABYTKÓW W POLSCE PRZY WYKORZYSTANIU POMOCY UE

    Publikacja

    Rola zabytków w gospodarce rynkowej jest dwojaka. Z jednej strony budują tożsamość narodową i pełnią funkcje społeczne, a z drugiej – stanowią produkt rynkowy, który wspiera rozwój regionalny pod względem atrakcyjności turystycznej oraz inwestycyjnej. Polskie zabytki nieruchome mogą być wykorzystywane do budowy przewagi konkurencyjnej kraju, jednak z uwagi na ich zły stan techniczny, wymagają nieustannych prac konserwatorskich....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • DEM Analyses of Interface Behaviour Between Cohesionless Sand and Rigid Wall of Different Roughness

    Publikacja

    Artykuł dotyczy trójwymiarowych symulacji numerycznych quasi-statycznego ścinania między niespoistym piaskiem a sztywnymi ścianami w aparacie bezpośredniego ścinania ścian. Chropowatość ścian sztywnych wahała się od gładkiej do bardzo szorstkiej. Na górną ścianę działało stałe ciśnienie normalne. Symulacje numeryczne przeprowadzono metodą elementów dyskretnych (DEM). Ziarna piasku opisywano jako kulki z momentami kontaktowymi...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Sterowanie ruchem 2-kołowej platformy mobilnej przy energetycznym wskaźniku jakości

    Publikacja

    W pracy przedstawiono metodę sterowania optymalnego ruchem 2-kołowej platformy mobilnej bazującą na minimalizacji zmiennego w czasie energetycznego wskaźnika jakości. Prezentowana metoda minimalizuje błędy położenia i błędy w nadzorowanych prędkościach ruchu. Ponieważ prezentowany algorytm jest efektywny numerycznie, możliwe jest generowanie sygnałów sterujących z dużą częstotliwością. Przedstawiono wyniki badań symulacyjnych dla...

  • Comments on ''Incremental construction and maintenance of minimal finite-state automata'' by Rafael C. Carrasco and Mikel L. Forcada.

    Publikacja

    - Rok 2004

    W opublikowanym niedawno artykule (czerwiec 2002) Rafael Carrasco i Mikel Forcada przedstawili dwa algorytmy: jeden dotyczący przyrostowego dodawania łańcuchów znaków do języka minimalnego, deterministycznego, cyklicznego automatu skończonego, drugi dotyczący przyrostowego usuwania łańcuchów znaków z automatu. Pierwszy algorytm jest uogólnieniem ,,algorytmu dla danych nieuporządkowanych'' - drugiego z dwóch przyrostowych algorytmów...

  • Dobór optymalnej liczby jednostek funcjonalnych dla realizacji syntezy wysokiego poziomu układów cyfrowych

    Publikacja

    W pracy przedstawiono algorytm MNP (ang. minimization the number of procesing elements) wyznaczający liczbę jednostek funkcjonalnych niezbędnych do syntezy wysokiego poziomu zadania opisanego grafem przepływu danych (DFG - ang. data flow graph). Liczba jednostek funkcjonalnych wyznaczana przez prezentowany algorytm jest optymalna zarówno z punktu widzenia kosztów wykonania układu, jak i szybkości jego działania. Rozwiązanie tego...

  • Metody wspomagania wyszukiwania informacji

    Publikacja

    - Rok 2011

    Wyszukiwanie informacji analizowane może być z perspektywy użytkownika i w kontekście tego, jakie czynności może on podjąć, aby odnaleźć interesujące go informacje bez wsparcia ze strony analizatora języka. Użytkownicy stosują wyszukiwarki internetowe, jednak często nie są świadomi pełnego zakresu ich możliwości. Wyszukiwanie za pomocą wyszukiwarek polega na wprowadzaniu zapytań w polu tekstowym. Opracowane zostały liczne metody...

  • Ontologie vs. reguły — porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi

    Tekst stanowi krótki przegląd wybranych konstrukcji służących reprezentacji wiedzy w postaci ontologii opartych na logice opisowej i porównanie ich z odpowiednikami opartymi na zapisie regułowym. Z powodu ograniczonej liczby stron pokazano tylko elementy związane z reprezentacją konceptów, bez uwzględniania ról. Do zapisu ontologii wykorzystano formalizmy języka OWL, zaś reguły wyrażono w Prologu. Dla lepszego zilustrowania tych...

    Pełny tekst do pobrania w portalu

  • DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE

    Artykuł dotyczy zastosowania dynamicznej aplikacji internetowa do symulacji obwodowej silnika indukcyjnego trójfazowego, wykorzystującej interfejs przeglądarki WWW. Model obwodowy silnika sformułowano w układzie osiach naturalnych i ujęciu metody energetycznej Lagrange’a. Implementację modelu maszyny w aplikacji internetowej wykonano w projekcie typu Web Forms, który jest elementem środowiska Microsoft Visual Studio. Kod programu...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Poszukiwanie piękna w architekturze ponowoczesnej w twórczości SANAA

    Publikacja

    - Rok 2012

    Jesteśmy świadkami i jednocześnie uczestnikami przemian cywilizacyjno-kulturowych, jakie dokonują się we współczesnym świecie. Również estetyka jest dyscypliną w fazie poszukiwań, która próbuje na nowo odnaleźć swoją formułę.W centrum współczesnej estetyki znajdują się sztuki przestrzeni, wśród których prym wiedzie architektura uwikłana w odwieczną aporię piękna i użyteczności . Ważne i istotne wydaje się pytanie czym jest piękno...

  • Podstawy technik spektroskopowych

    Kursy Online
    • M. Dampc

    Podstawy technik spektroskopowych dla Fizyki medycznej 2022/2023

  • Mechanika Kwantowa - Kopia

    Kursy Online
    • M. Czachor

    Mechanika kwantowa, 5 semestr fizyki technicznej