咨询与建议

限定检索结果

文献类型

  • 500 篇 资讯
  • 285 篇 期刊文献
  • 235 篇 会议
  • 67 册 图书
  • 45 篇 学位论文

馆藏范围

  • 1,132 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 459 篇 工学
    • 358 篇 计算机科学与技术...
    • 191 篇 软件工程
    • 117 篇 电气工程
    • 52 篇 信息与通信工程
    • 43 篇 控制科学与工程
    • 13 篇 电子科学与技术(可...
    • 11 篇 机械工程
    • 8 篇 石油与天然气工程
    • 6 篇 材料科学与工程(可...
    • 5 篇 仪器科学与技术
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 网络空间安全
    • 3 篇 力学(可授工学、理...
    • 3 篇 动力工程及工程热...
    • 3 篇 土木工程
    • 3 篇 核科学与技术
    • 3 篇 环境科学与工程(可...
  • 59 篇 理学
    • 22 篇 数学
    • 17 篇 生物学
    • 9 篇 物理学
    • 5 篇 科学技术史(分学科...
    • 4 篇 地球物理学
    • 4 篇 系统科学
  • 43 篇 教育学
    • 40 篇 教育学
    • 4 篇 心理学(可授教育学...
  • 30 篇 管理学
    • 24 篇 管理科学与工程(可...
    • 5 篇 图书情报与档案管...
  • 7 篇 农学
  • 7 篇 医学
    • 4 篇 基础医学(可授医学...
  • 4 篇 法学
    • 4 篇 社会学
  • 3 篇 哲学
  • 3 篇 经济学
  • 3 篇 文学
  • 2 篇 历史学

主题

  • 1,132 篇 programming lang...
  • 184 篇 python
  • 180 篇 statistical calc...
  • 168 篇 data analysis
  • 78 篇 homo sapiens
  • 72 篇 cell and tissue ...
  • 68 篇 microarray
  • 65 篇 machine learning
  • 60 篇 pcr
  • 58 篇 matlab
  • 58 篇 rna-seq
  • 58 篇 genomics
  • 49 篇 image analysis
  • 47 篇 programming
  • 47 篇 mass spectrometr...
  • 43 篇 compiler
  • 43 篇 principal compon...
  • 40 篇 proteomics
  • 39 篇 genome visualiza...
  • 39 篇 mus musculus

机构

  • 16 篇 brno university ...
  • 7 篇 charles universi...
  • 6 篇 united states na...
  • 3 篇 univ kebangsaan ...
  • 2 篇 army engn univ p...
  • 2 篇 hebei univ engn ...
  • 2 篇 natl taipei univ...
  • 2 篇 gannon univ dept...
  • 2 篇 nanjing univ sta...
  • 2 篇 college of compu...
  • 2 篇 swiss fed inst t...
  • 2 篇 texas a&m univer...
  • 2 篇 data processing ...
  • 2 篇 verivue
  • 2 篇 univ new mexico ...
  • 2 篇 aalto university
  • 2 篇 politehn univ ti...
  • 2 篇 institut für inf...
  • 2 篇 univ glasgow gla...
  • 2 篇 univ utah salt l...

作者

  • 5 篇 rune matthiesen
  • 4 篇 sharanya manohar...
  • 4 篇 oviya ramalakshm...
  • 4 篇 phillips andrew
  • 3 篇 tshukudu ethel
  • 3 篇 cedric gondro
  • 3 篇 vijaykumar yoges...
  • 3 篇 batmaz firat
  • 3 篇 ana sofia carval...
  • 3 篇 francesca grison...
  • 3 篇 wu di
  • 3 篇 junghyun namkung
  • 3 篇 j. b. brown
  • 3 篇 xu baowen
  • 3 篇 chen lin
  • 3 篇 roeland m. merks
  • 3 篇 laercio r. porto...
  • 3 篇 seung hwan lee
  • 3 篇 christoph bock
  • 3 篇 javier martínez-...

语言

  • 1,091 篇 英文
  • 34 篇 其他
  • 5 篇 中文
  • 1 篇 日文
  • 1 篇 葡萄牙文
检索条件"主题词=Programming Language"
1132 条 记 录,以下是591-600 订阅
排序:
DATA-STRUCTURES AND CORRECTNESS OF PROGRAMS
收藏 引用
JOURNAL OF THE ACM 1979年 第2期26卷 283-301页
作者: KOWALTOWSKI, T UNIV SAO PAULO SAO PAULOBRAZIL
A techmque for proving correctness of programs manipulating data structures Is proposed. Its three major components are (i) an abstract representation for the data structures called free state description (FSD), (n) a... 详细信息
来源: 评论
INTRODUCTION OF HISTORY TO VARIABLES
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1982年 第6期12卷 595-597页
作者: TAKAOKA, T MACLEAN, M MCKENZIE, B UNIV CANTERBURY DEPT COMP SCICHRISTCHURCHNEW ZEALAND
The concept of history is introduced to the variables of a programming language. At each execution of assignment statement for a variable x , the current value of x is saved to x 〈1〉, that of x 〈1〉 to x 〈2〉 and ... 详细信息
来源: 评论
Rational programming of history-dependent logic in cellular populations
收藏 引用
NATURE COMMUNICATIONS 2020年 第1期11卷 4758-4758页
作者: Zuniga, Ana Guiziou, Sarah Mayonove, Pauline Ben Meriem, Zachary Camacho, Miguel Moreau, Violaine Ciandrini, Luca Hersen, Pascal Bonnet, Jerome Univ Montpellier Ctr Biochim Struct CBS CNRS UMR5048INSERMU154 Montpellier France CNRS UMR 7057 Lab Matiere & Syst Complexes 10 Rue Alice Domon & Leonie Duquet F-75013 Paris France Univ Paris Diderot 10 Rue Alice Domon & Leonie Duquet F-75013 Paris France Univ Montpellier Lab Charles Coulomb L2C Montpellier France CNRS Montpellier France Inst Curie Lab Phys Chim Curie UMR168 Paris France Univ Washington Dept Biol Seattle WA 98195 USA
Genetic programs operating in a history-dependent fashion are ubiquitous in nature and govern sophisticated processes such as development and differentiation. The ability to systematically and predictably encode such ... 详细信息
来源: 评论
Letters
收藏 引用
Computer 2018年 第4期51卷 4-7页
Letters to the Editor and author responses for previously published Computer articles from Bob Colwell, David Patterson, Jeremy Gibbons, Andreas Stefik, and Stefan Hanenberg.
来源: 评论
GEDANKEN - A SIMPLE TYPELESS language BASED ON PRINCIPLE OF COMPLETENESS AND REFERENCE CONCEPT
收藏 引用
COMMUNICATIONS OF THE ACM 1970年 第5期13卷 308-&页
作者: REYNOLDS, JC Argonne National Lab Argonne IL
GEDAN KEN is an experimental programming language with the following characteristics. (1) Any value which is permitted in some context of the language is permissible in any other meaningful context. In particular, fun... 详细信息
来源: 评论
CLARIFICATION OF FORTRAN STANDARDS - INITIAL PROGRESS
收藏 引用
COMMUNICATIONS OF THE ACM 1969年 第5期12卷 289-&页
作者: [Anonymous]
The article presents the Fortran programming language standards. Its development was started in May 1962 and became the first programming language standardized in the U.S. in March 1966. Studies and application of the... 详细信息
来源: 评论
Identification of Cell Types from Single-Cell Transcriptomic Data
Identification of Cell Types from Single-Cell Transcriptomic...
收藏 引用
作者: Karthik Shekhar Vilas Menon
Unprecedented technological advances in single-cell RNA-sequencing (scRNA-seq) technology have now made it possible to profile genome-wide expression in single cells at low cost and high throughput. There is substanti... 详细信息
来源: 评论
Support Vector Machine-Based Prediction of MHC-Binding Peptides
Support Vector Machine-Based Prediction of MHC-Binding Pepti...
收藏 引用
作者: Pierre Dönnes
The use of major histocompatibility complex (MHC) class I binding peptides for immunotherapeutic purposes has shown promising results in recent years. The identification of such peptides mostly starts with predicting ... 详细信息
来源: 评论
Real-Time Deformability Cytometry: Label-Free Functional Characterization of Cells
Real-Time Deformability Cytometry: Label-Free Functional Cha...
收藏 引用
作者: Maik Herbig Martin Kräter Katarzyna Plak Paul Müller Jochen Guck Oliver Otto
Real-time deformability cytometry (RT-DC) is a microfluidic technique that allows to capture and evaluate morphology and rheology of up to 1000 cells/s in a constricted channel. The cells are deformed without mec... 详细信息
来源: 评论
Quantitative Proteomics for
Quantitative Proteomics for
收藏 引用
作者: Matthew Sonnett Meera Gupta Thao Nguyen Martin Wühr
The oocytes, embryos, and cell-free lysates of the frog Xenopus laevis have emerged as powerful models for quantitative proteomic experiments. In the accompanying paper (Chapter 13) we describe how to prepare samples ... 详细信息
来源: 评论