Filtry
wszystkich: 2495
-
Katalog
- Publikacje 1741 wyników po odfiltrowaniu
- Czasopisma 44 wyników po odfiltrowaniu
- Konferencje 30 wyników po odfiltrowaniu
- Osoby 160 wyników po odfiltrowaniu
- Wynalazki 5 wyników po odfiltrowaniu
- Projekty 25 wyników po odfiltrowaniu
- Zespoły Badawcze 6 wyników po odfiltrowaniu
- Kursy Online 169 wyników po odfiltrowaniu
- Wydarzenia 8 wyników po odfiltrowaniu
- Dane Badawcze 307 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: LOGIKA TEMPORALNA
-
Computer Networks EN 2022
Kursy OnlineThe student becomes familiar with the network layered logical architectures, classifies the basic problems of network communication and identifies and analyzes selected protocols and mechanisms of LAN and WAN (IP) networks.
-
Computer Networks EN 2023
Kursy OnlineThe student becomes familiar with the network layered logical architectures, classifies the basic problems of network communication and identifies and analyzes selected protocols and mechanisms of LAN and WAN (IP) networks.
-
Analysis of magnetic field distribution inside ferromagnetic thin shells during degaussing process
PublikacjaAnalysis of the demagnetization of a large ferromagnetic object like a ship, was conducted. The approximate mathematical model in the form of a long cylindrical shell of constant magnetic permeability was applied. The discrete degaussing winding was assumed and the current density and magnetic flux density distribution in the ferromagnetic shell wall were determined. Based on the frequential and temporal analysis the recommended...
-
Glioma, malignant - Female, 54 - Tissue image [222063001496811]
Dane BadawczeThis is the histopathological image of BRAIN tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
IEEE Symposium on Logic in Computer Science
Konferencje -
International Conference on Algebraic and Logic Programming
Konferencje -
International Symposium on Functional and Logic Programming
Konferencje -
Logic and Engineering of Natural Language Semantics
Konferencje -
Computability in Europe: Logic and Theory of Algorithms
Konferencje -
Workshop on Logic, Language, Information and Computation
Konferencje -
Annual Conference on Computer Science Logic
Konferencje -
Optymalizacja rozpływów mocy biernej w systemie elektroenergetycznym
PublikacjaReferat prezentuje zagadnienia związane ze sterowaniem poziomami napięć w systemie elektroenergetycznym. Rozważane są dwie metody optymalizacji rozpływu mocy biernej, prowadzące do poprawy warunków napięciowych w systemie elektroenergetycznym i ograniczenia strat mocy czynnej. Pierwsza z metod optymalizacyjnych poddanych weryfikacji została zaimplementowana w programie PLANS, a bazuje na autorskiej procedurze opartej o logikę rozmytą,...
-
Nowe algorytmy działania automatyki samoczynnego częstotliwościowego odciążania (SCO) w systemie elektroenergetycznym.
PublikacjaCelem pracy byłao opracowanie nowych algorytmów działania automatyki odciążającej pozbawionej wad stosowanego obecnie rozwiązania automatyki samoczynnego odciążania (SCO). Praca zawiera propozycje wymagających niewielkich zmian w stosowanym obecnie algorytmie przyczyniających się jednak do znacznej poprawy skuteczności odciążania oraz całkowicie nowatorskie rozwiązanie adaptacyjnego algorytmu automatyki odciążającej opartej na...
-
Expert System as a classification method for optimal Legg-Calve-Perthes Disease treatment
PublikacjaZaproponowano utworzenie systemu eksperckiego jako metody klasyfikacji w prognozowaniu dowolnej formy leczenia dzieci z chorobą Legg-Calve-Perthesa. Obecnie nie ma jednego optymalnego sposobu leczenia choroby Perhtes'a i proponowana metoda jest próbą utworzenia wymiernego i uniwersalnego narzędzia, które będzie stanowiło podstawę przy podejmowaniu decyzji o najlepszym sposobie leczenia chorego stawu biodrowego. System ekspercki,...
-
Webinar for students (Monika Czerepak)
Kursy Online -
wykład informatyka - nowy
Kursy OnlineTematyka wykładu obejmuje zagadnienia związane: -rozwój, budowa komputerów w tym mikrokontrolerów i ich zastosowanie w wielu dziedzinach, układy pozwalające przejść z techniki analogowej na cyfrową (przetworniki wielkości nieelektrycznych na eleaktrycze, przetworniki analogowo cyfrowe oraz cyfrowo analogowe -oprogramowanie, logika programowania od asemblera do języków wysokiego poziomu -transmisja danych, historia...
-
Introduction of SAF-T in selected European countries together with applicable national names
Dane BadawczeAmong the methods used by individual countries in norder to seal the tax collection the introduction of the Standard Audit File for Tax is one of the most important ones.
-
GIS Solution for Weather Forecast Data Analysis
PublikacjaIn this paper authors present the GIS system for the analysis of the numerical weather prediction data. This kind of data has multidimensional character (three dimensions and time) and its analysis should consider all the available factors. Proposed GIS system consists of RASDAMAN application with implemented OLAP cube mechanism, which enables the user to process data in the spatial-time domain. It also simplifies the meteorological...
-
Multi-instrument analysis of L-band amplitude scintillation observed over the Eastern Arabian Peninsula
PublikacjaThe study of scintillation-causing ionospheric irregularities is important to mitigate their effects on satellite communications. It is also important due to the spatial and temporal variability of these irregularities, given that their characteristics differ from one region to another. This study investigates the spatial and temporal characteristics of L1 amplitude scintillation-causing ionospheric irregularities over the Eastern...
-
International Representation of S-Modular Knowledge Base in RKaSeA System
PublikacjaNiniejszy artykuł przedstawia nową metodę reprezentacji wiedzy ontologicznej wyrażonej w logice opisowej. Metoda ta, nazwana G-Cart została zaimplementowana w nowo utworzonym systemie zarządzania wiedzą RKaSeA. Artykuł opisuje podstawowe założenia metody oraz praktyczne zagadnienia związane z jej implementacją.
-
Intelligent Resources Search in Virtual Libraries.
PublikacjaZostała zaprezentowana koncepcja bibliotek cyfrowych oraz temat wyszukiwania zasobów. W celu poprawy jakości procesu wyszukiwania, zostało zaproponowane użycie koncepcji sieci semantycznej zamiast klasycznego sposóbu opisu zasobów bibliograficznych. Została opisana prosta ontologia oparta o Dublin Core meta-data. Zostało przedyskutowane zastosowanie algorytmu przetważania połączeń semantycznych w celu szukania. Zastosowany w Wirtualnej...
-
System typu SCADA oparty na komunikacji w sieci Intranet/Internet dla sterowanych układów napędowych
PublikacjaPrzedstawiono system typu SCADA opracowany do sterowania układami napędowymi z wykorzystaniem procesorów sygnałowych DSP. Nadrzędne sterowanie oparte jest na aplikacjach prowadzących komunikację w modelu klient-serwer w sieci Intranet/Internet. Aplikacje Client i Server wykorzystuję kontrolę transmisji protokołu TCP/IP oraz algorytm z pzresuwnym oknem do estymacji jakości połączenia w sieci. Obiektem sterowania jest układ napędowy...
-
Komputerowo wspomagane zapewnienie jakości w elastycznym wytwarzaniu
PublikacjaKomputerowo wspomagane zapewnienie jakości (CAQ) ma obecnie duże znaczenie w przemyśle maszynowym, produkującym wyroby o wysokiej jakości i konkurencyjne rynkowo. W związku z potrzebą zapewnienia jakości oraz tendencją do zmniejszania liczności partii, aż po produkcję jednostkową zorientowaną na klienta, sytuacja komplikuje się. W praktyce oznacza to potrzebę przystosowania konwencjonalnych metod kontroli jakości do potrzeb komputerowo...
-
Wstęp do logiki i teorii mnogości 2023/2024
Kursy Online -
Wstęp do logiki i teorii mnogości 2022/2023
Kursy Online -
Wstęp do logiki i teorii mnogości 2024/2025
Kursy Online -
Modelling Object Behaviour in a Video Surveillnace System Using Pawlak's Flowgraph
PublikacjaIn this paper, methodology of acquisition and processing of video streams for the purpose of modelling object behaviour is presented. Multilevel contextual video processing was also mentioned. The Pawlak’s flowgraph is used as a container for the knowledge related to the behaviour of objects in the area supervised by a video surveillance system. Spatio-temporal dependencies in transitions between cameras can be easily changed in...
-
Quantum entanglement in time
PublikacjaIn this paper we present a concept of quantum entanglement in time in a context of entangled consistent histories. These considerations are supported by presentation of necessary tools closely related to those acting on a space of spatial multipartite quantum states. We show that in similarity to monogamy of quantum entanglement in space, quantum entanglement in time is also endowed with this property for a particular history....
-
GIS for processing multidimensional marine data in SAAS model
PublikacjaGeographic Information Systems (GIS) have always been a useful tool for visualization and processing of geospatial data. However, their capabilities of analysis non-standard information such as hydroacoustic soundings has thus far been very limited. This paper proposes a general-purpose GIS which uses techniques such as OLAP, WCS and WCPS for processing of multidimensional spatio-temporal data. The versatility of the GIS is exemplified...
-
LOGIC 2024/2025
Kursy Online -
5. Logic and epistemology
Kursy Online -
Elements of logic and epistemology
Kursy Online -
Monika Wieczerzak dr inż.
Osoby -
Network oscillations modulate interictal epileptiform spike rate during human memory
PublikacjaEleven patients being evaluated with intracranial electroencephalography for medically resistant temporal lobe epilepsy participated in a visual recognition memory task. Interictal epileptiform spikes were manually marked and their rate of occurrence compared between baseline and three 2 s periods spanning a 6 s viewing period. During successful, but not unsuccessful, encoding of the images there was a significant reduction in...
-
Hybrid system of safe ship steering at sea
PublikacjaPrzedstawiony hybrydowy system sterowania statkiem w sytuacji kolizyjnej na morzu, ma umożliwić nawigatorowi podjęcie decyzji pozwalającej na bezpieczne przejście przez dany akwen z uwzględnieniem warunków pogodowych, i spotkanych ograniczeń nawigacyjnych o charakterze statycznym i dynamicznym. System ten łączy pracę dwóch technik komputerowych, algorytmów ewolucyjnych do wyznaczania optymalnej ścieżki przejścia i sterowania rozmytego...
-
Inteligentny modeler graficzny w komputerowych systemach wspomagania projektowania budowlanego
PublikacjaW pracy przedstawiono Inteligentny Modeler Graficzny (IMG), integrujący proces projektowania w systemach CAD. IMG integruje dwie podstawowe fazy projektowania : fazę konstruowania z fazą analziy konstrukcji. Podstawą integracji stałą się metoda Graphic Data Edition (GDE) rozpoznawania rysunku, oprata na koncepcji Logiki Rozmytej. Metoda GDE pozwoliła na zbudowanie modelera rozmytego, mającego za zadanie rozpoznanie rysunku i wygenerowanie...
-
Sztuczna inteligencja i elementy hybrydowych systemów ekspertowych
PublikacjaTematyka monografii dotyczy problematyki wchodzacej w skład szeroko pojetej sztucznej inteligencji i obejmuje: - klasyczną sztuczną inteligencję zawierającą zagadnienia reprezentacji i przetwarzania wiedzy symbolicznej, łącznie z realizacją symbolicznych systemów ekspertowych, - zbiory rozmyte i logikę rozmytą, wraz z rozmytymi systemami przetwarzającymi wiedzę nieprecyzyjną, - sztuczne sieci neuronowe łącznie z neuronowymi systemami...
-
2020/21 Chemia/Laboratorium z Chemii Organicznej
Kursy OnlineLaboratorium z Chemii Organicznej dla kierunku Chemia sem. VI semestr letni 2020/2021 prowadzący: dr inż. Monika Gensicka-Kowalewska
-
NOWE TRENDY I KIERUNKI BADAŃ W MARKETINGU USŁUG
PublikacjaOd momentu pojawienia się koncepcji marketingu usług przechodzi ona nieustającą ewolucję. Pojawiające się nowe trendy (m.in. Service-Dominant Logic, Service Logic, New Service Marketing) i obszary badań marketingu usług (np. Transformative Service Research) skłaniają do dokonywania podsumowań pewnego etapu rozwoju i stawiania pytań, w którym kierunku powinny podążać badania marketingu usług w przyszłości. Celem artykułu jest przedstawienie...
-
Evaluation of the factors influencing business bankruptcy risk in Poland
PublikacjaThis article is devoted to the issue of assessing the causes of business failure. The presented studies answer two research questions – what are the causes of corporate bankruptcies in Poland and how to more efectively predict the scale of bankruptcies in the country. The author has conducted a study to analyze the specic endogenous and exogenous causes of company bankruptcy depending on the type of the bankruptcy with consideration...
-
''Computing with words'' concept applied to musical instrument recognition. W: [CD-ROM] International Symposium of Musical Acoustics. ISMA MEXICO CITY. Mexico City, 9-13 December 2002. Mexico City: Escuela Nacional de Musica UNAM**2002, 8 s. 3 rys. 3 tab. bibliogr. 25 poz. Automatyczne rozpoznawanie klas instrumentów muzycznych w oparciu o wyraże- nia opisujące barwę dźwięku.
PublikacjaW referacie przedstawiono nowy sposób automatycznego przetwarzania danychmuzycznych w oparciu o paradygmat zaproponowany przez L. Zadeha. Pozwala tona automatyczne rozpoznawanie klas instrumentów muzycznych wykorzystując o-pis słowny barwy dźwięku. Przedstawiono system realizujący automatyczną kla-syfikację instrumentów muzycznych oparty o metodę zbiorów przybliżonych ilogikę rozmytą.
-
Programming languages 2021/22
Kursy OnlineThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages 2022/23
Kursy OnlineThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages 2023/24
Kursy OnlineThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Programming languages
Kursy OnlineThe aim of the course is to present four basic programming models (procedural, object-oriented, functional and in logic) and to demonstrate their practical use in information systems.
-
Rengel Cane Sia Doctoral Candidate
OsobyI'm Rengel, born and raised in the Philippines. I joined the Gdansk University of Technology in October 2019 as a Maria Skłodowska-Curie early-stage researcher. Calculating the Photophysics of molecular logic sensors for the early detection of atherosclerosis - a precursor to the world's leading causes of death. I'm a professional bass player. I play music to relieve stress and express creativity. I also like reading fantasy...
-
Rozwojowa koncepcja formułowania strategii.
PublikacjaNaczelne kierownictwo przedsiębiorstwa nie wykorzysta właściwie planowania strategicznego, jeżeli w jego sposobie myślenia nie pojawi się ponad strategiczna perspektywa czasowa w stosunku do otoczenia i przedsiębiorstwa, będąca wielokrotnością cyklu planistycznego. Rozszerzony w ten sposób horyzont myślenia strategicznego o przyszłości przynosi systemowe , wieloaspektowe widzenie problemów. Uwzględnianie ich w decydowaniu, czyni...
-
Indykatory jakościowe dla modelu społeczeństwa informacyjnego
PublikacjaRodzą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...
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublikacjaAnaliza drzew błędów jest dedukcyjną metodą analizy pozwalającą ustalić przyczyny wybranego zdarzenia niepożądanego. Posługuje się w tym celu koncepcją przyczyn bezpośrednich i logiki boolowskiej, a pozwala ustalić przyczyny podstawowe analizowanego zdarzenia. Technika ta wykorzystuje jednak w swoich modelach notację nieformalną, co może powodować niejednoznaczności i ograniczyć wartość analizy, szczególnie, jeśli pracuje nad nią...
-
A Robust Random Forest Model for Classifying the Severity of Partial Discharges in Dielectrics
PublikacjaPartial Discharges (PDs) are a common source of degradation in electrical assets. It is essential that the extent of the deterioration level of insulating medium is correctly identified, to optimize maintenance schedules and prevent abrupt power outages. Temporal PD signals received from damaged insulation, collected through the IEC-60270 method is the gold standard for PD detection. Temporal signals may be transformed to the frequency...