咨询与建议

限定检索结果

文献类型

  • 140 篇 会议
  • 43 篇 期刊文献

馆藏范围

  • 183 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 111 篇 工学
    • 92 篇 计算机科学与技术...
    • 75 篇 软件工程
    • 24 篇 信息与通信工程
    • 23 篇 控制科学与工程
    • 16 篇 生物工程
    • 15 篇 电气工程
    • 12 篇 机械工程
    • 11 篇 电子科学与技术(可...
    • 9 篇 化学工程与技术
    • 8 篇 生物医学工程(可授...
    • 7 篇 仪器科学与技术
    • 6 篇 交通运输工程
    • 6 篇 安全科学与工程
    • 5 篇 光学工程
    • 5 篇 网络空间安全
    • 4 篇 动力工程及工程热...
    • 3 篇 土木工程
    • 3 篇 环境科学与工程(可...
  • 49 篇 理学
    • 23 篇 数学
    • 14 篇 生物学
    • 10 篇 物理学
    • 10 篇 化学
    • 10 篇 统计学(可授理学、...
    • 5 篇 系统科学
  • 25 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 6 篇 法学
    • 5 篇 社会学
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 3 篇 医学
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 农学
  • 1 篇 艺术学

主题

  • 8 篇 real-time system...
  • 8 篇 feature extracti...
  • 7 篇 semantics
  • 6 篇 conferences
  • 6 篇 computer archite...
  • 6 篇 clocks
  • 6 篇 software
  • 5 篇 reliability
  • 5 篇 reinforcement le...
  • 5 篇 computational mo...
  • 4 篇 internet of thin...
  • 4 篇 deep learning
  • 4 篇 schedules
  • 4 篇 automata
  • 4 篇 probabilistic lo...
  • 4 篇 protocols
  • 4 篇 sensors
  • 4 篇 data models
  • 3 篇 surveys
  • 3 篇 runtime

机构

  • 21 篇 moe engineering ...
  • 14 篇 shanghai key lab...
  • 12 篇 software enginee...
  • 8 篇 moe research cen...
  • 8 篇 moe engineering ...
  • 7 篇 school of comput...
  • 6 篇 national trusted...
  • 6 篇 college of infor...
  • 6 篇 moe engineering ...
  • 5 篇 school of comput...
  • 5 篇 school of inform...
  • 5 篇 hardware/softwar...
  • 5 篇 software/hardwar...
  • 5 篇 moe engineering ...
  • 5 篇 engineering rese...
  • 5 篇 east china norma...
  • 4 篇 east china norma...
  • 4 篇 science and tech...
  • 4 篇 school of softwa...
  • 4 篇 school of comput...

作者

  • 18 篇 yixiang chen
  • 14 篇 chen mingsong
  • 13 篇 cao guitao
  • 13 篇 wang ting
  • 11 篇 chen yixiang
  • 10 篇 bo xiao
  • 9 篇 guitao cao
  • 9 篇 xiao bo
  • 7 篇 chen weiting
  • 7 篇 minghua zhu
  • 7 篇 shi yuanming
  • 6 篇 yuanrui zhang
  • 6 篇 xinyu zhang
  • 6 篇 shi jianqi
  • 6 篇 yan li
  • 6 篇 zhu minghua
  • 6 篇 ting wang
  • 6 篇 huang yanhong
  • 5 篇 zhang lei
  • 5 篇 xianzhong liu

语言

  • 176 篇 英文
  • 7 篇 其他
检索条件"机构=MoE Engineering Research-Center of Software/Hardware Co-design Technology and Application"
183 条 记 录,以下是41-50 订阅
排序:
A proof system in PADS
A proof system in PADS
收藏 引用
10th International colloquium on Theoretical Aspects of computing, ICTAC 2013
作者: Yao, Xinghua Zhang, Min Chen, Yixiang MoE Engineering Research Center for Software/Hardware Co-design Technology and Application East China Normal University Shanghai China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China
The PADS (Process Algebra for Demand and Supply) framework is an approach to model resource demand and supply for the formal analysis of hierarchical scheduling. Inspired by the demand relation in PADS, we propose a w... 详细信息
来源: 评论
PSTeC: A location-time driven modelling formalism for probabilistic real-time systems  18th
PSTeC: A location-time driven modelling formalism for probab...
收藏 引用
18th International GI/ITG conference on Measurement, Modelling and Evaluation of computing Systems and Dependability and Fault Tolerance, MMB and DFT 2016
作者: He, Kangli Chen, Yixiang Zhang, Min Zhang, Yuanrui MoE Engineering Research Center for Software/Hardware Co-design Technology and Application East China Normal University Shanghai China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China
Internet of Things (IoT) and Cyber-Physical Systems (CPS) have become important topics in both theory and industry. In some application domains, such as when specifying the behaviour of precision mechanics, we need to... 详细信息
来源: 评论
SAMPLE EFFICIENT LUNG SEGMENTATION USING GROUP STRUCTURED coNDITIONAL VARIATIONAL DATA IMPUTATION
SAMPLE EFFICIENT LUNG SEGMENTATION USING GROUP STRUCTURED CO...
收藏 引用
2021 IEEE International conference on Multimedia and Expo, ICME 2021
作者: Li, Yan Cao, Guitao Cao, Wenming MOE Research Center for Software/Hardware Co-Design Engineering East China Normal University China College of Information Engineering Shenzhen University China
Patients infected with coVID-19 can lead to their Chest X-rays (CXRs) with opacifications rendered regions, which may produce incomplete lung segmentation in automated image analysis models. To tackle this issue, we p... 详细信息
来源: 评论
A software trustworthiness measure based on the decompositions of trustworthy attributes and its validation
A software trustworthiness measure based on the decompositio...
收藏 引用
International conference on Industrial engineering, Management Science and applications, ICIMSA 2015
作者: Tao, Hongwei Chen, Yixiang Pang, Jianmin State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou45002 China MoE Engineering Center for Software/Hardware Co-Design Technology and Application East China Normal University Shanghai200062 China
There exist many software trustworthiness measures based on the decompositions of attributes. However, few of them are concerned with using more rigorous approaches to measure software trustworthiness and carrying out... 详细信息
来源: 评论
DCFG: Discovering Directional counterFactual Generation for Chest X-rays
DCFG: Discovering Directional CounterFactual Generation for ...
收藏 引用
2021 IEEE International conference on Bioinformatics and Biomedicine, BIBM 2021
作者: Li, Yan Liu, Shasha Wu, Chunwei Xi, Xidong Cao, Guitao Cao, Wenming East China Normal University MOE Research Center for Software/Hardware Co-Design Engineering China Shenzhen University College of Information Engineering China
While Deep Neural Networks (DNNs) are achieving state-of-the-art performance on medical domains across a variety of tasks, the need for explainability of model predictions in these high-stakes tasks is still lacking. ... 详细信息
来源: 评论
Buffer with Feature Tokens: combating confusion in Medical Image continual Learning
Buffer with Feature Tokens: Combating Confusion in Medical I...
收藏 引用
2024 IEEE International conference on Bioinformatics and Biomedicine, BIBM 2024
作者: Fan, Zheming Chen, Weiting Fan, Jiahao Yu, Ruizhi East China Normal University Shanghai Key Laboratory of Trustworthy Computing Moe Research Center of Software/Hardware Co-Design Engineering China
Due to its complexity and privacy concerns, medical data is often difficult to collect fully at once. New data emerges with the discovery of new diseases and advances in medical technology, but privacy concerns limit ... 详细信息
来源: 评论
CA-Res2UNet++: a Deep Residual UNet Based Method for Brain Tumor Segmentation in Multimodal MRI  2
CA-Res2UNet++: a Deep Residual UNet Based Method for Brain T...
收藏 引用
2nd International conference on Biomedical and Intelligent Systems, IC-BIS 2023
作者: Hu, Yujiao Chen, Weiting Wu, Wenjing Long, Jianghao MOE Research Center of Software / Hardware Co-Design Engineering Shanghai Key Laboratory of Trustworthy Computing East China Normal University China
In recent years, segmentation of the multimodal brain tumor image puts forward high requirements for performance. To meet the accuracy requirements, we propose a multimodal brain tumor image segmentation method based ... 详细信息
来源: 评论
Verifying the correct composition of distributed components: Formalisation and Tool  13
Verifying the correct composition of distributed components:...
收藏 引用
13th International Workshop on Foundations of coordination Languages and Self-Adaptive Systems, FOCLASA 2014
作者: Henrio, Ludovic Kulankhina, Oleksandra Liu, Dongqian Madelaine, Eric Univ. of Nice Sophia Antipolis CNRS France INRIA Sophia Antipolis Méditérannée France MoE Engineering Research Center for Software/Hardware Co-design Technology and Application ECNU Shanghai China
This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the structural aspects of component composit...
来源: 评论
RFID Based Motion Direction Estimation in Gate Systems  22
RFID Based Motion Direction Estimation in Gate Systems
收藏 引用
22nd IEEE International conference on computer Supported cooperative Work in design, CSCWD 2018
作者: Jie, Wu Minghua, Zhu Bo, Xiao Wei, He MOE Research Center for Software Hardware Co-Design Engineering and Application East China Normal University Shanghai China Anti-forgery Department Third Institute of the Ministry of Public Security Shanghai China
The RFID based school gate system is used to estimate students entering or leaving the school when they go through the school gate with RFID tags. In general, the accuracy of the estimation of RFID is sensitive to com... 详细信息
来源: 评论
Multi-scale Transformation Based Image Representation and Analysis of Amplitude-integrated EEG  2
Multi-scale Transformation Based Image Representation and An...
收藏 引用
2nd International conference on Biomedical and Intelligent Systems, IC-BIS 2023
作者: Wu, Wenjing Chen, Weiting Hu, Yujiao MOE Research Center of Software / Hardware Co-Design Engineering Shanghai Key Laboratory of Trustworthy Computing East China Normal University China
Amplitude-integrated electroencephalography (aEEG) is widely adopted for recognizing neonatal neurological disorders in clinics. Previous work has mainly analyzed aEEGs from a time series perspective, while clinicians... 详细信息
来源: 评论