المؤلفون: Meng Jia, Jinxiu Wen, Peisheng Lan, Bo Liu, Shichang Li, Tingliang Zhou, Zi Li, Jianyi Luo, Rihui Wu

المصدر: Advanced Sensor Research, Vol 3, Iss 5, Pp n/a-n/a (2024)

مصطلحات موضوعية: anesthesia, core body temperature, respiratory rate, single carbon fiber, temperature probe, Technology (General), T1-995, Science

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2751-1219

URL الوصول: https://doaj.org/article/acc6ab4b68c246daa5d1acba1424542c

المؤلفون: Li Jian, Huanran Zheng, Bofeng Chen, Tingliang Zhou, Hui Chen, Yanjun Li

المصدر: Database Systems for Advanced Applications. DASFAA 2022 International Workshops ISBN: 9783031112164

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::454a7a290c62f693f34250b4f53bc3f4
https://doi.org/10.1007/978-3-031-11217-1_17

المؤلفون: Han Jiazhen, Yan Zhang, Junfeng Sun, Tingliang Zhou, Jing Liu, He Jifeng

المصدر: IEEE Transactions on Intelligent Transportation Systems. 21:4693-4704

مصطلحات موضوعية: 050210 logistics & transportation, Artificial neural network, Computer science, business.industry, Mechanical Engineering, 05 social sciences, Feature selection, Machine learning, computer.software_genre, Computer Science Applications, Deep belief network, Recurrent neural network, Control system, 0502 economics and business, Automotive Engineering, Systems architecture, Feature (machine learning), Artificial intelligence, Risk assessment, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::291e1641cabec7245648f414517e2403
https://doi.org/10.1109/tits.2019.2945333

المؤلفون: Yijun Yu, Haiying Sun, Tingliang Zhou, Zhengheng Yuan, Jing Liu, Xiaohong Chen, Zhi Jin

المصدر: IEEE Transactions on Intelligent Transportation Systems. 19:3517-3528

مصطلحات موضوعية: 050210 logistics & transportation, Mathematical optimization, Computer science, Mechanical Engineering, 05 social sciences, Frame (networking), 020207 software engineering, 02 engineering and technology, Functional decomposition, Formal methods, Computer Science Applications, Control theory, Control system, 0502 economics and business, Automotive Engineering, 0202 electrical engineering, electronic engineering, information engineering, State space, Projection (set theory), Formal verification

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed9540089400ea4857832c26da5363f4
https://doi.org/10.1109/tits.2018.2869633

المؤلفون: Tingliang Zhou, Zhi Jin, Xiaohong Chen, Chen Xiang, Min Zhang, Tong Li, Zhiwei Zhong

المصدر: RE

مصطلحات موضوعية: Model checking, Computer science, business.industry, SIGNAL (programming language), Formal methods, Task (project management), Consistency (database systems), Unified Modeling Language, Software system, Software engineering, business, computer, Natural language, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::80d09a4da121b1102d80bb9694fe8374
https://doi.org/10.1109/re.2019.00040

المؤلفون: Yan Zhang, Junfeng Sun, Tingliang Zhou, Xiang Chen, Jing Liu

المصدر: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ISBN: 9783030301453
CollaborateCom

مصطلحات موضوعية: 050210 logistics & transportation, 021103 operations research, Artificial neural network, business.industry, Computer science, Deep learning, 05 social sciences, 0211 other engineering and technologies, 02 engineering and technology, Machine learning, computer.software_genre, Deep belief network, Safety risk, Safe operation, Control system, 0502 economics and business, Softmax function, Artificial intelligence, State (computer science), business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::116709f4558d06f9f1c2d78eb60dc0cf
https://doi.org/10.1007/978-3-030-30146-0_45

المؤلفون: Tingliang Zhou, Jing Liu, Zhiwei Li, Junfeng Sun, Haiying Sun

المصدر: APSEC

مصطلحات موضوعية: Programming language, Computer science, Process (computing), 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Test (assessment), Test case, 010201 computation theory & mathematics, Satisfiability modulo theories, 0202 electrical engineering, electronic engineering, information engineering, Automatic test generation, Boolean expression, computer, Automatic testing, Interlocking

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::aee532046f1e9de6171feace9a132acd
https://doi.org/10.1109/apsec.2017.58

المؤلفون: Frédéric Mallet, Tingliang Zhou, Yongxiang Bao, Tongquan Wei, Mingsong Chen, Qi Zhu

المساهمون: Software Engineering Institute [Shangaï], East China Normal University [Shangaï] (ECNU), Department of Computer Science & Engineering [Riverside] (CSE), University of California [Riverside] (UC Riverside), University of California (UC)-University of California (UC), Casco Signal Ltd [Shanghai], Logical Time for Formal Embedded System Design (KAIROS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), University of California [Riverside] (UCR), University of California-University of California, Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS)

المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, 36 (12), pp.1989-2002. ⟨10.1109/TCAD.2017.2681076⟩
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, 36 (12), pp.1989-2002. ⟨10.1109/TCAD.2017.2681076⟩
Bao, Yongxiang; Chen, Mingsong; Zhu, Qi; Wei, Tongquan; Mallet, Frederic; & Zhou, Tingliang. (2017). Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36(12), 1989-2002. doi: 10.1109/TCAD.2017.2681076. UC Riverside: Center for Environmental Research and Technology. Retrieved from: http://www.escholarship.org/uc/item/969383pp

مصطلحات موضوعية: Model checking, Computer science, business.industry, Architecture Analysis & Design Language, Uncertainty, 020207 software engineering, 02 engineering and technology, Statistical model checking, Computer Graphics and Computer-Aided Design, 020202 computer hardware & architecture, Reliability engineering, Automaton, Set (abstract data type), Index Terms— Hybrid AADL, Engineering, Transformation (function), Software, Control system, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Quantitative performance evaluation, Electrical and Electronic Engineering, business

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dab101ad7419b4a15c9723f174f94c51
https://inria.hal.science/hal-01644285/document

المؤلفون: Juan Luo, Wang Yanqin, Tingliang Zhou, Shaoying Liu

المصدر: Structured Object-Oriented Formal Language and Method ISBN: 9783319577074
SOFL+MSVL

مصطلحات موضوعية: Hazard (logic), Engineering, business.industry, Formal specification, Systems engineering, Industrial setting, business, Formal methods, Interlocking, Construction engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::169a9ceb3ba9c32aefb88634cbff8dbc
https://doi.org/10.1007/978-3-319-57708-1_10

المؤلفون: Jing Liu, Haiying Sun, Junfeng Sun, Fei Tang, Tingliang Zhou

المصدر: CIT

مصطلحات موضوعية: Theoretical computer science, Computational complexity theory, Computer science, 05 social sciences, Proof procedure, Spatial logic, Condensed Matter::Materials Science, Spatial relation, Alloy Analyzer, Simple (abstract algebra), 0502 economics and business, 050206 economic theory, Set theory, Software system, 050207 economics, Algorithm, Time complexity

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2497fe9445386d5bbde993a1fbffb0c0
https://doi.org/10.1109/cit.2016.78