咨询与建议

限定检索结果

文献类型

  • 189 篇 会议
  • 5 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 135 篇 工学
    • 99 篇 计算机科学与技术...
    • 81 篇 软件工程
    • 22 篇 化学工程与技术
    • 17 篇 信息与通信工程
    • 16 篇 材料科学与工程(可...
    • 16 篇 电子科学与技术(可...
    • 13 篇 电气工程
    • 13 篇 控制科学与工程
    • 11 篇 冶金工程
    • 10 篇 机械工程
    • 7 篇 动力工程及工程热...
    • 7 篇 生物医学工程(可授...
    • 6 篇 光学工程
    • 6 篇 环境科学与工程(可...
    • 5 篇 土木工程
    • 5 篇 食品科学与工程(可...
    • 4 篇 力学(可授工学、理...
  • 69 篇 理学
    • 32 篇 数学
    • 28 篇 物理学
    • 25 篇 化学
    • 7 篇 生物学
    • 7 篇 统计学(可授理学、...
    • 4 篇 地质学
  • 30 篇 管理学
    • 20 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 11 篇 图书情报与档案管...
  • 9 篇 教育学
    • 8 篇 教育学
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
  • 2 篇 法学
  • 2 篇 农学
  • 1 篇 经济学

主题

  • 10 篇 linear programmi...
  • 6 篇 costs
  • 5 篇 programming
  • 5 篇 semantics
  • 5 篇 genetic algorith...
  • 4 篇 programming prof...
  • 4 篇 computer program...
  • 4 篇 students
  • 4 篇 software
  • 4 篇 testing
  • 3 篇 internet of thin...
  • 3 篇 computer archite...
  • 3 篇 education
  • 3 篇 java
  • 3 篇 medical services
  • 3 篇 computational mo...
  • 3 篇 production
  • 3 篇 particle swarm o...
  • 3 篇 protocols
  • 3 篇 python

机构

  • 3 篇 department of me...
  • 2 篇 graduate school ...
  • 2 篇 s. seifullin kaz...
  • 2 篇 school of mathem...
  • 2 篇 amrita school of...
  • 2 篇 school of chemic...
  • 2 篇 school of inform...
  • 2 篇 um power energy ...
  • 2 篇 nanjing les cybe...
  • 2 篇 school of new en...
  • 2 篇 alibaba east chi...
  • 2 篇 school of crypto...
  • 2 篇 mukhametzhan tyn...
  • 2 篇 air traffic cont...
  • 2 篇 graduate school ...
  • 2 篇 school of mathem...
  • 2 篇 school of electr...
  • 1 篇 saveetha school ...
  • 1 篇 department of el...
  • 1 篇 decision systems...

作者

  • 3 篇 tsukamoto hideak...
  • 3 篇 hirasawa kotaro
  • 2 篇 junyong liu
  • 2 篇 mabu shingo
  • 2 篇 noprianto
  • 2 篇 yang yang
  • 2 篇 kobayashi ichiro
  • 2 篇 w.chen
  • 2 篇 marquez menandro...
  • 2 篇 villanueva joel ...
  • 1 篇 wang yiming
  • 1 篇 liu sihua
  • 1 篇 lee jae won
  • 1 篇 raulet mickaël
  • 1 篇 pan yi
  • 1 篇 kosuke ohta
  • 1 篇 yoongahm kim
  • 1 篇 puranam kumar
  • 1 篇 shamsuddin liyan...
  • 1 篇 cheng xiao

语言

  • 165 篇 英文
  • 30 篇 其他
  • 2 篇 中文
检索条件"任意字段=5th International School on Advanced Functional Programming"
196 条 记 录,以下是151-160 订阅
排序:
Dependently Typed programming in Agda
Dependently Typed Programming in Agda
收藏 引用
6th international school on advanced functional programming
作者: Norell, Ulf Chalmers S-41296 Gothenburg Sweden
In Hindley-Milner style languages, such as Haskell and ML, there is a clear separation between types and values. In a dependently typed language the line is more blurry - types can contain (depend on) arbitrary values... 详细信息
来源: 评论
A mixed-encoding genetic algorithm for nonlinear bilevel programming problems
A mixed-encoding genetic algorithm for nonlinear bilevel pro...
收藏 引用
NCM 2009 - 5th international Joint Conference on Int. Conf. on Networked Computing, Int. Conf. on advanced Information Management and Service, and Int. Conf. on Digital Content, Multimedia Technology and its Applications
作者: Hecheng, Li Yuping, Wang Department of Mathematics and Information Science Qinghai Normal University Xining 810008 China School of Computer Science and Technology Xidian University Xi'an 710071 China
For nonlinear bilevel programming problems in which the follower's problem is linear, the paper develops a genetic algorithm based on a mixed encoding technique. At first, each individual consists of two parts, th... 详细信息
来源: 评论
An optimal algorithm for scheduling tasks within deadline and budget constraints
An optimal algorithm for scheduling tasks within deadline an...
收藏 引用
NCM 2009 - 5th international Joint Conference on Int. Conf. on Networked Computing, Int. Conf. on advanced Information Management and Service, and Int. Conf. on Digital Content, Multimedia Technology and its Applications
作者: Hu, Song Shoubao, Yang Bin, Wu Xiaoqian, Liu Liangmin, Guo School of Computer Science and Technology University of Science and Technology of China Hefei China
In the market-oriented grid environment, clients make use of grid computing resources to execute many independent tasks. According to the urgency of tasks and deficiency of client' budget, not all the tasks could ... 详细信息
来源: 评论
A study on identifying essential hyperplanes for constructing a multiclass classification model
A study on identifying essential hyperplanes for constructin...
收藏 引用
NCM 2009 - 5th international Joint Conference on Int. Conf. on Networked Computing, Int. Conf. on advanced Information Management and Service, and Int. Conf. on Digital Content, Multimedia Technology and its Applications
作者: Park, Sung-Hyuk Huh, Soon-Young Zhang, Peng Shi, Yong Business School Korea Advanced Institute of Science and Technology Seoul Korea Republic of FEDS Center Chinese Academy of Sciences Beijing China
the multiclass classification problem has been applied to build a decision function to separate a set of data points into multiple classes. To solve this problem, a number of methods have been developed by extending b... 详细信息
来源: 评论
Behavior safety integration management and control system for coal enterprises
Behavior safety integration management and control system fo...
收藏 引用
NCM 2009 - 5th international Joint Conference on Int. Conf. on Networked Computing, Int. Conf. on advanced Information Management and Service, and Int. Conf. on Digital Content, Multimedia Technology and its Applications
作者: Chen, Hong Qi, Hui Long, Ruyin School of Management China University of Mining and Technology China
the coal enterprise behavior safety integrated management and control system is the integrated management and control information system which takes the behavior safety as the core and aims to guide safe behavior and ... 详细信息
来源: 评论
Mesoporous Carbon Electrode:Synthesis,Characterization and Electrochemical Properties
Mesoporous Carbon Electrode:Synthesis,Characterization and E...
收藏 引用
IUPAC 5th international Symposium on Novel Materials and their Synthesis,19th international Symposium on Fine Chemistry and functional Polymers(IUPAC 第五届国际新型材料及其制备学术研讨会暨第19届国际精细化学和功能高分子学术讨论会)
作者: X.Long C.X.Zhao W.Chen State Key Laboratory of Advanced Technology for Materials Synthesis and Processing and School of Materials Science and EngineeringWuhan University of TechnologyWuhan 430070P.R.China
来源: 评论
Supramolecular Self-Assembly of Dendrimer Based on Polyhedral Silsesquioxane Containing Secondary Ammonium Ions and Crown Ether Moieties
Supramolecular Self-Assembly of Dendrimer Based on Polyhedra...
收藏 引用
IUPAC 5th international Symposium on Novel Materials and their Synthesis,19th international Symposium on Fine Chemistry and functional Polymers(IUPAC 第五届国际新型材料及其制备学术研讨会暨第19届国际精细化学和功能高分子学术讨论会)
作者: Xin Wang Vuthichai Ervithayasuporn Yanhong Zhang Yusuke Kawakami School of Materials Science Japan Advanced Institute of Science and Technology1-1 AsahidaiNomiIshikawa 923-1292Japan
来源: 评论
functionalized Graphene from Electrochemically Reducing Graphene Oxide
Functionalized Graphene from Electrochemically Reducing Grap...
收藏 引用
IUPAC 5th international Symposium on Novel Materials and their Synthesis,19th international Symposium on Fine Chemistry and functional Polymers(IUPAC 第五届国际新型材料及其制备学术研讨会暨第19届国际精细化学和功能高分子学术讨论会)
作者: X.Y.Peng X.X.Liu D.Diamond K.T.Lau China-Ireland Center for Advanced Materials and Sensor Development Department of ChemistryNortheastern UniversityShenyang110004China Centre for Sensor Web Technologies National Centre for Sensor ResearchSchool of Chemical SciencesDublin City UniversityGlasnevinDublin 9Ireland China-Ireland Center for Advanced Materials and Sensor DevelopmentDepartment of ChemistryNortheastern UniversityShenyang110004China Centre for Sensor Web TechnologiesNational Centre for Sensor ResearchSchool of Chemical SciencesDublin City UniversityGlasnevinDublin 9Ireland
来源: 评论
the Study of Hydrothermal Synthesis and Properties of Bi2fe4o9
The Study of Hydrothermal Synthesis and Properties of Bi2fe4...
收藏 引用
IUPAC 5th international Symposium on Novel Materials and their Synthesis,19th international Symposium on Fine Chemistry and functional Polymers(IUPAC 第五届国际新型材料及其制备学术研讨会暨第19届国际精细化学和功能高分子学术讨论会)
作者: Y.B.Wang H.J.Sun J.Zhou B.Li C.Y.Zhang W.Chen State Key Laboratory of Advanced Technology for Materials Synthesis and Processing School of Material Science and EngineeringWuhan University of TechnologyWuhan430070China
来源: 评论
Nanopore Structural Properties of Double-Walled Carbon Nanotubes by Gas Physisorption Techniques
Nanopore Structural Properties of Double-Walled Carbon Nanot...
收藏 引用
IUPAC 5th international Symposium on Novel Materials and their Synthesis,19th international Symposium on Fine Chemistry and functional Polymers(IUPAC 第五届国际新型材料及其制备学术研讨会暨第19届国际精细化学和功能高分子学术讨论会)
作者: Yousheng Tao Hiroyuki Muramatsu Takuya Hayashi YoongAhm Kim Daisuke Shimamoto Morinobu Endo Katsumi Kaneko Mauricio Terrones Mildred S.Dresselhaus Faculty of Engineering Shinshu UniversityNagano 380-8553Japan Graduate School of ScienceChiba UniversityChiba 263-8522Japan Department of Advanced MaterialsIPICYTCamino a La Presa San José 2055Col.Lomas 4a.SecciónSan Luis Potosi 7816Mexico Massachusetts Institute of TechnologyCambridgeMassachusetts 02139-4307USA Institute of Carbon Science and Technology Shinshu UniversityNagano 380-8553Japan Faculty of EngineeringShinshu UniversityNagano 380-8553Japan Institute of Carbon Science and TechnologyShinshu UniversityNagano 380-8553Japan
来源: 评论