Filtry
wszystkich: 9422
-
Katalog
- Publikacje 6722 wyników po odfiltrowaniu
- Czasopisma 717 wyników po odfiltrowaniu
- Konferencje 360 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 339 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 27 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 267 wyników po odfiltrowaniu
- Wydarzenia 11 wyników po odfiltrowaniu
- Dane Badawcze 974 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: SENSOR SYSTEMS AND APPLICATIONS
-
International Journal of Intelligent Systems Technologies and Applications
Czasopisma -
Advanced Control for Applications: Engineering and Industrial Systems
Czasopisma -
IET Cyber-Physical Systems: Theory and Applications
Czasopisma -
International Journal of Intelligent Systems and Applications in Engineering
Czasopisma -
Comparing combined gas tubrine/steam turbine and marine low speed piston engine/steam turbine systems in naval applications
PublikacjaPoró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
Czasopisma -
DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS
Czasopisma -
Future Generation Computer Systems-The International Journal of Grid Computing-Theory Methods and Applications
Czasopisma -
Applications of Geographic Information Systems
Kursy OnlineFirst degree studies Data Engineering
-
International Transactions on Systems Science and Applications
Czasopisma -
International Journal of Computer Information Systems and Industrial Management Applications
Czasopisma -
ACM Conference on Embedded Networked Sensor Systems
Konferencje -
IEEE International Conference on Distributed Computing in Sensor Systems
Konferencje -
IEEE International Conference on Mobile Ad-hoc and Sensor Systems
Konferencje -
Workshop on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks
Konferencje -
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
Czasopisma -
Workshop on Mobile Computing Systems and Applications
Konferencje -
International Conference on Communication Systems and Applications
Konferencje -
Practical Applications of Agents and Multiagent Systems
Konferencje -
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.
-
Differential-algebraic systems with initial time difference
PublikacjaO 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
PublikacjaDescription 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.
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...
-
Exploring the landscape of automatic cerebral microbleed detection: A comprehensive review of algorithms, current trends, and future challenges
PublikacjaThis 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...
-
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.
-
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...
-
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.
-
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.
-
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.
-
Exploring the landscape of automatic cerebral microbleed detection: A comprehensive review of algorithms, current trends, and future challenges
Publikacja -
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...
-
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.
-
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...
-
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.
-
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.
-
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...
-
International Conference on Database Systems for Advanced Applications
Konferencje -
International Symposium on Innovations in Intelligent Systems and Applications
Konferencje -
International ICSC Congress on Intelligent Systems and Applications
Konferencje -
International Conference on Database and Expert Systems Applications
Konferencje -
International Conference on Intelligent Systems Designs and Applications
Konferencje -
International Conference Software and Systems Engineering and their Applications
Konferencje -
International Symposium on Cooperative Database Systems for Advanced Applications
Konferencje -
International Conference on Advances in Intelligent Systems: Theory and Applications
Konferencje -
ACS/IEEE International Conference on Computer Systems and Applications
Konferencje -
IFIP International Conference on Distributed Applications and Interoperable Systems
Konferencje -
International Conference on Artificial Intelligence: Methodology, Systems, Applications
Konferencje -
International Conference on Embedded and Real Time Computing Systems and Applications (International Conference on Real-Time and Embedded Computing Systems and Applications)
Konferencje -
International KES Conference on Agents and Multiagent systems - Technologies and Applications (International KES Symposium on Agents and Multiagent systems - Technologies and Applications)
Konferencje