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
-
Existence and uniqueness of monotone and bounded solutions for a finite-difference discretization a` la Mickens of the generalized Burgers–Huxley equation.
PublikacjaDeparting from a generalized Burgers–Huxley partial differential equation, we provide a Mickens-type, nonlinear, finite-difference discretization of this model. The continuous system is a nonlinear regime for which the existence of travelling-wave solutions has been established previously in the literature. We prove that the method proposed also preserves many of the relevant characteristics of these solutions, such as the positivity,...
-
Mixed, quantum-classical description of electron density transfer in the collision process
PublikacjaIn this work, we investigate an ion-atom model describing the time-dependent evolution of electron density during the collision. For a S3+- H system, numerical simulations are based on classical trajectory calculations, and the electron density behaviour is described with the time-dependent Schrödinger equation. We apply the finite difference method to obtain quantitative insights into the charge transfer dynamics, providing detailed...
-
Warunki hydrogeochemiczne i podatność na zanieczyszczenie wód podziemnych w zlewni górnej Raduni
PublikacjaThe paper presents results of long-term studies in the Kashubian Lake district that have been completed with data gathered over the last five years. The purpose of this research was to assess a temporal variability of groundwater chemical composition and to analyze risk of pollutant migration to subsurface water. Investigation indicates local, however, significant anthropogenic influence on a shallow aquifers.The assessment of...
-
Nonlinear Influence of Sound on the Vibrational Energy of Molecules in a Relaxing Gas
PublikacjaDynamics of a weakly nonlinear and weakly dispersive flow of a gas where molecular vibrational relaxation takes place is studied. Variations in the vibrational energy in the field of intense sound is considered. These variations are caused by a nonlinear transfer of the acoustic energy into energy of vibrational degrees of freedom in a relaxing gas. The final dynamic equation which describes this is instantaneous, it includes a...
-
Katedra Systemów Decyzyjnych
PublikacjaKatedra Systemów Decyzyjnych została utworzona jako dydaktyczno-naukowa jednostka organizacyjna Wydziału Elektroniki Telekomunikacji i Informatyki (ETI) w roku 2006 przez prof. dra hab. inż. Zdzisława Kowalczuka. Kadra, pochodząca głównie z Katedry Systemów Automatyki, swoimi dokonaniami wpisuje się w bogatą, ponad 40-letnią tradycję naszego Wydziału związaną z automatyką i teorią sterowania, której podwaliny tworzył profesor Jerzy...
-
Model systemu zarządzania usługami według metodologii design-thinking
PublikacjaW literaturze przedmiotu brakuje jednoznacznych wskazań odnośnie decyzji o wyborze najbardziej odpowiedniego modelu projektowania usług, szczególnie w kontekście różnych uwarunkowań dla poszczególnych sektorów rynku. Opracowany algorytm umożliwia samodzielne rozwiązanie problemu doboru modelu wewnątrz organizacji, bez konieczności zatrudniania zewnętrznego specjalisty. Algorytm skierowany jest do organizacji w fazie przygotowawczej...
-
Monika Przeor dr inż.
Osoby -
Monika Janik dr inż.
Osoby -
Monika Smajdor mgr inż.
Osoby -
Legalizacja pobytu
WydarzeniaMonika Czerepak poprowadzi webinarium dla studentów studiujących w języku polskim, na temat legalizacji pobytu w Polsce. Prosimy o przygotowanie pytań.
-
International French Speaking Conference on Logic and Constraint Programming
Konferencje -
International Symposium on Logic-based Program Synthesis and Transformation
Konferencje -
International Conference on Logic Programming and Non-monotonic Reasoning
Konferencje -
TCH Laboratorium z Chemii Organicznej 2021/2022
Kursy OnlineLaboratorium z Chemii Organicznej 2021/2022 prowadzący Dr inż. Monika Gensicka-Kowalerwska Dr inż. hab. Grzegorz Cholewiński mgr inż. Joanna Stefaniak mgr inż. Juliusz Walczak
-
Benchmarking Performance of a Hybrid Intel Xeon/Xeon Phi System for Parallel Computation of Similarity Measures Between Large Vectors
PublikacjaThe paper deals with parallelization of computing similarity measures between large vectors. Such computations are important components within many applications and consequently are of high importance. Rather than focusing on optimization of the algorithm itself, assuming specific measures, the paper assumes a general scheme for finding similarity measures for all pairs of vectors and investigates optimizations for scalability...
-
Assessment of OpenMP Master–Slave Implementations for Selected Irregular Parallel Applications
PublikacjaThe paper investigates various implementations of a master–slave paradigm using the popular OpenMP API and relative performance of the former using modern multi-core workstation CPUs. It is assumed that a master partitions available input into a batch of predefined number of data chunks which are then processed in parallel by a set of slaves and the procedure is repeated until all input data has been processed. The paper experimentally...
-
Extending touch-less interaction with smart glasses by implementing EMG module
PublikacjaIn this paper we propose to use temporal muscle contraction to perform certain actions. Method: The set of muscle contractions corresponding to one of three actions including “single-click”, “double-click” “click-n-hold” and “non-action” were recorded. After recording certain amount of signals, the set of five parameters was calculated. These parameters served as an input matrix for the neural network. Two-layer feedforward neural...
-
Metody wyszukiwania informacji w bazach multimedialnych.
PublikacjaW artykule przedstawiono przegląd zagadnień związanych z wyszukiwaniem informacji zawartych w bazach multimedialnych. Przegląd ten został oparty o zrealizowany projekt badawczy pt.: "Nowe metody wyszukiwania informacji multimedialnej w sieciach telekomunikacyjnych". Eksperymenty badawcze prowadzone w ramach projektu obejmowały wdrożenie wybranych metod sztucznej inteligencji do celów akwizycji i rozpoznawania obiektów muzycznych,...
-
WYKORZYSTANIE TESTU MUSHRA W BADANIU KORZYŚCI UŻYTKOWANIA PROTEZ SŁUCHOWYCH
PublikacjaOcena jakości dopasowania aparatów słuchowych w kontekście korzyści, jakie może przy-nieść proteza jest złożonym zagadnieniem. Obiektywne parametry aparatów, które można wy-znaczyć (np. wzmocnienie czy pasmo przenoszenia) nie zawsze mają bezpośredni i decydujący wpływ w subiektywnej ocenie jakości dopasowania protezy słuchowej przez pacjenta. Pomiary efektywności aparatu słuchowego mogą dotyczyć wielu aspektów, między innymi kompensacji...
-
Wydajność środowisk J2SE i C++ / OpenCV w zagadnieniu sterowania komputerem za pomocą gestów
PublikacjaW rozdziale przedstawiono interfejs sterowania komputerem za pomocą gestów rąk, należący do grupy systemów czasu rzeczywistego o łagodnych granicach (ang. soft real-time). Komponentami systemu są: komputer klasy PC, kamera internetowa, rzutnik multimedialny i ekran dla rzutnika. Oprogramowanie interfejsu opracowano w oparciu o środowiska J2SE i Visual Studio C++ z użyciem biblioteki OpenCV. Moduł systemu realizujący interpretację...
-
A comparative analysis of the effectiveness of corporate bankruptcy prediction models based on financial ratios: Evidence from Colombia, 2008 to 2015
PublikacjaLogit and discriminant analyses have been used for corporate bankruptcy prediction in several studies since the last century. In recent years there have been dozens of studies comparing the several models available, including the ones mentioned above and also probit, artificial neural networks, support vector machines, among others. For the first time for Colombia, this paper presents a comparative analysis of the effectiveness...
-
Research of hydrotronic variable displacement radial piston pump with electro -pneumatic control
PublikacjaThe paper presents the developed new electro-pneumatic control (pneumotronic) system for hydraulic fixed-displacement radial piston pump. Hydraulic fixed-displacement radial piston pump equipped with the proposed control system changes into hydrotronic variable-displacement radial piston pump. Pump flow rate control is realized by means of programmable logic controller, electro-pneumatic valves, pneumatic cylinders and a sensor.
-
Semantic Driven Table Understanding in Born-Digital Documents
PublikacjaThis paper presents a new approach to table understanding, suitable for born-digital PDF documents. Advance beyond the current state of the art in table understanding is provided by the proposed reverse MVC method, which takes advantage of only partial logic structure loss (degradation) in born-digital PDF documents, as opposed to unrecoverable loss (deterioration) taking place in scan based PDF documents.
-
Historical records of organic pollutants in sediment cores
PublikacjaAnalyses of sediment core samples are primary sources of historical pollution trends in aquatic systems. Determining organic compounds, such as POPs, in the dated sediments enables the estimation of their temporal concentration changes and the identification of the contaminant origin in local regions. Wars, large-scale fires, economical transitions, and bans on certain chemicals are reflected in the sediment organic compound concentrations....
-
Image Processing Techniques for Distributed Grid Applications
PublikacjaParallel approaches to 2D and 3D convolution processing of series of images have been presented. A distributed, practically oriented, 2D spatial convolution scheme has been elaborated and extended into the temporal domain. Complexity of the scheme has been determined and analysed with respect to coefficients in convolution kernels. Possibilities of parallelisation of the convolution operations have been analysed and the results...
-
Investigation of photothermolysis therapy of human skin diseases using optical phantoms
PublikacjaDermatological diseases, such as neurofibroma (Recklinghausen disease) or hemangiomas can be efficiently treated using photothermolysis from laser irradiation. We have utilized a developed 975 nm fiber diode laser as a low-cost alternative over common Nd:YAG lasers. This paper describes the investigations of interaction of 975 nm diode laser radiation-pulses with optical skin phantoms which were designed and manufactured in our...
-
Real-Time Basic Principles Nuclear Reactor Simulator Based on Client-Server Network Architecture with WebBrowser as User Interface
PublikacjaThe real-time simulator of nuclear reactor basic processes (neutron kinetics, heat generation and its exchange, poisoning and burn- ing up fuel) build in a network environment is presented in this paper. The client-server architecture was introduced, where the server is a pow- erful computing unit and the web browser application is a client for user interface purposes. The challenge was to develop an application running under the...
-
Monika Świerczewska dr hab. n. med.
Osoby -
Elements of logic and epistemology 2024/2025
Kursy Online -
Syntactic modular decomposition of large ontologies with relational database
PublikacjaSupport for modularity allows complex ontologies to be separated into smaller pieces (modules) that are easier to maintain and compute. Instead of considering the entire complex ontology, users may benefit more by starting from a problem-specific set of concepts (signature of problem) from the ontology and exploring its surrounding logical modules. Additionally, an ontology modularization mechanism allows for the splitting up of...
-
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...
-
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...
-
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...
-
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...
-
ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming
Konferencje -
Projektowanie Aplikacji Internetowych 2022/23
Kursy Online{mlang en}Web Application Design covers the software design phase, which falls between the analysis of the problem domain and the implementation of the program in the code. It shows the rules and guidelines for application design in general, with particular emphasis on web application design problems. Teaches systematic design in aspects of system architecture, application logic, user interface and data structure. Emphasizes the...
-
Projektowanie Aplikacji Internetowych 2023/24
Kursy Online{mlang en}Web Application Design covers the software design phase, which falls between the analysis of the problem domain and the implementation of the program in the code. It shows the rules and guidelines for application design in general, with particular emphasis on web application design problems. Teaches systematic design in aspects of system architecture, application logic, user interface and data structure. Emphasizes the...
-
Projektowanie Aplikacji Internetowych 2024/25
Kursy Online{mlang en}Web Application Design covers the software design phase, which falls between the analysis of the problem domain and the implementation of the program in the code. It shows the rules and guidelines for application design in general, with particular emphasis on web application design problems. Teaches systematic design in aspects of system architecture, application logic, user interface and data structure. Emphasizes the...
-
Aparatura Chemiczna i Biotechnologiczna - 2022
Kursy Online -
Aparatura Chemiczna - 2023
Kursy Online -
Praktyka Zawodowa Chemia Budowlana sem. VI
Kursy OnlineObowiązkowa Praktyka Zawodowa dla VI semestru Chemii Budowlanej