Výsledky vyhledávání

Report

Global existence and optimal decay rate of weak solutions to some inviscid Oldroyd-B models

Autor: Deng, Wenjie, Luo, Zhaonan, Yin, Zhaoyang

This paper is devoted to global existence and optimal decay rate of weak solutions to some inviscid Oldroyd-B models with center diffusion. By virtue of the properties of Calderon-Zygmund operator and the Littlewood-Paley decomposition theory, we fir

Externí odkaz: http://arxiv.org/abs/2307.10566

Zobrazit plný text záznamu

Akademický článek

CAGE‐B and SAGE‐B models better predict the hepatitis B virus‐related hepatocellular carcinoma after 5‐year entecavir treatment than PAGE‐B.

Autor: Chon, Hye Yeon¹ (AUTHOR), Lee, Han Ah² (AUTHOR), Park, Soo Young³ (AUTHOR), Seo, Yeon Seok⁴ (AUTHOR), Kim, Sang Gyune⁵ (AUTHOR), Lee, Chang Hun⁶ (AUTHOR), Lee, Tae Hee⁷ (AUTHOR), Ahn, Sang Hoon^1,8 (AUTHOR), Wong, Vincent Wai‐Sun⁹ (AUTHOR), Yip, Terry Cheuk‐Fung⁹ (AUTHOR), Liang, Lilian Yan⁹ (AUTHOR), Kim, In Hee⁶ (AUTHOR) ihkimmd@jbnu.ac.kr, Wong, Grace Lai‐Hung⁹ (AUTHOR) wonglaihung@cuhk.edu.hk, Kim, Seung Up^1,8 (AUTHOR) ksukorea@yuhs.ac

Publikováno v: Journal of Digestive Diseases. Feb2023, Vol. 24 Issue 2, p113-121. 9p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Akademický článek

A transformation methodology for Capella to Event-B models with DSL verification

Autor: Bouba, Khaoula, Ait Wakrime, Abderrahim, Ouhammou, Yassine, Benaini, Redouane

Publikováno v: In Journal of Computer Languages November 2023 77

Zobrazit plný text záznamu

Report

Global regularity and large time behavior for some inviscid Oldroyd-B models in $\mathbb{R}^2$

Autor: Deng, Wenjie, Luo, Zhaonan, Yin, Zhaoyang

In this paper, we are concerned with global strong solutions and large time behavior for some inviscid Oldroyd-B models. We first establish the energy estimate and B-K-M criterion for the 2-D co-rotation inviscid Oldroyd-B model. Then, we obtain glob

Externí odkaz: http://arxiv.org/abs/2107.12029

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Report

Generalized Gravitational Baryogenesis of Well-Known $f(T,T_G)$ and $f(T,B)$ Models

Autor: Azhar, Nadeem, Jawad, Abdul, Rani, Shamaila

The baryogenesis presents the theoretical mechanism that describes the matter-antimatter asymmetry in the history of early universe. In this work, we investigate the gravitational baryogenesis phenomena in the frameworks of $f(T, T_G)$ (where $T$ and

Externí odkaz: http://arxiv.org/abs/2009.13293

Zobrazit plný text záznamu

Report

Generating Distributed Programs from Event-B Models

Autor: Cirstea, Horatiu, Grall, Alexis, Méry, Dominique

Publikováno v: EPTCS 320, 2020, pp. 110-124

Distributed algorithms offer challenges in checking that they meet their specifications. Verification techniques can be extended to deal with the verification of safety properties of distributed algorithms. In this paper, we present an approach for c

Externí odkaz: http://arxiv.org/abs/2008.02935

Zobrazit plný text záznamu