咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 460 篇 工学
    • 359 篇 计算机科学与技术...
    • 191 篇 软件工程
    • 118 篇 电气工程
    • 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,117 篇 programming lang...
  • 182 篇 python
  • 180 篇 statistical calc...
  • 168 篇 data analysis
  • 78 篇 homo sapiens
  • 72 篇 cell and tissue ...
  • 68 篇 microarray
  • 66 篇 machine learning
  • 60 篇 pcr
  • 58 篇 rna-seq
  • 58 篇 genomics
  • 55 篇 matlab
  • 49 篇 image analysis
  • 47 篇 mass spectrometr...
  • 46 篇 programming
  • 43 篇 principal compon...
  • 40 篇 compiler
  • 40 篇 proteomics
  • 39 篇 genome visualiza...
  • 39 篇 mus musculus

机构

  • 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...
  • 2 篇 guru nanak dev u...

作者

  • 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,076 篇 英文
  • 34 篇 其他
  • 5 篇 中文
  • 1 篇 日文
  • 1 篇 葡萄牙文
检索条件"主题词=Programming language"
1117 条 记 录,以下是261-270 订阅
排序:
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs  27
A Generalized Notion of Non-interference for Flow Security o...
收藏 引用
27th Asia-Pacific Software Engineering Conference (APSEC)
作者: Ghosal, Sandip Shyamasundar, R. K. Indian Inst Technol Dept Comp Sci & Engn Mumbai Maharashtra India
For the last two decades, a wide spectrum of interpretations of non-interference 1 have been used in the security analysis of programs, starting with the notion proposed by Goguen & Meseguer along with arguments o... 详细信息
来源: 评论
Design of an IDE for Teaching programming using Graphic Elements  9
Design of an IDE for Teaching Programming using Graphic Elem...
收藏 引用
9th International Conference on Software Process Improvement (CIMPS)
作者: Picie-Alcaraz, Ivan Alejandra Olivares-Zepahua, Beatriz Lopez-Martinez, Ignacio Romero-Torres, Celia Angel Reyes-Hernandez, Luis Tecnol Nacl Mexico Inst Tecnol Orizaba Orizaba Veracruz Mexico
In recent years, the promotion of the teaching of Science, Technology, Engineering and Mathematics (STEM for its acronym in English) has increased in Mexico and around the world, with the aim that people develop a ser... 详细信息
来源: 评论
Multi-purpose Syntax Definition with SDF3  1
收藏 引用
18th International Conference on Software Engineering and Formal Methods (SEFM)
作者: Amorim, Luis Eduardo de Souza Visser, Eelco Australian Natl Univ Canberra ACT Australia Delft Univ Technol Delft Netherlands
SDF3 is a syntax definition formalism that extends plain context-free grammars with features such as constructor declarations, declarative disambiguation rules, character-level grammars, permissive syntax, layout cons... 详细信息
来源: 评论
Theoretical Basis of language System with State Constraints  5
Theoretical Basis of Language System with State Constraints
收藏 引用
5th International Conference on Complexity, Future Information Systems and Risk (COMPLEXIS)
作者: Yamasaki, Susumu Okayama Univ HCI Grp Dept Comp Sci Tsushima Okayama Japan
This paper presents theoretical basis of a language system whose program is described as algebraic expressions and implemented as abstract state machine. The behaviors of the described expressions may be captured (wit... 详细信息
来源: 评论
Teaching programming through Problem Solving: The Role of the programming language
Teaching Programming through Problem Solving: The Role of th...
收藏 引用
Federated Conference on Computer Science and Information Systems
作者: Nikolaos S. Papaspyrou Stathis Zachos School of Electrical and Computer Engineering National Technical University of Athens Polytechnioupoli 15780 Zografou Athens Greece
In this short paper, we advocate the importance of problem solving for teaching "Introduction to programming", instead of merely teaching the syntax and semantics of a programming language. We focus on the r... 详细信息
来源: 评论
Summarizing RNA-Seq Data or Differentially Expressed Genes Using Gene Set, Network, or Pathway Analysis
Summarizing RNA-Seq Data or Differentially Expressed Genes U...
收藏 引用
作者: Enrica Calura Paolo Martini
The main purpose of pathway or gene set analysis methods is to provide mechanistic insight into the large amount of data produced in high-throughput studies. These tools were developed for gene expression analyses, bu... 详细信息
来源: 评论
A Computational Protocol to Analyze PDZ/PBM Affinity Data Obtained by High-Throughput Holdup Assay
A Computational Protocol to Analyze PDZ/PBM Affinity Data Ob...
收藏 引用
作者: Pau Jané Lionel Chiron Goran Bich Gilles Travé Yves Nominé
The holdup assay is an automated high-throughput comparative chromatographic retention approach that allows to measure quantitative binding intensities (BI) for a large number of domain–motif pairs and deduce equilib... 详细信息
来源: 评论
3D extrusion bioprinting
3D extrusion bioprinting
收藏 引用
作者: Yu Shrike Zhang Ghazaleh Haghiashtiani Tania Hübscher Daniel J. Kelly Jia Min Lee Matthias Lutolf Michael C. McAlpine Wai Yee Yeong Marcy Zenobi-Wong Jos Malda
Three-dimensional (3D) bioprinting strategies use computer-aided processes to enable automated simultaneous spatial patterning of cells and/or biomaterials. These technologies are suitable for a broad range of biomedi... 详细信息
来源: 评论
Large-Scale Molecular Dynamics Simulations of Cellular Compartments
Large-Scale Molecular Dynamics Simulations of Cellular Compa...
收藏 引用
作者: Eric Wilson John Vant Jacob Layton Ryan Boyd Hyungro Lee Matteo Turilli Benjamín Hernández Sean Wilkinson Shantenu Jha Chitrak Gupta Daipayan Sarkar Abhishek Singharoy
Molecular dynamics or MD simulation is gradually maturing into a tool for constructing in vivo models of living cells in atomistic details. The feasibility of such models is bolstered by integrating the simulations wi... 详细信息
来源: 评论
LIVECell—A large-scale dataset for label-free live cell segmentation
LIVECell—A large-scale dataset for label-free live cell seg...
收藏 引用
作者: Christoffer Edlund Timothy R. Jackson Nabeel Khalid Nicola Bevan Timothy Dale Andreas Dengel Sheraz Ahmed Johan Trygg Rickard Sjögren
Light microscopy combined with well-established protocols of two-dimensional cell culture facilitates high-throughput quantitative imaging to study biological phenomena. Accurate segmentation of individual cells in im... 详细信息
来源: 评论