Filters
total: 2388
-
Catalog
- Publications 1670 available results
- Journals 44 available results
- Conferences 30 available results
- People 155 available results
- Inventions 5 available results
- Projects 25 available results
- Research Teams 6 available results
- e-Learning Courses 147 available results
- Events 8 available results
- Open Research Data 298 available results
displaying 1000 best results Help
Search results for: LOGIKA TEMPORALNA
-
Spatio-temporal filtering for determination of common mode error in regional GNSS networks
PublicationThe spatial correlation between different stations for individual components in the regional GNSS networks seems to be significant. The mismodelling in satellite orbits, the Earth orientation parameters (EOP), largescale atmospheric effects or satellite antenna phase centre corrections can all cause the regionally correlated errors. This kind of GPS time series errors are referred to as common mode errors (CMEs). They are usually...
-
Analysis of the Spatial and Temporal Distribution of Process Gases within Municipal Biowaste Compost
Publication -
Spatio-Temporal Variation in Predation on Artificial Ground Nests: A 12-Year Experiment
Publication -
How to model temporal changes in nontargeted metabolomics study? A Bayesian multilevel perspective
Publication -
Structural and Temporal Topic Models of Feedbacks on Service Quality – A Path to Theory Development?
PublicationThere is growing interest in applying computational methods in analysing large amount of data without sacrificing rigour in Information Systems research. In this paper, we demonstrate how the use of structural and temporal topic modelling can be employed to produce insights of both theoretical and practical importance from the analysis of textual comments on the quality of services in hospitals. As a first step, we revealed the...
-
Closed-loop stimulation of temporal cortex rescues functional networks and improves memory
PublicationMemory failures are frustrating and often the result of ineffective encoding. One approach to improving memory outcomes is through direct modulation of brain activity with electrical stimulation. Previous efforts, however, have reported inconsistent effects when using open-loop stimulation and often target the hippocampus and medial temporal lobes. Here we use a closed-loop system to monitor and decode neural activity from direct...
-
ALS Data Filtration with Fuzzy Logic
PublicationEkstrakcji DTM pozyskanego z użyciem ALS (Airborne Laser Scanning) z chmury punktów, jest złożonym zadaniem, które wymaga wielu algorytmów i procedur numerycznych. Jednym z pierwszych kroków jest filtracja danych. Istnieje wiele różnych metod filtrowania i algorytmów. W tym artykule autorzy proponują metodę filtracji w oparciu o logikę rozmytą. Prezentują podstawowe informacje dotyczące logiki rozmytej, projekt reguł rozmytych...
-
Fuzzy logic for control Peltier module
Publication -
International Conference on Temporal Logic
Conferences -
Metody opisu ontologii: Opis wiedzy niepewnej przy pomocy sieci Bayesowskich i logiki MEBN
PublicationArtykuł wprowadza czytelnika w problematykę przedstawiania wiedzy niepewnej w systemach eksperckich. Na przykładzie diagnostyki problemów komunikacyjnych w prostej sieci osiedlowej przedstawiona jest w artykule metodologia wnioskowania w sieciach bayesowskich. W jego dalszej części podano przykład prezentujący logikę MEBN jako sposób na wyrażenie w zwięzły sposób wiedzy probabilistycznej o całej klasie problemów o podobnych właściwościach...
-
Informal Logic
Journals -
Algebra and Logic
Journals -
Trends in Logic
Journals -
Fuzzy logic in controlling flexible manufacturing cell
PublicationIn the present work a controlling method based on fuzzy rule base is proposed. Practical approaches are developed and focused on real time problems related to flexible manufacturing cell. Techniques for design and implementation of fuzzy systems in the framework of control production and quality states are presented. Keywords: controlling, manufacturing system, fuzzy logic, turning, burnishingW artykule przedstawiono propozycję...
-
Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications
Journals -
Metody strukturalnej analizy ontologii opartych na logice opisowej
PublicationW rozprawie przedstawiono opracowaną przez autora metodę wewnętrznej reprezentacji ontologii opartych na logice opisowej: kartografię wiedzy. Metoda ta służy przede wszystkim zwiększeniu efektywności wnioskowania dla baz wiedzy zawierających dużą liczbę asercji. W pracy przedstawiono formalizm opracowanej metody oraz towarzyszące jej algorytmy. Kartografię wiedzy wykorzystano w ramach projektu PIPS (6. Program Ramowy UE), a testy...
-
Analysis of temporal leachibility of trace elements to the environment of opoka-rocks used in historical building
Publication -
Bedload transport and temporal variation of non-uniform sediment in a seepage-affected alluvial channel
Publication -
Leveraging spatio-temporal features for joint deblurring and segmentation of instruments in dental video microscopy
PublicationIn dentistry, microscopes have become indispensable optical devices for high-quality treatment and micro-invasive surgery, especially in the field of endodontics. Recent machine vision advances enable more advanced, real-time applications including but not limited to dental video deblurring and workflow analysis through relevant metadata obtained by instrument motion trajectories. To this end, the proposed work addresses dental...
-
Ripple oscillations in the left temporal neocortex are associated with impaired verbal episodic memory encoding
PublicationBACKGROUND: We sought to determine if ripple oscillations (80-120 Hz), detected in intracranial electroencephalogram (iEEG) recordings of patients with epilepsy, correlate with an enhancement or disruption of verbal episodic memory encoding. METHODS: We defined ripple and spike events in depth iEEG recordings during list learning in 107 patients with focal epilepsy. We used logistic regression models (LRMs) to investigate the...
-
The adaptive spatio-temporal clustering method in classifying direct labor costs for the manufacturing industry
PublicationEmployee productivity is critical to the profitability of not only the manufacturing industry. By capturing employee locations using recent advanced tracking devices, one can analyze and evaluate the time spent during a workday of each individual. However, over time, the quantity of the collected data becomes a burden, and decreases the capabilities of efficient classification of direct labor costs. However, the results obtained...
-
Loggia Arquitectura & Restauracion
Journals -
A fuzzy logic model for forecasting exchange rates
PublicationThis article is devoted to the issue of forecasting exchange rates. The objective of the conducted research is to develop a predictive model with the use of an innovative methodology - fuzzy logic theory - and to evaluate its effectiveness in times of prosperity and during the financial crisis. The model is based on sets of rules written by the author in the form of IF-THEN, where expert knowledge is stored. This model is the result...
-
The Implementation of Fuzzy Logic in Forecasting Financial Ratios
PublicationThis paper is devoted to the issue of forecasting financial ratios. The objective of the conducted research is to develop a predictive model with the use of an innovative methodology, i.e., fuzzy logic theory, and to evaluate its effectiveness. Fuzzy logic has been widely used in machinery, robotics and industrial engineering. This paper introduces the use of fuzzy logic for the financial analysis of enterprises. While many current...
-
Wykorzystanie logiki rozmytej do regulacji napięcia w systemie elektroenergetycznym z wybranymi odnawialnymi źródłami energii
PublicationW ostatnich latach w krajowym systemie elektroenergetycznym liczba i moc odnawialnych źródeł energii znacząco wzrosły. Źródła te można wykorzystać nie tylko do produkcji tzw. czystej energii elektrycznej, ale również do poprawy warunków napięciowych w tym systemie. W artykule przedstawiono koncepcję układu regulacji napięcia w systemie elektroenergetycznym z przyłączonymi w pewnym obszarze: farmą wiatrową, farmą fotowoltaiczną,...
-
Wykorzystanie logiki zbiorów rozmytych w określaniu lokalizacji dodatkowych źródeł mocy biernej w systemie elektroenergetycznym
PublicationOkreślenie właściwej lokalizacji dodatkowych źródeł mocy biernej w systemie elektroenergetycznym stanowi ważne zagadnienie z punktu widzenia pracy systemu, jak i ekonomii. Dlatego też poszukuje się takich metod wspomagających analizę pracy i rozwoju systemu, które byłyby w stanie wskazywać najbardziej optymalne rozmieszczenie i parametry tych dodatkowych źródeł. W referacie skoncentrowano się na wykorzystaniu logiki rozmytej do...
-
Watershed characteristics and climate factors effect on the temporal variability of mercury in the southern Baltic Sea rivers
Publication -
Research on Temporal Leachability of Trace Elements from Opoka-Rocks in The Aspect of Geochemical Environmental Indicators
Publication -
SPATIAL-TEMPORAL DETECTION OF CHANGES ON THE SOUTHERN COAST OF THE BALTIC SEA BASED ON MULTITEMPORAL AERIAL PHOTOGRAPHS
Publication -
Temporal changes in the content of labile and stabile mercury forms in soil and their inflow to the southern Baltic Sea
Publication -
Temporal Satellite Images in The Process of Automatic Efficient Detection of Changes of the Baltic Sea Coastal Zone
Publication -
Temporal sequence of the human RBCs' vesiculation observed in nano-scale with application of AFM and complementary techniques
Publication -
Adaptive Method for Modeling of Temporal Dependencies between Fields of Vision in Multi-Camera Surveillance Systems
PublicationA method of modeling the time of object transition between given pairs of cameras based on the Gaussian Mixture Model (GMM) is proposed in this article. Temporal dependencies modeling is a part of object re-identification based on the multi-camera experimental framework. The previously utilized Expectation-Maximization (EM) approach, requiring setting the number of mixtures arbitrarily as an input parameter, was extended with the...
-
Advanced sensitivity analysis of the impact of the temporal distribution and intensity of rainfall on hydrograph parameters in urban catchments
PublicationKnowledge of the variability of the hydrograph of outflow from urban catchments is highly important for measurements and evaluation of the operation of sewer networks. Currently, hydrodynamic models are most frequently used for hydrograph modeling. Since a large number of their parameters have to be identified, there may be problems at the calibration stage. Hence, sensitivity analysis is used to limit the number of parameters....
-
Measurement of the Temporal and Spatial Temperature Distribution on the Surface of PVCP Tissue Phantom Illuminated by Laser Dataset
PublicationThe dataset entitled Measurement of the temporal and spatial temperature distribution on the surface of PVCP tissue phantom illuminated by laser was obtained with a laboratory set-up for characterisation of the thermal properties of optical tissue phantoms during laser irradiation. The dataset contains a single image file representing the spatial temperature distribution on the surface of a PVCP tissue phantom. This thermal image...
-
Qualia: About Personal Emotions Representing Temporal Form of Impressions - Implementation Hypothesis and Application Example
PublicationThe aim of this article is to present the new extension of the xEmotion system as a computerized emotional system, part of an Intelligent System of Decision making (ISD) that combines the theories of affective psychology and philosophy of mind. At the same time, the authors try to find a practical impulse or evidence for a general reflection on the treatment of emotions as transitional states, which at some point may lead to the...
-
The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies
Publication -
Tworzenie map konceptów dla ontologii opartych na logice opisowej
PublicationW poprzednich pracach przedstawiono nową metodę reprezentacji wiedzy nazwaną metodą kartograficzną. Metoda ta pozwala na uchwycenie zależności pomiędzy pojęciami wyznaczonymi w ramach terminologii, jak również na stopniowe (w miarę zwiększania się naszej wiedzy) przyporządkowywanie indywidualnych obiektów tym pojęciom. Zależności te reprezentowane są w postaci tzw. mapy konceptów. Efektywność budowy mapy konceptów stanowi zagadnienie...
-
The knowledge cartography - a new approach to reasoning over description logics ontologies
PublicationArtykuł prezentuje nową metodę reprezentacji i przetwarzania wiedzy ontologicznej - Kartografię wiedzy. Ta metodapozwala na wnisokowanie z części terminologicznej i asercjonalnej ontologii. Artykuł opisuje metodę oraz jej podstawy teoretyczne. Kartografia wiedzy prechowuje i przetwarza w terminach sygnatur binarnych, które umożliwiają efektywne przetwarzanie ontologii zawierających dużą liczbę osobników. Kartografia wiedzy została...
-
Przetwarzanie zapytań w rozproszonej bazie wiedzyopartej na logice opisowej
PublicationRozdział prezentuje podstawy algorytmu Spider przetwarzania zapytań asercjonalnych (typu ABox) w rozproszonej bazie wiedzy opartej na logice opisowej. Algorytm Spider może być stosowany w celu integracji wiedzy z różnych źródeł. W rozdziale pokrótce przedstawiono zasadę kartograficznej reprezentacji wiedzy, sposób odwzorowywania terminologii różnych źródeł oraz oszacowano złożoność obliczeniową przedstawianego algorytmu.
-
Przetwarzanie zapytań do terminologii ontologiiniepewnych opartych na logice opisowej
PublicationSystemy informatyczne oparte na bazach wiedzy stają się coraz bardziej popularne. Znacząca ilość istniejących systemów do opisu wiedzy wykorzystuje ontologie. Budując ontologie, bardzo często zakłada się, że informacje w nich przechowywane są pewne. W niektórych jednak zastosowaniach takie założenie może nie być do końca prawdziwe. Niniejszy Rozdział wprowadza w tematykę ontologii niepewnych oraz prezentuje propozycje rozszerzenia...
-
Processing and querying description logic ontologies using cartographic approach
PublicationLogika opisowa jest formalizmem reprezentowania wiedzy, który ostatnio zyskuje na znaczeniu wśród inżynierów. Niniejszy rozdział, po krótkim wprowadzeniu do logiki opisowej, prezentuje silnik wnioskujący opracowany na Politechnice Gdańskiej. Silnik ten, o nazwie KaSeA, opiera się na oryginalnej idei kartografii wiedzy. Niniejszy rozdział pokazuje podstawy kartografii wiedzy, jej ograniczenia i potencjał rozwoju, a także porównuje...
-
Application of Reversible Logic in Synthesis of Traffic Control Systems
Publication -
Description logic based generator of data-centric applications
PublicationThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Description Logic As A Common Software Engineering Artifacts Language
PublicationDescription logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering, software architecture definition, software design and configuration management. To do this there is presented a correspondence between description logic and UML. Description logic based integrated software engineering process framework is proposed which owing to automatic knowledge inferring...
-
Description logic based generator of data-centric applications
PublicationThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Fuzzy logic based sensorless control of induction motors.
PublicationW artykule przedstawiono układ sterowania bezczujnikowego silnikiem indukcyjnym wykorzystujący logikę rozmytą. W układzie wykorzystano metodę sterowania polowo zorientowanego. Prędkość kątowa estymowana jest za pomocą obserwatora i pomiarów mocy. Układ działa w szerokim zakresie prędkości. Zaprezentowano wyniki badań symulacyjnych.
-
Ontologie w systemach informatycznych
PublicationZakres monografii obejmuje wybór majważniejszych zagadnień inżynierii wiedzy opartej na podejściu ontologicznym. Omawiane są ramy Minsky'ego, sieci semantyczne, standardy RDF, OWL i SPARQL. Prezentowane są też podstawy teoretyczne nowoczesnych technologii semantycznych, w szczególności rozstrzygalny fragment logiki pierwszego rzędu zwany logiką opisową (ang. Description Logics, DL). Omawia sie algorytmy wnioskowania z ontologii...
-
Co to jest czas?
PublicationŚwięty Augustyn wypowiedział kiedyś takie słowa: "Czymże jest czas? Jeśli nikt mnie o to nie pyta, wiem. Jeśli pytającemu usiłuję wytłumaczyć, nie wiem." Nie ma wątpliwości, że czas jest czymś ważnym,a nawet bardzo ważnym - bez niego nic by się nie działo. Czy czas nie jest tym dobrem, którego nam brakuje najczęściej? Wielu filozofów widzi w czasie jedną z podstaw wszelkich sądów matematycznych.Strategiczną rolę czasu jeszcze bardziej...
-
Spatial and Temporal Variability of Moisture Condition in Soil-Plant Environmet using Spectral Data and GIS Tools
Publication