Filters
total: 3176
filtered: 2544
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: APPLICATIONS
-
Multiple solutions for a class of boundary-value problems with deviating arguments and integral boundary conditions
PublicationPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu drugiego z całkowymi warunkami brzegowymi i z odchylonymi argumentami typu wyprzedzonego. Korzystając z tw. Avery-Petersona dla stożków, podano warunki dostateczne na istnienie trzech dodatnich rozwiazań w/w problemów. Podano przykład pokazujący iż przyjęte załozenia są spełnione.
-
Positive solutions to third-order impulsive Sturm-Liouville boundary value problems with deviated arguments and one-dimensional p-Laplacian
PublicationBadane są równania różniczkowe z impulsami trzeciego rzędu z odchylonymi argumentami przy zadanych warunkach brzegowych typu Sturma-Liouvilla. Podano warunki dostateczne na istnienie dodatnich rozwiązań takich problemów stosując twierdzienie o punkcie stałym dla stożków.
-
On neutral differential equations and the monotone iterative method
PublicationThe application of the monotone iterative method to neutral differential equations with deviating arguments is considered in this paper. We formulate existence results giving sufficient conditions which guarantee that such problems have solutions. This approach is new and to the Authors' knowledge, this is the first paper when the monotone iterative method is applied to neutral first-order differential equations with deviating...
-
Minimizing the number of periodic points for smooth maps. Non-simply connected case
PublicationNiech f będzie gładkim odwzorowaniem zamkniętej rozmaitości o wymiarze wiekszym niż 2, a r ustaloną liczbą naturalną. W artykule zdefiniowany został niezmiennik topologiczny równy minimalnej liczbie punktów r-periodycznych w gładkiej klasie homotopii f.
-
COLREGS compliance in Evolutionary Sets of Cooperating Ship Trajectories
PublicationIn general, Evolutionary Sets of Cooperating Ship Trajectories combine some of the assumptions of game theory with evolutionary programming and aim to find optimal set of cooperating trajectoriesof all ships involved in an encounter situation. In a two-ship encounter situation the method enables the operator of an on-board collision-avoidance system to predict the most probable behaviour of atarget and to plan the own manoeuvres...
-
Turbine stage design aided by artificial intelligence methods
PublicationZaproponowano ogólny, wydajny system wspomagania projektowania palisad , stopni i grupy stopni turbinowych. Zastosowane algorytmy wykorzystują algorytmy genetyczne, sieci neuronowe i obliczenia równoległe. Uzyskane rozwiązania projektowe są wysoko zoptymalizowane pod względem sprawności, a czas ich uzyskania jest o kilka rzędów wielkości mniejszy, niż przy zastosowaniu obliczeń CFD.
-
On convergence and stability of a numerical scheme of Coupled Nonlinear Schrödinger Equations
PublicationRozważamy rozwiązania numeryczne układu sprężynowych równań nieliniowych Schrödingera. Udowodniliśmy stabilność i zbieżność. Testujemy za pomocą rozwiązań solitonowych.
-
Fractional differential equations with deviating arguments
PublicationDla równań różniczkowych typu ułamkowego, zostały podane warunki dostateczne na istnienie jednego rozwiązania lub rozwiazań ekstremalnych. Nierówności różniczkowe są też doskutowane.
-
Existence of positive solutions to second order four-point impulsive differential problems with deviating arguments [online]
PublicationW pracy dyskutowane są problemy brzegowe dla równań różniczkowych rzędu drugiego z impulsami i z odchylonymi argumentami. Badano przypadki dla argumentów opóźnionych i wyprzedzonych. Podano warunki które gwarantują, że omawiane problemy mają rozwiązania dodatnie. Zastosowano odpowiednie twierdzenie o punkcie stałym.
-
Boundary value problems for dynamic equations with advanced arguments on time scales
PublicationPraca dotyczy równań i nierówności dynamicznych z wyprzedzonym argumentami. Przedmiotem badań były problemy istnienia rozwiązań równań dynamicznych. Sformułowano warunki dostatczne na istnienie jedynego rozwiązania w odpowiednim obszarze ograniczonym przez górne i dolne rozwiązanie.
-
Minimal number of periodic points for smooth self-maps of RP^3
PublicationNiech f będzie gładkim odwzorowaniem 3-wymiarowej rzeczywistej przestrzeni rzutowej w siebie, r będzie ustaloną liczbą naturalną. W artykule wyznaczona została minimalna liczba punktów r-periodycznych w gładkiej klasie homotopii odwzorowania f.
-
Boundary value problems with advanced arguments involving upper and lower solutions in reverse order
PublicationPraca dotyczy problemów brzegowych dla równań różniczkowo-całkowych pierwszego rzędu z argumentami wyprzedzonymi. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają rozwiązania minimalne i maksymalne w odpowiadającym obszarze ograniczonym przez rozwiązania górne i dolne. W celu uzyskania wyników zastosowano nową metodę opartą na twierdzeniu Heikkila-Lakshmikantham'a. Wyniki zilustrowano na przykładzie.
-
On delay differential equations with boundary conditions
PublicationPodano warunki na istnienie rozwiązania zagadnienia brzegowego typu opóźnionego, zakładając pewne warunki monotoniczności funkcji występującej po prawej stronie naszego zagadnienia. Pokazano, że dwa ciągi monotoniczne są zbieżne do rozwiązania dokładnego.
-
Existence of solutions of boundary value problems for differential equations in which deviated arguments depend on the unknown solution
PublicationPrzy pewnych warunkach, gdy m.in. funkcja f występująca po prawej stronie zagadnienia jest monotoniczna, pokazano że istnieje jedyne rozwiązanie problemu brzegowego dla równań różniczkowych z odchylonymi argumentami gdy ten argument odchylony zależy od nieznanego rozwiązania. Rozważano też zagadnienia gdy występuje więcej takich argumentów odchylonych. Otrzymane wyniki poparto przykładem.
-
Simplifying biochemical tumorous bone remodeling models through variable order derivatives
Publication -
Effect of GO-Fe3O4 and rotating magnetic field on cellular metabolic activity of mammalian cells
Publication -
Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index
Publication -
Homology algorithm based on acyclic subspace
Publication -
Modeling human thinking about similarities by neuromatrices in the perspective of fuzzy logic
Publication -
Fractal local fields in random composites
Publication -
Edge effects for heat flux in fibrous composites
Publication -
Designing of an effective structure of system for the maintenance of a technical object with the using information from an artificial neural network
Publication -
Determination of the impact indicators of electromagnetic interferences on computer information systems
Publication -
Proteomic and lipidomic biomarkers in the diagnosis and progression of inflammatory bowel disease – a review
Publication -
Exploring the landscape of automatic cerebral microbleed detection: A comprehensive review of algorithms, current trends, and future challenges
Publication -
Physical, Chemical and Mechanical Properties of Novel Poly(Urethaneamideimide)s
Publication -
Indices of interations and periodic points of simplical maps of smooth type
PublicationW pracy dowodzi się symplicjalnego odpowiednika twierdzenia Chowa, Mallet-Paret i Yorke´a. Otrzymany wynik służy do badania punktów periodycznych odwzorowań symplicjalnych gładkiego typu.
-
Numerical integration of a coupled Korteweg-deVries system
PublicationMetoda numeryczna została wprowadzona do rozwiązania ogólnych układów równańKorteweg´a- de Vries´a. Zastosowana do równania Hirota-Satsuma.
-
Complexity analysis of the Pawlak’s flowgraph extension for re-identification in multi-camera surveillance system
PublicationThe idea of Pawlak’s flowgraph turned out to be a useful and convenient container for a knowledge of objects’ behaviour and movements within the area observed with a multi-camera surveillance system. Utilization of the flowgraph for modelling behaviour admittedly requires certain extensions and enhancements, but it allows for combining many rules into a one data structure and for obtaining parameters describing how objects tend...
-
Simple gait parameterization and 3D animation for anonymous visual monitoring based on augmented reality
PublicationThe article presents a method for video anonymization and replacing real human silhouettes with virtual 3D figures rendered on a screen. Video stream is processed to detect and to track objects, whereas anonymization stage employs animating avatars accordingly to behavior of detected persons. Location, movement speed, direction, and person height are taken into account during animation and rendering phases. This approach requires...
-
Synthesis, physical properties and preliminary investigation of hemocompa-tibility of polyurethanes from aliphatic resources with castor oil participation
PublicationWykonano syntezy PUR z oligoeterodiolu, dioli małocząsteczkowych, oleju rycynowego i 4,4´diizocyjanianudicykloheksylometanu. Oznaczono właściwości mechaniczne PUR, kąty zwilżania i napięcie powierzchniowe. Opisano wstępne badania zgodności PUR z ludzką krwią oraz kalcyfikacji powierzchni PUR w warunkach statycznych in vitro. Napięcie powierzchniowe otrzymanych PUR jest zbliżone do napięcia powierzchniowego naturalnych powierzchni...
-
Differential-algebraic systems with initial time difference
PublicationO funkcjach występujących w zagadnieniu zakładano m.in. warunek typu Perrona uzyskując pewne wyniki porównawcze dla zagadnień różniczkowo-algebraicznych startujących z różnych punktów początkowych. Wyniki porównawcze uzyskano również wykorzystując odpowiednią funkcję typu Lapunova. Sformułowane zostały warunki dostateczne na to aby rozwiązanie było stabilne.
-
Stability analysis of two-step Runge-Kutta methods for delay differential equations
PublicationW pracy badana jest własność stabilności dwukrokowej metody Rungego-Kutty względem liniowego równania testowego o zespolonych współczynnikach. Udowodniono, że jeśli pewne warunki są spełnione to każda A-stabilna dwukrokowa metoda Rungego-Kutty zastosowana do równania różniczkowego z opóźnieniem jest P-stabilna.
-
On delay differential equations with almost periodic boundary conditions started from different points
PublicationDyskutowany jest problem istnienia ekstremalnych rozwiązań dla równań różniczkowych typu opóźnionego przy odpowiednich warunkach brzegowych. Sformułowano odpowiednie twierdzenia porównawcze. W pracy zawarte są również wyniki dotyczące takich równań przy większej ilości argumentów opóźnionych.
-
Exploring the landscape of automatic cerebral microbleed detection: A comprehensive review of algorithms, current trends, and future challenges
PublicationThis paper provides the first review to date which gathers, describes, and assesses, to the best of our knowledge, all available publications on automating cerebral microbleed (CMB) detection. It provides insights into the current state of the art and highlights the challenges and opportunities in this topic. By incorporating the best practices identified in this review, we established guidelines for the development of CMB detection...
-
Maritime traffic situation awareness analysis via high-fidelity ship imaging trajectory
PublicationSituation awareness provides crucial yet instant information to maritime traffic participants, and significant attentions are paid to implement traffic situation awareness task via various maritime data source (e.g., automatic identification system, maritime surveillance video, radar, etc.). The study aims to analyze traffic situation with the support of ship imaging trajectory. First, we employ the dark channel prior model to...
-
A note on simple bifurcation of equilibrium forms of an elastic rod on a deformable foundation
PublicationWe study bifurcation of equilibrium states of an elastic rod on a two-parameter Winkler foundation. In the article "Bifurcation of equilibrium forms of an elastic rod on a two-parameter Winkler foundation" [Nonlinear Anal., Real World Appl. 39 (2018) 451-463] the existence of simple bifurcation points was proved by the use of the Crandall-Rabinowitz theorem. In this paper we want to present an alternative proof of this fact based...
-
Quantifying inconsistencies in the Hamburg Sign Language Notation System
PublicationThe advent of machine learning (ML) has significantly advanced the recognition and translation of sign languages, bridging communication gaps for hearing-impaired communities. At the heart of these technologies is data labeling, crucial for training ML algorithms on a huge amount of consistently labeled data to achieve models that generalize well. The adoption of language-agnostic annotations is essential to connect different sign...
-
Optimization-based stacked machine-learning method for seismic probability and risk assessment of reinforced concrete shear walls
PublicationEfficient seismic risk assessment aids decision-makers in formulating citywide risk mitigation plans, providing insights into building performance and retrofitting costs. The complexity of modeling, analysis, and post-processing of the results makes it hard to fast-track the seismic probabilities, and there is a need to optimize the computational time. This research addresses seismic probability and risk assessment of reinforced...
-
Automated Reasoning Based User Interface
PublicationMotivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in...
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublicationInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
Video analytics-based algorithm for monitoring egress from buildings
PublicationA concept and a practical implementation of the algorithm for detecting of potentially dangerous situations related to crowding in passages is presented. An example of such a situation is a crush which may be caused by an obstructed pedestrian pathway. The surveillance video camera signal analysis performed in the online mode is employed in order to detect hold-ups near bottlenecks like doorways or staircases. The details of the...
-
First-order differential equations with nonlocal boundary conditions
PublicationWe study a first-order boundary value problem subject to some boundary conditions given by Riemann-Stieltjes integrals. Using a monotone iterative method, we formulate sufficient conditions which guarantee the existence of extremal or quasi-solutions in the corresponding region bounded by upper and lower solutions of our problems. The case when a unique solution exists is also investigated. Some examples are given to illustrate...
-
Systems of boundary value problems of advanced differential equations
PublicationThis paper considers the existence of extremal solutions to systems of advanced differential equations with corresponding nonlinear boundary conditions. The monotone iterative method is applied to obtain the existence results. An example is provided for illustration.
-
Detection, classification and localization of acoustic events in the presence of background noise for acoustic surveillance of hazardous situations
PublicationEvaluation of sound event detection, classification and localization of hazardous acoustic events in the presence of background noise of different types and changing intensities is presented. The methods for discerning between the events being in focus and the acoustic background are introduced. The classifier, based on a Support Vector Machine algorithm, is described. The set of features and samples used for the training of the...
-
Analysis of impact of audio modifications on the robustness of watermark for non-blind architecture
PublicationThe aim of this paper is to assess the robustness of the non-blind audio content watermarking scheme proposed by the authors. The authors present the architecture of the designed system along with the employed workflows for embedding and extracting the watermark followed by the implementation phase description and the analysis of the experimental results. Some possible attack simulations on the embedded watermarks are reviewed,...
-
Extraction of stable foreground image regions for unattended luggage detection
PublicationA novel approach to detection of stationary objects in the video stream is presented. Stationary objects are these separated from the static background, but remaining motionless for a prolonged time. Extraction of stationary objects from images is useful in automatic detection of unattended luggage. The proposed algorithm is based on detection of image regions containing foreground image pixels having stable values in time and...
-
Processing of acoustical data in a multimodal bank operating room surveillance system
PublicationAn automatic surveillance system capable of detecting, classifying and localizing acoustic events in a bank operating room is presented. Algorithms for detection and classification of abnormal acoustic events, such as screams or gunshots are introduced. Two types of detectors are employed to detect impulsive sounds and vocal activity. A Support Vector Machine (SVM) classifier is used to discern between the different classes of...
-
Secondary emission influenced fluorescence decay of a homogeneous fluorophore solution
PublicationAn analytical expression is found allowing the calculation of the secondary emission influenced fluorescence decay of a homogeneous fluorophore solution. Before starting the calculation one has to know the shape of the primary fluorescence decay of the fluorophore and the value of the parameter kappa denoting the ratio of the secondary to primary steady-state fluorescence intensities. The method elaborated by Budo and Ketskemety...
-
Multiple sound sources localization in free field using acoustic vector sensor
PublicationMethod and preliminary results of multiple sound sources localization in free field using the acoustic vector sensor were presented in this study. Direction of arrival (DOA) for considered source was determined based on sound intensity method supported by Fourier analysis. Obtained spectrum components for considered signal allowed to determine the DOA value for the particular frequency independently. The accuracy of the developed...