-
1دورية أكاديمية
المؤلفون: Ovidiu Boitor, Florin Stoica, Romeo Mihăilă, Laura Florentina Stoica, Laura Stef
المصدر: Diagnostics, Vol 13, Iss 24, p 3631 (2023)
مصطلحات موضوعية: periodontal disease, metabolic syndrome, AutoML, SHAP, predictive model, Medicine (General), R5-920
وصف الملف: electronic resource
-
2
المؤلفون: Edoardo F. Mantheakis, Beecher H. Watson, Michael J. Brova, Gary L. Messing, Laura A. Stoica, Ian M. Reaney
المصدر: Journal of Materials Science. 58:5693-5704
مصطلحات موضوعية: Mechanics of Materials, Mechanical Engineering, General Materials Science
-
3
المؤلفون: Laura F. Stoica, Florin Stoica
المصدر: International Journal of Software Engineering and Knowledge Engineering. 32:1125-1154
مصطلحات موضوعية: Artificial Intelligence, Computer Networks and Communications, Computer Graphics and Computer-Aided Design, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::aa70020d2fb9ddfd36bfd5e250df2ae7
https://doi.org/10.1142/s0218194022500450 -
4
المؤلفون: Laura Florentina Stoica, Florin Stoica
المصدر: Modelling and Development of Intelligent Systems ISBN: 9783030685263
مصطلحات موضوعية: Model checking, business.industry, Computer science, Business process, Analytics, Business process modeling, Predictive analytics, Customer relationship management, Software engineering, business, Formal verification, Data warehouse
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2e63d2480a03383ea57bc77edaa1fdba
https://doi.org/10.1007/978-3-030-68527-0_10 -
5
المؤلفون: Laura Florentina Stoica, Florin Stoica
المصدر: 2015 Internet Technologies and Applications (ITA).
مصطلحات موضوعية: Model checking, SQL, Programming language, business.industry, Semantics (computer science), Computer science, Interactive design, Cloud computing, computer.software_genre, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Operating system, Algorithm design, Web service, business, computer, computer.programming_language, Graphical user interface
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f9d19eeff96cd94f3dc83b9642cfa069
https://doi.org/10.1109/itecha.2015.7317394 -
6
المؤلفون: Laura Florentina Stoica, Florin Stoica
المصدر: SoftCOM
مصطلحات موضوعية: Model checking, Computation tree logic, business.industry, Computer science, Programming language, computer.software_genre, CTL, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Software, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Scalability, Web service, business, Formal verification, computer, Reactive system
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::70d01b3e7a603cdc441f432548c67409
https://doi.org/10.1109/softcom.2013.6671858 -
7
المؤلفون: Laura Florentina Stoica, Florin Stoica, Florian Boian
المصدر: International Journal of Computers Communications & Control. 10:718
مصطلحات موضوعية: Model checking, Computer Networks and Communications, business.industry, Computer science, Programming language, media_common.quotation_subject, JADE (programming language), System requirements specification, Formal methods, computer.software_genre, Computer Science Applications, Computational Theory and Mathematics, Debugging, Software agent, Embedded system, Temporal logic, Web service, business, computer, media_common, computer.programming_language