咨询与建议

限定检索结果

文献类型

  • 120 篇 会议
  • 62 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 120 篇 工学
    • 100 篇 计算机科学与技术...
    • 71 篇 软件工程
    • 17 篇 信息与通信工程
    • 13 篇 控制科学与工程
    • 8 篇 土木工程
    • 7 篇 电气工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 机械工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 船舶与海洋工程
    • 4 篇 安全科学与工程
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 农业工程
    • 2 篇 网络空间安全
  • 51 篇 理学
    • 30 篇 数学
    • 9 篇 系统科学
    • 7 篇 生物学
    • 6 篇 化学
    • 5 篇 物理学
    • 4 篇 海洋科学
    • 4 篇 统计学(可授理学、...
  • 19 篇 管理学
    • 11 篇 管理科学与工程(可...
    • 8 篇 图书情报与档案管...
    • 3 篇 工商管理
  • 3 篇 教育学
    • 3 篇 教育学
  • 3 篇 农学
  • 3 篇 医学
    • 3 篇 基础医学(可授医学...
    • 3 篇 临床医学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 军事学

主题

  • 15 篇 computer science
  • 10 篇 laboratories
  • 9 篇 programming prof...
  • 7 篇 application soft...
  • 6 篇 programming envi...
  • 5 篇 software enginee...
  • 5 篇 educational inst...
  • 5 篇 visualization
  • 5 篇 hardware
  • 4 篇 compilers
  • 4 篇 education
  • 4 篇 logic programmin...
  • 4 篇 computer languag...
  • 4 篇 computational mo...
  • 4 篇 security
  • 4 篇 artificial intel...
  • 4 篇 equations
  • 4 篇 functional progr...
  • 3 篇 runtime
  • 3 篇 libraries

机构

  • 7 篇 functional progr...
  • 4 篇 visualization an...
  • 3 篇 german research ...
  • 3 篇 laboratory for a...
  • 3 篇 programming envi...
  • 3 篇 department of in...
  • 3 篇 programming lang...
  • 3 篇 institute for so...
  • 3 篇 programming tech...
  • 3 篇 department of co...
  • 2 篇 programming envi...
  • 2 篇 programming mode...
  • 2 篇 laboratory of au...
  • 2 篇 department of co...
  • 2 篇 languages and pr...
  • 2 篇 computer and pro...
  • 2 篇 laboratory for a...
  • 2 篇 laboratory on sp...
  • 2 篇 dep. of computin...
  • 2 篇 parallel program...

作者

  • 9 篇 fritzson peter
  • 4 篇 choe km
  • 4 篇 nilsson henrik
  • 4 篇 wolf felix
  • 3 篇 de meuter wolfga...
  • 3 篇 dedecker jessie
  • 3 篇 peter fritzson
  • 3 篇 pontelli enrico
  • 3 篇 c.d. hundhausen
  • 3 篇 qin xiaolin
  • 3 篇 mostinckx stijn
  • 3 篇 yong feng
  • 3 篇 gupta gopal
  • 3 篇 d'hondt theo
  • 3 篇 felix wolf
  • 3 篇 alvarez-picallo ...
  • 3 篇 zanasi fabio
  • 3 篇 sprunger david
  • 2 篇 mertin gunda
  • 2 篇 j.l. brown

语言

  • 182 篇 英文
  • 1 篇 其他
检索条件"机构=Computer and Programming Laboratory"
183 条 记 录,以下是161-170 订阅
排序:
Method for calculating of R-learning traffic peakedness
Method for calculating of R-learning traffic peakedness
收藏 引用
International Scientific-Practical Conference Problems of Infocommunications Science and Technology
作者: Nina Kuchuk Oleksandr Mozhaiev Mykhailo Mozhaiev Heorgii Kuchuk Department of Computer Science National University Kharkiv Ukraine Laboratory on Speech and Audio Computer Engineering and Telecommunication Kharkov SRI examinations named Dist. prof. N.S. Bokariusa Kharkiv Ukraine Department of Information Technologies Kharkiv National University of Internal Affairs Kharkiv Ukraine Department of Computer science and programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine
In this article e-leaming traffic which is served by system on the hyper convergent platform is considered. It was done the analysis of the known methods of determine the degree of pulsation of traffic. The method for... 详细信息
来源: 评论
Extraction of human mandible bones from multi-slice computed tomographic data
Extraction of human mandible bones from multi-slice computed...
收藏 引用
Middle East Conference on Biomedical Engineering (MECBME)
作者: Tamer M. Nassef Nahed H. Solouma Mohamed Alkhodary Mona K. Marei Yasser M. Kadah Computer and Programming Engineering Department Misr University for Science and Technology Six of October City Egypt Tissue Engineering Laboratory Alexandria University Alexandria Egypt National Institute of Laser Science Cairo University Giza Egypt Biomedical Engineering Department Cairo University Giza Egypt
A new approach for segmenting different anatomical regions in dental Computed Tomography (CT) studies is presented in this paper. It is expected that the proposed approach will help automate different tissues regions ... 详细信息
来源: 评论
From fault tolerance to security and back
收藏 引用
IEEE Distributed Systems Online 2003年 第9期4卷
作者: Gartner, Felix C. Buttyan, Levente Kursawe, Klaus Swiss Fed. Institute of Technology Switzerland Budapest Univ. of Technol./Economics Hungary IBM Research Distributed Programming Laboratory Swiss Fed. Institute of Technology Lausanne Switzerland Lab. of Cryptography/System Security Budapest Univ. of Technol./Economics Hungary Department of Computer Switzerland
No abstract available
来源: 评论
Synchronizing the Timestamps of Concurrent Events in Traces of Hybrid MPI/OpenMP Applications
Synchronizing the Timestamps of Concurrent Events in Traces ...
收藏 引用
IEEE International Conference on Cluster Computing
作者: Daniel Becker Markus Geimer Rolf Rabenseifner Felix Wolf Department of Computer Science RWTH Aachen University Aachen Germany German Research School for Simulation Sciences Laboratory for Parallel Programming Aachen Germany Forschungszentrum Jülich Jülich Supercomputing Centre Jülich Germany University of Stuttgart High Performance Computing-Center Stuttgart Germany
Event traces are helpful in understanding the performance behavior of parallel applications since they allow the in-depth analysis of communication and synchronization patterns. However, the absence of synchronized cl... 详细信息
来源: 评论
Using the Model of a Functional Rationalizer of Consumer Behavior in Recommendation Systems for Managing the Transport Activity of the Urban Population  23
Using the Model of a Functional Rationalizer of Consumer Beh...
收藏 引用
23rd International Conference on Soft Computing and Measurements, SCM 2020
作者: Seliverstov, Yaroslav A. Seliverstov, Svytoslav A. Podoprigora, Nikolay V. Starichenkov, Alexey L. Naryshkin, Roman S. Solomenko Institute of Transport Problems Russian Academy of Sciences Institute of Computer Science and Technology Peter the Great St.Petersburg Polytechnic University Laboratory of Intelligent Transport Systems St. Petersburg Russia Saint Petersburg State University of Architecture and Civil Engineering Department of Ground Transportation Technological Machines St. Petersburg Russia Saint Petersburg Electrotechnical University 'LETI' Department of Ship Control Systems St. Petersburg Russia Saint Petersburg State University Department of Programming Technology St. Petersburg Russia
An overview of existing urban software mobile applications of the transport and economic direction is given. A model of a functional rationalizer of consumer behavior is being built. The software model of the function... 详细信息
来源: 评论
Functorial string diagrams for reverse-mode automatic differentiation
arXiv
收藏 引用
arXiv 2021年
作者: Alvarez-Picallo, Mario Ghica, Dan R. Sprunger, David Zanasi, Fabio Programming Languages Laboratory Huawei Research Centre 2 Semple Str. EdinburghEH3 8BL United Kingdom Computer Science and University of Birmingham Birmingham EnglandB15 2TT United Kingdom Computer Science University College London London EnglandWC1E 6BT United Kingdom
We enhance the calculus of string diagrams for monoidal categories with hierarchical features in order to capture closed monoidal (and cartesian closed) structure. Using this new syntax we formulate an automatic diffe... 详细信息
来源: 评论
Editorial: Special issue dedicated to ICFP 2010
收藏 引用
Journal of Functional programming 2012年 第4-5期22卷 379-381页
作者: UMUT A. ACAR JAMES CHENEY STEPHANIE WEIRICH Programming Languages and Systems Group Max Planck Institute for Software Systems Germany (e-mail: umut@***) Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh UK (e-mail: jcheney@inf.ed.ac.uk) School of Engineering and Applied Science University of Pennsylvania Philadelphia PA 19104 USA (e-mail: sweirich@cis.upenn.edu)
The 15th ACM SIGPLAN International Conference on Functional programming (ICFP) took place on September 27–29, 2010 in Baltimore, Maryland. After the conference, the programme committee, chaired by Stephanie Weirich, ...
来源: 评论
Quadripartitioned Neutrosophic Graph Structures
收藏 引用
Neutrosophic Sets and Systems 2022年 51卷 269-294页
作者: Hussain, S. Satham Rashmonlou, Hossein Mofidnakhaei, F. Hussain, R Jahir Sahoo, Sankar Broumi, Said PG & Research Department of Mathematics Jamal Mohamed College Tamilnadu Trichy India Department of Mathematics University of Mazandarn Babolsar Iran Department of Physics Sari Branch Islamic Azad University Sari Iran Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Laboratory of Information Processing Faculty of Science Ben M’Sik University Hassan II Casablanca Morocco
The quadripartitioned neutrosophic set is the partition of indeterminacy function of the neutrosophic set into contradiction part and ignorance part. In this work, the concept of quadripartitioned neutrosophic graph s... 详细信息
来源: 评论
Heuristic Search for New Microcircuit Structures: An Application of Artificial Intelligence
收藏 引用
AI Magazine 1982年 第3期3卷
作者: Douglas B. Lenat William R. Sutherland James Gibbons Heuristic Programming Project Department of Computer Science Stanford University Sutherland Sproull & Associates Inc Stanford Electronics Laboratory Stanford University
Summary Eurisko is an AI program that learns by discovery We are applying Eurisko to the task of inventing new kinds of three-dimensional microelectronic devices that can then be fabricated using recently developed la...
来源: 评论
Yet another efficient backward execution algorithm in the AND/OR process model
收藏 引用
Information Processing Letters 1992年 第3期43卷 165-165页
作者: Do-Hyung Kim Kwang-Moo Choe Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusung-Gu Taejon 305-701 South Korea
来源: 评论