-
1
المؤلفون: Jin Ye, Jianming Zhan, Bingzhen Sun
المصدر: Information Sciences. 577:22-48
مصطلحات موضوعية: Statement (computer science), Mathematical optimization, Information Systems and Management, Computer science, Stability (learning theory), Conditional probability, Value (computer science), Object (computer science), Fuzzy logic, Computer Science Applications, Theoretical Computer Science, Artificial Intelligence, Control and Systems Engineering, Granularity, Decision model, Software
-
2
المؤلفون: M. A. Gorelov
المصدر: Automation and Remote Control. 82:308-323
مصطلحات موضوعية: Statement (computer science), Computer Science::Computer Science and Game Theory, 0209 industrial biotechnology, Theoretical computer science, Computer science, 010102 general mathematics, Aggregate (data warehouse), Stochastic game, Dimension (graph theory), Rationality, 02 engineering and technology, Space (commercial competition), 01 natural sciences, Aggregation methods, 020901 industrial engineering & automation, Control and Systems Engineering, Information aggregation, 0101 mathematics, Electrical and Electronic Engineering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5bae78e733d5cb870d378f480e431722
https://doi.org/10.1134/s0005117921020090 -
3
المؤلفون: Dmitry A. Kondratyev, Alexei V. Promsky
المصدر: Modelirovanie i Analiz Informacionnyh Sistem, Vol 26, Iss 4, Pp 502-519 (2019)
مصطلحات موضوعية: Economics and Econometrics, Loop invariant, Correctness, Source code, semantic label, Computer science, media_common.quotation_subject, 0211 other engineering and technologies, c-lightver, Information technology, 02 engineering and technology, ACL2, Hoare logic, computer.software_genre, acl2, metavcg, 020204 information systems, Materials Chemistry, Media Technology, 0202 electrical engineering, electronic engineering, information engineering, proof strategy, Rule of inference, computer.programming_language, media_common, Statement (computer science), 021110 strategic, defence & security studies, Generator (computer programming), LOOP (programming language), Programming language, Substitution (logic), 020207 software engineering, Forestry, deductive verification, T58.5-58.64, Data structure, Automated theorem proving, Control and Systems Engineering, Signal Processing, definite iteration, 020201 artificial intelligence & image processing, computer, error localization, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::012f383735da91d95da301d3c8cc8e49
https://doi.org/10.3103/s0146411620070093 -
4
المؤلفون: Qianqian Xia
المصدر: IEEE Transactions on Automatic Control. 65:4430-4433
مصطلحات موضوعية: Statement (computer science), 0209 industrial biotechnology, Computer science, Affine control systems, 02 engineering and technology, Manifold, Computer Science Applications, Algebra, Nonlinear system, 020901 industrial engineering & automation, Control and Systems Engineering, Affine transformation, Abstraction, Electrical and Electronic Engineering, Distribution (differential geometry)
-
5
المؤلفون: P. Sh. Geidarov
المصدر: Automation and Remote Control. 81:1211-1229
مصطلحات موضوعية: Statement (computer science), Structure (mathematical logic), 0209 industrial biotechnology, Quantitative Biology::Neurons and Cognition, Artificial neural network, Computer science, business.industry, Computer Science::Neural and Evolutionary Computation, 010102 general mathematics, Pattern recognition, 02 engineering and technology, 01 natural sciences, Task (computing), ComputingMethodologies_PATTERNRECOGNITION, 020901 industrial engineering & automation, Control and Systems Engineering, Precomputation, Metric (mathematics), Feedforward neural network, Artificial intelligence, 0101 mathematics, Electrical and Electronic Engineering, business, MNIST database
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::365877ed4f0939a95c7102c9f09aa65e
https://doi.org/10.1134/s0005117920070048 -
6
المؤلفون: Qing Li, Lili Li, Jiang Zhong, Qi Li
المصدر: IEEE Transactions on Industrial Informatics. 16:2542-2550
مصطلحات موضوعية: Statement (computer science), SQL, business.industry, Computer science, 020208 electrical & electronic engineering, 02 engineering and technology, Fuzzy logic, Computer Science Applications, Dependency graph, Control and Systems Engineering, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), Logical form, Word2vec, Artificial intelligence, Electrical and Electronic Engineering, business, computer, Natural language, Word (computer architecture), Information Systems, computer.programming_language
-
7
المؤلفون: Arun Kumar Sangaiah, Guangwu Hu, Zhendong Peng, Xi Xiao, Mohammed Atiquzzaman, Shu-Tao Xia
المصدر: Information Sciences. 510:108-121
مصطلحات موضوعية: Information Systems and Management, Source code, Computer science, media_common.quotation_subject, 02 engineering and technology, computer.software_genre, Fault (power engineering), Theoretical Computer Science, Software, Software fault, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Software debugging, media_common, Statement (computer science), business.industry, 05 social sciences, 050301 education, Autoencoder, Computer Science Applications, Ranking, Control and Systems Engineering, Mutation testing, 020201 artificial intelligence & image processing, Data mining, business, 0503 education, computer
-
8
المؤلفون: Tyene Zoraski Zanella, Gilberto Reynoso-Meza, J. Carrillo-Ahumada, Victor Henrique Alves Ribeiro
المصدر: IFAC-PapersOnLine. 53:7927-7932
مصطلحات موضوعية: Statement (computer science), 0209 industrial biotechnology, Computer science, Process (engineering), 020208 electrical & electronic engineering, Comparability, Problem statement, Control engineering, 02 engineering and technology, Field (computer science), 020901 industrial engineering & automation, Control and Systems Engineering, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing)
-
9
المؤلفون: Jean-Philippe Noël, Maarten Schoukens
المصدر: Mechanical Systems and Signal Processing. 130:213-220
مصطلحات موضوعية: Statement (computer science), Nonlinear system identification, Control and Systems Engineering, business.industry, Computer science, Mechanical Engineering, Signal Processing, Control (management), Aerospace Engineering, Artificial intelligence, business, Computer Science Applications, Civil and Structural Engineering
-
10
المؤلفون: X. Yao, I. A. Matveev, L. Yu, H. Xue, X. Chen
المصدر: Journal of Computer and Systems Sciences International. 58:579-594
مصطلحات موضوعية: 0209 industrial biotechnology, Computer Networks and Communications, Computer science, Structure (category theory), 02 engineering and technology, 01 natural sciences, Regularization (mathematics), Theoretical Computer Science, Non-negative matrix factorization, Matrix (mathematics), 020901 industrial engineering & automation, 0101 mathematics, Indicator vector, Cluster analysis, Statement (computer science), business.industry, Applied Mathematics, 010102 general mathematics, Pattern recognition, Manifold, Control and Systems Engineering, Computer Vision and Pattern Recognition, Artificial intelligence, business, Software, Information Systems
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b3bf15d472281749680fabfe03d0e4ba
https://doi.org/10.1134/s1064230719040117