咨询与建议

限定检索结果

文献类型

  • 77 篇 会议
  • 57 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 75 篇 工学
    • 57 篇 计算机科学与技术...
    • 36 篇 软件工程
    • 14 篇 信息与通信工程
    • 8 篇 控制科学与工程
    • 7 篇 电气工程
    • 5 篇 土木工程
    • 4 篇 动力工程及工程热...
    • 4 篇 电子科学与技术(可...
    • 4 篇 建筑学
    • 3 篇 机械工程
    • 3 篇 化学工程与技术
    • 3 篇 船舶与海洋工程
    • 3 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 3 篇 安全科学与工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 仪器科学与技术
    • 2 篇 材料科学与工程(可...
  • 37 篇 理学
    • 14 篇 物理学
    • 10 篇 数学
    • 10 篇 生物学
    • 4 篇 化学
    • 3 篇 大气科学
    • 2 篇 海洋科学
    • 2 篇 统计学(可授理学、...
  • 13 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 6 篇 图书情报与档案管...
  • 6 篇 医学
    • 6 篇 临床医学
    • 5 篇 基础医学(可授医学...
  • 2 篇 法学
    • 2 篇 公安学
  • 1 篇 经济学
  • 1 篇 教育学
  • 1 篇 农学
  • 1 篇 军事学

主题

  • 9 篇 application soft...
  • 8 篇 laboratories
  • 7 篇 object oriented ...
  • 6 篇 software systems
  • 6 篇 java
  • 5 篇 computer science
  • 5 篇 programming prof...
  • 5 篇 software enginee...
  • 5 篇 computer languag...
  • 4 篇 compilers
  • 4 篇 scalability
  • 4 篇 logic programmin...
  • 4 篇 documentation
  • 3 篇 runtime
  • 3 篇 packaging
  • 3 篇 operating system...
  • 3 篇 safety
  • 3 篇 contracts
  • 3 篇 performance anal...
  • 3 篇 protocols

机构

  • 10 篇 programming tech...
  • 9 篇 distributed prog...
  • 4 篇 college of preci...
  • 3 篇 programming tech...
  • 3 篇 fund for scienti...
  • 3 篇 programming tech...
  • 2 篇 laboratory for r...
  • 2 篇 ivannikov instit...
  • 2 篇 international in...
  • 2 篇 sun microsystems
  • 2 篇 department of sy...
  • 2 篇 school of naval ...
  • 2 篇 programming mode...
  • 2 篇 institute of nuc...
  • 2 篇 laboratory of au...
  • 2 篇 computer and pro...
  • 2 篇 dep. of computin...
  • 2 篇 civil aviation m...
  • 2 篇 laboratory for r...
  • 2 篇 scalable concurr...

作者

  • 6 篇 r. guerraoui
  • 5 篇 t. tourwe
  • 5 篇 de meuter wolfga...
  • 5 篇 dedecker jessie
  • 5 篇 t. mens
  • 5 篇 mostinckx stijn
  • 4 篇 choe km
  • 4 篇 张贵忠
  • 4 篇 姚键铨
  • 4 篇 van cutsem tom
  • 4 篇 丁欣
  • 4 篇 d'hondt theo
  • 4 篇 李猛
  • 3 篇 薛京灵
  • 2 篇 eugster patrick ...
  • 2 篇 patrick th. eugs...
  • 2 篇 rachid guerraoui
  • 2 篇 p.th. eugster
  • 2 篇 peter ebraert
  • 2 篇 olaniyan olugbem...

语言

  • 131 篇 英文
  • 3 篇 中文
检索条件"机构=Programming Technology Laboratory"
134 条 记 录,以下是101-110 订阅
Vitamin C suppresses ovarian pathophysiology in experimental polycystic ovarian syndrome
收藏 引用
Pathophysiology 2019年 第3-4期26卷 331-341页
作者: Olaniyan, Olugbemi T. Femi, Adebayo Iliya, Gambo Ayobami, Dare Godam, Elvis Olugbenga, Eweoya Bamidele, Okoli Chand Mali, Pratap Laboratory for Reproductive Biology and Developmental Programming Department of Physiology Edo University Iyamho Edo State Nigeria Department of Physiology Bingham University Karu Nasarawa State Nigeria Department of Human Anatomy Rivers State University Port Harcourt Nigeria School of Medicine and Allied Health Sciences University of the Gambia Gambia Institute of Chemical and Biotechnology Vaal University of Technology Southern Gauteng Science and Technology Park Sebokeng South Africa Reproductive Biomedicine and Natural Product Lab Department of Zoology University of Rajasthan Jaipur 302004 India
Background: Polycystic ovary syndrome (PCOS), also known as the Stein-Leventhal syndrome is one of the most common causes of anovulation, infertility and hyperandrogenism in women, affecting between 5–10 % of women o... 详细信息
来源: 评论
IGIP: a framework towards open-ended visual programming
IGIP: a framework towards open-ended visual programming
收藏 引用
IEEE Symposium on Visual Languages
作者: F. Van Reeth E. Flerackers T. D'Hondt Lab. for Appl. Comput. Sci. Limburgs Univ. Centre Diepenbeck Belgium Laboratory for Applied Computer Science Limburg University Center Diepenbeek Belgium Programming Technology Laboratory Free University of Brussels Brussels Belgium
Within the visual programming paradigm there is a vast range of potential for creating program representations. To benefit by these possibilities, it could be worthwhile to make the program representation open-ended, ... 详细信息
来源: 评论
Numerical method for real root isolation of semi-algebraic system and its applications
收藏 引用
Journal of Computational and Theoretical Nanoscience 2016年 第1期13卷 803-811页
作者: Ji, Zhenyi Wu, Wenyuan Feng, Yong Li, Yi Qin, Xiao Lin Sichuan Agricultural University Chengdu611830 China Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology Chinese Academy of Science Chongqing400714 China Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Science Chengdu610041 China
In this paper, based on the homotopy continuation method and the interval Newton method, an efficient algorithm is introduced to isolate the real roots of semi-algebraic system. Tests on some random examples and a var... 详细信息
来源: 评论
Block group preserving correction methods for differential algebraic equations with multiple constraints
收藏 引用
Journal of Computational and Theoretical Nanoscience 2016年 第7期13卷 4042-4049页
作者: Lu, Jianguang Qin, Xiaolin Feng, Yong Tang, Juan Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Science Chengdu610041 China Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology Chinese Academy of Science Chongqing400714 China University of Chinese Academy of Science Beijing100049 China
In this paper, we combine the Euler scheme with the block group preserving methods to obtain the high accuracy block group preserving techniques. High index differential algebraic equations (DAEs) may have hidden alge... 详细信息
来源: 评论
BULK-SYNCHRONOUS PARALLEL ALGORITHMS FOR QR AND QZ MATRIX FACTORISATION
收藏 引用
Parallel Algorithms and Applications. 1997年 第1-2期11卷 97-112页
作者: RADU CALINESCU DAVID J. EVANS [a] Programming Research Group Oxford University Computing Laboratory Oxford 0X1 3QD UK [b] Parallel Algorithms Research Centre Loughborough University of Technology Loughborough Leicestershire LE11 3TU UK
This paper presents bulk-synchronous parallel (BSP) algorithms for linear system solving through QR and QZ factorisation. The two new algorithms are analysed in terms of the BSP cost model, and portable implementation... 详细信息
来源: 评论
Improving performance of all-to-all communication through loop scheduling in PGAS environments  13
Improving performance of all-to-all communication through lo...
收藏 引用
27th ACM International Conference on Supercomputing, ICS 2013
作者: Alvanos, Michail Tanase, Gabriel Farreras, Montse Tiotto, Ettore Amaral, José Nelson Martorell, Xavier Programming Models Barcelona Supercomputer Center Barcelona Spain IBM TJ Watson Research Center Yorktown Heights NY United States Dep. of Computer Architecture Universitat Politècnica de Catalunya Barcelona Spain Static Compilation Technology IBM Toronto Laboratory Toronto ON Canada Dep. of Computing Science University of Alberta Edmonton AB Canada IBM Canada CAS Research Markham ON Canada
No abstract available.
来源: 评论
How file access patterns influence interference among cluster applications
How file access patterns influence interference among cluste...
收藏 引用
IEEE International Conference on Cluster Computing
作者: Chih-Song Kuo Aamer Shah Akihiro Nomura Satoshi Matsuoka Felix Wolf Department of Computer Science RWTH Aachen University Aachen Germany German Research School for Simulation Sciences Laboratory for Parallel Programming Aachen Germany Tokyo Institute of Technology Global Scientific Information and Computing Center Tokyo Japan
On large-scale clusters, tens to hundreds of applications can simultaneously access a parallel file system, leading to contention and in its wake to degraded application performance. However, the degree of interferenc... 详细信息
来源: 评论
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
来源: 评论
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... 详细信息
来源: 评论
Scientific Data Lake for High Luminosity LHC project and other data-intensive particle and astro-particle physics experiments  5
Scientific Data Lake for High Luminosity LHC project and oth...
收藏 引用
5th International Conference on Particle Physics and Astrophysics, ICPPA 2020
作者: Alekseev, A. Kiryanov, A. Klimentov, A. Korchuganova, T. Mitsyn, V. Oleynik, D. Smirnov, A. Smirnov, S. Zarochentsev, A. Compiler Technology Department Ivannikov Institute for System Programming of the Ras Moscow109004 Russia Cloud Technologies and Big Data Analytics Laboratory Plekhanov Russian University of Economics Moscow117997 Russia Atlas Group Universidad Andres Bello Santiago7550196 Chile Department of Computing Resources and Technologies Nrc "kurchatov Institute"-PNPI Gatchina188300 Russia Physics Department Brookhaven National Laboratory UptonNY11973 United States Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg198504 Russia
The next phase of LHC Operations-High Luminosity LHC (HL-LHC), which is aimed at ten-fold increase in the luminosity of proton-proton collisions at the energy of 14 TeV, is expected to start operation in 2027-2028 and... 详细信息
来源: 评论