Wyniki wyszukiwania dla: JĘZYKI FORMALNE - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: JĘZYKI FORMALNE

Wyniki wyszukiwania dla: JĘZYKI FORMALNE

  • Obiektowe języki programowania II 2023/2024 sem.letni

    Kursy Online
    • J. Kozicki
    • M. Franz

    kier. Fizyka Techniczna, Informatyka stosowana

  • Języki obce - materiały otwarte / Open Educational Resources

    Kursy Online
    • I. Mokwa-Tarnowska

  • Języki Programowania Python i R (2023/2024)

    Kursy Online
    • P. Jasik
    • P. Syty
    • M. Franz

    II stopień - I semestr

  • Języki Programowania na platformie .NET 2023/24

    Kursy Online
    • T. Goluch

  • 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...

  • 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.

  • 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...

  • 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

  • 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

  • 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.

  • 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

  • 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

  • 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

  • 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...

  • 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

  • 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

  • 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...

  • 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

  • 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

  • Fizyka 2 (2022)

    Kursy Online
    • M. Prześniak-Welenc
    • L. Wicikowski
    • B. Strzelecka

    Wykład dla kierunku Nanotechnologia FTiMS z Fizyki 2

  • 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

  • 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...

  • 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...

  • 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

  • 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...

  • 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...

  • 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.

  • Podstawy programowania 2022/23 (ACiR + EiT + IBm)

    Kursy Online
    • P. Obszarski
    • R. Janczewski
    • A. Marczak
    • M. Wróbel
    • I. Kaczmarzyk
    • P. Sokołowski
    • A. Jastrzębski
    • M. S. Tatara
    • B. Dec
    • J. Glinko... i 9 innych

    Przedmiot Podstawy programowania dla trzech kierunków ACiR, EiT i IBm. W ramach przedmiotu student zapozna się  z podstawowymi technikami programowania oraz z elementami języka C i C++. 

  • Technical Writing 2

    Kursy Online
    • I. Mokwa-Tarnowska

    Zapraszam na semestralny internetowy kurs pisania tekstów technicznych w języku angielskim, który zacznie się .......... Informacje i zapisy: dr Iwona Mokwa-Tarnowska imtarn@pg.gda.pl

  • Podstawy programowania 2021/22 (ACiR + EiT + IBm)

    Kursy Online
    • J. Raczek
    • P. Obszarski
    • R. Janczewski
    • M. Wróbel
    • K. Wereszko
    • A. Jastrzębski
    • M. S. Tatara
    • I. Kochańska
    • J. Glinko
    • M. Strąkowski
    • T. Dryjański

    Przedmiot Podstawy programowania dla trzech kierunków ACiR, EiT i IBm. W ramach przedmiotu student zapozna się  z podstawowymi technikami programowania oraz z elementami języka C i C++. 

  • Podstawy programowania 2023/24 (ACiR + EiT + IBm)

    Kursy Online
    • P. Obszarski
    • R. Janczewski
    • A. Marczak
    • M. Wróbel
    • A. Jastrzębski
    • B. Dec
    • J. Glinko
    • J. Raczek
    • B. Gielniak
    • K. Pyrchla... i 3 innych

    Przedmiot Podstawy programowania dla trzech kierunków ACiR, EiT i IBm. W ramach przedmiotu student zapozna się  z podstawowymi technikami programowania oraz z elementami języka C i C++. 

  • International Conference on Formal Methods for Open Object-Based Distributed Systems

    Konferencje

  • ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code

    Konferencje

  • Koala graph coloring library: an open graph coloring library for real-world applications

    Publikacja

    Pomimo intensywnej pracy naukowej na polu kolorowania grafów, nie jest znana kompletna i dedykowana biblioteka programistyczna. Celem artykułu jest zaproponowanie architektury takiej biblioteki. Celem jest spełnienie oczekiwań wypływających z rzeczywistych zastosowań, w szczególności spełnienie potrzeb wydajnościowych. Zaimplementowano szereg algorytmów cheurystycznego kolorowania grafów. Przyjętym językiem programowania jest C++....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Approximated boundary conditions of the equation of difussion

    Problem podejmowany w pracy dotyczy warunku brzegowego w równaniach fizyki matematycznej, opisujących procesy migracji zanieczyszczeń. W szczególności skoncentrowano się na badaniu wpływu na rozwiązanie przyjmowanych w rozwiązaniach numerycznych aproksymacji ''odpływowego'' warunku brzegowego w jednowymiarowym równaniu adwekcji - dyspersji. Rozważania teoretyczne przeprowadzono w oparciu o rozwiązania analityczne oraz numeryczne...

    Pełny tekst do pobrania w portalu

  • Dokształcanie na odległość kandydatów na studia politechniczne - model DOROTKA

    Publikacja

    - Rok 2004

    W artykule przedstawiono potrzebę dokształcania kandydatów na studia politechniczne i podjęte w tym celu działania w ramach powołanego Konsorcjum Uczelni Technicznych. Zaprezentowano model z wykorzystaniem systemu LMS (ang. Learning Management System) - DOROTKA (Doskonalenie Organizacji, ROzwoju oraz Tworzenia Kursów Akademickich przez Internet), wspierający działania związane z uruchomieniem kursów wyrównawczych z matematyki i...

  • Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności

    Publikacja

    W rozdziale przedstawiony został model systemu zarządzania wiedzą, w którym uwzględniono aspekty wiarygodności. Dla zaprezentowanego modelu opisane zostały również metody definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania względem wiedzy wzbogaconej o informacje na temat wiarygodności. Na początku model definiuje "ontologię wiarygodności" - ontologię, która pozwala przypisać pewne zbiory cech do konkretnych asercji....

  • Zastosowanie elektronicznych zmysłów w analizie żywności. Cz. III Sztuczne oko

    W 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. Komputerowy system analizy obrazu zwany „Computer Vision” obejmuje zagadnienia...

  • 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.

  • We are in touch

    Publikacja

    - Rok 2020

    In Touch - opis pracy „Dłonie stanowią część indywidualnej osobowości i charakteru, ale wykonują również swoje niezależne działania, i jako wyposażone we własny język, mają kluczowe znaczenie dla ludzkiej komunikacji.” Myśląca dłoń, J. Pallasmaa Obraz In Touch powstał z potrzeby zbudowania metafory czasu, którego aktualnie doświadczamy. Popularny w języku angielskim, wyrażający intencję pozostania w kontakcie, zwrot we are in...

  • Generacja i detekcja promieniowania

    Kursy Online
    • G. Jarosz

    kurs dla studentów fizyki medycznej, sem. 5, I stopień

  • Fizyka Fazy Skondensowanej

    Kursy Online
    • G. Jarosz

    kurs dla studentów fizyki stosowanej i fotowoltaiki, II stopień

  • Podstawy Fizyki (ACiR wykład) 24

    Kursy Online
    • M. Shopa

    Podstawy Fizyki dla studentów ACiR - I stopień - II semestr

  • Podstawy Fizyki (ACiR wykład) 21/22

    Kursy Online
    • M. Shopa

    Podstawy Fizyki dla studentów ACiR - I stopień - II semestr