咨询与建议

限定检索结果

文献类型

  • 626 篇 会议
  • 341 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 566 篇 工学
    • 422 篇 计算机科学与技术...
    • 299 篇 软件工程
    • 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 篇 军事学

主题

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

机构

  • 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
  • 19 篇 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

语言

  • 947 篇 英文
  • 16 篇 其他
  • 4 篇 中文
  • 1 篇 土耳其文
检索条件"机构=Department of Computer Programming"
968 条 记 录,以下是761-770 订阅
排序:
Debugging natural semantics specifications  05
Debugging natural semantics specifications
收藏 引用
AADEBUG 2005: 6th International Symposium on Automated and Analysis-Driven Debugging
作者: Pop, Adrian Fritzson, Peter Programming Environments Laboratory Department of Computer and Information Science Linköping University S-58183 Linköping
In this paper we present the design and usage of a debugging framework for the Relational Meta-Language (RML), which is a language for writing executable Natural Semantics specifications. The language is successfully ... 详细信息
来源: 评论
Component + aspect = An extensible and adaptable system software
Component + aspect = An extensible and adaptable system soft...
收藏 引用
2005 International Conference on Software Engineering Research and Practice, SERP'05
作者: Netinant, Paniti Department of Computer Science Bangkok University Bangkok Thailand Concurrent Programming Research Group Computer Science Department Illinois Institute of Technology Chicago IL United States
The benefits associated with separation of concerns are well established. Aspect-Orientation is a methodology that aims at separating components and aspects from the early stages of the software life cycle, and using ... 详细信息
来源: 评论
Strict bidirectional type checking
Strict bidirectional type checking
收藏 引用
TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
作者: Chlipala, Adam Petersen, Leaf Harper, Robert Computer Science Division University of California Berkeley United States Programming Systems Laboratory Intel Corporation United States Computer Science Department Carnegie Mellon University United States
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, the completely annotated forms are alm... 详细信息
来源: 评论
Inventory of deteriorating complementary and substitute items with stock dependent demand
收藏 引用
American Journal of Mathematical and Management Sciences 2005年 第1-2期25卷 83-96页
作者: Maity, K. Maiti, M. Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore - 721 102 India
The optimal production for an inventory control system of deteriorating multi-items where items are of complementary or substitute types is formulated with a resource constraint. Here, it is assumed that substitute pr... 详细信息
来源: 评论
The use of a Reasoning process to solve the almost SLAM Challenge at the Robocup legged league
The use of a Reasoning process to solve the almost SLAM Chal...
收藏 引用
8th Catalan Conference on Artificial Intelligence, CCIA 2005
作者: Monferrer, M. Teresa Escrig Broch, Juan Carlos Peris Jaume I University Engineering and Computer Science Department Campus Riu Sec CastellónE-12071 Spain Jaume I University Programming Languages and Computer Systems Department Campus Riu Sec CastellónE-12071 Spain
The problem that a robot navigates autonomously through its environment, builds its own map and localizes itself in the map (known a the SLAM problem), is still an open problem. Most of the approaches to solve the SLA... 详细信息
来源: 评论
Heterogeneous computing
Heterogeneous computing
收藏 引用
作者: Kalinov, Alexey Lastovetsky, Alexey Robert, Yves Institue for System Programming Russain Academy of Sciences B. Kommunisticheskaya 25 109004 Moscow Russia Department of Computer Science University College Dublin Belfield Dublin 4 Ireland LIP Ecole Normale Supérieure de Lyon Laboratoire LIP F-69364 Lyon Cedex 07 France
No abstract available
来源: 评论
A dynamic compilation framework for controlling microprocessor energy and performance
A dynamic compilation framework for controlling microprocess...
收藏 引用
IEEE/ACM International Symposium on Microarchitecture (MICRO)
作者: Qiang Wu V.J. Reddi Youfeng Wu Jin Lee D. Connors D. Brooks M. Martonosi D.W. Clark Depts. of Computer Science Electrical Engineering Princeton University USA Department of Electrical and Computer Engineering University of Colorado Boulder USA Programming Systems Laboratory Intel Corporation USA Division of Engineering and Applied Science Harvard University USA
Dynamic voltage and frequency scaling (DVFS) is an effective technique for controlling microprocessor energy and performance. Existing DVFS techniques are primarily based on hardware, OS time-interrupts, or static-com... 详细信息
来源: 评论
New Algorithm for the Identification and Analysis of the Parallel Robots Singularities
收藏 引用
PAMM 2005年 第1期5卷
作者: Doina Pisla Department for Mechanics and Computer Programming TU Cluj-Napoca C. Daicoviciu Str. 15 RO-400020 Cluj-Napoca Romania
The paper presents a new algorithm for the analysis of the kinematic singularities for different parallel structures using a testing stand. The derived expressions are used to superimpose graphical representations of ...
来源: 评论
Efficient compilation of lazy evaluation
Efficient compilation of lazy evaluation
收藏 引用
作者: Johnsson, Thomas Programming Methodology Group Department of Computer Science Chalmers University of Technology S-412 96 Göteborg Sweden
This paper describes the principles underlying an efficient implementation of a lazy functional language, compiling to code for ordinary computers. It is based on combinator-like graph reduction: the user defined func... 详细信息
来源: 评论
OREGON'S GET TOUGH SENTENCING REFORM: A LESSON IN JUSTICE SYSTEM ADAPTATION
收藏 引用
Criminology & Public Policy 2006年 第1期5卷
作者: NANCY MERRITT TERRY FAIN SUSAN TURNER Extensive experience conducting justice system policy studies at the state and local level. As a Policy Analyst with the RAND Corporation and government agencies she designed and directed studies focused on the development implementation and evaluation of sentencing policy as well as juvenile and adult correctional programs. Her current work focuses on the implementation and impact of mandatory sentencing laws cross-jurisdictional variations in their application and the effects of prosecutorial discretion. Additional areas of interest include the development implementation and evaluation of juvenile justice programming. Ms. Merritt received her M.S. from the Pennsylvania State University University Park and is a Ph.D. candidate with the Rutgers University School of Criminal Justice. M.A. M.S. is a Senior project associate in the Behavioral Sciences Department at RAND Corporation. He has extensive research experience in criminal justice and substance abuse. He is expert in computer statistical techniques as well as in managing large datasets. He has conducted analysis for many RAND projects and is author or co-author of numerous publications both from RAND and in peer-reviewed journals. His research interests include alternatives to incarceration substance abuse and treatment racial disparities in prison admissions and research collaborations with state and local justice agencies. Professor in the Department of Criminology Law and Society at the University of California's Irvine campus. She received her Ph.D. in Social Psychology from the University of North Carolina at Chapel Hill. She has led a variety of research projects including studies on racial disparity field experiments of private sector alternatives for serious juvenile offenders work release day fines and a 14–site evaluation of intensive supervision probation. Dr. Turner's areas of expertise include the design and implementation of randomized field experiments and research collaborations with state and local justice agencies. He
Research Summary: Oregon's Measure 11, a mandatory minimum sentencing policy passed in 1994, had fewer negative system impacts than had been anticipated by many state and local criminal justice administrators, due... 详细信息
来源: 评论