Zobrazeno 1 - 10
of 164
pro vyhledávání: '"ACSL"'
Publikováno v:
Xi'an Gongcheng Daxue xuebao, Vol 36, Iss 4, Pp 1-9 (2022)
To address the problem of unbalanced distribution of class samples in the self-built data set in digital printed fabrics defect detection, which leads to the low detection accuracy, an improved Faster R-CNN defect detection algorithm was proposed by
Externí odkaz:
https://doaj.org/article/2688fbe024584b51b067f4f2e08f6edb
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:
Grundberg, Johan
Formal methods is a subfield of computer science in which mathematics and logic are used to prove properties of programs and/or systems. Two families of methods within formal methods are model checking and deductive verification. One concrete model c
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-344765
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:
P. A. Putro
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 4, Pp 95-106 (2018)
When developing programs in high-level languages, developers have to make assumptions about the correctness of the compiler. However, this may be unacceptable for critical systems. As long as there are no full-fledged formally verified compilers, the
Externí odkaz:
https://doaj.org/article/12526dc54bf14b458faa88975c330941
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.
Introduction: Le MEHP est un métabolite de phtalate impliqué dans le développement de l'obésité. Les acyl-CoA synthétases longues chaînes (ACSL) jouent un rôle essentiel dans la régulation du métabolisme des acides gras. Notre étude s'est
Externí odkaz:
http://hdl.handle.net/10393/44810