Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Martin Kardos"'
Autor:
Martin Kardos, Matilda Drozdová
Publikováno v:
Journal of Information and Organizational Sciences, Vol 34, Iss 1 (2010)
Information system’s models on higher level of abstraction have become a daily routine in many software companies. The concept of Model Driven Architecture (MDA) published by standardization body OMG1 since 2001 has become a concept for creation of
Externí odkaz:
https://doaj.org/article/d00bc186b3564b239c460681b014a451
Autor:
Lars Gustafsson, Martin Kardos, Hans Ellegren, Krystyna Nadachowska-Brzyska, Ludovic Dutoit, Linnéa Smeds
Publikováno v:
Molecular Ecology. 30:3965-3973
Due to its central importance to many aspects of evolutionary biology and population genetics, the long-term effective population size (N-e) has been estimated for numerous species and populations. However, estimating contemporary N-e is difficult an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::955d4f67d9de7a9c5804a23ce8bd8ff3
https://doi.org/10.1111/mec.16025
https://doi.org/10.1111/mec.16025
Autor:
Robin S. Waples, Brenna R. Forester, Brian K. Hand, Sarah A. Hendricks, Arun Sethuraman, Gordon Luikart, Eric C. Anderson, Paul A. Hohenlohe, Ben F. Koop, Brittany A. Garner, Louis Bernatchez, Martin Kardos, Tiago Antao
Publikováno v:
Evolutionary Applications
New computational methods and next‐generation sequencing (NGS) approaches have enabled the use of thousands or hundreds of thousands of genetic markers to address previously intractable questions. The methods and massive marker sets present both ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e537a4af3b21c711c377894b482b2483
https://doi.org/10.1111/eva.12659
https://doi.org/10.1111/eva.12659
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783319285535
ISAT (1)
ISAT (1)
This article focuses on using of top level Model Driven Architecture (MDA) modelling and how automatic transformation to lower levels can be accomplished in information systems development. The primary aim of this work is to design a systems approach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99ee577300cb6cec82a8967577ecef8a
https://doi.org/10.1007/978-3-319-28555-9_17
https://doi.org/10.1007/978-3-319-28555-9_17
Autor:
William E. Holben, Wade See, Rick L. Wallen, Steven L. Cain, Cláudia Almendra, Jennifer L. Lowell, Stacey Dauwalter, Martin Kardos, Gordon Luikart, William H. Edwards
Publikováno v:
Journal of Wildlife Diseases. 48:537-541
Yersinia enterocolitica serotype O:9 has identical O-antigens to those of Brucella abortus and has apparently caused false-positive reactions in numerous brucellosis serologic tests in elk (Cervus canadensis) from southwest Montana. We investigated w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0be0ed4e0e9ba597478f914c6f8dbcac
https://doi.org/10.7589/0090-3558-48.3.537
https://doi.org/10.7589/0090-3558-48.3.537
Publikováno v:
2015 13th International Conference on Emerging eLearning Technologies and Applications (ICETA).
Hardware description languages (HDLs) can describe a digital system at several layers of abstraction, typically starting at register transfer level (RTL). Due to the instant growth in the modern designs complexity, there is an urgent need to specify
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95689308e4fd8d3f61a9637b618403ad
https://doi.org/10.1109/iceta.2015.7558479
https://doi.org/10.1109/iceta.2015.7558479
Publikováno v:
Electronic Notes in Theoretical Computer Science. 144(4):125-145
This paper describes a novel on-line model checking approach offered as service of a real-time operating system (RTOS). The verification system is intended especially for self-optimizing component-based real-time systems where self-optimization is pe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2748eacf8736f27f7d3e5c47759f4ff6
Publikováno v:
2013 Africon.
Digital systems models complexity requires often representation of their structure in graphical form. Also the simulation results of the models are often very extensive and for their effective browsing the proper representation is needed. We have pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dea9fb1458fc6fdf33a344f8b5712bab
https://doi.org/10.1109/afrcon.2013.6757780
https://doi.org/10.1109/afrcon.2013.6757780
Publikováno v:
2012 IEEE 10th International Conference on Emerging eLearning Technologies and Applications (ICETA).
Term eLearning is after more than ten years a key term that is understood by public as any electronic support of education. Plenty of projects, great interest from teachers and students is a foundation for its use at all the forms of education. Despi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e7ae8bbb5c1beaad85354032553b30d9
https://doi.org/10.1109/iceta.2012.6418619
https://doi.org/10.1109/iceta.2012.6418619
Autor:
Yuhong Zhao, Martin Kardos
Publikováno v:
IFIP International Federation for Information Processing ISBN: 1402081480
DIPES
DIPES
System level design incorporating system modeling and formal specification in combination with formal verification can substantially contribute to the correctness and quality of the embedded systems and consequently help reduce the development costs.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24bd2a9c88629a81e387e291c91b4f9d
https://doi.org/10.1007/1-4020-8149-9_3
https://doi.org/10.1007/1-4020-8149-9_3