Filters
total: 2190
-
Catalog
- Publications 1624 available results
- Journals 43 available results
- Conferences 27 available results
- People 161 available results
- Inventions 5 available results
- Projects 34 available results
- Research Teams 7 available results
- e-Learning Courses 163 available results
- Events 8 available results
- Open Research Data 118 available results
displaying 1000 best results Help
Search results for: LOGIKA KWANTOWA
-
Bulletin of Symbolic Logic
Journals -
Australasian Journal of Logic
Journals -
Journal of Logic and Analysis
Journals -
History and Philosophy of Logic
Journals -
Logic, Argumentation and Reasoning
Journals -
Journal of Mathematical Logic
Journals -
Review of Symbolic Logic
Journals -
JOURNAL OF LOGIC AND COMPUTATION
Journals -
MATHEMATICAL LOGIC QUARTERLY
Journals -
Journal of Symbolic Logic
Journals -
ARCHIVE FOR MATHEMATICAL LOGIC
Journals -
History of Philosophy & Logical Analysis
Journals -
Logical Methods in Computer Science
Journals -
Bound entanglement maximally violating Bell inequalities: quantum entanglement is not fully equivalent to cryptographic security
PublicationW pracy pokazano, że czterokubitowy stan o splątaniu związanym może maksymalnie łamać prostą nierówność Bella podobną do standardowej nierówności CHSH. Prostota rozważanego układu oraz odporność splątania sprawiają, że łamanie to jest obiecujące dla współczesnej technologii eksperymentalnej. Z drugiej strony, splątanie tego stanu nie pozwala na destylację bezpiecznego klucza kryptograficznego, zatem ani splątanie, ani maksymalne...
-
Method of Decision-Making Logic Discovery in the Business Process Textual Data
PublicationGrowing amount of complexity and enterprise data creates a need for novel business process (BP) analysis methods to assess the process optimization opportunities. This paper proposes a method of BP analysis while extracting the knowledge about Decision-Making Logic (DML) in a form of taxonomy. In this taxonomy, researchers consider the routine, semi-cognitive and cognitive DML levels as functions of BP conceptual aspects of Resources,...
-
Modeling human thinking about similarities by neuromatrices in the perspective of fuzzy logic
Publication -
Modelling of soft fault propagation in sequential circuits by fuzzy-logic simulations
Publication -
Studies in Logic, Grammar and Rhetoric
Journals -
Problemy odwzorowywania ontologii opartych na logice opisowej w schemat relacyjnej bazy danych.
PublicationArtkuł prezentuje ogólną koncepcję odwzorowywania ontologii opartych na logice opisowej na schemat relacyjnej bazy danych i dane zapisane zgodnie z tym schematem. przedstawia również istniejące podejścia wykorzystujące metody powiązań słabych i powiązań silnych. Prezentuje zalety i wady opisywanych metod, jak również pojawiające się w nich problemy i ograniczenia.
-
Cavity-QED tests of representations of canonical commutation relations employed in field quantization
PublicationDane eksperymentalne dotyczące oscylacji Rabiego porównano z opisem teoretycznym w ramach alternatywnych sformułowań elektrodynamiki kwantowej. Okazało się, iż eksperyment nie jest w stanie rozróżnić opisu standardowego od nowego sformułowania opartego o redukowalne reprezentacje CCR. Zaproponowano nowy eksperyment, którego wynik mógłby być rozstrzygający.
-
Dynamic stability and spatial heterogeneity in the indyvidual-based modelling of a Lotka-Volterra gas.
PublicationPrzedstawiono wyniki symulacji systemu drapieżnik-ofiara. Dynamika populacji jest opisana oddziaływaniami typu Lotki Volterry ala uzyskane efekty przestrzenne różnia się od rozwiązań równań Lotki Voltery. Do analizy wyników symulacji uzyto miary entropii i korelacji. Entropia oscyluje w rytmie zgodnym z całą populacją, zaś średnie wartości korelacji skrosnej są zależne od rozmiarów okna obserwacji.
-
Combining MUSHRA Test and Fuzzy Logic in the Evaluation of Benefits of Using Hearing Prostheses
PublicationAssessing the effectiveness of hearing aid fittings based on the benefits they provide is crucial but intricate. While objective metrics of hearing aids like gain, frequency response, and distortion are measurable, they do not directly indicate user benefits. Hearing aid performance assessment encompasses various aspects, such as compensating for hearing loss and user satisfaction. The authors suggest enhancing the widely used...
-
Reliability Analysis of Data Storage Using Survival Signature and Logic Differential Calculus
PublicationThe Data storage system is an important part of any information system. All the necessary data that must be available for the successful operation of the information system are stored here. Therefore, it is advisable to think about the reliability of such a data storage system. As part of reliability engineering, it is possible to perform a reliability analysis of any system. Therefore, the data storage system can be analyzed as...
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublicationThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...
-
Forecasting of railway track tamping based on settlement of sleepers using fuzzy logic
PublicationThe sleepers in a railway track transfer vertical, transverse and longitudinal loads to the track ballast and subgrade. The sleepers allow for keeping the distance between the rails constant. The thickness of ballast should be between 16 and 35 cm depending on the design standard of the track, and it should be densified where the ballast supports the sleeper. The exploitation causes contamination of the ballast, crushing the material...
-
Piotr Skurski prof. dr hab.
PeoplePiotr Stanisław Skurski (ur. 25 sierpnia 1969 w Gdańsku) – polski chemik specjalizujący się w chemii kwantowej i fizycznej, profesor nauk chemicznych, profesor zwyczajny Wydziału Chemii Uniwersytetu Gdańskiego, kierownik Katedry Chemii Teoretycznej i Pracowni Chemii Kwantowej na tym wydziale, a także Professor of Chemistry w Henry Eyring Center for Theoretical Chemistry na Uniwersytecie Utah w Stanach Zjednoczonych. W latach 2011-2016 członek...
-
Wykorzystanie języka VHDL do modelowania układów pracujących w logice wielowartościowej i arytmetyce resztkowej
PublicationW pracy przedstawiono bibliotekę zbudowaną w oparciu o język VHDL, przeznaczoną do symulacji elementów pracujących w logice wielowartościowej i w arytmetyce resztowej. Zaprezentowano również bramki prądowe - nowe elementy logiczne cechujące się znacznie mniejszym poziomem szumu cyfrowego. Pokazano przykłady sumatorów działających w logice wielowartościowej z podstawą N, lub w arytmetyce resztowej modulo N. Wyróżniającą cechą sumatorów...
-
Creating and application of maps of concepts for dl ontologies
PublicationW poprzednich pracach wprowadzono metodę reprezentacji wiedzy, zwaną Kartografią Wiedzy. Metoda ta pozwala na zapisanie, w formie tzw. map konceptów, zależności pomiędzy konceptami wyróżnionymi w terminologii, a następnie stopniowe (wraz ze wzrostem naszej wiedzy) przypisywanie indywidualnym obiektom tych konceptów. Efektywność budowy map konceptów jest kluczowym czynnikiem wpływającym na możliwość użycia metody. Niniejsza praca...
-
Journal of Applied Non-Classical Logics
Journals -
Journal of Logical and Algebraic Methods in Programming
Journals -
Journal of Applied Logics (JAL-FLAP)
Journals -
Problemy wnioskowania z ontologii Semantic Web
PublicationIdea Semantic Web (Semantycznego Internetu) opiera się m.in. na ogłaszaniu w Internecie ontologii stanowiących opis pewnego fragmentu rzeczywistości. Aby miało to sens, ontologie te muszą być sformułowane w jednym, powszechnie akceptowanym języku. Takim językiem jest OWL-DL, promowany i standaryzowany przez konsorcjum W3C. Jest to język opary na formalizmie logicznym zwanym logiką opisową. W tym artykule, po krótkim i nieformalnym...
-
Marek Czachor prof. dr hab.
People -
Journal of Logic, Language and Information
Journals -
ACM Transactions on Computational Logic
Journals -
Logic, Epistemology, and the Unity of Science
Journals -
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Journals -
ANNALS OF PURE AND APPLIED LOGIC
Journals -
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Journals -
Accuracy of Trajectory Tracking Based on Nonlinear Guidance Logic for Hydrographic Unmanned Surface Vessels
PublicationA new trend in recent years for hydrographic measurement in water bodies is the use of unmanned surface vehicles (USVs). In the process of navigation by USVs, it is particularly important to control position precisely on the measuring profile. Precise navigation with respect to the measuring profile avoids registration of redundant data and thus saves time and survey costs. This article addresses the issue of precise navigation...
-
Robust flux observer system with sliding mode and fuzzy logic control of Induction Motors
PublicationW pracy przedstawiono implementację nowego obserwatora strumienia wirnika silnika indukcyjnego zastosowanego w układzie sterowania polowo zorientowanego ze sterowaniem ślizgowym. Proponowany system jest niewrażliwy na zmiany rezystancji stojana silnika w wyniku zastosowania korekcyjnego sprzężenia zwrotnego. Przedstawiono porównanie układów z oraz bez zastosowania sterowania ślizgowego. Zamieszczono wyniki badań symulacyjnych...
-
A New, Reconfigurable Circuit Offering Functionality of AND and OR Logic Gates for Use in Algorithms Implemented in Hardware
PublicationThe paper presents a programmable (using a 1-bit signal) digital gate that can operate in one of two OR or AND modes. A circuit of this type can also be implemented using conventional logic gates. However, in the case of the proposed circuit, compared to conventional solutions, the advantage is a much smaller number of transistors necessary for its implementation. Circuit is also much faster than its conventional counterpart. The...
-
Voltage and Reactive Power Load Flow Optimization in the Power System Using Fuzzy Logic
PublicationThe paper presents issues related to voltage control in the power system. An original method of reactive power flow optimization is considered, which leads to improved voltages in the power system and reduced active power losses. The optimization method is based on a procedure that employs fuzzy logic and is supported by a gradient search algorithm. The method has been implemented in PLANS software and verified.
-
Role patterns in IT projects teams - design of a selection module using fuzzy logic techniques
PublicationPresented paper introduces an approach based on usage of role patterns and modelling by the use of fuzzy logic tool for selection process with limitation to the area of IT projects environment. The article shows a concept of role patterns structures and their further usage in process of forming a fuzzy model dedicated to candidate assessment process support
-
Analysis of odour interactions in model gas mixtures using electronic nose and fuzzy logic
PublicationMeasurement and monitoring of air quality in terms of odour nuisance is an important problem. Although the source of these nuisances is different (e.g. wastewater treatment plants, municipal landfills), their common feature is that they are a complex mixture of odorants with different odour thresholds. An additional problem is occurrence of the odour interactions between mixture components. From a practical point of view, it would...
-
System ekspercki a tradycyjne modele prognozowania upadłości firm
PublicationArtykuł ten dotyczy prognozowania upadłości przedsiębiorstw w Polsce. W artykule tym porównano dwie metody prognozowania zagrożeń firm upadłością: analizę dyskryminacyjną oraz logikę rozmytą. W badaniach autor wykorzystał dane dotyczące 185 spółek notowanych na Warszawskiej Giełdzie Papierów Wartościowych. Populacja ta została podzielona na próbę uczącą i testową. Opracowane przez autora modele logiki rozmytej charakteryzują się...
-
Metody reprezentacji i przetwarzania wiedzy w warunkach niepewności w ontologiach opartych na logice opisowej
PublicationW rozprawie przeanalizowano różne istniejące podejścia do problemu zaufania do ontologii, a zwłaszcza te dotyczące wiarygodności źródeł i informacji w nich zawartych. Omówione rozwiązania stosują podejście numeryczne do problemu zaufania, które przysparza jednak mnóstwa problemów związanych z modelowaniem procesu przetwarzania zapytań, jak również z samą interpretacją uzyskanych wyników.W pracy zaprezentowano model systemu zarządzania...
-
Application of fuzzy logic to determine the odour intensity of model gas mixtures using electronic nose
PublicationThe paper presents the possibility of application of fuzzy logic to determine the odour intensity of model, ternary gas mixtures (α-pinene, toluene and triethylamine) using electronic nose prototype. The results obtained using fuzzy logic algorithms were compared with the values obtained using multiple linear regression (MLR) model and sensory analysis. As the results of the studies, it was found the electronic nose prototype along...
-
Luminescence recognition material as an INHIBIT logic gate in presence of Pb2+ and Cu2+ ions in aqueous solutions
PublicationA recognition material consisting of silica xerogel with amino-modified surface selectively recognizes Pb2+ and Cu2+ (but only in presence of Pb2+ ions) in aqueous solutions of other metal ions. The analytical action of the material is based on a significant change in luminescence emission spectra of the material after chemisorption of Pb2+ ions. In the presence of Pb2+ in octahedral coordination environment, a new broad and strong...
-
Excimer-based red-infrared organic light emitting diodes with very high quantum efficiency
PublicationW pracy opisano konstrukcję wydajnej organicznej ekscymerowej diody EL emitującej światło czerwone i podczerwone z wykorzystaniem organicznego kompleksu platyny.