Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "partial order" wg kryterium: Temat


Wyświetlanie 1-19 z 19
Tytuł:
Towards partial order reductions for fragments of alternating-time temporal logic
O redukcjach częścio-porządkowych dla fragmentów logiki temporalnej czasu alternatywnego
Autorzy:
Dembiński, P.
Jamroga, W.
Mazurkiewicz, A.
Penczek, W.
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
Alternating-Time Temporal Logic
asynchronous systems
partial order reduction
traces
logika temporalna czasu alternującego
systemy asynchroniczne
redukcje częścio-porządkowe
ślady
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Impulsive Hyperbolic System of Partial Differential Equations of Fractional Order with Delay
Autorzy:
Benchohra, Mouffak
Boutefal, Zohra
Data publikacji:
2014
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
impulsive partial hyperbolic differential equations,
fractional order, solution
left-sided mixed Riemann-Liouville integral
Caputo fractional-order derivative
finite delay
fixed point
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Maillet type theorem for singular first order nonlinear partial differential equations of totally characteristic type. Part II
Autorzy:
Shirai, A.
Data publikacji:
2015
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
singular partial differential equations
totally characteristic type
nilpotent vector field
formal solution
Gevrey order
Maillet type theorem
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Replenishment policy for entropic order quantity (ENOQ) model with two component demand and partial back-logging under inflation
Metoda uzupełnień dla modelu entropicznej wielkości zamówienia (ENOQ) z dwuelementowym popytem i uwzględniający inflację
Autorzy:
Dash, B.
Pattnaik, M.
Pattnaik, H.
Data publikacji:
2017
Wydawca:
Wyższa Szkoła Logistyki
Tematy:
Entropic Order Quantity
EnOQ
two component demand
partial back-logging
inflation
entropiczna wielkość zamówienia
popyt dwuskładnikowy
zużycie częściowe
inflacja
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-19 z 19

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

    Prześlij opinię

    Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

    Formularz