咨询与建议

限定检索结果

文献类型

  • 58 篇 会议
  • 47 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 65 篇 理学
    • 49 篇 数学
    • 12 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 5 篇 化学
    • 5 篇 系统科学
    • 4 篇 生物学
    • 1 篇 海洋科学
  • 55 篇 工学
    • 34 篇 计算机科学与技术...
    • 19 篇 软件工程
    • 11 篇 信息与通信工程
    • 10 篇 控制科学与工程
    • 7 篇 电气工程
    • 6 篇 化学工程与技术
    • 3 篇 仪器科学与技术
    • 3 篇 石油与天然气工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 动力工程及工程热...
    • 2 篇 农业工程
    • 2 篇 生物工程
    • 1 篇 力学(可授工学、理...
  • 13 篇 管理学
    • 11 篇 管理科学与工程(可...
    • 9 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 医学
    • 3 篇 临床医学
    • 3 篇 药学(可授医学、理...
    • 2 篇 基础医学(可授医学...
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 4 篇 hausdorff operat...
  • 4 篇 optimization
  • 3 篇 gas industry
  • 3 篇 genetic algorith...
  • 3 篇 biological syste...
  • 2 篇 integral equatio...
  • 2 篇 locally compact ...
  • 2 篇 convolution
  • 2 篇 spectrum
  • 2 篇 mathematical pro...
  • 2 篇 computational mo...
  • 2 篇 predictive model...
  • 2 篇 integer programm...
  • 2 篇 machine learning
  • 2 篇 pricing
  • 2 篇 directed graphs
  • 2 篇 polynomials
  • 2 篇 optimal control
  • 2 篇 quantum channel
  • 2 篇 large-scale syst...

机构

  • 8 篇 department of ma...
  • 5 篇 regional mathema...
  • 4 篇 federal research...
  • 4 篇 regional mathema...
  • 3 篇 institute for sy...
  • 3 篇 samarkand state ...
  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 department of pr...
  • 3 篇 rwth aachen univ...
  • 3 篇 friedrich-alexan...
  • 3 篇 technische unive...
  • 3 篇 national univers...
  • 2 篇 tashkent univers...
  • 2 篇 department of al...
  • 2 篇 cicese research ...
  • 2 篇 school of mathem...
  • 2 篇 department of ma...
  • 2 篇 department of ec...
  • 2 篇 discrete mathema...

作者

  • 4 篇 skiba alexander
  • 4 篇 kabulov anvar
  • 3 篇 serrano felipe
  • 3 篇 weninger dieter
  • 3 篇 hojny christophe...
  • 3 篇 chmiela antonia
  • 3 篇 mühmer erik
  • 3 篇 halbig katrin
  • 3 篇 babenko mikhail
  • 3 篇 eifler leon
  • 3 篇 van doornmalen j...
  • 3 篇 gaul oliver
  • 3 篇 schlösser franzi...
  • 3 篇 vigerske stefan
  • 3 篇 donkiewicz tim
  • 3 篇 mirotin a.r.
  • 3 篇 hoen alexander
  • 3 篇 turner mark
  • 3 篇 pechen alexander
  • 3 篇 pfetsch marc e.

语言

  • 98 篇 英文
  • 7 篇 其他
  • 4 篇 俄文
  • 1 篇 中文
检索条件"机构=Mathematical Programming"
106 条 记 录,以下是81-90 订阅
排序:
Change-Point Analysis of Survival Data with Application in Clinical Trials
收藏 引用
Open Journal of Statistics 2014年 第9期4卷 663-677页
作者: Xuan Chen Michael Baron Department of Biostatistics and Programming Sanofi Beijing China Department of Mathematics and Statistics American University Washington DC USA Department of Mathematical Sciences University of Texas at Dallas Richardson USA
Effects of many medical procedures appear after a time lag, when a significant change occurs in subjects’ failure rate. This paper focuses on the detection and estimation of such changes which is important for the ev... 详细信息
来源: 评论
Blending type spline constructions: A brief overview
收藏 引用
AIP Conference Proceedings 2015年 第1期1690卷
作者: Aleksander Pedersen Børre Bang 1R&D group in mathematical and geometrical modeling numerical simulations programming and visualization PO Box 385 8505 Narvik Norway http://www.hin.no Narvik University College
In this paper we are presenting a brief overview of research on blending splines from 2004-2015. We discuss some of the properties which can be interesting to investigate when blending splines are used both for finite...
来源: 评论
Multi-objective optimization of traffic externalities using tolls
Multi-objective optimization of traffic externalities using ...
收藏 引用
Congress on Evolutionary Computation
作者: Anthony E. Ohazulike Ties Brands Centre for Transport Studies (CTS) Discrete Mathematics and Mathematical Programming (DMMP) University of Twente Netherlands Centre for Transport Studies (CTS) University of Twente Netherlands
Genetic algorithms (GAs) are widely accepted by researchers as a method of solving multi-objective optimization problems (MOPs), at least for listing a high quality approximation of the Pareto front of a MOP. In traff... 详细信息
来源: 评论
High-throughput screening of cell-surface topographic interactions
High-throughput screening of cell-surface topographic intera...
收藏 引用
14th International Conference on Miniaturized Systems for Chemistry and Life Sciences 2010, MicroTAS 2010
作者: Unadkat, Hemant V. Hulsman, Marc Cornelissen, Kamiel Papenburg, Bernke Truckenmüller, Roman K. Post, Gerhard F. Uetz, Marc Reinders, Marcel J.T. Stamatialis, Dimitrios Van Blitterswijk, Clemens De Boer, Jan MIRA Research Institute Department of Tissue Regeneration University of Twente Postbus 217 7500 AE Enschede Netherlands Discrete Mathematics and Mathematical Programming University of Twente Postbus 217 7500 AE Enschede Netherlands Membrane Science and Technology Group University of Twente Postbus 217 7500 AE Enschede Netherlands Delft Bioinformatics Lab. Delft University of Technology Mekelweg 4 Delft Netherlands
High throughput biomaterials screening largely remains unexplored. The present study was an attempt to explore the area of high throughput as well as high content screening of cell surface topographic interaction. An ... 详细信息
来源: 评论
Parallel Monte Carlo study on caffeine-DNA interaction in aqueous solution
Parallel Monte Carlo study on caffeine-DNA interaction in aq...
收藏 引用
International Symposium on Parallel and Distributed Processing (IPDPS)
作者: M.D. Kalugin A.V. Teplukhin Institute of System Programming Russian Academy of Science Moscow Russia Institute of Mathematical Problems in Biology Russian Academy of Science Pushchino Russia
Monte Carlo simulation of the caffeine-DNA interaction in aqueous solution at room temperature was carried out using parallel calculations on supercomputer. Very large simulation boxes were used containing superhelica... 详细信息
来源: 评论
Many-valued hybrid logic
Many-valued hybrid logic
收藏 引用
7th Conference on Advances in Modal Logic, AiML-2008
作者: Hansen, Jens Bolander, Thomas Braüner, Torben Programming Logic and Intelligent Systems Research Group Science Studies Research Group Roskilde University P.O. Box 260 DK-4000 Roskilde Denmark Informatics and Mathematical Modelling Building 322 Technical University of Denmark Richard Petersens Plads DK-2800 Lyngby Denmark
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof-theoretically well-behaved, in particular, it gives rise to a decision procedure for the ... 详细信息
来源: 评论
Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility
Hilbert's nullstellensatz and an algorithm for proving combi...
收藏 引用
21st Annual Meeting of the International Symposium on Symbolic Computation, ISSAC 2008
作者: De Loera, Jesús A. Lee, Jon Malkin, Peter N. Margulies, Susan Dept. of Mathematics Univ. of California Davis Davis CA United States Mathematical Programming IBM T.J. Watson Res. Cntr. Yorktown Heights NY United States Dept. of Computer Science Univ. of California Davis Davis CA United States
Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamilton... 详细信息
来源: 评论
Biological LC/MS preprocessing and analysis with jABC, jETI and xcms
Biological LC/MS preprocessing and analysis with jABC, jETI ...
收藏 引用
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
作者: Kubczak, Christian Margaria, Tiziana Fritsch, Arno Steffen, Bernhard Department of Software Engineering University of Dortmund Germany Department of Service and Software Engineering University of Potsdam Germany Department of Mathematical Statistics and Biometric Applications University of Dortmund Germany Department of Programming Systems University of Dortmund Germany
LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libr...
来源: 评论
CONTROL SYSTEM DESIGN CONSIDERING A TRADEOFF BETWEEN EVALUATED UNCERTAINTY RANGES AND CONTROL PERFORMANCE
收藏 引用
Asian Journal of Control 2008年 第1期1卷
作者: Y. Wakasa Y. Yamamoto Dept. of Applied Analysis and Complex Dynamical Systems Graduate School of Informatics Kyoto University Kyoto Japan. Yuji Wakasa was born in Okayama Japan in 1968. He received the B.S. and M.S. degrees in engineering from Kyoto university Japan in 1992 and 1994 respectively. From 1994 to 1998 he was a Research Associate in the Department of Information Technology Okayama University. Since April 1998 he has been a Research Associate in the Graduate School of Informatics Kyoto University. His current research interests include robust control and control system design via mathematical programming. Yutaka Yamamoto received his B.S. and M.S. degrees in engineering from Kyoto University Kyoto Japan in 1972 and 1974 respectively and the M.S. and Ph.D. degree in mathematics from the University of Florida in 1976 and 1978 respectively. From 1978 to 1987 he was with Department of Applied Mathematics and Physics Kyoto University and from 1987 to 1997 with Department of Applied System Science. Since 1998 he is a professor at the current position. His current research interests include realization and robust control of distributed parameter systems learning control sampled-data systems and digital signal processing. Dr. Yamamoto is a receipient of the Sawaragi memorial paper award (1985) the Outstanding Paper Award of SICE (1987) Best Author Award of SICE (1990) the George Axelby Outstanding Paper Award of IEEE CSS in 1996 Takeda Paper Prize of SICE in 1997. He is a Fellow of IEEE. He was an associate editor of Automatica. He is currently an associate editor of IEEE Transactions on Automatic Control Systems and Control Letters and Mathematics of Control Signals and Systems. He is a member of the IEEE the Society of Instrument and Control Engineers (SICE) and the Institute of Systems Control and Information Engineers.
This paper presents a design method of control systems such that a designer can flexibly take account of tradeoffs between evaluated uncertainty ranges and the level of control performance. The problem is reduced to a... 详细信息
来源: 评论
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms
Biological LC/MS Preprocessing and Analysis with jABC, jETI ...
收藏 引用
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)
作者: Christian Kubczak Tiziana Margaria Arno Fritsch Bernhard Steffen Chair of Software Engineering University of Dortmund Germany Chair of Service and Software Engineering University of Potsdam Germany Chair of Mathematical Statistics and Biometric Applications University of Dortmund Germany Chair of Programming Systems University of Dortmund Germany
LC/MS is a successful analysis technique for the statistical analysis used in several branches of biology. It requires an intense screening and combination of the raw data, which is usually done with programs and libr... 详细信息
来源: 评论