Filters
total: 3283
filtered: 2617
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: APPLICATIONS OF COTS PLATFORMS
-
A spline-based FE approach to modelling of high frequency dynamics of 1-D structures
PublicationIn this paper a computational methodology leading to the development of a new class of FEs, based on the application of continuous and smooth approximation polynomials, being splines, has been presented. Application of the splines as appropriately defined piecewise elemental shape functions led the authors to the formulation of a new approach for FEM, named as spFEM, where contrary to the well-known NURBS approach, the boundaries...
-
Three-dimensional Weyl topology in one-dimensional photonic structures
PublicationTopological features, in particular distinct band intersections known as nodal rings, usually requiring three-dimensional structures, have now been demonstrated experimentally in an elegantly simple one-dimensional photonic crystal.
-
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...
-
Gradient versus proper gradient homotopies
PublicationWe compare the sets of homotopy classes of gradient and proper gradient vector fields in the plane. Namely, we show that gradient and proper gradient homotopy classi cations are essentially different. We provide a complete description of the sets of homotopy classes of gradient maps from R^n to R^n and proper gradient maps from R^2 to R^2 with the Brouwer degree greater or equal to zero.
-
Just look at to open it up: A biometric verification facility for password autofill to protect electronic documents
PublicationElectronic documents constitute specific units of information, and protecting them against unauthorized access is a challenging task. This is because a password protected document may be stolen from its host computer or intercepted while on transfer and exposed to unlimited offline attacks. The key issue is, therefore, making document passwords hard to crack. We propose to augment a common text password authentication interface...
-
Bounded solutions of odd nonautonomous ODE
PublicationBorsuk-Ulam type argument is used in order to prove exstence of nontrivial bounded solutions to some nonautonomous differential euations which are odd with respect to the spatial variable. A Poincare compactification trick is also applied.
-
Applying artificial neural networks for modelling ship speed and fuel consumption
PublicationThis paper deals with modelling ship speed and fuel consumption using artificial neural network (ANN) techniques. These tools allowed us to develop ANN models that can be used for predicting both the fuel consumption and the travel time to the destination for commanded outputs (the ship driveline shaft speed and the propeller pitch) selected by the ship operator. In these cases, due to variable environmental conditions, making...
-
Physical, Chemical and Mechanical Properties of Novel Poly(Urethaneamideimide)s
Publication -
Simplifying biochemical tumorous bone remodeling models through variable order derivatives
Publication -
Exploring the landscape of automatic cerebral microbleed detection: A comprehensive review of algorithms, current trends, and future challenges
Publication -
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.
-
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.
-
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.
-
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 Nonlinear Volterra Integral Equations With State Dependent Delays in Several Variables
PublicationW pracy badane jest istnienie i jednoznaczność rozwiązań nieliniowego równania całkowego typu Volterry z opóźnionym argumentem zależnym od funkcji niewiadomej wielu zmiennych. Poszukiwane są ciągłe rozwiązania lipschitzowskie. Rozwiązania są poszukiwane metodą porównawczą z zastosowaniem twierdzenia Banacha o punkcie stałym.
-
A decision-making module for aiding ship system automation design; A knowledge-based approach
PublicationZastosowanie elementów sztucznej inteligencji, w tym systemów z bazą wiedzy staje się coraz bardziej powszechne przy komputerowo wspomaganym projektowaniu. Proces projektowy związany jest z wieloma problemami decyzyjnymi, jak: wybór struktury podsystemu, podzespołów czy też elementów składowych. Z tego względu zdecydowano się opracować system z bazą wiedzy z modułem wspirającym proces podejmowania decyzji.W artykule przedstawiono...
-
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...
-
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.
-
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 -
Monotone iterative method to second order differential equations with deviating arguments involving Stieltjes integral boundary conditions
PublicationWe use a monotone iterative method for second order differential equations with deviating arguments and boundary conditions involving Stieltjes integrals. We establish sufficient conditions which guarantee that such problems have extremal solutions in the corresponding region bounded by lower and upper solutions. We also discuss the situation when problems have coupled quasi-solutions. We illustrate our results by three examples.
-
Estimation of the minimal number of periodic points for smooth self-maps of odd dimensional real projective spaces
PublicationLet f be a smooth self-map of a closed connected manifold of dimension m⩾3. The authors introduced in [G. Graff, J. Jezierski, Minimizing the number of periodic points for smooth maps. Non-simply connected case, Topology Appl. 158 (3) (2011) 276-290] the topological invariant NJD_r[f], where r is a fixed natural number, which is equal to the minimal number of r-periodic points in the smooth homotopy class of f. In this paper smooth...
-
Lefschetz periodic point free self-maps of compact manifolds
PublicationLet f be a self-map of a compact connected manifold M. We characterize Lefschetz periodic point free continuous self-maps of M for several classes of manifolds and generalize the results of Guirao and Llibre [J.L.G. Guirao, J. Llibre, On the Lefschetz periodic point free continuous self-maps on connected compact manifolds, Topology Appl. 158 (16) (2011) 2165-2169].
-
Genetic programming extension to APF-based monocular human body pose estimation
PublicationNew method of the human body pose estimation based on a single camera 2D observation is presented, aimed at smart surveillance related video analysis and action recognition. It employs 3D model of the human body, and genetic algorithm combined with annealed particle filter for searching the global optimum of model state, best matching the object's 2D observation. Additionally, new motion cost metric is employed, considering current...
-
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.
-
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.
-
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 -
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.
-
First-order functional difference equations with nonlinear boundary value problems
PublicationDyskutowano problem brzegowy dla równań różnicowych z opóźnionym argumentem. Nierówności różnicowe związane z w/w problem też były przedmiotem badań. Stosując metodę iteracji monotonicznych, sformułowano warunki dostateczne na istnienie ekstremalnych rozwiązań problemów brzegowych z opóźnionymi argumentami. Podano dwa przykłady ilustrujące otrzymane wyniki.
-
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.
-
Fractal local fields in random composites
Publication -
Edge effects for heat flux in fibrous composites
Publication -
Proper gradient otopies
PublicationWe prove that the inclusion of the space of proper gradient local maps into the space of proper local maps induces a bijection between the sets of the respective otopy classes of these maps.
-
Proper gradient otopies
PublicationWe prove that the inclusion of the space of proper gradient local maps into the space of proper local maps induces a bijection between the sets of the respective otopy classes of these maps.
-
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.
-
Maximum transportation growth in energy and solute particles in Prandtl martial across a vertical 3D-heated surface: Simulations achieved using by finite element approach
PublicationThe goal of this study is to determine the maximum energy and solute particles' transportation growth in a 3D-heated region of Prandtl martial through a dynamic magnetic field. The effects of this field on the properties of solvent molecules and heat conduction are studied. A correctly stated functional method and a finite element approach are comparable to a certain type of differential equations. In order demonstrate the effects...
-
MODEL OF MULTILEVEL STOCHASTIC ANALYSIS OF ROAD SAFETY ON REGIONAL LEVEL
PublicationIn this paper multilevel approach to the issue of road safety level on the road network of European regions, classified as NUTS 2 in statistical databases of the European Union, has been presented. Following the pattern of many publications on road safety it has been assumed that the risk calculated as the number of death casualties in road accidents per 100,000 inhabitants of a given region has Poisson distribution. Therefore,...
-
Effect of GO-Fe3O4 and rotating magnetic field on cellular metabolic activity of mammalian cells
Publication -
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,...
-
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...
-
A comparative study of English viseme recognition methods and algorithms
PublicationAn elementary visual unit – the viseme is concerned in the paper in the context of preparing the feature vector as a main visual input component of Audio-Visual Speech Recognition systems. The aim of the presented research is a review of various approaches to the problem, the implementation of algorithms proposed in the literature and a comparative research on their effectiveness. In the course of the study an optimal feature vector construction...
-
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...
-
Lefschetz periodic point free self-maps of compact manifolds
PublicationLet f be a self-map of a compact connected manifold M. We characterize Lefschetz periodic point free continuous self-maps of M for several classes of manifolds and generalize the results of Guirao and Llibre [J.L.G. Guirao, J. Llibre, On the Lefschetz periodic point free continuous self-maps on connected compact manifolds,