Filters
total: 2452
-
Catalog
- Publications 1723 available results
- Journals 44 available results
- Conferences 30 available results
- People 159 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 305 available results
displaying 1000 best results Help
Search results for: LOGIKA TEMPORALNA
-
International Conference on Algebraic and Logic Programming
Conferences -
International Symposium on Functional and Logic Programming
Conferences -
Logic and Engineering of Natural Language Semantics
Conferences -
Computability in Europe: Logic and Theory of Algorithms
Conferences -
Workshop on Logic, Language, Information and Computation
Conferences -
Annual Conference on Computer Science Logic
Conferences -
Expert System as a classification method for optimal Legg-Calve-Perthes Disease treatment
PublicationZaproponowano 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,...
-
Optymalizacja rozpływów mocy biernej w systemie elektroenergetycznym
PublicationReferat 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.
PublicationCelem 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...
-
5. Logic and epistemology
e-Learning Courses -
Elements of logic and epistemology
e-Learning Courses -
Introduction of SAF-T in selected European countries together with applicable national names
Open Research DataAmong 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.
-
wykład informatyka - nowy
e-Learning CoursesTematyka 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...
-
GIS Solution for Weather Forecast Data Analysis
PublicationIn 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
PublicationThe 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
PublicationNiniejszy 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ą.
-
Komputerowo wspomagane zapewnienie jakości w elastycznym wytwarzaniu
PublicationKomputerowo 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...
-
Intelligent Resources Search in Virtual Libraries.
PublicationZostał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
PublicationPrzedstawiono 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...
-
GIS for processing multidimensional marine data in SAAS model
PublicationGeographic 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...
-
Modelling Object Behaviour in a Video Surveillnace System Using Pawlak's Flowgraph
PublicationIn 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
PublicationIn 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....
-
Network oscillations modulate interictal epileptiform spike rate during human memory
PublicationEleven 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...
-
Inteligentny modeler graficzny w komputerowych systemach wspomagania projektowania budowlanego
PublicationW 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
PublicationTematyka 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...
-
Hybrid system of safe ship steering at sea
PublicationPrzedstawiony 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...
-
NOWE TRENDY I KIERUNKI BADAŃ W MARKETINGU USŁUG
PublicationOd 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...
-
2020/21 Chemia/Laboratorium z Chemii Organicznej
e-Learning CoursesLaboratorium z Chemii Organicznej dla kierunku Chemia sem. VI semestr letni 2020/2021 prowadzący: dr inż. Monika Gensicka-Kowalewska
-
Evaluation of the factors influencing business bankruptcy risk in Poland
PublicationThis 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.
PublicationW 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ą.
-
Rengel Cane Sia Doctoral Candidate
PeopleI’m Rengel, born and raised in the Philippines. As an undergraduate I did kinetic modeling on Copper-catalyzed atom transfer radical addition (ATRA). Then I was inspired to do both theoretical and experimental studies, which led me to propose my master’s thesis on Synthesis, Computational, Electrochemical, and Photoconductivity Studies on Naphthalene and its derivatives. This led to a master’s degree in Chemistry in the Mindanao...
-
Programming languages 2021/22
e-Learning CoursesThe 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
e-Learning CoursesThe 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
e-Learning CoursesThe 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
e-Learning CoursesThe 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.
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublicationAnaliza 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ą...
-
Rozwojowa koncepcja formułowania strategii.
PublicationNaczelne 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
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...
-
Hybrid System for Ship-Aided Design Automation
PublicationA hybrid support system for ship design based on the methodology of CBR with some artificial intelligence tools such as expert system Exsys Developer along with fuzzy logic, relational Access database and artificial neural network with backward propagation of errors.
-
Human verbal memory encoding is hierarchically distributed in a continuous processing stream
PublicationProcessing of memory is supported by coordinated activity in a network of sensory, association, and motor brain regions. It remains a major challenge to determine where memory is encoded for later retrieval. Here we used direct intracranial brain recordings from epilepsy patients performing free recall tasks to determine the temporal pattern and anatomical distribution of verbal memory encoding across the entire human cortex. High...
-
A Robust Random Forest Model for Classifying the Severity of Partial Discharges in Dielectrics
PublicationPartial 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...
-
Fuzzy Control of Waves Generation in a Towing Tank
PublicationThis paper presents the results of research related to the transformation of electrical energy into potential and kinetic energy of waves generated on the water surface. The waves are generated to model the environmental conditions for the needs of the model tests. The model tests are performed on model-scale objects to predict the features of full-scale maritime objects. It is done to improve human safety and the survivability...
-
Monika Joskowska mgr inż.
People -
„Osiem kobiet”, ogólnopolska wystawa malarstwa, grafiki i rzeźby, Muzeum Śremskie.
Publication„Osiem kobiet”, ogólnopolska wystawa malarstwa, grafiki i rzeźby, Muzeum Śremskie. W wystawie biorą udział: Dominika Krechowicz, Jowita Mormul, Paulina Komorowska-Birger, Monika Korona, Joanna Trzcińska, Katarzyna Słuchocka, Joanna Stefańska, Natalia Wegner. Kuratorstwo wystawy: Katarzyna Słuchocka, Joanna Stefańska, Instytut Architektury Wnętrz i Wzornictwa Przemysłowego, Wydział Architektury Politechniki Poznańskiej
-
International Workshop on Logic Programming and Multi-Agents
Conferences -
Symposium on Programming Language Implementation and Logic Programming
Conferences -
International Workshop on Functional and Constraint Logic Programming
Conferences -
International Workshop on Logic and Complexity in Computer Science
Conferences -
Conference of the European Society for Fuzzy Logic and Technologies
Conferences -
Monika Baranowska
People