Filters
total: 9422
-
Catalog
- Publications 6722 available results
- Journals 717 available results
- Conferences 360 available results
- Publishing Houses 1 available results
- People 339 available results
- Inventions 1 available results
- Projects 27 available results
- Research Teams 1 available results
- Research Equipment 2 available results
- e-Learning Courses 267 available results
- Events 11 available results
- Open Research Data 974 available results
displaying 1000 best results Help
Search results for: SENSOR SYSTEMS AND APPLICATIONS
-
International Journal of Intelligent Systems Technologies and Applications
Journals -
Advanced Control for Applications: Engineering and Industrial Systems
Journals -
IET Cyber-Physical Systems: Theory and Applications
Journals -
International Journal of Intelligent Systems and Applications in Engineering
Journals -
Comparing combined gas tubrine/steam turbine and marine low speed piston engine/steam turbine systems in naval applications
PublicationPorównano układy napędowe okrętowe kombinowane turbina gazowa- turbina parowa oraz spalinowy okrętowy silnik tłokowy wolnoobrotowy - turbina parowa. Porównywano moce oraz zużycie paliwa oraz parametry pary świeżej układu turbiny parowej.
-
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications
Journals -
DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS
Journals -
Future Generation Computer Systems-The International Journal of Grid Computing-Theory Methods and Applications
Journals -
Applications of Geographic Information Systems
e-Learning CoursesFirst degree studies Data Engineering
-
International Transactions on Systems Science and Applications
Journals -
International Journal of Computer Information Systems and Industrial Management Applications
Journals -
ACM Conference on Embedded Networked Sensor Systems
Conferences -
IEEE International Conference on Distributed Computing in Sensor Systems
Conferences -
IEEE International Conference on Mobile Ad-hoc and Sensor Systems
Conferences -
Workshop on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks
Conferences -
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
Journals -
Workshop on Mobile Computing Systems and Applications
Conferences -
International Conference on Communication Systems and Applications
Conferences -
Practical Applications of Agents and Multiagent Systems
Conferences -
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.
-
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.
-
Identification of category associations using a multilabel classifier
PublicationDescription of the data using categories allows one to describe it on a higher abstraction level. In this way, we can operate on aggregated groups of the information, allowing one to see relationships that do not appear explicit when we analyze the individual objects separately. In this paper we present automatic identification of the associations between categories used for organization of the textual data. As experimental data...
-
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...
-
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...
-
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...
-
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...
-
Exploring the landscape of automatic cerebral microbleed detection: A comprehensive review of algorithms, current trends, and future challenges
Publication -
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.
-
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.
-
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.
-
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...
-
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...
-
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.
-
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.
-
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.
-
International Conference on Database Systems for Advanced Applications
Conferences -
International Symposium on Innovations in Intelligent Systems and Applications
Conferences -
International ICSC Congress on Intelligent Systems and Applications
Conferences -
International Conference on Database and Expert Systems Applications
Conferences -
International Conference on Intelligent Systems Designs and Applications
Conferences -
International Conference Software and Systems Engineering and their Applications
Conferences -
International Symposium on Cooperative Database Systems for Advanced Applications
Conferences -
International Conference on Advances in Intelligent Systems: Theory and Applications
Conferences -
ACS/IEEE International Conference on Computer Systems and Applications
Conferences -
IFIP International Conference on Distributed Applications and Interoperable Systems
Conferences -
International Conference on Artificial Intelligence: Methodology, Systems, Applications
Conferences -
International Conference on Embedded and Real Time Computing Systems and Applications (International Conference on Real-Time and Embedded Computing Systems and Applications)
Conferences -
International KES Conference on Agents and Multiagent systems - Technologies and Applications (International KES Symposium on Agents and Multiagent systems - Technologies and Applications)
Conferences