Zobrazeno 1 - 10
of 220
pro vyhledávání: '"Type error"'
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Boundary Value Problems, Vol 2020, Iss 1, Pp 1-18 (2020)
Abstract In this paper, we investigate the zero Mach number limit for the three-dimensional compressible Euler–Korteweg equations in the regime of smooth solutions. Based on the local existence theory of the compressible Euler–Korteweg equations,
Externí odkaz:
https://doaj.org/article/3a737f7493a744bf988d039a7e95f272
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Serrano Alejandro, Hage Jurriaan
Publikováno v:
Open Computer Science, Vol 9, Iss 1, Pp 33-51 (2019)
Domain-specific languages (DSLs) permeate current programming practices. An important kind of DSLs includes those developed and integrated within a host language, which we call embedded or internal DSLs. Unfortunately, embedded DSLs usually fall shor
Externí odkaz:
https://doaj.org/article/0917d4450f554d5496cbe39e1b05a4c3
Publikováno v:
Open Computer Science, Vol 9, Iss 1, Pp 1-32 (2019)
Dependently-typed programming languages provide a powerful tool for establishing code correctness. However, it can be hard for newcomers to learn how to employ the advanced type system of such languages effectively. For simply-typed languages, severa
Externí odkaz:
https://doaj.org/article/b0582fd9b43043fea4d56567b3c570da
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Zhixing Xu, Hui Quan
Publikováno v:
Pharmaceutical Statistics. 21:395-417
Multiple endpoints and historical data borrowing may be simultaneously incorporated for enhancing efficiency and speeding up the new drug development process in the pharmaceutical industry. O'Brien's test is a widely used weighted combination test fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3e425633d04ea6dac8abb6cbb5ca114
https://doi.org/10.1002/pst.2177
https://doi.org/10.1002/pst.2177