Search results for: guarantees - Bridge of Knowledge

Search

Search results for: guarantees

Best results in : Research Potential Pokaż wszystkie wyniki (23)

Search results for: guarantees

  • Zespół Systemów Automatyki

    Research Potential

    W dziedzinie dydaktyki, przez wszystkie lata istnienia, katedra pełniła wiodącą rolę w kształceniu automatyków na wydziale sprawując opiekę nad specjalnościami, których nazwa i przynależność do kierunku studiów zmieniała się kilkakrotnie wraz ze zmianami organizacyjnymi zarówno struktury wydziału jak programu studiów. Ostatecznie, w 1991 roku utworzony został nowy kierunek studiów Automatyka i Robotyka, który pozostaje pod pieczą...

  • Zespół Katedry Systemów Automatyki

    Research Potential

    Zespół Katedry Systemów Automatyki zajmuje się zarówno teorią, jak i praktyczną realizacją urządzeń sterujących obiektami technicznymi i procesami technologicznymi bez udziału człowieka lub z jego ograniczonym udziałem. Układy i systemy automatyki wkraczają we wszystkie niemal dziedziny życia, zwłaszcza w gospodarkę, przemysł i naukę. Korzyści wynikające z automatyzacji i robotyzacji widać wyraźnie, zwłaszcza w przemyśle (samochodowym,...

  • Zespół Algorytmów i Modelowania Systemów

    Studiowanie problemów i modeli teoriografowych ma na celu badanie złożoności obliczeniowej uogólnień problemu klasycznego kolorowania wierzchołków i krawędzi grafu znajdujących zastosowania w modelowaniu praktycznych problemów oraz badanie nowych miar oceny skuteczności algorytmów. W zakresie szeregowania zadań badania koncentrują się na konstrukcji harmonogramów optymalnych z punktu widzenia długości harmonogramu i średniego czasu...

Best results in : Business Offer Pokaż wszystkie wyniki (1)

Search results for: guarantees

Other results Pokaż wszystkie wyniki (39)

Search results for: guarantees

  • Self-stabilizing algorithms for graph coloring with improved performance guarantees

    Publication

    - Year 2006

    W pracy rozważa się rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowy samostabilizujący algorytm kolorowania grafów oparty na konstrukcji drzewa spinającego. Zgodnie z naszą wiedzą jest to pierwszy algorytm z gwarantowaną wielomianową liczbą ruchów, który dokładnie koloruje grafy dwudzielne.

  • state aid for export activities

    Open Research Data
    open access

    The dataset encompassed a choice of  the most important legal acts, a list of selected Polish and foreign bibliography, together with a list of important individual EC decisions issued on the topic of state aid for export credits in Poland and some UE countries in the period 2001-2019. Thanks to that the reader gets the possibility do acquire basic...

  • Performance of FAN conception of traffic control in IP QoS networks

    Publication

    - Year 2008

    In this paper we present the architectural implementation of Flow Aware Networking (FAN), a new approach for realizing QoS guarantees in the Internet. We also propose FAN traffic control algorithm which performs traffic control on flow level. Using the proposed FAN node model, we conduct simulation research to prove if FAN can be a new approach for realizing QoS guarantees. The basis of this research is finding a way to guarantee...

    Full text to download in external service

  • On-line Search in Two-Dimensional Environment

    Publication

    We consider the following on-line pursuit-evasion problem. A team of mobile agents called searchers starts at an arbitrary node of an unknown network. Their goal is to execute a search strategy that guarantees capturing a fast and invisible intruder regardless of its movements using as few searchers as possible. As a way of modeling two-dimensional shapes, we restrict our attention to networks that are embedded into partial grids:...

    Full text to download in external service

  • A Control Theoretical Approach to Spectral Factorization is Unstable

    Local stability analysis of a recently proposed recursive feedback-based approach to spectral factorization is performed. The method is found not to give stability guarantees. Interestingly enough, its global behavior often allows one to obtain reasonable approximations of spectral factorizations if a suitable stopping criterion is employed.

    Full text available to download