Domain Invariant Transfer Kernel Learning von Mingsheng Long, Jianmin Wang, Jiaguang Sun, Yu, Philip S.

Volltext

Deep Learning of Transferable Representation for Scalable Domain Adaptation von Mingsheng Long, Jianmin Wang, Yue Cao, Jiaguang Sun, Yu, Philip S.

Volltext

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System von Jiang, Yu, Song, Houbing, Wang, Rui, Gu, Ming, Sun, Jiaguang, Sha, Lui

Volltext

Enhancing pyridinic nitrogen level in graphene to promote electrocatalytic activity for oxygen reduction reaction von Sun, Jiaguang, Wang, Lan, Song, Ranran, Yanga, Shubin

Volltext

Efficient Recovery of Missing Events von Wang, Jianmin, Song, Shaoxu, Zhu, Xiaochen, Lin, Xuemin, Sun, Jiaguang

Volltext

A workflow net similarity measure based on transition adjacency relations von Zha, Haiping, Wang, Jianmin, Wen, Lijie, Wang, Chaokun, Sun, Jiaguang

Volltext

Cannabinoid receptor 2 deficiency enhances isoflurane-induced spatial cognitive impairment in adult mice by affecting neuroinflammation, neurogenesis and neuroplasticity von Li, Chao, Shi, Jingpu, Sun, Jiaguang, Shi, Yuanyuan, Jia, Huiqun

Volltext

Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude von Liu, Jiaxiang, Zhou, Min, Song, Xiaoyu, Gu, Ming, Sun, Jiaguang

Volltext

Bayesian-Network-Based Reliability Analysis of PLC Systems von Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, Hung, W. N. N., Ming Gu, Jiaguang Sun

Volltext

Cannabinoid type 2 receptor deficiency leads to Aβ-induced cognitive impairment through promoting microglial sensitivity to Aβ in the prefrontal cortex in mice von Zhang, Tong, Sun, JiaGuang, Jiao, Qiang, Li, ShuaiChen, Meng, XiangBo, Shi, JingPu, Wang, Bo

Volltext

Reconfigured Scan Forest for Test Application Cost, Test Data Volume, and Test Power Reduction von Dong Xiang, Kaiwei Li, Jiaguang Sun, Fujiwara, H.

Volltext

Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks von Shi, Heyuan, Song, Xiaoyu, Gu, Ming, Sun, Jiaguang

Volltext

Temporal Coverage Analysis for Dynamic Verification von Min Zhou, Hung, William N. N., Xiaoyu Song, Ming Gu, Jiaguang Sun

Volltext

Mechanism Design for Finding Experts Using Locally Constructed Social Referral Web von Zhang, Lan, Li, Xiang-Yang, Lei, Jingsheng, Sun, Jiaguang, Liu, Yunhao

Volltext

First, Debug the Test Oracle von Guo, Xinrui, Zhou, Min, Song, Xiaoyu, Gu, Ming, Sun, Jiaguang

Volltext

A semi-automatic approach for workflow staff assignment von Liu, Yingbo, Wang, Jianmin, Yang, Yun, Sun, Jiaguang

Volltext

Verification of Implementations of Cryptographic Hash Functions von Wang, Dexi, Jiang, Yu, Song, Houbing, He, Fei, Gu, Ming, Sun, Jiaguang

Volltext

Detecting Implicit Dependencies Between Tasks from Event Logs von Wen, Lijie, Wang, Jianmin, Sun, Jiaguang

Volltext

Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq von Qian Wang, Xiaoyu Song, Hung, William N. N., Ming Gu, Jiaguang Sun

Volltext

Memetic-based schedule synthesis for communication on time-triggered embedded systems von Shi, Heyuan, Tang, Kun, Liu, Chengbao, Song, Xiaoyu, Hu, Chao, Sun, Jiaguang

Volltext