咨询与建议

限定检索结果

文献类型

  • 910 篇 会议
  • 452 篇 期刊文献
  • 23 册 图书

馆藏范围

  • 1,385 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 818 篇 工学
    • 609 篇 计算机科学与技术...
    • 436 篇 软件工程
    • 132 篇 控制科学与工程
    • 124 篇 信息与通信工程
    • 61 篇 电气工程
    • 50 篇 电子科学与技术(可...
    • 48 篇 机械工程
    • 48 篇 安全科学与工程
    • 38 篇 生物医学工程(可授...
    • 34 篇 建筑学
    • 34 篇 土木工程
    • 34 篇 生物工程
    • 28 篇 仪器科学与技术
    • 26 篇 化学工程与技术
    • 24 篇 材料科学与工程(可...
    • 19 篇 交通运输工程
  • 490 篇 理学
    • 336 篇 数学
    • 81 篇 统计学(可授理学、...
    • 64 篇 物理学
    • 64 篇 系统科学
    • 45 篇 生物学
    • 25 篇 化学
  • 212 篇 管理学
    • 152 篇 管理科学与工程(可...
    • 86 篇 工商管理
    • 63 篇 图书情报与档案管...
  • 41 篇 经济学
    • 39 篇 应用经济学
  • 34 篇 医学
    • 26 篇 基础医学(可授医学...
    • 26 篇 临床医学
  • 27 篇 法学
    • 25 篇 社会学
  • 27 篇 教育学
    • 22 篇 教育学
  • 15 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 35 篇 artificial intel...
  • 33 篇 safety
  • 31 篇 computer science
  • 28 篇 computer archite...
  • 28 篇 software
  • 23 篇 monitoring
  • 23 篇 hardware
  • 21 篇 computational mo...
  • 20 篇 application soft...
  • 18 篇 software enginee...
  • 18 篇 semantics
  • 17 篇 data models
  • 16 篇 optimization
  • 15 篇 reliability
  • 14 篇 programming prof...
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 14 篇 standards
  • 13 篇 computer languag...
  • 13 篇 functional progr...

机构

  • 47 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 17 篇 computer archite...
  • 15 篇 department of co...
  • 15 篇 department of co...
  • 13 篇 department of pr...
  • 13 篇 department of co...
  • 11 篇 department of ap...
  • 10 篇 technical univer...
  • 9 篇 department of co...
  • 9 篇 icas institute f...
  • 9 篇 department of ap...
  • 8 篇 institute for co...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 7 篇 chair for comput...

作者

  • 43 篇 josef börcsök
  • 34 篇 pal madhumangal
  • 30 篇 ali hayek
  • 22 篇 börcsök josef
  • 20 篇 madhumangal pal
  • 19 篇 gancheva veska
  • 17 篇 veska gancheva
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 15 篇 fritzson peter
  • 14 篇 hayek ali
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 gurkan tuna
  • 12 篇 mostafa abotaleb
  • 11 篇 mariana arghir
  • 10 篇 tuna gurkan
  • 10 篇 xue jingling
  • 10 篇 roy abi zeid dao...
  • 9 篇 roy sankar kumar

语言

  • 1,271 篇 英文
  • 103 篇 其他
  • 8 篇 中文
  • 2 篇 俄文
  • 1 篇 德文
  • 1 篇 法文
  • 1 篇 日文
  • 1 篇 土耳其文
检索条件"机构=Computer Programming "
1385 条 记 录,以下是651-660 订阅
排序:
Classification of histopathological images using convolutional neural network
Classification of histopathological images using convolution...
收藏 引用
Workshops on Image Processing Theory, Tools and Applications, IPTA
作者: Nuh Hatipoglu Gokhan Bilgin Programming Department Trakya University Computer Technology Edirne Turkey Computer Engineering Department Yildiz Technical University Istanbul Turkey
In this work, classification of cellular structures in the high resolutional histopathological images and the discrimination of cellular and non-cellular structures have been investigated. The cell classification is a... 详细信息
来源: 评论
Three-layer supply chain in an imperfect production inventory model with two storage facilities under fuzzy rough environment
收藏 引用
Journal of Uncertainty Analysis and Applications 2014年 第1期2卷 1-31页
作者: Amalesh Kumar Manna Jayanta Kumar Dey Shyamal Kumar Mondal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Mathematics Mahishadal Raj College Mahishadal India
This article focuses on an imperfect production inventory model considering product reliability and reworking of imperfect items in three-layer supply chain under fuzzy rough environment. In the model, the supplier re...
来源: 评论
Bisimulations and logical characterizations on continuous-time markov decision processes
收藏 引用
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014
作者: Song, Lei Zhang, Lijun Godskesen, Jens Chr. Max-Planck-Institut für Informatik Saarland University Saarbrücken Germany State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China Programming Logic and Semantics Group IT University of Copenhagen Denmark
In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochast... 详细信息
来源: 评论
DSOS and SDSOS optimization: LP and SOCP-based alternatives to sum of squares optimization
DSOS and SDSOS optimization: LP and SOCP-based alternatives ...
收藏 引用
Annual Conference on Information Sciences and Systems (CISS)
作者: Amir Ali Ahmadi Anirudha Majumdar Mathematical Programming Group IBM Watson Research Center Department of Electrical Engineering and Computer Science MIT
Sum of squares (SOS) optimization has been a powerful and influential addition to the theory of optimization in the past decade. Its reliance on relatively large-scale semidefinite programming, however, has seriously ... 详细信息
来源: 评论
Dynamic Calculation and Characterization of Threshold Value in Optical Character Recognition
Dynamic Calculation and Characterization of Threshold Value ...
收藏 引用
International Conference on challenges in IT, Engineering and Technology (ICCIET’2014, Phuket)
作者: Ay?e Eldem Fatih Ba??ift?i Department of Computer Technology and Computer Programming Technical Science Vocational High School Karamano?lu Mehmetbey University Department of Computer Engineering Faculty of Technology Selcuk University
Optical character recognition(OCR) can be used in some management mechanisms of state and business world to organize documents scanned or captured by camera. Therefore, OCR is one of the subjects rapidly evolving in t... 详细信息
来源: 评论
A Case Study in Coordination programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections
A Case Study in Coordination Programming: Performance Evalua...
收藏 引用
IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)
作者: Pavel Zaichenkov Bert Gijsbers Clemens Grelck Olga Tveretina Alex Shafarenko Moscow Institute of Physics and Technology Russia Compiler Technology and Computer Architecture Group University of Hertfordshire United Kingdom Informatics Institute University of Amsterdam The Netherlands Programming Languages Group Ghent University Belgium
We present a programming methodology and runtime performance case study comparing the declarative data flow coordination language S-Net with Intel's Concurrent Collections (CnC). As a coordination language S-Net a... 详细信息
来源: 评论
Cheating prevention in Visual Cryptography using steganographic scheme
Cheating prevention in Visual Cryptography using steganograp...
收藏 引用
International Conference on Issues and Challenges in Intelligent Computing Techniques (ICICT)
作者: Biswapati Jana Partha Chowdhuri auMadhumita Mallick auShyamal Kumar Mondal Department of Computer Science Vidyasagar University Paschim Medinipur India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Paschim Medinipur India
Visual Cryptography (VC) is a technique to encrypt a secret image into transparent shares such that stacking a sufficient number of shares reveals the secret image without any computation. Cheating is possible in the ... 详细信息
来源: 评论
Analysis of Cardiotocogram Data for Fetal Distress Determination by Decision Tree Based Adaptive Boosting Approach
Analysis of Cardiotocogram Data for Fetal Distress Determina...
收藏 引用
The 3rd International Conference on Signal and Image Processing(CSIP 2014) & The 6th International Conference on Computational Intelligence and Software Engineering(CiSE 2014)
作者: Esra Mahsereci Karabulut Turgay Ibrikci Computer Programming Department Gaziantep UniversityGaziantep Turkey Department of Electrical and Electronics Engineering Cukurova UniversityAdana Turkey
Cardiotocography is one of the most widely used technique for recording changes in fetal heart rate(FHR) and uterine contractions. Assessing cardiotocography is crucial in that it leads to identifying fetuses which su... 详细信息
来源: 评论
Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis  14
Accelerating Dynamic Detection of Uses of Undefined Values w...
收藏 引用
Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
作者: Ding Ye Yulei Sui Jingling Xue Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales NSW 2052 Australia
Uninitialized variables can cause system crashes when used and security vulnerabilities when exploited. With source rather than binary instrumentation, dynamic analysis tools such as MSan can detect uninitialized memo... 详细信息
来源: 评论
programming macro tree transducers
Programming macro tree transducers
收藏 引用
2013 9th ACM SIGPLAN Workshop on Generic programming, WGP 2013 - Co-located with the 18th ACM SIGPLAN International Conference on Functional programming, ICFP 2013
作者: Bahr, Patrick Day, Laurence E. Department of Computer Science University of Copenhagen Denmark Functional Programming Laboratory University of Nottingham United Kingdom
A tree transducer is a set of mutually recursive functions transforming an input tree into an output tree. Macro tree transducers extend this recursion scheme by allowing each function to be defined in terms of an arb... 详细信息
来源: 评论