咨询与建议

限定检索结果

文献类型

  • 197 篇 会议
  • 108 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 214 篇 工学
    • 156 篇 计算机科学与技术...
    • 112 篇 软件工程
    • 37 篇 信息与通信工程
    • 29 篇 控制科学与工程
    • 19 篇 生物医学工程(可授...
    • 18 篇 电气工程
    • 15 篇 生物工程
    • 14 篇 电子科学与技术(可...
    • 12 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 化学工程与技术
    • 7 篇 建筑学
    • 6 篇 材料科学与工程(可...
    • 5 篇 仪器科学与技术
    • 5 篇 动力工程及工程热...
  • 126 篇 理学
    • 80 篇 数学
    • 20 篇 生物学
    • 20 篇 统计学(可授理学、...
    • 19 篇 系统科学
    • 16 篇 物理学
    • 6 篇 化学
  • 52 篇 管理学
    • 36 篇 管理科学与工程(可...
    • 20 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 13 篇 医学
    • 11 篇 临床医学
    • 10 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 8 篇 法学
    • 7 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 教育学
    • 5 篇 教育学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 8 篇 artificial intel...
  • 6 篇 computer science
  • 5 篇 support vector m...
  • 4 篇 programming prof...
  • 4 篇 compilers
  • 4 篇 reliability
  • 4 篇 concurrent compu...
  • 4 篇 computer archite...
  • 4 篇 neural networks
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 decision making
  • 4 篇 dipper throated ...
  • 4 篇 software design
  • 4 篇 artificial neura...
  • 4 篇 functional progr...
  • 3 篇 safety
  • 3 篇 grey wolf optimi...
  • 3 篇 automation
  • 3 篇 parallel program...

机构

  • 16 篇 department of sy...
  • 10 篇 department of ap...
  • 7 篇 department of ma...
  • 6 篇 programming meth...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 4 篇 university of lü...
  • 4 篇 department of ap...
  • 4 篇 national institu...
  • 3 篇 university spbpu...
  • 3 篇 department of ap...
  • 3 篇 zuse institute b...

作者

  • 9 篇 maiti manoranjan
  • 8 篇 mostafa abotaleb
  • 8 篇 pal madhumangal
  • 8 篇 abdelhameed ibra...
  • 7 篇 scholz sven-bodo
  • 7 篇 grelck clemens
  • 7 篇 abotaleb mostafa
  • 5 篇 pal anita
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 börcsök j.
  • 5 篇 de meuter wolfga...
  • 5 篇 van cutsem tom
  • 5 篇 doaa sami khafag...
  • 4 篇 choe km
  • 4 篇 bergstra j.a.
  • 4 篇 schwarz m.h.
  • 4 篇 hayek ali
  • 4 篇 dybjer peter
  • 4 篇 mostinckx stijn

语言

  • 298 篇 英文
  • 5 篇 其他
  • 2 篇 中文
  • 1 篇 日文
检索条件"机构=Computer Programming Technology"
306 条 记 录,以下是101-110 订阅
排序:
Optimum Production for a heaped stock dependent breakable item through variational principle
arXiv
收藏 引用
arXiv 2020年
作者: Roul, J.N. Maity, K. Kar, S. Maiti, M. Patha Bhavana Visva-Bharati SantiniketanWest Bengal731235 India Department of Mathematics Mugberia Gangadhar Mahavidyalaya Bhupatinagar Purba MedinipurW.B.721425 India Department of Mathematics National Institute of Technology DurgapurW.B.713209 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University MidnaporeW.B.711201 India
Breakability rate of fragile item depends on the accumulated stress of heaped stock level. So breakablility rate can be considered as dependent parameter of stock variable. The unit production cost is a function of pr... 详细信息
来源: 评论
Application of Interval Type-2 Fuzzy Logic to polypropylene business policy in a petrochemical plant in India
收藏 引用
Journal of the Saudi Society of Agricultural Sciences 2018年 第1期17卷 24-42页
作者: Jana, Dipak Kumar Castillo, Oscar Pramanik, Sutapa Maiti, Manoranjan Department of Engineering Science Haldia Institute of Technology Haldia Purba Midnapur 721 657 West Bengal India Tijuana Institute of Technology Tijuana Mexico Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721 102 West Bengal India
This paper presents a new approach to predict the quality of polypropylene in petrochemical plants. The proposed approach constructs four different models, based on a large number of data collected from a renowned pet... 详细信息
来源: 评论
Dynamics of a predator-prey model with stage-structure on both species and anti-predator behavior
收藏 引用
Informatics in Medicine Unlocked 2018年 10卷 50-57页
作者: Mortoja, Sk Golam Panja, Prabir Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 W.B. India Department of Applied Science Haldia Institute of Technology Purba Midnapore Haldia 721657 W.B. India
In this paper, we have formulated and studied a stage-structure predator-prey model. Here, we consider stage-structure on both prey as well as predator population which means that the prey population is divided into t... 详细信息
来源: 评论
Dynamics of a predator-prey model with nonlinear incidence rate, Crowley-Martin type functional response and disease in prey population
收藏 引用
Ecological Genetics and Genomics 2019年 10卷
作者: Mortoja, Sk Golam Panja, Prabir Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 WB India Department of Applied Science Haldia Institute of Technology Haldia Purba Midnapore 721657 WB India
In this paper, a delayed predator-prey model has been developed. Here, on the basis of infectious disease, the prey population has been divided into two sub-populations such as (i) susceptible prey and (ii) infected p... 详细信息
来源: 评论
Using the Model of a Functional Rationalizer of Consumer Behavior in Recommendation Systems for Managing the Transport Activity of the Urban Population
Using the Model of a Functional Rationalizer of Consumer Beh...
收藏 引用
International Conference on Soft Computing and Measurements (SCM)
作者: Yaroslav A. Seliverstov Svytoslav A. Seliverstov Nikolay V. Podoprigora Alexey L. Starichenkov Roman S. Naryshkin Laboratory of Intelligent Transport Systems Solomenko Institute of Transport Problems of the Russian Academy of Sciences Institute of Computer Science and Technology Peter the Great St.Petersburg Polytechnic University St. Petersburg Russian Federation Department of Ground Transportation Technological Machines Saint Petersburg State University of Architecture and Civil Engineering St. Petersburg Russian Federation Department of Ship Control Systems Saint Petersburg Electrotechnical University “LETI” St. Petersburg Russian Federation Department of Programming Technology Saint Petersburg State University St. Petersburg Russian Federation
An overview of existing urban software mobile applications of the transport and economic direction is given. A model of a functional rationalizer of consumer behavior is being built. The software model of the function... 详细信息
来源: 评论
The SCIP Optimization Suite 9.0
arXiv
收藏 引用
arXiv 2024年
作者: Bolusani, Suresh Besançon, Mathieu Bestuzheva, Ksenia Chmiela, Antonia Dionísio, João Donkiewicz, Tim van Doornmalen, Jasper Eifler, Leon Ghannam, Mohammed Gleixner, Ambros Graczyk, Christoph Halbig, Katrin Hedtke, Ivo Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Kamp, Dominik Koch, Thorsten Kofler, Kevin Lentz, Jurgen Manns, Julian Mexi, Gioni Mühmer, Erik Pfetsch, Marc E. Schlösser, Franziska Serrano, Felipe Shinano, Yuji Turner, Mark Vigerske, Stefan Weninger, Dieter Xu, Liding Gaul, Oliver Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Université Grenoble Alpes Inria LIG Grenoble38000 France CMUP Department of Computer Science Faculty of Sciences University of Porto R Campo Alegre Porto4169-007 Portugal RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany Schenker AG Global Data & AI Kruppstr. 4 Essen45128 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands University of Bayreuth Universitaetsstr. 30 Bayreuth95440 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany DAGOPT Optimization Technologies GmbH Austria Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Fair Isaac Germany GmbH Takustr. 7 Berlin14195 Germany COPT GmbH Berlin Germany GAMS Software GmbH c/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Mathematics Cauerstr. 11 Erlangen91058 Germany École polytechnique LIX CNRR Rue Honoré d’Estienne d’Orves. 1 Palaiseau9120 France
MSC Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framewor... 详细信息
来源: 评论
Collaborative Filtering Method with the use of Production Rules
Collaborative Filtering Method with the use of Production Ru...
收藏 引用
International Conference on Computational Intelligence and Knowledge Economy (ICCIKE)
作者: Amin Salih Mohammed Yelyzaveta Meleshko Saravana Balaji B Semenov Serhii Dept of Computer Engineering Lebanese French University Salahaddin University Erbil KR-Iraq Dept of Cyber Security & Software Central Ukrainian National Technical University Kropyvnytskyi Ukraine Dept of Information Technology Lebanese French University Erbil KR-Iraq Dept of Computer Science and Programming National Technical University (Kharkiv Polytechnic Institute) Ukraine
this paper proposes a new collaborative filtering method with the calculation of unknown similarity coefficients between users via the application of production rules, which aims to improve the work quality of recomme... 详细信息
来源: 评论
Enabling Research through the SCIP Optimization Suite 8.0
arXiv
收藏 引用
arXiv 2023年
作者: Bestuzheva, Ksenia Besançon, Mathieu Chen, Wei-Kun Chmiela, Antonia Donkiewicz, Tim van Doornmalen, Jasper Eifler, Leon Gaul, Oliver Gamrath, Gerald Gleixner, Ambros Gottwald, Leona Graczyk, Christoph Halbig, Katrin Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Koch, Thorsten Lübbecke, Marco Maher, Stephen J. Matter, Frederic Mühmer, Erik Müller, Benjamin Pfetsch, Marc E. Rehfeldt, Daniel Schlein, Steffan Schlösser, Franziska Serrano, Felipe Shinano, Yuji Sofranac, Boro Turner, Mark Vigerske, Stefan Wegscheider, Fabian Wellner, Philipp Weninger, Dieter Witzig, Jakob Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany ZIB-AIS2T Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science Netherlands ZIB-AIS2T I2DAMO GmbH Englerallee 19 Berlin14195 Germany ZIB-AIS2T HTW Berlin Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands Technische Universität Berlin Software and Algorithms for Discrete Optimization Straße des 17. Juni 135 Berlin10623 Germany ZIB Department A2IM Takustr. 7 Berlin14195 Germany RWTH Aachen-Lehrstuhl für OR Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany TU Darmstadt Fachbereich Mathematik Germany ZIB-A2IM Germany TU Berlin Germany ZIB-A2IM Software and Algorithms for Discrete Optimization Institute of Mathematics TU Berlin Germany GAMS Software GmbH c/o ZIB-AIS2T Germany
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of this paper is on the role of the SCI... 详细信息
来源: 评论
A proposal of an example and experiments repository to foster industrial adoption of formal methods  8th
A proposal of an example and experiments repository to foste...
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom
Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the pot... 详细信息
来源: 评论
Distributed System for Detecting the Malware in LAN
Distributed System for Detecting the Malware in LAN
收藏 引用
International Scientific and Technical Conference on computer Science and Information Technologies
作者: George Markowsky Oleg Savenko Anatoliy Sachenko Department of Computer Science Missouri University of Science and Technology Rolla USA Department of Computer Engineering and System Programming Khmelnytsky National University Khmelnytsky Ukraine Department of Informatics Kazimierz Pulaski University of Technology and Humanities in Radom Radom Poland
The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilev... 详细信息
来源: 评论