咨询与建议

限定检索结果

文献类型

  • 119 篇 会议
  • 103 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 149 篇 工学
    • 124 篇 计算机科学与技术...
    • 65 篇 软件工程
    • 25 篇 电气工程
    • 21 篇 信息与通信工程
    • 17 篇 控制科学与工程
    • 14 篇 电子科学与技术(可...
    • 5 篇 材料科学与工程(可...
    • 4 篇 土木工程
    • 3 篇 机械工程
    • 3 篇 动力工程及工程热...
    • 3 篇 建筑学
    • 3 篇 船舶与海洋工程
    • 3 篇 安全科学与工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 生物医学工程(可授...
  • 63 篇 理学
    • 47 篇 数学
    • 10 篇 物理学
    • 8 篇 统计学(可授理学、...
    • 4 篇 生物学
    • 4 篇 系统科学
    • 3 篇 化学
    • 2 篇 海洋科学
  • 20 篇 管理学
    • 10 篇 图书情报与档案管...
    • 8 篇 管理科学与工程(可...
    • 5 篇 工商管理
  • 13 篇 医学
    • 9 篇 基础医学(可授医学...
    • 6 篇 临床医学
    • 3 篇 公共卫生与预防医...
  • 4 篇 农学
    • 3 篇 作物学
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 哲学
  • 1 篇 教育学
  • 1 篇 文学

主题

  • 23 篇 laboratories
  • 11 篇 hardware
  • 10 篇 computer archite...
  • 8 篇 software enginee...
  • 6 篇 concurrent compu...
  • 6 篇 interference
  • 6 篇 computational mo...
  • 6 篇 costs
  • 6 篇 performance anal...
  • 6 篇 formal specifica...
  • 6 篇 algebra
  • 5 篇 computer science
  • 5 篇 operating system...
  • 5 篇 program processo...
  • 5 篇 semantics
  • 5 篇 protocols
  • 5 篇 functional progr...
  • 5 篇 delay
  • 5 篇 heuristic algori...
  • 4 篇 parallel algorit...

机构

  • 21 篇 programming rese...
  • 6 篇 oxford universit...
  • 4 篇 german research ...
  • 4 篇 department of ap...
  • 4 篇 industrial mathe...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 oxford universit...
  • 3 篇 oxford universit...
  • 3 篇 fund for scienti...
  • 3 篇 programming rese...
  • 3 篇 computing labora...
  • 3 篇 department of co...
  • 2 篇 oxford universit...
  • 2 篇 programming rese...
  • 2 篇 international in...
  • 2 篇 programming rese...
  • 2 篇 ibm thomas j. wa...

作者

  • 7 篇 hoare car
  • 6 篇 youfeng wu
  • 5 篇 felix wolf
  • 4 篇 cheng wang
  • 4 篇 bowen jonathan
  • 4 篇 w. luk
  • 4 篇 he jf
  • 4 篇 sanders j.w.
  • 4 篇 j. e. nicholls
  • 4 篇 he jifeng
  • 4 篇 luk w
  • 3 篇 noeiaghdam samad
  • 3 篇 de meuter wolfga...
  • 3 篇 todd bs
  • 3 篇 dedecker jessie
  • 3 篇 m.y.h. low
  • 3 篇 van cutsem tom
  • 3 篇 mostinckx stijn
  • 3 篇 jifeng he
  • 3 篇 wolf felix

语言

  • 216 篇 英文
  • 10 篇 其他
检索条件"机构=Laboratory of Research in Programming"
226 条 记 录,以下是21-30 订阅
排序:
On the inability of Markov models to capture criticality in human mobility
arXiv
收藏 引用
arXiv 2018年
作者: Kulkarni, Vaibhav Mahalunkar, Abhijit Garbinato, Benoit Kelleher, John D. Distributed Object Programming Laboratory UNIL-HEC Lausanne Switzerland Applied Intelligence Research Center Dublin Institute of Technology
We examine the non-Markovian nature of human mobility by exposing the inability of Markov models to capture criticality in human mobility. In particular, the assumed Markovian nature of mobility was used to establish ... 详细信息
来源: 评论
Abstract modelling: Towards a typed declarative language for the conceptual modelling phase  17
Abstract modelling: Towards a typed declarative language for...
收藏 引用
8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2017
作者: Legatiuk, Dmitrii Nilsson, Henrik DFG Research Training Group 1462 Bauhaus-Universität Weimar Weimar Germany Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom
The growing complexity of modern engineering tasks necessitates improved tool support for modelling, in particular tools allowing early detection of modelling errors. Broadly, there are two classes of modelling errors... 详细信息
来源: 评论
Scientific Data Lake for High Luminosity LHC project and other data-intensive particle and astro-particle physics experiments
收藏 引用
Journal of Physics: Conference Series 2020年 第1期1690卷
作者: A Alekseev A Kiryanov A Klimentov T Korchuganova V Mitsyn D Oleynik A Smirnov S Smirnov A Zarochentsev Compiler Technology Department Ivannikov Institute for System Programming of the RAS Moscow 109004 Russia Cloud technologies and Big Data analytics laboratory Plekhanov Russian University of Economics Moscow 117997 Russia ATLAS group Universidad Andres Bello Santiago 7550196 Chile Department of computing resources and technologies NRC 'Kurchatov Institute' - PNPI 188300 Gatchina Russia Physics Department Brookhaven National Laboratory Upton NY 11973 USA Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna 141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow 115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg 198504 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 ...
来源: 评论
Scheduling Chapel tasks with Qthreads on manycore: A tale of two schedulers  7
Scheduling Chapel tasks with Qthreads on manycore: A tale of...
收藏 引用
7th International Workshop on Runtime and Operating Systems for Supercomputers, ROSS 2017
作者: Evans, Noah Olivier, Stephen L. Barrett, Richard Stelle, George Center for Computing Research Sandia National Laboratories AlbuquerqueNM United States Sandia National Laboratories AlbuquerqueNM United States Programming Models Team Los Alamos National Laboratory Los AlamosNM United States
This paper describes improvements in task scheduling for the Chapel parallel programming language provided in its default on-node tasking runtime, the Qthreads library. We describe a new scheduler distrib which builds... 详细信息
来源: 评论
Conceptual model of the VR module for “Virtual plaza for interactive presentation of Bulgarian cultural heritage”
收藏 引用
AIP Conference Proceedings 2019年 第1期2172卷
作者: Angel Bachvarov Dimo Chotrov Yordan Yordanov Zlatka Uzunova 1Technical University Sofia Faculty of Mechanical Engineering Department Automation of Discrete Production Engineering Bulgaria 2Technical University Sofia Faculty of Computer Systems and Technologies Department Programming and Computer Technologies Bulgaria 3Technical University Sofia Faculty of German Engineering Education and Industrial Management Bulgaria 4Research and Development and Innovation Consortium Virtual and Augmented Reality Laboratory Bulgaria
In the last years, Virtual Reality (VR) has been established itself as a highly promising media technology for reconstruction and presentation of cultural heritage sites to a wide audience. Virtual Reality enables not...
来源: 评论
Revealing academic web interlinking motives through webometrics and statistical techniques: Nigerian university websites as a case study
收藏 引用
International Journal of Web Engineering and Technology 2016年 第4期11卷 335-350页
作者: Nwohiri, Anthony M. Pechnikov, Andrey A. Department of Programming Technologies Faculty of Applied Mathematics and Control Processes St. Petersburg State University 7-9 Universitetskaya Naberezhnaya St. Petersburg199034 Russia Laboratory for Telecommunications Systems Institute of Applied Mathematical Research Karelian Research Centre Russian Academy of Sciences Russia 11 Pushkinskaya Street Petrozavodsk Karelia Rep.185910 Russia
The websites of the universities of Africa's most populous country Nigeria were examined. The goal was to unearth the reasons why external hyperlinks are placed on these sites and identify any peculiarities by geo... 详细信息
来源: 评论
Including gap junctions into distributed neuronal network simulations  1
收藏 引用
2nd International Workshop on Brain-Inspired Computing, BrainComp 2015
作者: Hahne, Jan Helias, Moritz Kunkel, Susanne Igarashi, Jun Kitayama, Itaru Wylie, Brian Bolten, Matthias Frommer, Andreas Diesmann, Markus School of Mathematics and Natural Sciences University of Wuppertal Wuppertal Germany and JARA BRAIN Institute I Jülich Research Centre Jülich Germany RIKEN Advanced Institute for Computational Science Programming Environment Research Team Kobe Japan Department of Computational Science and Technology School of Computer Science and Communication KTH Royal Institute of Technology Stockholm Sweden Simulation Laboratory Neuroscience Bernstein Facility for Simulation and Database Technology Institute for Advanced Simulation Jülich Aachen Research Alliance Jülich Research Centre Jülich Germany Okinawa Institute of Science and Technology Neural Computation Unit Okinawa Japan Laboratory for Neural Circuit Theory RIKEN Brain Science Institute Wako Japan HPC Usability Research Team RIKEN Advanced Institute for Computational Science Kobe Japan Jülich Supercomputing Centre Jülich Research Centre Jülich Germany Institut für Mathematik Universität Kassel Kassel Germany Department of Psychiatry Psychotherapy and Psychosomatics Medical Faculty RWTH Aachen University Aachen Germany Department of Physics Faculty 1 RWTH Aachen University Aachen Germany
Contemporary simulation technology for neuronal networks enables the simulation of brain-scale networks using neuron models with a single or a few compartments. However, distributed simulations at full cell density ar... 详细信息
来源: 评论
Automatic Fault Detection in WDM-PON with Tunable Photon Counting OTDR
收藏 引用
Journal of Lightwave Technology 2015年 第24期33卷 5025-5031页
作者: Amaral, Gustavo C. Garcia, Joaquim D. Herrera, Luis E. Y. Temporão, Guilherme P. Urban, Patryk J. Von Der Weid, Jean Pierre Center for Telecommunications Studies Pontifical Catholic University of Rio de Janeiro Rio de Janeiro22451-900 Brazil Laboratory for Applied Mathematical Programming and Statistics Pontifical Catholic University of Rio de Janeiro Rio de Janeiro22451-900 Brazil Ericsson Research Ericsson AB Stockholm164 83 Sweden
An automatic fiber-optical fault analysis system making use of a tunable photon counting optical time-domain reflectometry (OTDR) (ν-OTDR) is proposed and demonstrated in a passive optical network testbed. The employ... 详细信息
来源: 评论
Eigenvalue tunneling and decay of quenched random network
收藏 引用
Physical Review E 2016年 第6期94卷 062313-062313页
作者: V. Avetisov M. Hovhannisyan A. Gorsky S. Nechaev M. Tamm O. Valba N. N. Semenov Institute of Chemical Physics of the Russian Academy of Sciences 119991 Moscow Russia Department of Applied Mathematics National Research University Higher School of Economics 101000 Moscow Russia Chair of Programming and Information Technologies Yerevan State University Yerevan Armenia Institute of Information Transmission Problems Russian Academy of Sciences Moscow Russia Moscow Institute of Physics and Technology Dolgoprudny 141700 Russia Poncelet Laboratory Centre National de la Recherche Scientifique (UMI2615) Independent University of Moscow Moscow Russia P. N. Lebedev Physical Institute Russian Academy of Sciences 119991 Moscow Russia Physics Department Moscow State University 119992 Moscow Russia
We consider the canonical ensemble of N-vertex Erdős-Rényi (ER) random topological graphs with quenched vertex degree, and with fugacity μ for each closed triple of bonds. We claim complete defragmentation of la... 详细信息
来源: 评论
Publisher Correction: Re-analysis of public genetic data reveals a rare X-chromosomal variant associated with type 2 diabetes
收藏 引用
Nature communications 2018年 第1期9卷 2162页
作者: Sílvia Bonàs-Guarch Marta Guindo-Martínez Irene Miguel-Escalada Niels Grarup David Sebastian Elias Rodriguez-Fos Friman Sánchez Mercè Planas-Fèlix Paula Cortes-Sánchez Santi González Pascal Timshel Tune H Pers Claire C Morgan Ignasi Moran Goutham Atla Juan R González Montserrat Puiggros Jonathan Martí Ehm A Andersson Carlos Díaz Rosa M Badia Miriam Udler Aaron Leong Varindepal Kaur Jason Flannick Torben Jørgensen Allan Linneberg Marit E Jørgensen Daniel R Witte Cramer Christensen Ivan Brandslund Emil V Appel Robert A Scott Jian'an Luan Claudia Langenberg Nicholas J Wareham Oluf Pedersen Antonio Zorzano Jose C Florez Torben Hansen Jorge Ferrer Josep Maria Mercader David Torrents Barcelona Supercomputing Center (BSC) Joint BSC-CRG-IRB Research Program in Computational Biology 08034 Barcelona Spain. Genomic Programming of Beta-cells Laboratory Institut d'Investigacions August Pi i Sunyer (IDIBAPS) 08036 Barcelona Spain. Instituto de Salud Carlos III Centro de Investigación Biomédica en Red de Diabetes y Enfermedades Metabólicas Asociadas (CIBERDEM) 28029 Madrid Spain. Section of Epigenomics and Disease Department of Medicine Imperial College London London W12 0NN UK. The Novo Nordisk Foundation Center for Basic Metabolic Research Section for Metabolic Genetics Faculty of Health and Medical Sciences University of Copenhagen 2100 Copenhagen Denmark. Institute for Research in Biomedicine (IRB Barcelona) The Barcelona Institute of Science and Technology Baldiri Reixac 10-12 08028 Barcelona Spain. Departament de Bioquímica i Biomedicina Molecular Facultat de Biologia Universitat de Barcelona 08028 Barcelona Spain. Computer Sciences Department Barcelona Supercomputing Center (BSC-CNS) 08034 Barcelona Spain. Department of Epidemiology Research Statens Serum Institut 2300 Copenhagen Denmark. Division of Endocrinology and Center for Basic and Translational Obesity Research Boston Children's Hospital Boston MA 02116 USA. Medical and Population Genetics Program Broad Institute of MIT and Harvard Cambridge MA 02142 USA. ISGlobal Centre for Research in Environmental Epidemiology (CREAL) 08003 Barcelona Spain. CIBER Epidemiología y Salud Pública (CIBERESP) 28029 Madrid Spain. Universitat Pompeu Fabra (UPF) 08003 Barcelona Spain. Artificial Intelligence Research Institute (IIIA) Spanish Council for Scientific Research (CSIC) 28006 Madrid Spain. Programs in Metabolism and Medical and Population Genetics Broad Institute of Harvard and MIT Cambridge MA 02142 USA. Diabetes Unit and Center for Genomic Medicine Massachusetts General Hospital Boston MA 02114 USA. Division of General Internal Medicine Massachusetts General Hospital Bost
In the originally published version of this Article, the affiliation details for Santi González, Jian'an Luan and Claudia Langenberg were inadvertently omitted. Santi González should have been affiliated...
来源: 评论