Filtry
wszystkich: 3283
wybranych: 2617
-
Katalog
- Publikacje 2617 wyników po odfiltrowaniu
- Czasopisma 258 wyników po odfiltrowaniu
- Konferencje 132 wyników po odfiltrowaniu
- Osoby 96 wyników po odfiltrowaniu
- Projekty 5 wyników po odfiltrowaniu
- Kursy Online 79 wyników po odfiltrowaniu
- Wydarzenia 6 wyników po odfiltrowaniu
- Dane Badawcze 90 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: APPLICATIONS OF COTS PLATFORMS
-
Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index
Publikacja -
Homology algorithm based on acyclic subspace
Publikacja -
Modeling human thinking about similarities by neuromatrices in the perspective of fuzzy logic
Publikacja -
Simplifying biochemical tumorous bone remodeling models through variable order derivatives
Publikacja -
Exploring the landscape of automatic cerebral microbleed detection: A comprehensive review of algorithms, current trends, and future challenges
Publikacja -
Minimal number of periodic points for smooth self-maps of RP^3
PublikacjaNiech 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 for dynamic equations with advanced arguments on time scales
PublikacjaPraca 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
PublikacjaPraca 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
PublikacjaW 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
PublikacjaZastosowanie 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
PublikacjaThe 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
PublikacjaPodano 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
PublikacjaPrzy 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
PublikacjaRozważ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
PublikacjaDla 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]
PublikacjaW 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
PublikacjaZaproponowano 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.
-
Monotone iterative method to second order differential equations with deviating arguments involving Stieltjes integral boundary conditions
PublikacjaWe 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
PublikacjaLet 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
PublikacjaLet 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
PublikacjaNew 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...
-
Designing of an effective structure of system for the maintenance of a technical object with the using information from an artificial neural network
Publikacja -
Determination of the impact indicators of electromagnetic interferences on computer information systems
Publikacja -
Proteomic and lipidomic biomarkers in the diagnosis and progression of inflammatory bowel disease – a review
Publikacja -
Fractal local fields in random composites
Publikacja -
Edge effects for heat flux in fibrous composites
Publikacja -
Multiple solutions for a class of boundary-value problems with deviating arguments and integral boundary conditions
PublikacjaPraca 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
PublikacjaDyskutowano 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.
-
MODEL OF MULTILEVEL STOCHASTIC ANALYSIS OF ROAD SAFETY ON REGIONAL LEVEL
PublikacjaIn 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
Publikacja -
Detection, classification and localization of acoustic events in the presence of background noise for acoustic surveillance of hazardous situations
PublikacjaEvaluation 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
PublikacjaThe 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
PublikacjaA 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
PublikacjaAn 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
PublikacjaMotivation: 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
PublikacjaLet 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,
-
First-order differential equations with nonlocal boundary conditions
PublikacjaWe 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
PublikacjaThis 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.
-
Secondary emission influenced fluorescence decay of a homogeneous fluorophore solution
PublikacjaAn 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
PublikacjaMethod 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...
-
A method for counting people attending large public events
PublikacjaThe algorithm for people counting in crowded scenes, based on the idea of virtual gate which uses optical flow method is presented. The concept and practical application of the developed algorithm under real conditions is depicted. The aim of the work is to estimate the number of people passing through entrances of a large sport hall. The most challenging problem was the unpredicted behavior of people while entering the building....
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublikacjaInitial 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...
-
Variable length sliding models for banking clients face biometry
PublikacjaAn experiment was organized in 100 bank branches to acquire biometric samples from nearly 5000 clients including face images. A procedure for creating face verification models based on continuously expanding database of biometric samples is proposed, implemented, and tested. The presented model applies to circumstances where it is possible to collect and to take into account new biometric samples after each positive verification...
-
A comparative study of English viseme recognition methods and algorithm
PublikacjaAn 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...
-
Positive solutions to third-order impulsive Sturm-Liouville boundary value problems with deviated arguments and one-dimensional p-Laplacian
PublikacjaBadane 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.
-
Minimizing the number of periodic points for smooth maps. Non-simply connected case
PublikacjaNiech 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
PublikacjaIn 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...
-
Maximum transportation growth in energy and solute particles in Prandtl martial across a vertical 3D-heated surface: Simulations achieved using by finite element approach
PublikacjaThe 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...
-
Gradient versus proper gradient homotopies
PublikacjaWe 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
PublikacjaElectronic 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...