Filters
total: 2243
-
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 681 available results
- Events 89 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
Język i kultura Chin
e-Learning Courses -
Język angielski w nanotechnologii
e-Learning Courses -
Język i kultura Francji
e-Learning Courses -
Język Angielski Matematyki II
e-Learning Courses -
Język angielski w nanotechnologii
e-Learning Courses -
Język i kultura Japonii
e-Learning Courses -
Język angielski matematyki II
e-Learning CoursesProwadzący: Justyna Signerska-Rynkowska Matematyka, studia II stopnia, sem. 4 sem. letni 2018/19
-
Język i kultura Hiszpanii
e-Learning Courses -
Język angielski w nanotechnologii
e-Learning Courses -
Test diagnostyczny - język włoski
e-Learning CoursesHasło dostępu wloski
-
Język Angielski Matematyki I
e-Learning Courses -
JĘZYK POLSKI - TEST PLASUJĄCY
e-Learning Courses -
Test diagnostyczny - język francuski
e-Learning Courses -
Placement Test - jezyk angielski
e-Learning CoursesPlacement Test dla wszystkich, którzy chcą sprawdzić swoje umiejętności.
-
Język angielski w nanotechnologii.
e-Learning Courses -
Język angielski w fizyce
e-Learning Courses -
Język angielski w fizyce
e-Learning Courses -
Test diagnostyczny - język hiszpański
e-Learning Courses -
Test diagnostyczny - język niemiecki
e-Learning Courses -
Język angielski w nanotechnologii
e-Learning Courses -
Test diagnostyczny - język rosyjski
e-Learning Courses -
Język angielski w fizyce
e-Learning Courses -
Test diagnostyczny - język szwedzki
e-Learning Courses -
ćwiczenia język niemiecki GŻ
e-Learning Courses -
Podstawy technik spektroskopowych
e-Learning CoursesPodstawy technik spektroskopowych dla Fizyki medycznej 2022/2023
-
Mechanika Kwantowa - Kopia
e-Learning CoursesMechanika kwantowa, 5 semestr fizyki technicznej
-
Fizyka 2 (2022)
e-Learning CoursesWykład dla kierunku Nanotechnologia FTiMS z Fizyki 2
-
Dokształcanie na odległość kandydatów na studia politechniczne - model DOROTKA
PublicationW 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...
-
Approximated boundary conditions of the equation of difussion
PublicationProblem 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...
-
Koala graph coloring library: an open graph coloring library for real-world applications
PublicationPomimo 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++....
-
A. Soczyńska Język niemiecki WETI
e-Learning Courses -
We are in touch
PublicationIn 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...
-
Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności
PublicationW 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
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. Komputerowy system analizy obrazu zwany „Computer Vision” obejmuje zagadnienia...
-
Podstawy programowania 2022/23 (ACiR + EiT + IBm)
e-Learning CoursesPrzedmiot 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
e-Learning CoursesZapraszam 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)
e-Learning CoursesPrzedmiot 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)
e-Learning CoursesPrzedmiot 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
Conferences -
ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code
Conferences -
<title>Control and monitoring of data acquisition and trigger system (TRIDAQ) for backing calorimeter (BAC) of the ZEUS experiment</title>
Publication -
<title>Interactive monitoring system for backing calorimeter at ZEUS experiment</title>
Publication -
Transcendentalna dedukcja eteru. Opus postumum Kanta a problem filozofii przyrody.
PublicationW artykule przedstawiono, w horyzoncie rozwoju całej krytycznej kantowskiej filozofii przyrody, hipotezę eteru i transcendentalną dedukcję eteru, zawarte w opus postumum I. Kanta. Szczególną uwagę zwrócono na problem przejścia od apriorycznych, metafizycznych podstaw przyrodoznawstwa do fizyki, a także na wyłaniające się w związku z tym zasadnicze sprzeczności tez ''późnego'' Kanta w stosunku do krytyki czystego rozumu.
-
Modular Experience-Based Smart Innovation Engineering System
PublicationThe current paper presents the systematic approach for supporting the product innovation process of manufactured products. The proposed system uses a collective, team-like knowledge developed by innovation related experiences of the formal decisional events. The proposed system for smart innovation engineering carries the promise to support the innovation processes in a quick and efficient way. It stores the past decisional events...
-
Ocena niepewności pomiaru współczynnika zawartości harmonicznych.
PublicationPrzedstawiono metodę szacowania niepewności pomiaru współczynnika zawartości harmonicznych wyznaczanego w komputerowym systemie pomiarowym. Tą wielkość scharakteryzowano rozszerzoną niepewnością pomiarową uwzględniając występowania dwóch podstawowych składników determinujących niedokładności pomiarów.Przeprowadzono rozważania o niepewnościach standardowych z uwzględnieniem składowej systematycznej i losowej błędów pomiarowych...
-
Indykatory jakościowe dla modelu społeczeństwa informacyjnego
PublicationRodząca się cywilizacja spisuje dla nas nowy kodeks zachowań. Usuwa standaryzację, synchronizację i centralizację, usuwa koncentrację energii, pieniędzy i władzy. Ta nowa cywilizacja ma swoją własną wizję świata, swoje własne podejście do czasu, przestrzeni, logiki i przyczynowości. Ma też swoje własne zasady polityki przyszłości. Poznawanie tego co nowe jest nieodzowną cechą człowieka. Podczas procesu poznawania obiektu, badamy...
-
Modelowanie przestrzennego rozkładu natężenia magnetycznego pola rozproszonego dla wad wzorcowych w płytach
PublicationW pracy przedstawiono model, przy pomocy którego można obliczyć wektor indukcji rozproszonego pola magnetycznego od wady. Przeprowadzono badania eksperymentalne służące weryfikacji tego modelu. W badaniach wykorzystano dwie wady o geometrii prostopadłościanu wydrążone elektro-iskrowo w stalowej płycie. Dla składowej normalnej wektora indukcji pola magnetycznego występowały najmniejsze rozbieżności pomiędzy wynikami pomiarowymi...
-
How can analysts use multicriteria decision analysis?
PublicationProper decision making in multifacitated situation is very challenging task. It is especially difficult if there are many alternatives and criteria that are often contradictory. Analytical chemistry and related sciences involve many situations where decisions on complex problems are made. The support tools may be the use of MCDA (Multi-criteria Decision Analysis) algorithms. They formalize the decision process, make it transparent...
-
Biblioteki cyfrowe jako złożone przedsięwzięcie informatyczne
PublicationBiblioteki cyfrowe (BC) zwane 'repozytoriami wiedzy' to złożone systemy informatyczne tworzone przy współpracy informatyków z bibliotekarzami. Dzięki nowoczesnym technologiom służą do przechowywania zarówno zdigitalizowanych, jak i elektronicznych obiektów w dowolnym formacie. Artykuł ten jest częścią badań projektu realizowanego w Bibliotece Muzycznej Dokumentów Muzycznych dotyczącego jakości bibliotek cyfrowych. Model jakości...
-
A model of occurrence of the situations endangering inland waterways passanger ships and the environment
PublicationZaproponowano czterostanowy semimarkowski model pojawiania się sytuacji zagrażających pasażerskim statkom śródlądowym. Model ten został opracowany w formie semimarkowskiego procesu dyskretnego w stanach i ciągłego w czasie, którego wartościami są rodzaje stanów, interpretowanych jako sytuacje: normalna, skomplikowana, niebezpieczna oraz awaryjna. Zobrazowano przykładową realizację procesu zmian sytuacji, jakie mogą pojawić się...