Filters
total: 2495
-
Catalog
- Publications 1741 available results
- Journals 44 available results
- Conferences 30 available results
- People 160 available results
- Inventions 5 available results
- Projects 25 available results
- Research Teams 6 available results
- e-Learning Courses 169 available results
- Events 8 available results
- Open Research Data 307 available results
displaying 1000 best results Help
Search results for: LOGIKA TEMPORALNA
-
Warunki występowania naturalnych wypływów wód podziemnych w rejonie Przylądka Rozewie
PublicationPrzedstawienie wyników obserwacji i badań warunków występowania wypływów wód podziemnych w rejonie Przylądka Rozewie. Określenie warunków zasilania badanych wypływów. Charakterystyka oraz analiza klasyfikacyjna badanych wypływów. Próba określenia czasowego i przestrzennego zróżnicowania dynamiki wydatku wybranych źródeł.
-
Logika pragmatyczna dla inżynierów stacjonarne
e-Learning Courses -
Logika pragmatyczna dla inżynierów (online)
e-Learning Courses -
Logika, Ekonomia, STAC 2022/2023
e-Learning Courses -
Logika (Z NSTAC ONLINE 2024)
e-Learning Courses -
Logika ( AG NSTAC ONLINE 2024)
e-Learning Courses -
Logika (AG I STAC 2024)
e-Learning Courses -
Logika (Z I NSTAC 2024)
e-Learning Courses -
Logika (E I STAC 2024)
e-Learning Courses -
Logika (AG I NSTAC 2024)
e-Learning Courses -
Logika (Z I STAC 2024)
e-Learning Courses -
New bis(azobenzocrown)s with dodecylmethylmalonyl linkers as ionophores for sodium selective potentiometric sensors
PublicationNovel biscrowns 1 and 2 were synthesized from 13-membered azobenzocrown ethers containing bromoalkylenoxy chains in para position relative to the azo group. The synthesized diester molecules are dodecylmethylmalonic acid derivatives differing by the linker length. The synthesized compounds have the potential of being used as sodium ionophores in ion-selective electrodes. They were characterized and used as ionophores in classic...
-
Object Views - metoda mapowania obiektowo-ontologicznego
PublicationNiniejszy rozdział opisuje koncepcję biblioteki Object Views. Biblioteka ta służy do realizacji mapowania obiektowo-ontologicznego, które stanowi interfejs pomiędzy bazą wiedzy a aplikacją napisaną w obiektowym języku programowania, jakim jest Java. Rozwiązanie to wzorowane jest na Java Persistence API - mapowaniu obiektowo-relacyjnym. Architektura Object Views pozwala na łatwe dostosowanie do dowolnej bazy wiedzy bez względu na...
-
Independent dynamics of low, intermediate, and high frequency spectral intracranial EEG activities during human memory formation
PublicationA wide spectrum of brain rhythms are engaged throughout the human cortex in cognitive functions. How the rhythms of various frequency ranges are coordinated across the space of the human cortex and time of memory processing is inconclusive. They can either be coordinated together across the frequency spectrum at the same cortical site and time or induced independently in particular bands. We used a large dataset of human intracranial...
-
Problematyka zarządzania wiedzą w systemach typu e-health.
PublicationW rozdziale przedstawiono koncepcję systemu zarządzania wiedzą w ogólnodostępnym, wielofunkcyjnym systemie ukierunkowanym na różnorodne zastosowania związane z ochroną zdrowia. Koncepcja ta jest realizowana w zintegrowanym projekcie objętym 6. Programem Ramowym Unii Europejskiej. Zaprezentowano: miejsce zarządzania wiedzą w stosunku do innych części systemu, architekturę podsystemu zarządzania wiedzą oraz szczegółowo omówiono funkcje...
-
International Symposium on Spatial and Temporal Databases (International Symposium on Spatial Databases)
Conferences -
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.
-
Logistyka twarda HL jako element przewagi konkurencyjnej w sferze dystrybucji
PublicationLogistyka została zdefiniowana jako dwuskładnikowa: miękka SL (Soft Logist) oraz twarda HL (Hard Logist). Przedstawiono zakres kompetencyjny oraz podano przykłady.
-
Evaluating the Hearing of Patients with Pseudoexfoliation Syndrome
Publication -
Sterowanie jakością wykonania przedmiotu w elastycznym gnieździe obróbkowym wyposażonym we współrzędnościową maszynę pomiarową
PublicationCelem niniejszej rozprawy pt. '' Sterowanie jakością wykonania przedmiotu w elastycznym gnieździe obróbkowym wyposażonym we współrzędnościową maszynę pomiarową'' było stworzenie systemu wspomagającego sterowanie pracą elastycznego gniazda obróbkowego, opartego na modelu algorytmicznym i wykorzystującego zasady logiki rozmytej. W pierwszej części rozprawy przeprowadzono analizę literatury z zakresu badanej tematyki, sformułowano...
-
Monika Wilamowska-Zawłocka dr hab. inż.
PeopleDr Monika WILAMOWSKA-ZAWŁOCKA obtained her PhD in Chemistry in 2011 at Faculty of Chemistry, Gdańsk University of Technology. She then was a post-doctoral fellow at Technische Universität Darmstadt, Germany. Since 2013 she has worked at Gdańsk University of Technology, since 2019 as an Associate Professor. Her research interests include composite materials for energy storage devices, especially for lithium-ion and sodium-ion batteries,...
-
Dynamically configurable platform for service integration
PublicationW artykule opisano architekturę konfigurowalnego dynamicznie środowiska dla aplikacji zorientowanych na usługi, w szczególnosci na usługi webowe. Środowisko szkieletowe bazujace na specyfikacji OSGi dostarcza interfejsu, dzięki któremu zarzadzanie logika aplikacji nie wymaga jej ponownego uruchomienia. Opisano kluczowe problemy, które muszą być rozwiązane podczas wytwarzania tego typu rozwiązań. zaprezentowano sposób współpracy...
-
Arc Ignition Process in Short Fuses Element
PublicationPrzedstawiono wyniki badań zapłonu łuku elektrycznego w topiku w warunkach dużej stromości narastania gęstości prądu, do 5.19 9 A s-1 mm-2. Wyznaczono podziałkę rozpadu topika (0,04-0,12 mm) oraz napięcie zapłonu na elementarnej przerwie topika (20-30 V). Wykazano w badaniach doświadczalnych modelu fizycznego topika rozpad i ponowne łączenie sąsiednich elementarnych przerw.
-
Detection and segmentation of moving vehicles and trains using Gaussian mixtures, shadow detection and morphological processing
PublicationSolution presented in this paper combines background modelling, shadow detection and morphological and temporal processing into one system responsible for detection and segmentation of moving objects recorded with a static camera. Vehicles and trains are detected based on their pixellevel difference from the continually updated background model utilizing a Gaussian mixture calculated separately for every pixel. The shadow detection...
-
Expert media approach to hearing aids fitting
PublicationW artykule zaprezentowano problematykę dopasowania protez słuchu. Przedstawiono system ekspercki, który pozwala na znalezienie charakterystyk aparatu słuchowego adekwatnego do uszkodzenia słuchu. System został oparty o metodę zbiorów przybliżonych i logikę rozmytą.
-
The generalization by simplification operator with Sester’s method of objects representing groups of buildings in Kartuzy district - scale 1:10000
Open Research DataThe process of automatic generalization is one of the elements of spatial data preparation for the purpose of creating digital cartographic studies. The presented data include a part of the process of generalization of building groups obtained from the national geodesy and cartography resource from BDOT10k (10k topographic database) [1].
-
The generalization by simplification operator with Sester’s method of objects representing groups of buildings in Gdańsk district - scale 1:10000
Open Research DataThe process of automatic generalization is one of the elements of spatial data preparation for the purpose of creating digital cartographic studies. The presented data include a part of the process of generalization of building groups obtained from the national geodesy and cartography resource from BDOT10k (10k topographic database) [1].
-
The generalization by simplification operator with Sester’s method of objects representing groups of buildings in Kartuzy district - scale 1:25000
Open Research DataThe process of automatic generalization is one of the elements of spatial data preparation for the purpose of creating digital cartographic studies. The presented data include a part of the process of generalization of building groups obtained from the national geodesy and cartography resource from BDOT10k (10k topographic database) [1].
-
Predicting bankruptcy with the use of macroeconomic variables
PublicationRegarding the current global financial crisis, the firms can expect the increased uncertainty of their existence. The relevant literature includes extensive studies on bankruptcy prediction. Studies show that the most popular method used for prediction of firms' failures are discriminant analyses (30,3% of all models), then logit and probit models (21,3%), which all three are parametric models. The nature, the structure of the...
-
Logika pragmatyczna dla inżynierów STAC 2022/2023
e-Learning Courses -
Logika pragmatyczna dla inżynierów NSTAC 2021/2022
e-Learning Courses -
Logika pragmatyczna dla inżynierów NSTAC 2022/2023
e-Learning Courses -
Struktura przestrzeni miasta w świetle analizy syntaktycznej.
PublicationBadania nad strukturami przestrzeni przy wykorzystaniu analizy syntaktycznej wskazały na fundamentalną zależność pomiędzy strukturą przestrzeni miasta i sposobem jego funkcjonowania. Kluczem do podjęcia dialogu z miastem historycznym jest zrozumienie logiki przekształcanej przez stulecia struktury przez pryzmat konfiguracji.
-
SOLAP GIS in maritime research
PublicationMultidimensional Geographical Information System is a system especially designed to acquire, distribute, analyze and visualize complicated spatio-temporal data. Modern Geographical Information System technology can provide easy-to-use, near real-time solutions to many problems from different areas of research. In the article, authors summarize recent works on Spatial Online Analytical Processing (SOLAP) and multidimensional Geographical...
-
Ionophores in polymeric membranes for selective ion recognition:impedance studies
PublicationW pracy badano dwa typy elektrod: membranowe elektrody jonoselektywne (ISE) oraz elektrody nowego typu all-solid-state (AAS). Elektrody AAS zawierają przewodzącą warstwę polimerową na węglu szklistym lub platynie, na który nałożona jest membrana zawierająca jonofor. Do badań użyto dwa jonofory: p-tert-butylokaliks[4]aren-korona-4 (L1) selektywnie kompleksująca jony Na+ oraz kaliks[4]aren-korona-6 (L2) selektywnie kompleksująca...
-
EEG data recorded in three mental states
Open Research DataElectroencephalographic (EEG) signals were acquired from 17 (14 males, 3 females) participants aged between 20 and 30 years.
-
LOGIC LAB Molecular logic lab-on-a-vesicle for intracellular diagnostics
ProjectsProject realized in Department of Theoretical Physics and Quantum Information according to 813920-LogicLab agreement from 2018-08-23
-
LOGIC LAB Molecular logic lab-on-a-vesicle for intracellular diagnostics
ProjectsProject realized in Department of Theoretical Physics and Quantum Information according to 441260/PnH 2/2019 agreement from 2019-10-02
-
Spatiotemporal Assessment of Satellite Image Time Series for Land Cover Classification Using Deep Learning Techniques: A Case Study of Reunion Island, France
PublicationCurrent Earth observation systems generate massive amounts of satellite image time series to keep track of geographical areas over time to monitor and identify environmental and climate change. Efficiently analyzing such data remains an unresolved issue in remote sensing. In classifying land cover, utilizing SITS rather than one image might benefit differentiating across classes because of their varied temporal patterns. The aim...
-
Logical Foundations of Computer Science
Conferences -
Comparison of direct and inverse methods of satellite observations downscaling for the coastal zone area
PublicationThe Earth observation satellite imaging systems have known limitations, especially regarding their spatial and temporal resolution. Therefore, approaches which aim to combine data retrieved from sensors of higher temporal and lower spatial resolution with the data characterized by lower temporal but higher spatial resolution are of high interest. This allows for joint utilization of the advantages of both these types of sensors....
-
Zastosowanie reguł rozmytych w komputerowej animacji postaci - wybrane zagadnienia
PublicationCelem badawczym rozprawy było wykazanie możliwości wykorzystania inteligentnych metod obliczeniowych, głównie logiki rozmytej, w animacji komputerowych postaci. Powstał system pozwalający w sposób półautomatyczny tworzyć animacje płynne i nacechowane stylistycznie. Poprawność wykorzystanego podejścia została zweryfikowana w toku testów oceny z udziałem dużej liczby widzów-ekspertów.
-
Rozmyte systemy decyzyjne.
PublicationW pracy przedstawiono podstawowe pojęcia związane z przetwarzaniem i przepływem informacji w instytucjach oraz ich związkami z podejmowaniem decyzji. Omówiono też istotniejsze zagadnienia z zakresu zbiorów rozmytych i logiki rozmytej wyjaśniające sposoby działania rozmytych systemów decyzyjnych. Przytoczono kilka przykłądów zastosowań rozmytych systemów wspomagania podejmowania decyzji.
-
Oprogramowanie Saphira do rozmytej autonomicznej nawigacji robota mobilnego Pioneer 2CE
PublicationPraca obejmuje analizę wykorzystania logiki rozmytej do nawigacji autonomicznego robota mobilnego Pioneer 2CE w nieznanym otoczeniu, przy użyciu architektury oprogramowania Saphira. W opracowaniu przestawiono podstawy rozmytej nawigacji, strukturę sterownika rozmytego i architekturę oprogramowania Saphira. Przedstawiono platformę mobilną Pioneer 2CE, symulator robota i sposób jego sterowania.
-
Advances in Modal Logic
Conferences -
Inductive Logic Programming
Conferences -
Workshop on Logic and Learning
Conferences -
Modele budowy wartości dla klienta - charakterystyka i rozwinięcie
PublicationRozwój form realizacji biznesu umożliwił zbadanie nowych obiektów związanych z generowaniem wartości dla klienta i przedsiębiorstwa. W pracy scharakteryzowano logiki tworzenia wartości będące podstawą modeli łańcucha wartości, sklepu wartości, sieci wartości oraz chmury wartości. Zaproponowano także wprowadzenie nowego składnika do struktury tych modeli w postaci węzła wartości.
-
Elementy logiki STAC 2021/2022
e-Learning Courses -
Elementy logiki NSTAC 2021/2022
e-Learning Courses