咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

  • 18 篇 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 篇 computing labora...
  • 3 篇 department of co...
  • 2 篇 oxford universit...
  • 2 篇 programming rese...
  • 2 篇 international in...
  • 2 篇 programming rese...
  • 2 篇 ibm thomas j. wa...
  • 2 篇 programming mode...

作者

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

语言

  • 211 篇 英文
  • 7 篇 其他
检索条件"机构=Laboratory of Research in Programming"
218 条 记 录,以下是1-10 订阅
Rewriting for Monoidal Closed Categories  7
Rewriting for Monoidal Closed Categories
收藏 引用
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022
作者: Alvarez-Picallo, Mario Ghica, Dan Sprunger, David Zanasi, Fabio Programming Languages Laboratory Huawei Research Centre United Kingdom Department of Computer Science University of Birmingham United Kingdom Programming Languages Laboratory Huawei Research Centre Reading United Kingdom Department of Computer Science University College London United Kingdom
This paper develops a formal string diagram language for monoidal closed categories. Previous work has shown that string diagrams for freely generated symmetric monoidal categories can be viewed as hypergraphs with in... 详细信息
来源: 评论
Technological parameters of thin-film pulsed laser scribing for perovskite photovoltaics
收藏 引用
Clean Energy 2024年 第3期8卷 127-135页
作者: Rustam Ishteev Pavel Gostishchev Mariia Tiukhova Anton Sorokin Arthur Ishteev Vladimir Kondratenko Laboratory of Precision Machining of Materials Department of NanoelectronicsInstitute for Advanced Technologies and Industrial ProgrammingRTU MIREAMoscowRussia Research and Practical Clinical Center for Diagnostics and Telemedicine Technologies of the Moscow Health Care Department MoscowRussia Laboratory of Advanced Solar Energy(LASE) National University of Science and Technology MISIS4 Leninsky St.MoscowRussia Semenov Federal Research Center of Chemical Physics Russian Academy of Sciences(RAS)4 Kosygina str.MoscowRussia
Over the past decade,the power conversion efficiency of halide perovskite solar cells has shown a rapid increase to 26.1%.The sig­nificant efficiency growth and the relative simplification of the technology for o... 详细信息
来源: 评论
Functorial String Diagrams for Reverse-Mode Automatic Differentiation  31
Functorial String Diagrams for Reverse-Mode Automatic Differ...
收藏 引用
31st EACSL Annual Conference on Computer Science Logic, CSL 2023
作者: Alvarez-Picallo, Mario Ghica, Dan Sprunger, David Zanasi, Fabio Programming Languages Laboratory Huawei Research Centre Cambridge United Kingdom Department of Computer Science University of Birmingham United Kingdom Department of Computer Science University College London United Kingdom
We formulate a reverse-mode automatic differentiation (RAD) algorithm for (applied) simply typed lambda calculus in the style of Pearlmutter and Siskind [27], using the graphical formalism of string diagrams. Thanks t... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Numerical Solution of Fuzzy Volterra Integral Equations with Piecewise Continuous Kernels: Successive Approximation
Numerical Solution of Fuzzy Volterra Integral Equations with...
收藏 引用
第43届中国控制会议
作者: Samad Noeiaghdam Denis Sidorov Fang Liu Industrial Mathematics Laboratory Baikal School of BRICS Irkutsk National Research Technical University Department of Applied Mathematics and Programming South Ural State University Department of Applied Mathematics Melentiev Energy Systems Institute Siberian Branch of Russian Academy of Sciences
This study aims to discuss the existence and uniqueness of solution of fuzzy Volterra integral equations with piecewise continuous kernels. These types of problems are often encountered in balancing issues for systems... 详细信息
来源: 评论
Cell-Free Massive MIMO Deployments: Fronthaul Topology Options and Techno-Economic Aspects
Cell-Free Massive MIMO Deployments: Fronthaul Topology Optio...
收藏 引用
European Conference on Antennas and Propagation, EuCAP
作者: Lucas Furtado André Fernandes Aline Ohashi Fabricio Farias André Cavalcante Joao Costa Applied Electromagnetism Laboratory (LEA) UFPA Belém Brazil Extreme Programming Laboratory (LABEX) UFPA Cametá Brazil Ericsson Research Ericsson Telecomunicações S.A. Indaiatuba Brazil
Cell-free (CF) massive multiple-input multiple-output (MIMO) networks are an alternative to achieve a higher a more uniform signal-to-interference-plus-noise ratio (SINR) over a mobile coverage area. Most of the liter... 详细信息
来源: 评论
Securing an IoT Medical System Using AI and a Unidirectional Network Device: Application to a Driver  11
Securing an IoT Medical System Using AI and a Unidirectional...
收藏 引用
11th International Conference on Electronics, Communications and Networks, CECNet 2021
作者: El Hajal, Georges Daou, Roy Abi Zeid Ducq, Yves Boercsoek, Josef Univ. Bordeaux IMS Laboratory France Biomedical Technologies Department Lebanese German University Lebanon MART Learning Education and Research Center Chananir Lebanon University of Kassel Institute for Computer Architecture and System Programming Germany
Security in systems and networks has always been a major issue for IT administrators. When it comes to medical applications, this concern is much more important due to the sensitivity of data and the risks that may be... 详细信息
来源: 评论
Hydrocephalic cerebrospinal fluid flowing rotationally with pulsatile boundaries:A mathematical simulation of the thermodynamical approach
收藏 引用
Theoretical & Applied Mechanics Letters 2023年 第1期13卷 79-86页
作者: Hemalatha Balasundaram Senthamilselvi Sathyamoorthi Unai Fernandez-Gamiz Samad Noeiaghdam Shyam Sundar Santra Department of Mathematics VISTASVels UniversityZamin PallavaramChennaiTamilnadu Nuclear Engineering and Fluid Mechanics Department University of the Basque Country UPV/EHUNieves Cano 1201006Vitoria-GasteizSpain Industrial Mathematics Laboratory Baikal School of BRICSIrkutsk National Research Technical UniversityIrkutsk664074Russia Department of Applied Mathematics and Programming South Ural State UniversityLenin prospect 76Chelyabinsk454080Russia Department of Mathematics Applied Science ClusterUniversity of Petroleum and Energy StudiesDehradunUttarakhand248007India Department of Mathematics JIS College of EngineeringKalyaniWest Bengal 741235India
To study the kinematics of flow rate and ventricular dilatation,an analytical perturbation approach of hydrocephalus has been *** research provides a comprehensive investigation of the characteristics of cerebrospinal... 详细信息
来源: 评论
Neonatal Exposure to Di-(2-Ethylhexyl) Phthalate (Dehp) Through Breastfeeding Leads to Dysfunction Endocrine-Metabolic Outcomes in Male Rats at Adulthood: An in Vivo and in Silico Approach
SSRN
收藏 引用
SSRN 2025年
作者: Santos-Silva, Ana Paula Macario, Thayná M. Melo Santos, Anne R. Barbosa, Yuri Vieira Miranda-Alves, Leandro UFRJ Multidisciplinary Research Center - Xerém in Biological Sciences Brazil - NUMPEX-BIO Campus Duque de Caxias Professor Geraldo Cidade Federal University of Rio de Janeiro Brazil Federal University of Rio de Janeiro Xerem Campus Brazil Research Group on Endocrine Disruptors and Metabolic Programming Laboratory of Endocrinology and Energy Metabolism Prof. João Paulo Gabriel Camporez School of Medicine University of São Paulo Brazil Laboratory of Experimental Endocrinology - LEEx Institute of Biomedical Sciences Federal University of Rio de Janeiro Brazil
Stimuli to which the individual is exposed can influence the phenotype of the adult when they occur in phases of greater susceptibility, as defined by the DOHaD concept, developmental origin of health and disease. End... 详细信息
来源: 评论
Numerical solution of fractional Fredholm integro-differential equations by spectral method with fractional basis functions
arXiv
收藏 引用
arXiv 2022年
作者: Talaei, Younes Noeiaghdam, Samad Hosseinzadeh, Hasan Faculty of Mathematical Sciences University of Tabriz Tabriz Iran Industrial Mathematics Laboratory Baikal School of BRICS Irkutsk National Research Technical University Irkutsk664074 Russia Department of Applied Mathematics and Programming South Ural State University Lenin prospect 76 Chelyabinsk454080 Russia Department of Mathematics Ardabil Branch Islamic Azad University Ardabil*** Iran
This paper presents an efficient spectral method for solving the fractional Fredholm integro-differential equations. The non-smoothness of the solutions to such problems leads to the performance of spectral methods ba... 详细信息
来源: 评论