咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 131 篇 期刊文献
  • 72 册 图书

馆藏范围

  • 3,590 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,393 篇 工学
    • 1,892 篇 计算机科学与技术...
    • 1,148 篇 软件工程
    • 418 篇 电气工程
    • 268 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 401 篇 管理学
    • 336 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 6 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,508 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3592 条 记 录,以下是3401-3410 订阅
排序:
An Intelligent functional Diagnostics of Wireless Sensor Network
An Intelligent Functional Diagnostics of Wireless Sensor Net...
收藏 引用
IEEE international conference on Future Internet of things and Cloud Workshops (FiCloudW)
作者: Gennady Krivulya Inna Skarga-Bandurova Zakhar Tatarchenko Olena Seredina Maryna Shcherbakova Eugene Shcherbakov Design Automation Department Kharkiv National University of Radio Electronics Kharkiv Ukraine Computer Science and Engineering Department V. Dahl East Ukrainian National University Severodonetsk Ukraine International Cooperation Department V. Dahl East Ukrainian National University Severodonetsk Ukraine
An overview of the fault detection strategies, faults and failures related to Wireless Sensor Network (WSN) levels is provided. the recent research contributions to functional diagnostics of WSN were summarized. An ad... 详细信息
来源: 评论
Multiple-signal Synchronous Change-point Detection by Piecewise Linear Regression with Group Lasso Constraints
Multiple-signal Synchronous Change-point Detection by Piecew...
收藏 引用
international conference on Industrial Engineering and Applications (ICIEA)
作者: Lining Yang Yanting Li Shanghai Jiao Tong University Shanghai China
this paper studies the synchronous multiple change-point detection problem involving multiple signals. the original signals are fitted by a piecewise linear regression with Group Lasso constraints to ensure the synchr... 详细信息
来源: 评论
Composite cis-acting epigenetic switches in eukaryotes:: lessons from Drosophila Fab-7 for the Igf2-H19 imprinted domain
收藏 引用
GENETICA 2003年 第2期117卷 199-207页
作者: Brown, JP Singh, PB Cowell, IG Roslin Inst Edinburgh Nucl Programming Lab Div Gene Express & Dev Roslin EH25 9PS Midlothian Scotland
One of the central problems of eukaryotic gene regulation is to understand the mechanism(s) by which the activity of enhancer elements is circumscribed such that they only act upon their cognate promoter sequences. St... 详细信息
来源: 评论
Inverse Design Based on Time Reversal Differentiation of FDTD
Inverse Design Based on Time Reversal Differentiation of FDT...
收藏 引用
IEEE international conference on Electronic Information and Communication Technology (ICEICT)
作者: Yihao Li Heng Zhong Ke Xu Ming Fang School of Electronic and Infomnation Engineering Anhui University Hefei China
In this paper, a gradient calculation method based on the direct differential (DD) of the finite-difference time-domain (FDTD) algorithm is presented. Based on the DD FDTD, we introduce the technical process for inver... 详细信息
来源: 评论
MSoln-PSO: Searching for Multiple Solutions and Numerically Verifying the Riemann Hypothesis
MSoln-PSO: Searching for Multiple Solutions and Numerically ...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Enlong Shang School of Mathematics and Statistics Wuhan University Wuhan China
We introduce MSoln-PSO, a modified Particle Swarm Optimization algorithm aimed at overcoming limitations in finding singular optimal points. By adapting the social component to steer towards the closest leading partic... 详细信息
来源: 评论
the Optimization of Hyperparameter Based on Mathematics for Gradient Descent Algorithm
The Optimization of Hyperparameter Based on Mathematics for ...
收藏 引用
international conference on Circuit, Power and Computing Technologies (ICCPCT)
作者: Abel C. H. Chen Information & Communications Security Laboratory Chunghwa Telecom Laboratories Taoyuan Taiwan
Gradient descent algorithms are widely considered the primary choice for optimizing deep learning models. However, they often require adjusting various hyperparameters, like the learning rate, among others. these hype... 详细信息
来源: 评论
A New Mathematical Model to Minimize Penalty Costs for a Single Machine with an Overtime Constraint
A New Mathematical Model to Minimize Penalty Costs for a Sin...
收藏 引用
international conference on Industrial Engineering and Applications (ICIEA)
作者: Watchara Songserm Teeradej Wuttipornpun Rajamangala University of Technology Phra Nakhon Bangkok Thailand King Mongkut's University of Technology North Bangkok Bangkok Thailand
the problem studied in this paper was to schedule jobs in a single machine production system with an overtime constraint. A new mathematical model is now proposed to minimize the total penalty cost, which is described... 详细信息
来源: 评论
Comparison of Modern Customizable Code Visualization Tools
Comparison of Modern Customizable Code Visualization Tools
收藏 引用
Software and System Engineering (ICoSSE), international conference on
作者: Attila Gyén Norbert Pataki Department of Programming Languages and Compilers Eötvös Loránd University Budapest Hungary
abstract-Nowadays, visualization is one of the most important things an integrated development environment or any smart code editor needs to have. there are several different options when it comes to the visualization... 详细信息
来源: 评论
Parameter Space Reduction Based L2-norm Noise Constrained Estimation for Image Restoration
Parameter Space Reduction Based L2-norm Noise Constrained Es...
收藏 引用
international conference on Informative and Cybernetics for Computational Social Systems (ICCSS)
作者: Yu Guan Min Gan Guang-Yong Chen The College of Mathematics and Computer Science Fuzhou University Fujian China The College of Computer Science and Technology Qingdao University Qingdao China The Faculty of Science and Technology University of Macau Macau China
In this paper, the image restoration is formulated as an l 2 -norm noise constrained estimation problem. Realizing that the constrained optimization problem is a separable nonlinear least squares problem, we eliminate... 详细信息
来源: 评论
An Improved BP Neural Network Anomaly Detection Method
An Improved BP Neural Network Anomaly Detection Method
收藏 引用
international conference on Information Systems and Computer Aided Education (ICISCAE)
作者: Long Zhang School of Information Engineering Xi'an Eurasia University Xi'an Shaanxi China
the difficulty that the classical anomaly detection system based on BP neural network is that the convergence speed is too slow and the objective function falls into the local minimum problem. the established network ... 详细信息
来源: 评论