咨询与建议

限定检索结果

文献类型

  • 626 篇 会议
  • 342 篇 期刊文献
  • 18 册 图书

馆藏范围

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

日期分布

学科分类号

  • 567 篇 工学
    • 423 篇 计算机科学与技术...
    • 300 篇 软件工程
    • 90 篇 控制科学与工程
    • 82 篇 信息与通信工程
    • 46 篇 电气工程
    • 33 篇 电子科学与技术(可...
    • 32 篇 机械工程
    • 29 篇 生物医学工程(可授...
    • 25 篇 安全科学与工程
    • 23 篇 生物工程
    • 21 篇 化学工程与技术
    • 20 篇 仪器科学与技术
    • 19 篇 材料科学与工程(可...
    • 19 篇 建筑学
    • 18 篇 土木工程
    • 14 篇 交通运输工程
  • 379 篇 理学
    • 266 篇 数学
    • 61 篇 统计学(可授理学、...
    • 50 篇 物理学
    • 49 篇 系统科学
    • 34 篇 生物学
    • 21 篇 化学
  • 153 篇 管理学
    • 116 篇 管理科学与工程(可...
    • 70 篇 工商管理
    • 40 篇 图书情报与档案管...
  • 31 篇 经济学
    • 31 篇 应用经济学
  • 26 篇 医学
    • 23 篇 临床医学
    • 22 篇 基础医学(可授医学...
  • 18 篇 教育学
    • 15 篇 教育学
  • 16 篇 法学
    • 15 篇 社会学
  • 12 篇 农学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 28 篇 artificial intel...
  • 22 篇 computer science
  • 17 篇 monitoring
  • 16 篇 computational mo...
  • 14 篇 application soft...
  • 14 篇 semantics
  • 13 篇 software enginee...
  • 13 篇 data models
  • 12 篇 software
  • 11 篇 decision making
  • 11 篇 hardware
  • 11 篇 training
  • 10 篇 reliability
  • 10 篇 computer archite...
  • 10 篇 neural networks
  • 10 篇 optimization
  • 9 篇 support vector m...
  • 9 篇 logic programmin...
  • 9 篇 robot sensing sy...
  • 9 篇 students

机构

  • 48 篇 department of ap...
  • 25 篇 department of co...
  • 18 篇 department of ap...
  • 17 篇 department of sy...
  • 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 篇 department of ap...
  • 8 篇 department of co...
  • 8 篇 computer techniq...
  • 7 篇 department of ma...
  • 7 篇 department of pr...
  • 6 篇 department for m...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...

作者

  • 34 篇 pal madhumangal
  • 20 篇 madhumangal pal
  • 18 篇 gancheva veska
  • 14 篇 veska gancheva
  • 14 篇 josef börcsök
  • 12 篇 mondal shyamal k...
  • 12 篇 maiti manoranjan
  • 12 篇 mostafa abotaleb
  • 12 篇 ali hayek
  • 11 篇 gurkan tuna
  • 11 篇 mariana arghir
  • 10 篇 börcsök josef
  • 10 篇 hayek ali
  • 10 篇 boercsoek josef
  • 10 篇 fritzson peter
  • 9 篇 roy sankar kumar
  • 9 篇 roy abi zeid dao...
  • 9 篇 abotaleb mostafa
  • 8 篇 shyamal kumar mo...
  • 8 篇 kayhan gulez

语言

  • 964 篇 英文
  • 16 篇 其他
  • 4 篇 中文
  • 1 篇 德文
  • 1 篇 土耳其文
检索条件"机构=Department of Computer Programming"
986 条 记 录,以下是311-320 订阅
排序:
Computing with lattices: An application of type classes
收藏 引用
Journal of Functional programming 1992年 第4期2卷 475-503页
作者: Jones, Mark P. Programming Research Group Oxford University UK Department of Computer Science Yale University Yale Station New Haven CT 06520-2158 PO Box 2158 United Kingdom
This paper presents a simple framework for performing calculations with the elements of (finite) lattices. A particular feature of this work is the use of type classes to enable the use of overloaded function symbols ...
来源: 评论
Multicore Software Engineering, Performance, and Tools  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Victor Pankratius Michael Philippsen
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which ... 详细信息
来源: 评论
computerized concrete mix proportioning for large projects
Computerized concrete mix proportioning for large projects
收藏 引用
Impact of computers on the Practice of Structural Engineering in Concrete Symposium at the 1970 ACI Fall Convention
作者: Malhotra, V.M. Hibbert, P.D. Systems and Programming Division Computer Science Centre Department of Energy Mines and Resources OttawaON Canada Construction Materials Section Mines Branch Department of Energy Mines and Resources OttawaON Canada
This paper describes the use of a digital computer in the design of concrete mixes for large construction projects. The salient features of a program called CONMIX are outlined, the nature of input data and output arc... 详细信息
来源: 评论
Gracefully adding negation and disjunction to Prolog  3rd
收藏 引用
3rd International Conference on Logic programming, ICLP 1986
作者: Poole, David L. Goebel, Randy Logic Programming and Artificial Intelligence Group Department of Computer Science University of Waterloo WaterlooONN2L 3G1 Canada
We show how one can add negation and disjunction to Prolog, with the property that there is no overhead in run time if we do not use the negation, and we only pay for the negation when we actually use it. The extensio... 详细信息
来源: 评论
High-speed migration by anticipative mobility
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2913卷 500-510页
作者: Stoops, Luk Verelst, Karsten Mens, Tom D'Hondt, Theo Department of Computer Science Programming Technology Laboratory Vrije Universiteit Brussel Belgium
In the advent of ambient intelligence, introducing ubiquitous mobile systems and services in general and mobile code in particular, network latency becomes a critical factor, especially in wireless, low-bandwidth envi... 详细信息
来源: 评论
Normalisation by evaluation for dependent types  1
Normalisation by evaluation for dependent types
收藏 引用
1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016
作者: Altenkirch, Thorsten Kaposi, Ambrus School for Computer Science University of Nottingham Nottingham United Kingdom Department of Programming Languages and Compilers Eötvös Loránd University Budapest Hungary
We develop normalisation by evaluation (NBE) for dependent types based on presheaf categories. Our construction is formulated using internal type theory using quotient inductive types. We use a typed presentation henc... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+  54
WIP: An Engaging Undergraduate Intro to Model Checking in So...
收藏 引用
54th IEEE Frontiers in Education Conference, FIE 2024
作者: Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into com... 详细信息
来源: 评论
Multi-fuzzy complex nilpotent matrices
收藏 引用
International Journal of Fuzzy System Applications 2016年 第4期5卷 52-76页
作者: Dey, Asit Pal, Madhumangal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India
In this paper, the concept of multi-fuzzy matrix (MFM), multi-fuzzy complex matrix (MFCM), generalized multi-fuzzy complex matrix (GMFCM), generalized multi-fuzzy complex nilpotent matrix (GMFCNM) are introduced and h... 详细信息
来源: 评论
Direct and Inverse Optimization Problems in a Gas Deposit Model  15
Direct and Inverse Optimization Problems in a Gas Deposit Mo...
收藏 引用
15th International Conference Management of Large-Scale System Development, MLSD 2022
作者: Skiba, Alexander Federal Research Center 'Computer Science and Control' of the Russian Academy of Sciences Design Methods for Developing Systems Department of Mathematical Methods of Regional Programming Moscow Russia
A continuous dynamic model for the development of a gas field is studied. Two mathematical problems are posed, solved and analyzed. In the direct problem, we are looking for the maximum accumulated profit on a set of ... 详细信息
来源: 评论
Multi-item EPQ model with learning effect on imperfect production over fuzzy-random planning horizon
收藏 引用
Journal of Management Analytics 2017年 第1期4卷 80-110页
作者: Amalesh Kumar Manna Barun Das Jayanta Kumar Dey Shyamal Kumar Mondal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar UniversityMidnapore-721102WBIndia Department of Mathematics Sidho-Kanho-Birsha UniversityPuruliaWBIndia Department of Mathematics Mahishadal Raj CollegeMahishadal721628WBIndia
Uncertainty is certain in the world of *** study revisits an economic production quantity(EPQ)model with shortages for stock-dependent demand of the items with reworking and disposing of the imperfect ones over a rand... 详细信息
来源: 评论