咨询与建议

限定检索结果

文献类型

  • 65 篇 会议
  • 34 篇 期刊文献
  • 9 册 图书

馆藏范围

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

日期分布

学科分类号

  • 58 篇 工学
    • 44 篇 计算机科学与技术...
    • 38 篇 软件工程
    • 12 篇 信息与通信工程
    • 7 篇 控制科学与工程
    • 7 篇 生物医学工程(可授...
    • 6 篇 电气工程
    • 6 篇 网络空间安全
    • 4 篇 生物工程
    • 3 篇 电子科学与技术(可...
    • 2 篇 机械工程
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 化学工程与技术
    • 1 篇 冶金工程
  • 35 篇 理学
    • 20 篇 数学
    • 8 篇 物理学
    • 6 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 3 篇 系统科学
    • 1 篇 大气科学
    • 1 篇 海洋科学
  • 12 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 7 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 4 篇 基础医学(可授医学...
    • 3 篇 药学(可授医学、理...
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 农学

主题

  • 8 篇 artificial intel...
  • 5 篇 computational in...
  • 4 篇 dipper throated ...
  • 4 篇 mathematical mod...
  • 3 篇 decision support...
  • 3 篇 grey wolf optimi...
  • 3 篇 software enginee...
  • 3 篇 learning algorit...
  • 3 篇 classification a...
  • 3 篇 software
  • 2 篇 intrusion detect...
  • 2 篇 information syst...
  • 2 篇 information syst...
  • 2 篇 game theory, eco...
  • 2 篇 metaheuristics
  • 2 篇 deep learning
  • 2 篇 concurrent softw...
  • 2 篇 software algorit...
  • 2 篇 informatics
  • 2 篇 computer communi...

机构

  • 13 篇 department of sy...
  • 6 篇 department of in...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 department of co...
  • 4 篇 information comm...
  • 4 篇 computer enginee...
  • 3 篇 dept. of informa...
  • 3 篇 faculty of engin...
  • 3 篇 department of sy...
  • 3 篇 department of in...
  • 2 篇 department of co...
  • 2 篇 department of co...
  • 2 篇 department of co...
  • 2 篇 department of so...
  • 2 篇 "aurel vlaicu" u...
  • 2 篇 institute of nuc...
  • 2 篇 lovely professio...
  • 2 篇 department of th...

作者

  • 7 篇 shahnaz n. shahb...
  • 6 篇 mostafa abotaleb
  • 6 篇 abdelhameed ibra...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 steffen bernhard
  • 5 篇 doaa sami khafag...
  • 4 篇 abotaleb mostafa
  • 3 篇 reem alkanhel
  • 3 篇 jonsson bengt
  • 3 篇 howar falk
  • 3 篇 valentina emilia...
  • 3 篇 m. abotaleb
  • 2 篇 vladik kreinovic...
  • 2 篇 shahbazova shahn...
  • 2 篇 marius mircea ba...
  • 2 篇 a. ali subhi
  • 2 篇 aleksander spiva...
  • 2 篇 alkattan hussein
  • 2 篇 cassel sofia

语言

  • 106 篇 英文
  • 1 篇 德文
  • 1 篇 其他
检索条件"机构=“Information Technology and Programming” department"
108 条 记 录,以下是81-90 订阅
排序:
A succinct canonical register automaton model for data domains with binary relations
A succinct canonical register automaton model for data domai...
收藏 引用
10th International Symposium on Automated technology for Verification and Analysis, ATVA 2012
作者: Cassel, Sofia Jonsson, Bengt Howar, Falk Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Department of Programming Systems Technical University Dortmund Germany
We present a novel canonical automaton model for languages over infinite data domains, that is suitable for specifying the behavior of services, protocol components, interfaces, etc. The model is based on register aut... 详细信息
来源: 评论
Promoter recognition with machine learning algorithms keREM, RULSE-3 and ANN
Promoter recognition with machine learning algorithms keREM,...
收藏 引用
International Symposium on INnovations in Intelligent SysTems and Applications, INISTA 2012
作者: Karli, Günay Nayir, Ahmet Faculty of Engineering and Information Technology International Burch Universiy Sarajevo Bosnia and Herzegovina Department of Computer Programming Fatih University Istanbul Turkey
Data mining has become an important and active area of research because of theoretical challenges and practical applications associated with the problem of discovering interesting and previously unknown knowledge from... 详细信息
来源: 评论
Inferring semantic interfaces of data structures
Inferring semantic interfaces of data structures
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Howar, Falk Isberner, Malte Steffen, Bernhard Bauer, Oliver Jonsson, Bengt Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dept. of Information Technology Uppsala University Sweden
In this paper, we show how to fully automatically infer semantic interfaces of data structures on the basis of systematic testing. Our semantic interfaces are a generalized form of Register Automata (RA), comprising p... 详细信息
来源: 评论
Ontology design for medical diagnostic knowledge
Advances in Intelligent and Soft Computing
收藏 引用
Advances in Intelligent and Soft Computing 2012年 99卷 175-189页
作者: Jaszuk, M. Szostek, G. Walczak, A. Programming Department University of Information Technology and Management Rzeszów Poland Information Systems Institute Military University of Technology Warsaw Poland
The paper gives an overview of research devoted to developing a semi-automatic methodology of building a semantic model of medical diagnostic knowledge. The methodology is based on natural language processing methods ... 详细信息
来源: 评论
Promoter recognition with machine learning algorithms keREM, RULSE-3 and ANN
Promoter recognition with machine learning algorithms keREM,...
收藏 引用
IEEE International Symposium on Innovations in Intelligent Systems and Applications (INISTA)
作者: Günay Karli Ahmet Nayir Faculty of Engineering and Information Technology International Burch University Sarajevo Bosnia and Herzegovina Department of Computer Programming Fatih University Istanbul Turkey
Data mining has become an important and active area of research because of theoretical challenges and practical applications associated with the problem of discovering interesting and previously unknown knowledge from... 详细信息
来源: 评论
A New Method for Research of Grown-In Microdefects in Dislocation-Free Silicon Single Crystals
收藏 引用
Journal of Crystallization Process and technology 2011年 第2期1卷 13-17页
作者: V.I Talanin I.E Talanin N.Ph Ustimenko Department of Programming & Information Technology Classic Private University
As a virtual experimental device for analysis and calculation of grown-in microdefects formation in undoped silicon dislocation-free single crystals the software is proposed. The software is built on the basis on diff... 详细信息
来源: 评论
LearnLib: A framework for extrapolating behavioral models
收藏 引用
International Journal on Software Tools for technology Transfer 2009年 第5期11卷 393-407页
作者: Raffelt, Harald Steffen, Bernhard Berg, Therese Margaria, Tiziana Department of Programming Systems TU Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany Department of Information Technology Uppsala University 751 05 Uppsala Sweden Department of Services and Software Engineering Universität Potsdam August-Bebel-Str. 89 14482 Potsdam Germany
In this paper, we present the LearnLib, a library of tools for automata learning, which is explicitly designed for the systematic experimental analysis of the profile of available learning algorithms and corresponding... 详细信息
来源: 评论
Untitled
收藏 引用
FORMAL ASPECTS OF COMPUTING 2009年 第3期21卷 225-225页
作者: Boca, Paul Boute, Raymond Duce, David Oliveira, Jos Programming Research Ltd. Mark House Hesham Surrey KT12 SLU 9/11 Queens Road United Kingdom Formal Methods Group Department of Information Technology (INTEC) Ghent University Ghent B-9000 Sint-Pietersnieuwstraat 41 Belgium School of Technology Oxford Brookes University Wheatley Campus Oxford OX33 lHX United Kingdom Departamento de Informática Universidade Do Minho Campus de Gualtar Braga 4710-057 Portugal
来源: 评论
Optimizing neural network architecture using Tikhonov regularization parameter for intrusion detection systems and classification of attacks
Optimizing neural network architecture using Tikhonov regula...
收藏 引用
2008 International Conference on information and Knowledge Engineering, IKE 2008
作者: Sharawi, Marwa S. Sammany, Mohammed El-Beltagy, Mohammed Saroit, Imane Faculty of Informatics and Computer Science British University in Egypt Cairo Egypt Department of Applied Mathematics and Programming Aleppo University Aleppo Syria Department of Decision Support System Faculty of Computers and Information Cairo University Cairo Egypt Department of Information Technology Faculty of Computers and Information Cairo University Cairo Egypt
Network Intrusion Detection Systems (NIDS) require the ability to generalize from previously observed attacks to detect even new or slight variation records of known attacks. As an intrusion detection system can be re... 详细信息
来源: 评论
Editorial
收藏 引用
Formal Aspects of Computing 2009年 第3期21卷 225页
作者: Paul Boca Raymond Boute David Duce José Oliveira Programming Research Ltd Mark House 9/11 Queens Road KT12 SLU Hesham Surrey United Kingdom Formal Methods Group Department of Information Technology (INTEC) Ghent University Sint-Pietersnieuwstraat 41 B-9000 Ghent Belgium School of Technology Oxford Brookes University Wheatley Campus OX33 lHX Oxford UK Departamento de Informática Universidade do Minho Campus de Gualtar 4710-057 Braga Portugal
No abstract available.
来源: 评论