-
1
المصدر: IET Cyber-Physical Systems (2020)
مصطلحات موضوعية: lcsh:Computer engineering. Computer hardware, Theoretical computer science, Distribution networks, Computer Networks and Communications, Computer science, distribution network information model, ontologies (artificial intelligence), model mapping constraints, lcsh:TK7885-7895, Ontology (information science), spin, lcsh:QA75.5-76.95, ontology transformation process, Artificial Intelligence, Formal specification, Electrical and Electronic Engineering, formal verification, Formal verification, Spin-½, formal specification, model updating, Computer Science Applications, Metamodeling, meta-model theory, model checking verification tool, Transformation (function), Information model, lcsh:Electronic computers. Computer science, Information Systems
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f5f7ae577f32fd3eb8d81d77399a8d7Test
https://doi.org/10.1049/iet-cps.2020.0018Test -
2
المؤلفون: Yunlong Cai, Haijian Zhang, Boya Qin
المصدر: Multidimensional Systems and Signal Processing. 27:321-340
مصطلحات موضوعية: Beamforming, 020301 aerospace & aeronautics, Mathematical optimization, Rank (linear algebra), Computational complexity theory, Applied Mathematics, Stability (learning theory), 020206 networking & telecommunications, 02 engineering and technology, Filter (signal processing), Computer Science Applications, 0203 mechanical engineering, Artificial Intelligence, Hardware and Architecture, Bounded function, Signal Processing, 0202 electrical engineering, electronic engineering, information engineering, Constant (mathematics), Algorithm, Adaptive beamformer, Software, Information Systems, Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::20761d0bb2111b19720afbd975eeb4d3Test
https://doi.org/10.1007/s11045-014-0304-5Test