咨询与建议

限定检索结果

文献类型

  • 126 篇 会议
  • 97 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 144 篇 工学
    • 110 篇 计算机科学与技术...
    • 90 篇 软件工程
    • 29 篇 控制科学与工程
    • 21 篇 信息与通信工程
    • 14 篇 生物工程
    • 13 篇 电气工程
    • 10 篇 生物医学工程(可授...
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 7 篇 光学工程
    • 7 篇 安全科学与工程
    • 6 篇 仪器科学与技术
    • 5 篇 材料科学与工程(可...
    • 5 篇 土木工程
    • 3 篇 建筑学
  • 78 篇 理学
    • 44 篇 数学
    • 23 篇 系统科学
    • 20 篇 物理学
    • 16 篇 统计学(可授理学、...
    • 15 篇 生物学
    • 3 篇 海洋科学
  • 44 篇 管理学
    • 29 篇 管理科学与工程(可...
    • 19 篇 图书情报与档案管...
    • 13 篇 工商管理
  • 11 篇 医学
    • 11 篇 基础医学(可授医学...
    • 11 篇 临床医学
    • 7 篇 公共卫生与预防医...
    • 4 篇 药学(可授医学、理...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 法学
  • 1 篇 艺术学

主题

  • 19 篇 computer science
  • 17 篇 mathematics
  • 13 篇 software systems
  • 13 篇 laboratories
  • 12 篇 systems engineer...
  • 12 篇 data mining
  • 8 篇 internet of thin...
  • 8 篇 xml
  • 7 篇 software enginee...
  • 7 篇 machine learning
  • 6 篇 software testing
  • 6 篇 students
  • 5 篇 adaptive systems
  • 5 篇 deep learning
  • 5 篇 itemsets
  • 4 篇 information syst...
  • 4 篇 lattices
  • 4 篇 application soft...
  • 4 篇 information tech...
  • 4 篇 cloud computing

机构

  • 7 篇 department of in...
  • 6 篇 software systems...
  • 6 篇 computing and so...
  • 6 篇 department of co...
  • 6 篇 state key labora...
  • 5 篇 mathematics and ...
  • 5 篇 beijing key labo...
  • 5 篇 key laboratory o...
  • 5 篇 department of co...
  • 4 篇 academy of mathe...
  • 4 篇 department of co...
  • 4 篇 school of inform...
  • 4 篇 school of electr...
  • 3 篇 college of compu...
  • 3 篇 dept. of softwar...
  • 3 篇 lmib school of m...
  • 3 篇 dept. of compute...
  • 3 篇 peking universit...
  • 3 篇 software systems...
  • 3 篇 department of el...

作者

  • 10 篇 sarun intakosum
  • 10 篇 veera boonjing
  • 7 篇 zander carol
  • 7 篇 mccartney robert
  • 7 篇 eckerdal anna
  • 7 篇 sanders kate
  • 6 篇 ahmed bestoun s.
  • 6 篇 thomas lynda
  • 6 篇 zamli kamal z.
  • 5 篇 boustedt jonas
  • 5 篇 nengkun yu
  • 5 篇 bei zeng
  • 5 篇 moström jan erik
  • 5 篇 sutheetutt vacha...
  • 5 篇 junping du
  • 5 篇 zhengfeng ji
  • 5 篇 fashan yu
  • 5 篇 yingmin jia
  • 4 篇 lü jinhu
  • 4 篇 boonjing veera

语言

  • 213 篇 英文
  • 7 篇 其他
  • 3 篇 中文
检索条件"机构=Software Systems Engineering LaboratoryDepartment of Mathematics and Computer Science"
223 条 记 录,以下是191-200 订阅
排序:
Determining an appropriate number of FOUPs in semiconductor wafer fabrication facilities  08
Determining an appropriate number of FOUPs in semiconductor ...
收藏 引用
Simulation Winter Conference
作者: Jens Zimmermann Scott J. Mason John W. Fowler Lars Monch Enterprise-wide Software Systems Department of Mathematics and Computer Science University of Hagen Hagen Germany Department of Industrial Engineering University of Arkansas Fayetteville AR USA Department of Industrial Engineering Arizona State University Tempe AZ USA
In this paper, multiple orders per job type formation and release strategies are described for semiconductor wafer fabrication facilities (wafer fabs). Different orders are grouped into one job because orders of an in... 详细信息
来源: 评论
Graph Partitioning Technique for Separating Nets in Single-row Networks
Graph Partitioning Technique for Separating Nets in Single-r...
收藏 引用
2008年国际电子商务、工程及科学领域的分布式计算和应用学术研讨会
作者: Norazaliza Mohd.Jamil Noraziah Ahmad Shaharuddin Salleh Faculty of Computer Systems & Software Engineering Universiti Malaysia PahangLocked Bag 1225000KuantanPahangMalaysia Department of Mathematics Faculty of ScienceUniversiti Teknologi Malaysia81310Johor BahruMalaysia
Single-row routing is fundamentally a routing technique for pairs of nodes arranged in a single-row *** contributes in the printed circuit hoard(PCB)design. The main objective in single-row routing is to achieve minim... 详细信息
来源: 评论
Pointwise Logic on Completely Distributive Lattices and Approximate Reasoning
Pointwise Logic on Completely Distributive Lattices and Appr...
收藏 引用
International Conference on Fuzzy systems and Knowledge Discovery (FSKD)
作者: Yalin Zheng Guang Yang Jing Zheng Jinsheng Xing State Key Laboratory for Intelligent Technology and Systems Department of Automation Faculty of Information Science and Technology Tsinghua University Beijing China Research Center of Intelligent Information Technology Department of Computer Science and Technology Faculty of Software Dongguan University of Science and Technology Dongguan China Research Center of Dongguan Economy Department of Economy and Commerce Dongguan University of Science and Technology Dongguan China Faculty of Mathematics and Computer Science Shanxi Normal University Linfen China Research Center of System Engineering Faculty of Electronic and Information Engineering Xi'an Jiaotong University Xi'an China
In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterizatio... 详细信息
来源: 评论
ALICE: An advanced logic for interactive component engineering
ALICE: An advanced logic for interactive component engineeri...
收藏 引用
4th International Verification Workshop, VERIFY 2007, Affiliated with the 21st Conference on Automated Deduction, CADE 2007
作者: Gajanovic, Borislav Rumpe, Bernhard Software Systems Engineering Institute Carl-Friedrich-Gauß Faculty for Mathematics and Computer Science Braunschweig University of Technology Braunschweig Germany
This paper presents an overview of the verification framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is specified a... 详细信息
来源: 评论
A SLA-oriented management of containers for hosting stateful web services
A SLA-oriented management of containers for hosting stateful...
收藏 引用
3rd IEEE International Conference on e-science and Grid Computing
作者: Reich, Christoph Bubendorfer, Kris Banholzer, Matthias Buyya, Rajkumar Department of Computer Science Hochschule Furtwangen University Germany School of Mathematics Statistics and Computer Science Victoria University of Wellington New Zealand Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia
Service-Oriented Architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are frequently used to realise such Servi... 详细信息
来源: 评论
A Framework for using Rough Sets and Formal Concept Analysis in Case Based Reasoning
A Framework for using Rough Sets and Formal Concept Analysis...
收藏 引用
IEEE International Conference on Information Reuse and Integration (IRI)
作者: Jirapond Tadrat Veera Boonjing Puntip Pattaraintakorn Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand
A significant open problem of case based reasoning system is a construction of better knowledge base. We propose a new framework for constructing alternative knowledge base in case based reasoning system based on roug... 详细信息
来源: 评论
From Limen to Lumen: Computing students in liminal spaces  07
From Limen to Lumen: Computing students in liminal spaces
收藏 引用
3rd International Computing Education Research Workshop, ICER'07
作者: Eckerdal, Anna McCartney, Robert Moström, Jan Erik Sanders, Kate Thomas, Lynda Zander, Carol Department of Information Technology Uppsala University Uppsala Sweden Department of Computer Science and Engineering University of Connecticut Storrs CT United States Department of Computing Science Umeå University 901 87 Umeå Sweden Mathematics and Computer Science Department Rhode Island College Providence RI United States Department of Computer Science University of Wales Aberystwyth Wales Computing and Software Systems University of Washington Bothell Bothell WA United States
This paper is part of an ongoing series of projects in which we are investigating "threshold concepts": concepts that, among other things, transforms the way a student looks as the discipline and are often t... 详细信息
来源: 评论
A Hybrid Case Based Reasoning System Using Fuzzy-Rough Sets and Formal Concept Analysis
A Hybrid Case Based Reasoning System Using Fuzzy-Rough Sets ...
收藏 引用
International Conference on Fuzzy systems and Knowledge Discovery (FSKD)
作者: Jirapond Tadrat Veera Boonjing Puntip Pattaraintakorn Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand Department of Mathematics and Computer Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand
In this paper, we propose a new hybrid case based reasoning system based on rough set theory, formal concept analysis and fuzzy sets. This system applies rough set theory to assure minimally sufficient cases in its ca... 详细信息
来源: 评论
Efficient Algorithms for Mining Closed Multidimensional Sequential Patterns
Efficient Algorithms for Mining Closed Multidimensional Sequ...
收藏 引用
International Conference on Fuzzy systems and Knowledge Discovery (FSKD)
作者: Veera Boonjing Panida Songram Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand Department of Computer Science Faculty of Informatics Mahasarakham University Mahasarakham Thailand
A combination of closed sequential pattern mining and closed itemset pattern mining was proposed to mine closed multidimensional sequential patterns. There are two ways for this combination; (1) mining closed itemset ... 详细信息
来源: 评论
A SLA-Oriented Management of Containers for Hosting Stateful Web Services
A SLA-Oriented Management of Containers for Hosting Stateful...
收藏 引用
IEEE International Conference on e-science and Grid Computing
作者: Christoph Reich Kris Bubendorfer Matthias Banholzer Rajkumar Buyya Department of Computer Science Hochschule Furtwangen University Germany School of Mathematics Statistics and Computer Science Victoria University of Wellington New Zealand Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia
Service-oriented architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are frequently used to realise such servi... 详细信息
来源: 评论