Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Viet Yen Nguyen"'
Publikováno v:
Journal of Plant Biotechnology. 48:236-245
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ca6095b89e6f17a532c1e9e6784a33b
https://doi.org/10.5010/jpb.2021.48.4.236
https://doi.org/10.5010/jpb.2021.48.4.236
Publikováno v:
Journal of Experimental Biology and Agricultural Sciences. 9:457-463
This experiment was carried out to evaluate the Lilium leichtlinii var maximowiczii germplasm collected from the different natural habitats from all over Korea. In total 30 accessions were studied for nine traits viz. plant height, leaf length, leaf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47b90ca90431c45f5724f17113595b92
https://doi.org/10.18006/2021.9(4).457.463
https://doi.org/10.18006/2021.9(4).457.463
Autor:
Lukas D. Baker, Jules Belveze, Viet Yen Nguyen, Pedro Pessoa, Andrea B. Duque, Astrid Harsaae, Ines Oliveira
Publikováno v:
DSAA
We report on the main challenges we had to overcome while bootstrapping, commercializing and scaling our automated sentiment analysis solution in the media intelligence industry. Over the span of four years, our solution evolved from a run-of-the-mil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41e3f5681d01e0c0059144d8447311da
https://doi.org/10.1109/dsaa53316.2021.9564190
https://doi.org/10.1109/dsaa53316.2021.9564190
Autor:
Jong-Hwa Kim, Doori Park, Young-Kyu Kim, Truong Xuan Nguyen, Bo-Ram Kim, Viet-Yen Nguyen, Jong-Kook Na, Nam-Soo Kim
Publikováno v:
Genesgenomics. 41(6)
Lilium amabile Palibin (2n = 2x = 24) is an endemic lily species in Korea. B chromosomes are supernumerary chromosomes and the presence of B chromosome in L. amabile was known by previous researches. The current research was conducted to characterize
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0e971b2a157119cb81a7e5d6996b022
https://pubmed.ncbi.nlm.nih.gov/30941727
https://pubmed.ncbi.nlm.nih.gov/30941727
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:
Viet Yen Nguyen, Theo C. Ruys
Publikováno v:
International Journal on Software Tools for Technology Transfer. 15:337-362
Software model checking has come of age. After one and a half decade, several successful model checking tools have emerged. One of the most prominent approaches is the virtual machine-based approach, pioneered by Java PathFinder (jpf). And although t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1eb1052bad41892dbd5199246266c770
https://doi.org/10.1007/s10009-012-0261-y
https://doi.org/10.1007/s10009-012-0261-y
Autor:
Thomas Noll, Marco Roveri, Alessandro Cimatti, Viet Yen Nguyen, Joost-Pieter Katoen, Marco Bozzano
Publikováno v:
The Computer Journal. 54:754-775
This paper presents a component-based modelling approach to system-software co-engineering of real-time embedded systems, in particular aerospace systems. Our method is centred around the standardized Architecture Analysis and Design Language (AADL)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ecb019ffc20ea1d428289caefa7220b
https://doi.org/10.1093/comjnl/bxq024
https://doi.org/10.1093/comjnl/bxq024
Autor:
Viet Yen Nguyen, Konstantinos Mokos, Thomas Noll, Joost-Pieter Katoen, Bart Postma, Panagiotis Katsaros, Marco Bozzano, Marco Roveri, Alessandro Cimatti
Publikováno v:
Reliability engineering & system safety, 132, 20-35. Elsevier
The size and complexity of software in spacecraft is increasing exponentially, and this trend complicates its validation within the context of the overall spacecraft system. Current validation methods are labor-intensive as they rely on manual analys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a08a541ca3697dd3a62e4233fc3706d
https://research.utwente.nl/en/publications/70f1048c-d0fa-4a86-8949-23146e64f494
https://research.utwente.nl/en/publications/70f1048c-d0fa-4a86-8949-23146e64f494
Autor:
Thomas Noll, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Dimitri Bohlender, Harold Bruintjes
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications ISBN: 9783662452301
ISoLA (2)
ISoLA (2)
Statistical model checking (SMC) is a technique inspired by Monte-Carlo simulation for verifying time-bounded temporal logical properties. SMC originally focused on fully stochastic models such as Markov chains, but its scope has recently been extend
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ccbfd3ce5050054e4af6709f9319ae05
https://doi.org/10.1007/978-3-662-45231-8_13
https://doi.org/10.1007/978-3-662-45231-8_13
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642407925
SAFECOMP
SAFECOMP
Prior works on model-based Failure Modes and Effects Analysis (FMEA) automatically generate a FMEA table given the system model, a set of failure modes, and a set of possible effects. The last requirement is critical as bias may occur: since the cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77bec33dd997d070dfe2c6d34026bcf5
https://doi.org/10.1007/978-3-642-40793-2_22
https://doi.org/10.1007/978-3-642-40793-2_22