المؤلفون: Cong Xu, Yuejun Jiang, Hong Wang, Yuxin Zhang, Yicheng Ye, Hanfeng Qin, Junbin Gao, Qing Dan, Lingli Du, Lu Liu, Fei Peng, Yingjia Li, Yingfeng Tu

المصدر: Advanced Science, Vol 10, Iss 4, Pp n/a-n/a (2023)

مصطلحات موضوعية: macrophage regulation, nanomotor, oxygen generation, rheumatoid arthritis, ultrasound, Science

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/2198-3844Test

الوصول الحر: https://doaj.org/article/d04fcc6b15cc4ac8a64376068831871dTest

المؤلفون: Cong Xu, Yuejun Jiang, Hong Wang, Yuxin Zhang, Yicheng Ye, Hanfeng Qin, Junbin Gao, Qing Dan, Lingli Du, Lu Liu, Fei Peng, Yingjia Li, Yingfeng Tu

المصدر: Advanced Science. 10:2204881

مصطلحات موضوعية: General Chemical Engineering, General Engineering, General Physics and Astronomy, Medicine (miscellaneous), General Materials Science, Biochemistry, Genetics and Molecular Biology (miscellaneous)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18df7a437ddc2e09eb4197b699a70e36Test
https://doi.org/10.1002/advs.202204881Test

المؤلفون: Yuejun Jiang, Henry Kautz, Bart Selman

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cornell.edu/selman/papers/pdf/maxsat.pdfTest.

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

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.8744Test; http://www.cs.cornell.edu/selman/papers/pdf/maxsat.pdfTest

الإتاحة: http://www.cs.cornell.edu/selman/papers/pdf/maxsat.pdfTest

المؤلفون: Thomas Richards, Yuejun Jiang, Barry Richards

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.icparc.ic.ac.uk/papers/ng-backmarking_with_min-conflict_repair:.psTest.

مصطلحات موضوعية: justifications

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

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.7283Test; http://www.icparc.ic.ac.uk/papers/ng-backmarking_with_min-conflict_repair:.psTest

الإتاحة: http://www.icparc.ic.ac.uk/papers/ng-backmarking_with_min-conflict_repair:.psTest

المؤلفون: Yuejun Jiang, Thomas Richards, Barry Richards

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ftp.cs.unh.edu/pub/csp/archive/papers/nato/ppcp94/jiang.ps.Z

مصطلحات موضوعية: Constraint Satisfaction and Optimization, Backmarking, Learning, Backjumping

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

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.2151Test

المؤلفون: Yuejun Jiang, Thomas Richards, Barry Richards

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.icparc.ic.ac.uk/papers/no-good_backmarking_with_min-conflict_re.psTest.

مصطلحات موضوعية: Constraint Satisfaction and Optimization, Backmarking, Learning, Backjumping, Repairbased Methods, Simulated Annealing, Tabu Search, No-good recording and No-good Justification, Dynamic Backtracking, GSAT and Breakout

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

العلاقة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.7392Test; http://www.icparc.ic.ac.uk/papers/no-good_backmarking_with_min-conflict_re.psTest

الإتاحة: http://www.icparc.ic.ac.uk/papers/no-good_backmarking_with_min-conflict_re.psTest

المؤلفون: Meijuan Xu, Jiankang Guo, Yuejun Jiang

المصدر: 2011 International Conference on Internet Technology and Applications.

مصطلحات موضوعية: RM-ODP, Open platform, Functional software architecture, Enterprise architecture management, Computer science, Distributed computing, Operating system, Enterprise integration, Enterprise architecture, Enterprise information security architecture, computer.software_genre, computer, Service-oriented modeling

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::39dd994b89a8cec91edc241512aa3359Test
https://doi.org/10.1109/itap.2011.6006295Test

المؤلفون: Yuejun Jiang

المصدر: New Generation Computing. 11:107-124

مصطلحات موضوعية: Computer Networks and Communications, Computer science, Game semantics, Programming language, Classical logic, Multimodal logic, computer.software_genre, Higher-order logic, Theoretical Computer Science, Axiomatic semantics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Hardware and Architecture, Well-founded semantics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Non-monotonic logic, Autoepistemic logic, computer, Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::80784b6ee394f1c70994f98b12ed9293Test
https://doi.org/10.1007/bf03037155Test

المؤلفون: Yuejun Jiang

المصدر: KR

مصطلحات موضوعية: Logical framework, Operator (computer programming), Knowledge representation and reasoning, Epistemic modal logic, Probabilistic logic network, business.industry, Computer science, Artificial intelligence, Non-monotonic logic, Modal operator, business, Autoepistemic logic

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::932f1044363cb5a91144adcc2b91a05dTest
https://doi.org/10.1016/b978-1-4832-1452-8.50125-1Test

المؤلفون: Barry Richards, Thomas Richards, Yuejun Jiang

المصدر: Lecture Notes in Computer Science ISBN: 9783540586012
PPCP

مصطلحات موضوعية: Mathematical optimization, Constraint learning, Local optimum, Computer science, Backtracking, Backjumping, Hybrid algorithm (constraint satisfaction), Guided Local Search, Constraint satisfaction, Tabu search

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::36b3092f597a0ae881143cc5c932f60bTest
https://doi.org/10.1007/3-540-58601-6_87Test