Filtry
wszystkich: 2495
wybranych: 1741
-
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
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: LOGIKA TEMPORALNA
-
Prezentacja instalacji artystycznej "Mam dla Ciebie moje serce" na wystawie zbiorowej „WETWARE: PROLIFERACJA I PRZECZUCIE” w Instytucie Cybernetyki Sztuki
Publikacja„WETWARE: PROLIFERACJA I PRZECZUCIE” Marcin Bożek, Marta Branicka, Flora Ćwirko + Jan Maurycy Adamski, Jowan Czerkas, Urszula Dulewicz, Dorota Grubba Thiede + Danuta Ćwirko Godycka, Tomasz Kopcewicz, Marta Koniarska, Maria Krupa, Monika Krygier + Stefan Krygier + Włodzimierz Pietrzyk, Przemysław Kryszk, Ryszard Ługowski, Krzysztof Malec, Anna Malinowska, Andrzej Egon Fietke Miastkowski, Piotr Tadeusz Mosur, Mateusz Pęk, Katarzyna...
-
Pre-selection and assessment of green organic solvents by clustering chemometric tools
PublikacjaThe study presents the result of the application of chemometric tools for selection of physicochemical parameters of solvents for predicting missing variables – bioconcentration factors, water-octanol and octanol-air partitioning constants. EPI Suite software was successfully applied to predict missing values for solvents commonly considered as “green”. Values for logBCF, logKOW and logKOA were modelled for 43 rather nonpolar solvents...
-
Use of optical skin phantoms for preclinical evaluation of laser efficiency for skin lesion therapy
PublikacjaSkin lesions are commonly treated using laser heating. However, the introduction of new devices into clinical practice requires evaluation of their performance. This study presents the application of optical phantoms for assessment of a newly developed 975-nm pulsed diode laser system for dermatological purposes. Such phantoms closely mimic the absorption and scattering of real human skin (although not precisely in relation to...
-
Underwater Acoustic Communications in Time-Varying Dispersive Channels
PublikacjaUnderwater acoustic communication (UAC) system designers tend to transmit as much information as possible, per unit of time, at as low as possible error rate. However, the bit rate achieved in UAC systems is much lower than for wire or radio-communication systems. This is due to disadvantageous properties of the UAC channels, namely the sea and inland waters. Estimation of UAC channel transmission properties is possible within...
-
MEMORY EFFECT ANALYSIS USING PIECEWISE CUBIC B-SPLINE OF TIME FRACTIONAL DIFFUSION EQUATION
PublikacjaThe purpose of this work is to study the memory effect analysis of Caputo–Fabrizio time fractional diffusion equation by means of cubic B-spline functions. The Caputo–Fabrizio interpretation of fractional derivative involves a non-singular kernel that permits to describe some class of material heterogeneities and the effect of memory more effectively. The proposed numerical technique relies on finite difference approach and cubic...
-
Multi-Camera Vehicle Tracking Using Local Image Features and Neural Networks
PublikacjaA method for tracking moving objects crossing fields of view of multiple cameras is presented. The algorithm utilizes Artificial Neural Networks (ANNs). Each ANN is trained to recognize images of one moving object acquired by a single camera. Local image features calculated in the vicinity of automatically detected interest points are used as object image parameters. Next, ANNs are employed to identify the same objects captured...
-
Comparison of the exponential thermal transient parameterization methods with the SMTP method in the unipedicled DIEP flap computer modelling and simulation
PublikacjaThe aim of this paper is to compare the spatial contrast of the image descriptors obtained via three different thermal transient parameterization methods in Active Dynamic Thermography. The thermal constants and amplitude values of the one- and two- exponential parametrization are compared to the Simplified Magnitude-Temporal Parametrization method (SMTP). The comparison is performed using the data obtained by simulating the cold...
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublikacjaHybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...
-
A model of an Ontology Oriented Threat Detection System (OOTDS)
PublikacjaArtykuł omawia projekt zorientowanego na ontologię systemu wykrywania zagrożeń (OOTDS) dla środowiska opisywalnego przez ontologię Bayesowską pierwszego rzędu wyrażoną w języku PR-OWL. Zakłada się, że środowisko monitorowane jest przez zbiór czujników dostarczających nieustannie systemowi OOTDS zdarzenia odzwierciedlające zmiany środowiska, wyrażone w specyficzny dla czujników sposób. Dedykowane moduły obsługi zdarzeń konwertują...
-
iWatcher - zdalnie sterowana bezzałogowa platforma do monitorowania warunków środowiska
PublikacjaPrzedstawiona w artykule platforma mobilna służy do monitorowania warunków środowiska w miejscach trudno dostępnych oraz niebezpiecznych dla człowieka. Może również zostać wykorzystana do patrolowania dużych obszarów, gdzie jej użycie będzie bardziej ekonomiczne, od inspekcji wykonywanej przez ludzi. Z założenia platforma ta jest uniwersalnym narzędziem pozwalającym na dowolną konfigurację sensorów rozmieszczonych na jej pokładzie...
-
O topologii w architekturze
PublikacjaOpracowanie dotyczy inspiracji we współczesnej architekturze topologicznymi koncepcjami. Wzbogacenie warsztatu projektowego o komputerowe narzędzia obliczeniowe umożliwiające tworzenie i modyfikowanie unikalnej, krzywoliniowej, geometrii katalizuje formalne i konceptualne eksploracje przestrzeni topologicznej przez awangardowych projektantów. Podejście topologiczne manifestuje się zarówno w dynamice procesu projektowania opartego...
-
Modelling Evolution of Knowledge-Based Information Technology Organization: The Concept and Perspective
PublikacjaIncreasing pressure on improving the efficiency of companies' operations leads to transformation of their Information Technology (IT) organizations from technology-oriented to service-oriented, based on the Information Technology Infrastructure Library (ITIL) model. The evolution of these IT organizations can be supported by the knowledge-based systems centered on the rules determined through agregation and refinement of existing...
-
Dowodzenie w Policji – koncepcja zmian w zakresie dowodzenia formacją
PublikacjaThe dynamic development of human civilization at the turn of the 20th and 21st centuries unfortunately generates not only positive developments. So we need to constantly improve crisis management systems. The purpose of the research was to improve the police command system. Primarily, the research was based on the methods of non-standard observation and analysis and logical construction. The article presents the command in the...
-
Consumer Bankruptcy Prediction Using Balanced and Imbalanced Data
PublikacjaThis paper examines the usefulness of logit regression in forecasting the consumer bankruptcy of households using an imbalanced dataset. The research on consumer bankruptcy prediction is of paramount importance as it aims to build statistical models that can identify consumers in a difficult financial situation that may lead to consumer bankruptcy. In the face of the current global pandemic crisis, the future of household finances...
-
Ontology-Aided Software Engineering
PublikacjaThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Cooperation in Creating Innovation in Polish Small and Medium-Sized Enterprises in the Light of Empirical Studies
PublikacjaNowadays, sources of competitive advantage and economic development are sought in the sphere of innovation. They are at the centre of interest of representatives of the world of politics, science, and business. Moreover, they have been incorporated into governmental and international strategic development programmes. This article attempts to characterize and evaluate cooperation in creating innovation in small and medium-sized...
-
Exposure of a small Arctic seabird, the little auk (Alle alle) breeding in Svalbard, to selected elements throughout the course of a year
PublikacjaThe Arctic marine ecosystem can be altered by processes of natural and anthropogenic origin. Spatio-temporal variation in species exposure to contamination is still poorly understood. Here, we studied elemental concentrations in the non-lethally collected samples from the most numerous seabird in European Arctic, the little auk (Alle alle) nesting in one breeding colony in Svalbard. This seabird spent the breeding season in the...
-
Fuzzy Methods and Models for a Team-Building Process
PublikacjaThis chapter contains an introduction to fuzzy-logic model-based approaches for a team-building process. Such appraches allow extending typical recruiting practice and selection processes to enable a wider and more precise assessment of a new team and/or existing team members, taking into account both their hard and soft skills. Moreover, as effectiveness of teams depends on the interpersonal skills and emotional intelligence...
-
Evaluation of the Macro- and Micro-Economic Factors Affecting the Financial Energy of Households
PublikacjaThis paper is an evaluation of the common macro-economic, micro-economic, and social factors affecting households’ financial situations. Moreover, the author’s objective was to develop a fuzzy logic model for forecasting fluctuations in the number of nonperforming consumer loans in a country using the example of Poland. This study represents one of the first attempts in the global literature to develop such a forecasting model...
-
Metoda i algorytmy sterowania procesami miksowania dźwięku za pomocą gestów w oparciu o analizę obrazu wizyjnego
PublikacjaGłównym celem rozprawy było opracowanie systemu miksowania dźwięku za pomocą gestów rąk wykonywanych w powietrzu oraz zbadanie możliwości oferowanych przez takie rozwiązanie w porównaniu ze współczesną metodą miksowania sygnałów fonicznych, wykorzystującą środowisko komputera. Opracowany system rozpoznaje zarówno dynamiczne jak i statyczne gesty rąk. Rozpoznawanie gestów dynamicznych zrealizowano w oparciu o metody logiki rozmytej...
-
Analysis by the Residual Method for Estimate Market Value of Land on the Areas with Mining Exploitation in Subsoil under Future New Building
Publikacja -
Impact of Mining Exploitation on Properties with Engineering Structures by Local Urban Development Plans
Publikacja -
Slope Reinforcement with the Utilization of the Coal Waste Anthropogenic Material
Publikacja -
Effect of Active Mining Impact On Properties with Engineering Structures – Forecast and Final Result Discrepancies
Publikacja -
Principles for the Application of Vibration Intensity Scale for the Prediction and Assessment of Impact of Actions of Exploitation Mine on Buildings and People
Publikacja -
The Crisis of Marketing Communication in the Era of Social Media
PublikacjaThe articles examines the widely discussed in literature the problem of marketing communication crisis resulting from the changes of the environment. These changes generate both new problems and also new solutions, e.g. social media. The practicioners are pursuing both effective and efficient solutions, in relation to the difficulties encountered while achieving market objectives via traditional methods and channels. In accordance...
-
Architecture of ecumenical spaces in public buildings in the 21st century: Links among the architecture of multi-faith spaces, their names, and the functions they serve in Polish airports
PublikacjaThis study explores the architecture and arrangement of prayer spaces in public buildings. It examines whether Polish airports have prayers spaces and whether a correlation exists between the name (e.g., “multi-faith space,” “place of prayer,” and “place of focus”) and design. The study is supported by analyses of ecumenical spaces, which have recently been brought into service andwhere a visible symbiosis exists between their...
-
Extending Expressiveness of Knowledge Description with Contextual Approach
PublikacjaIn the paper we show how imposing the contextual structure of a knowledge base can lead to extending its expressiveness without changing the underlying language. We show this using the example of Description Logics, which constitutes a base for a range of dialects for expressing knowledge in ontologies (including state-of-the-art OWL). While the contextual frameworks have been used in knowledge bases, they have been perceived as...
-
Impact of ITS services on the safety and efficiency of road traffic
PublikacjaThis paper describes the project entitled: “Impact of the use of Intelligent Transport Systems on the level of road safety” (agreement no. DZP/RID-I-41/7/NCBR/2016), implemented as part of the Road Innovations Development (RID) programme, funded by the National Centre for Research and Development and the General Directorate for National Roads and Motorways (GDDKiA). The project is run by a consortium comprising the Motor Transport...
-
Dynamiczne zarządzanie tożsamością użytkowników w przestrzeniach inteligentnych
PublikacjaOmówiono zagadnienie uwierzytelniania oraz przedstawionoróżnice pomiędzy rozwiązaniami dostarczanymi przez systemy Linux oraz Windows. Zaprezentowano dwie metody zapewnienia centralizowanego systemu uwierzytelniającego. Obie metody były przetestowane w praktyce w sieci laboratorium komputerowego katedry KASK. Na tej podstawie wskazano metodę zdolną do zapewnienia bezpieczeństwa przestrzeni inteligentnej, w której to użytkownicy...
-
Flock behavior and control
PublikacjaIn this paper we present the results of the Flock Behaviour and Control workshop cluster during “Shapes of Logic Conference 2015”. During the event, students got familiar with the techniques of both visual and sound real-time data processing. The second topic presented for students was behaviourbased approach of design process, mainly based on the mathematical rules set up by Craig Raynolds on the swarm behaviour. The aim of the...
-
Impact of Shifting Time-Window Post-Processing on the Quality of Face Detection Algorithms
PublikacjaWe consider binary classification algorithms, which operate on single frames from video sequences. Such a class of algorithms is named OFA (One Frame Analyzed). Two such algorithms for facial detection are compared in terms of their susceptibility to the FSA (Frame Sequence Analysis) method. It introduces a shifting time-window improvement, which includes the temporal context of frames in a post-processing step that improves the...
-
Analysis of the Capability of Deep Learning Algorithms for EEG-based Brain-Computer Interface Implementation
PublikacjaMachine learning models have received significant attention for their exceptional performance in classifying electroencephalography (EEG) data. They have proven to be highly effective in extracting intricate patterns and features from the raw signal data, thereby contributing to their success in EEG classification tasks. In this study, we explore the possibilities of utilizing contemporary machine learning algorithms in decoding...
-
Camera Orientation-Independent Parking Events Detection
PublikacjaThe paper describes the method for detecting precise position and time of vehicles parking in a parking lot. This task is trivial in case of favorable camera orientation but gets much more complex when an angle between the camera viewing axis and the ground is small. The method utilizes background subtraction and object tracking algorithms for detecting moving objects in a video stream. Objects are classified into vehicles and...
-
A new diagnostic method for evaluation of cardiosurgery wound healing
PublikacjaOne of important and still unsolved problems in medicine is the question of objective and quantitative evaluation of post-surgery wound healing. The aim of this research is to analyse possibility and value of using the newly elaborated infrared imaging procedure – Active Dynamic Thermography (ADT) – for quantitative description of wound healing processes in cardiosurgery. Both, classical thermal figures of merit as well as ADT...
-
Multimedia interface using head movements tracking
PublikacjaThe presented solution supports innovative ways of manipulating computer multimedia content, such as: static images, videos and music clips and others that can be browsed subsequently. The system requires a standard web camera that captures images of the user face. The core of the system is formed by a head movement analyzing algorithm that finds a user face and tracks head movements in real time. Head movements are tracked with...
-
Is This Distance Teaching Planning That Bad?
PublikacjaIn spring 2020, university courses were moved into the virtual space due to the Covid-19 lockdown. In this paper, we use experience from courses at Gdańsk University of Technology and ETH Zurich to identify core problems in distance teaching planning and to discuss what to do and what not to do in teaching planning after the pandemic. We conclude that we will not return to the state of (teaching) affairs that we had previously....
-
Nonreciprocal cavities and the time-bandwidth limit: comment
PublikacjaIn their paper in Optica 6, 104 (2019), Mann et al. claim that linear, time-invariant nonreciprocal structures cannot overcome the time-bandwidth limit and do not exhibit an advantage over their reciprocal counterparts, specifically with regard to their time-bandwidth performance. In this Comment, we argue that these conclusions are unfounded. On the basis of both rigorous full-wave simulations and insightful physical justifications,...
-
Multi-task Video Enhancement for Dental Interventions
PublikacjaA microcamera firmly attached to a dental handpiece allows dentists to continuously monitor the progress of conservative dental procedures. Video enhancement in video-assisted dental interventions alleviates low-light, noise, blur, and camera handshakes that collectively degrade visual comfort. To this end, we introduce a novel deep network for multi-task video enhancement that enables macro-visualization of dental scenes. In particular,...
-
Sieci neuronowe oparte na prawach fizyki
PublikacjaWiele fizycznie nieuzasadnionych sieci neuronowych, mimo zadowalają- cej wydajności, generuje sprzeczności z logiką i prowadzi do rozbieżno- ści wyników z rzeczywistością. Jedną z metod poprawy funkcjonowania typowego modelu typu “black-box” na etapie uczenia, jest rozszerzenie jego funkcji kosztu o zależność bezpośrednio inspirowaną wzorem fizycz- nym. Niniejszy rozdział wyjaśnia koncepcję budowy sieci neuronowych opartych na...
-
Cassirer E. Język i mit. Przyczynek do zagadnienia imion bogów.Przekład, wstęp i opracowanie: Przemysław Parszutowicz.. Wydaw. Marek Drzewiecki,2021
PublikacjaRozprawa Cassirera pochodzi z najważniejszego bodaj okresu jego twórczości – okresu współpracy z Biblioteką Warburga – i mimo niewielkich rozmiarów jest w dużej mierze reprezentatywna, tak gdy idzie o wykorzystywaną przez niego metodę, jak i o główny obszar jego zainteresowań badawczych. Stanowi bezpośrednie nawiązanie do rozprawy Hermanna Usenera Götternamen. Versuch einer Lehre von der religiösen Begriffsbildung. Pod względem...
-
Investigation of poly(3,4-ethylenedioxythiophene) deposition method influence on properties of ion-selective electrodes based on bis(benzo-15-crown-5) derivatives
PublikacjaGlassy carbon electrodes modified by conductive polymers and membrane with derivatives of bis(benzo-15-crown-5) were tested as solid contact ion selective electrodes for K+ ions concentration determination. PEDOT with PSS, Cl- and ClO4- counter ions was electrochemically deposited onto glassy carbon substrates using four different electrochemical approaches (potentiostatic, galvanostatic, potentiodynamic and potentiostatic pulses)....
-
Zastosowanie hydrofitowej metody oczyszczania ścieków na świecie i w Polsce
PublikacjaMiędzynarodowa i krajowa współpraca naukowców, projektantów i wykonawców jest niezbędna w rozwoju przyjaznej dla środowiska hydrofitowej metody unieszkodliwiania wód i ścieków.Doświadczenia związane z działaniem systemów złożonych ze złóż hydrofitowych z pionowym i poziomym przepływem ścieków w latach dziewięćdziesiątych przyczyni-ły się do powstania nowych bardziej stabilnych i efektywnych w działaniu rozwiązań możliwych do wykorzystania...
-
EFFICIENT LINE DETECTION METHOD BASED ON 2D CONVOLUTION FILTER
PublikacjaThe article proposes an efficient line detection method using a 2D convolution filter. The proposed method was compared with the Hough transform, the most popular method of straight lines detection. The developed method is suitable for local detection of straight lines with a slope from -45˚ to 45˚. Also, it can be used for curve detection which shape is approximated with the short straight sections. The new method is characterized...
-
Current commutation process in a ultra-fast fuse-IGBT hybrid circuit breaker.
PublikacjaUkład hybrydowy bezpiecznika topikowego i tranzystora IGBT umożliwia bardzo szybkie włączenie do obwodu zwarciowego impedancji ograniczającej wartość prądu. Po eksplozji krótkiego topika bezpiecznika wywołanej narastającym prądem zwarciowym wywołuje w czasie poniżej 2 ms wzrost napięcia na topiku do wartości ok.20 - 25V, po czym prąd jest komutowany do gałęzi z przyrządem półprzewodnikowym typu GTO lub IGBT. Ostateczne wyłączenie...
-
Music Recommendation Based on Multidimensional Description and Similarity Measures . Rekomendacja muzyki na podstawie wielowymiarowego wektora cech i miar podobieństwa
PublikacjaThis study aims to create an algorithm for assessing the degree to which songs belong to genres defined a priori. Such an algorithm is not aimed at providing unambiguous classification-labelling of songs, but at producing a multidimensional description encompassing all of the defined genres. The algorithm utilized data derived from the most relevant examples belonging to a particular genre of music. For this condition to be met,...
-
Pomiary interkonektów typu RLC na pakietach elektronicznych z wykorzystaniem magistrali mieszanej sygnałowo IEEE 1149.4
PublikacjaPrzedstawiono wyniki badań nad wykorzystaniem magistrali testującej mieszanej sygnałowo zgodnej ze standardem IEEE 1149.4 do pomiarów interkonektów typu RLC na pakietach układów elektronicznych. Do badań użyto pierwszych komercyjnych układów scalonych STA400 wyposażonych w magistralę, opracowanych w firmie National Semoconductor i Logic Vision. Pomiary przeprowadzano metodami proponowanymi w normie IEEE 1149.4 oraz nowoopracowanymi...
-
Computational intelligence methods in production management
PublikacjaThis chapter presents a survey of selected computational intelligence methods used in production management. This group of methods includes, among others, approaches based on the artificial neural networks, the evolutionary algorithms, the fuzzy logic systems and the particle swarm optimization mechanisms. From the abovementioned methods particularly noteworthy are the evolutionary and the particle swarm algorithms, which are successfully...
-
Critical Remarks on Landauer’s principle of erasure– dissipation: Including notes on Maxwell demons and Szilard engines
PublikacjaWe briefly address Landauer’s Principle and some related issues in thermal demons. We show that an error-free Turing computer works in the zero-entropy limit, which proves Landauer’s derivation incorrect. To have a physical logic gate, memory or information-engine, a few essential components necessary for the operation of these devices are often neglected, such as various aspects of control, damping and the fluctuation–dissipation...
-
ANFIS-Based NPC Population Control in Video Games
PublikacjaModern computer games aim at providing rich, vivid worlds. The aim is to encourage the player to explore and interact with the in-game world. To describe the complex relations between in-game NPCs and their surrounding fuzzy logic is used. The paper presents ANFIS based population control in the video game. We present an approach allowing stabilizing the number of NPCs in-game by providing a certain amount of food to the environment....