Exploring the redesign value of Chinese traditional Auspicious patterns in the context of modern design

بواسطة Sun,Jing
منشور في 2023

The influence of Western classical singing method on the 21st century Chinese national vocal music / Sun Jing Jing

بواسطة Sun , Jing Jing
منشور في 2019

Paperless solutions for smart office applications

بواسطة Sun, Jing
منشور في 2016

Design of CMOS RMS-to-DC converter and timing generator for pin electronics application

بواسطة Sun, Jing.
منشور في 2008

Tools and verification techniques for integrated formal methods

بواسطة SUN JING
منشور في 2010

A BIM and construction productivity study on precast concrete installation

بواسطة Sun, Jing Xiang
منشور في 2015

Global adaptive practical output tracking control for a class of genuinely nonlinear uncertain systems : adding an universal power integrator approach

بواسطة Wang, Ning, Sun, Jing-Chao, Er, Meng Joo
منشور في 2018

Tracking-error-based universal adaptive fuzzy control for output tracking of nonlinear systems with completely unknown dynamics

بواسطة Wang, Ning, Sun, Jing-Chao, Er, Meng Joo
منشور في 2020

A scalable approach to multi-style architectural modeling and verification

بواسطة WONG, Stephen, SUN, Jing, WARREN, Ian, SUN, Jun
منشور في 2008

Bounded model checking of compositional processes

بواسطة SUN, Jun, LIU, Yang, DONG, Jin Song, SUN, Jing
منشور في 2008

From verified model to executable program: the PAT approach

بواسطة Zhu, Huiquan, Sun, Jing, Dong, Jin Song, Lin, Shang-Wei
منشور في 2017

Design of interconnected warehouse and routing optimization by BP genetic neural network algorithm

بواسطة Zhang, Fangwei, Ye, Jun, Han, Bing, Sun, Jing, Zhang, Liming
منشور في 2023

Learning topological representations with bidirectional graph attention network for solving job shop scheduling problem

بواسطة ZHANG, Cong, CAO, Zhiguang, WU, Yaoxin, SONG, Wen, SUN, Jing
منشور في 2024

Model checking software architecture design

بواسطة Zhang, Jiexin, Liu, Yang, Sun, Jing, Dong, Jin Song, Sun, Jun
منشور في 2013

Model checking software architecture design

بواسطة ZHANG, Jiexin, LIU, Yang, SUN, Jing, DONG, Jin Song, SUN, Jun
منشور في 2012

Translating PDDL into CSP# - The PAT approach

بواسطة LI, Yi, SUN, Jing, DONG, Jin Song, LIU, Yang, SUN, Jun
منشور في 2012

Specifying and verifying sensor networks: An experiment of formal methods

بواسطة DONG, Jin Song, SUN, Jing, SUN, Jun, TAGUCHI, Kenji, ZHANG, Xian
منشور في 2008

Model checking approach to automated planning

بواسطة LI, Yi, DONG, Jin Song, SUN, Jing, LIU, Yang, SUN, Jun
منشور في 2014

Event and strategy analytics

بواسطة DONG, Jin Song, SUN, Jun, LIU, Yang, LI, Yuan-Fang, SUN, Jing, SHI, Ling
منشور في 2015

Service adaptation with probabilistic partial models

بواسطة CHEN, Manman, TAN, Tian Huat, SUN, Jun, WANG, Jingyi, LIU, Yang, SUN, Jing, DONG, Jin Song
منشور في 2016