咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
Deletion of a single CTCF motif at the boundary of a chromatin domain with three FGF genes disrupts gene expression and embryonic development
收藏 引用
Developmental Cell 2025年
作者: Chakraborty, Shreeta Wenzlitschke, Nina Anderson, Matthew J. Eraso, Ariel Baudic, Manon Thompson, Joyce J. Evans, Alicia A. Shatford-Adams, Lilly M. Chari, Raj Awasthi, Parirokh Dale, Ryan K. Lewandoski, Mark Petros, Timothy J. Rocha, Pedro P. Unit on Genome Structure and Regulation National Institute of Child Health and Human Development National Institutes of Health Bethesda 20892 MD United States Genetics of Vertebrate Development Section Cancer and Developmental Biology Laboratory National Cancer Institute National Institutes of Health Frederick 21702 MD United States Bioinformatics and Scientific Programming Core National Institute of Child Health and Human Development National Institutes of Health Bethesda 20892 MD United States Laboratory Animal Sciences Program Frederick National Laboratory for Cancer Research Frederick 21702 MD United States Unit on Cellular and Molecular Neurodevelopment National Institute of Child Health and Human Development National Institutes of Health Bethesda 20892 MD United States National Cancer Institute NIH Bethesda 20892 MD United States
Chromatin domains delimited by CTCF can restrict the range of enhancer action. However, disruption of some domain boundaries results in mild gene dysregulation and phenotypes. We tested whether perturbing a domain wit... 详细信息
来源: 评论
From castaways to discoveries: unveiling treasures in skin RNAseq using a novel multidimensional data processing workflow including infection-host dynamics
收藏 引用
Physiological Genomics 2025年 第5期57卷 343-356页
作者: Bhargava, Disha Labadie, Alec Hanson-Rios-stutz, Rebecca L. Goodyke, Austin Moses, Ella M. Das, Akansha S. Vanderweele, Sophie Lemon, Janelle V. Cook, Taylor W. Pearson, David Redinger, Joseph M. Caulfield, Adam J. Olivero, Rosemary Foster, Kate Ashack, Kurt Rajasekaran, Surender Bupp, Caleb P. Triche, Timothy J. Krawczyk, Connie M. Chesla, Dave Sims, Matthew D. Hartog, Nicholas L. Prokop, Jeremy W. College of Human Medicine Michigan State University Grand Rapids MI United States Office of Research Corewell Health Grand Rapids MI United States Department of Biology Washington and Jefferson College Washington PA United States Department of Pharmacology and Toxicology Michigan State University East Lansing MI United States Department of Large Animal Clinical Sciences College of Veterinary Medicine Michigan State University East Lansing MI United States School for Environment and Sustainability University of Michigan Ann Arbor MI United States Regional Laboratory Corewell Health Grand Rapids MI United States Infectious Disease Helen DeVos Children’s Hospital Grand Rapids MI United States Dermatology Helen DeVos Children’s Hospital Corewell Health Grand Rapids MI United States Dermatology Associates of West Michigan Grand Rapids MI United States Pediatric Intensive Care Unit Helen DeVos Children’s Hospital Corewell Health Grand Rapids MI United States Medical Genetics Corewell Health Grand Rapids MI United States Center for Epigenetics Van Andel Research Institute Grand Rapids MI United States Department of Metabolism and Nutritional Programming Van Andel Institute Grand Rapids MI United States Section of Infectious Diseases Corewell Health Royal Oak MI United States Allergy and Immunology Corewell Health Grand Rapids MI United States
Defining physiology and methods to measure biological mechanisms is essential. Extensive datasets such as RNA sequencing are used with little analysis of the knowledge gained from the various methodologies. Within thi... 详细信息
来源: 评论
Novel symmetric numerical methods for solving symmetric mathematical problems
收藏 引用
International Journal of Circuits, Systems and Signal Processing 2021年 15卷 1545-1557页
作者: Ibrahimov, V.R. Mehdiyeva, G.Y.U. Yue, Xiao-Guang Kaabar, Mohammed K.A. Noeiaghdam, Samad Juraev, Davron Aslonqulovich Institute of Control Systems named after Academician A.Huseynov BakuAZ1141 Azerbaijan Computational mathematics Baku State University BakuAZ1148 Azerbaijan Department of Computer Science and Engineering School of Sciences European University Cyprus Nicosia1516 Cyprus Institute of Mathematical Sciences Faculty of Science University of Malaya Kuala Lumpur50603 Malaysia Department of Mathematics and Statistics Washington State University PullmanWA99163 United States 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 Natural Science Disciplines Higher Military Aviation School of the Republic of Uzbekistan Karshi City180100 Uzbekistan
—The mathematical model for many problems is arising in different industries of natural science, basically formulated using differential, integral and integro-differential equations. The investigation of these equati... 详细信息
来源: 评论
Evaluation of the Impact of Various Local Data Caching Configurations on Tier2/Tier3 WLCG Sites  4
Evaluation of the Impact of Various Local Data Caching Confi...
收藏 引用
4th International Workshop on Data Life Cycle in Physics, DLC 2020
作者: Alekseev, Aleksandr Jezequel, Stephane Kiryanov, Andrey Klimentov, Alexei Korchuganova, Tatiana Mitsyn, Valery Oleynik, Danila Smirnov, Serge Zarochentsev, Andrey Nrc ÂKurchatov Instituteâ A- Pnpi Gatchina Russia Saint Petersburg State University Saint Petersburg Russia Brookhaven National Laboratory UptonNY United States Joint Institute for Nuclear Research Dubna Russia National Research Nuclear University MEPhI Moscow Russia Institute for System Programming Ras Moscow Russia University Andres Bello Santiago Chile Plekhanov University of Economy Moscow Russia Laboratoire DâAnnecy de Physique des Particules Annecy France
In this paper, we describe various data caching scenarios test implementation and lessons learned. In particular, we show how local data caches may be configured, deployed, and tested. In our studies, we are using xCa... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Russian DATA LAKE PROTOTYPE AS AN APPROACH towards NATIONAL FEDERATED STORAGE for MEGASCIENCE  9
Russian DATA LAKE PROTOTYPE AS AN APPROACH towards NATIONAL ...
收藏 引用
9th International Conference "Distributed Computing and Grid Technologies in Science and Education", GRID 2021
作者: Alekseev, Aleksandr Kiryanov, Andrey Klimentov, Aleksey Korchuganova, Tatyana Oleynik, Danila Zarochentsev, Anderey NRC "Kurchatov Institute" 1 Akademika Kurchatova sq. Moscow123182 Russia Petersburg Nuclear Physics Institute of NRC "Kurchatov Institute" 1 Orlova Rocha Gatchina 188300 Russia Saint Petersburg State University 7-9 Universitetskaya emb. Saint Petersburg199034 Russia Brookhaven National Laboratory UptonNY United States Ivannikov Institute for System Programming RAS 25 Alexander Solzhenitsyn st. Moscow109004 Russia University Andres Bello Santiago Chile Plekhanov Russian University of Economics 36 Stremyanny lane Moscow117997 Russia Joint Institute for Nuclear Research 6 Joliot-Curie st. Dubna 141980 Russia
A substantial data volume growth will appear with the start of the HL-LHC era. It is not well covered by the current LHC computing model, even taking into account the hardware evolution. The WLCG DOMA project was esta... 详细信息
来源: 评论
Polynomial spline collocation method for solving weakly regular Volterra integral equations of the first kind
arXiv
收藏 引用
arXiv 2021年
作者: Tynda, Aleksandr Noeiaghdam, Samad Sidorov, Denis Higher and Applied Mathematics Department Penza State University Penza440026 Russia 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 Energy Systems Institute Siberian Branch of Russian Academy of Science Irkutsk664033 Russia Institute of Mathematics and Information Technologies Irkutsk State University Irkutsk664025 Russia
The polynomial spline collocation method is proposed for solution of Volterra integral equations of the first kind with special piecewise continuous kernels. The Gauss-type quadrature formula is used to approximate in... 详细信息
来源: 评论
SIRT3-mediated inhibition of FOS through histone H3 deacetylation prevents cardiac fibrosis and inflammation
收藏 引用
Signal Transduction and Targeted Therapy 2020年 第1期5卷 2322-2331页
作者: Xavier Palomer MSilvia Román-Azcona Javier Pizarro-Delgado Ana Planavila Francesc Villarroya Brenda Valenzuela-Alcaraz Fátima Crispi Álvaro Sepúlveda-Martínez Irene Miguel-Escalada Jorge Ferrer JFrancisco Nistal Raquel García Mercy MDavidson Emma Barroso Manuel Vázquez-Carrera Department of Pharmacology Toxicology and Therapeutic ChemistryIBUB(Institut de Biomedicina de la Universitat de Barcelona)Research Institute-Pediatric Research InstituteHospital Sant Joan de Déuand CIBER de Diabetes y Enfermedades Metabólicas Asociadas(CIBERDEM)Faculty of Pharmacy and Food SciencesUniversity of BarcelonaBarcelonaSpain Department of Biochemistry and Molecular Biomedicine IBUB and CIBER Fisiopatología de la Obesidad y Nutrición(CIBEROBN)Faculty of BiologyUniversity of BarcelonaBarcelonaSpain aBCNatal-Barcelona Center for Maternal–Fetal and Neonatal Medicine(Hospital Clínic and Hospital Sant Joan de Deu) Institut d’Investigacions Biomèdiques August Pi i SunyerUniversitat de Barcelonaand Center for Biomedical Research on Rare Diseases(CIBER-ER)BarcelonaSpain Genomic Programming of Betacells Laboratory Institut d’Investigacions August Pi i Sunyer(IDIBAPS)and CIBERDEMBarcelonaSpain Section of Epigenomics and Disease Department of Medicineand National Institute for Health Research(NIHR)Imperial Biomedical Research CentreImperial College LondonLondonUK Servicio de Cirugía Cardiovascular Hospital Universitario Marqués de ValdecillaDepartamento de Ciencias Médicas y QuirúrgicasFacultad de MedicinaUniversidad de CantabriaInstituto de Investigación Marqués de Valdecilla(IDIVAL)Centro de Investigación Biomédica en Red Cardiovascular(CIBERCV)Instituto de Salud Carlos IIISantanderSpain Departamento de Fisiología y Farmacología Facultad de MedicinaUniversidad de CantabriaInstituto de Investigación Marqués de Valdecilla(IDIVAL)SantanderSpain Department of Radiation Oncology Columbia UniversityNew YorkNYUSA
Sirtuin 3(SIRT3)is a deacetylase that modulates proteins that control metabolism and protects against oxidative *** of SIRT3 activity has been proposed as a promising therapeutic target for ameliorating metabolic dise... 详细信息
来源: 评论
Examining the Effect of Fish Oil Supplementation in Chinese Pregnant Women on Gestation Duration and Risk of Preterm Delivery (vol 149, pg 1942, 2019)
收藏 引用
JOURNAL OF NUTRITION 2019年 第11期149卷 2073-2073页
作者: Olsen, S. F. Hansen, H. S. Jensen, B. Sorensen, T., I Centre for Fetal Programming Department of Epidemiology Research Statens Serum Institut Copenhagen Denmark Department of Nutrition Harvard TH Chan School of Public Health Boston MA USA Faculty of Food Science and Nutrition School of Health Sciences University of Iceland Reykjavik Iceland Key Laboratory of Reproduction Regulation of NPFPC SIPPR IRD Fudan University Shanghai China Department of Reproductive Epidemiology and Social Medicine Shanghai Institute of Planned Parenthood Research Shanghai China Faculty of Natural and Health Sciences University of the Faroe Islands Torshavn Faroe Islands School of Public Health Fudan University Shanghai China Nutrition and Food Hygiene Institute School of Public Health Lanzhou University Lanzhou China Shaanxi Health and Family Planning Commission Xi'an China Department of Clinical Epidemiology Aarhus University Hospital Aarhus Denmark
Background Intervention studies have shown that long-chain (LC) n-3 PUFA intake can prolong gestation but the dose−time−effect relations remain unresolved. Objective We examined the effect on gestation duration of 2 d... 详细信息
来源: 评论