咨询与建议

限定检索结果

文献类型

  • 2,450 篇 会议
  • 99 册 图书
  • 85 篇 期刊文献

馆藏范围

  • 2,634 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,646 篇 工学
    • 1,291 篇 计算机科学与技术...
    • 656 篇 软件工程
    • 366 篇 电气工程
    • 251 篇 控制科学与工程
    • 109 篇 信息与通信工程
    • 105 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 20 篇 土木工程
    • 20 篇 安全科学与工程
  • 402 篇 理学
    • 300 篇 数学
    • 60 篇 系统科学
    • 53 篇 物理学
    • 46 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 237 篇 管理学
    • 177 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 27 篇 法学
    • 19 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 184 篇 logic gates
  • 172 篇 fuzzy logic
  • 150 篇 programming
  • 107 篇 logic programmin...
  • 94 篇 linear programmi...
  • 76 篇 artificial intel...
  • 71 篇 dynamic programm...
  • 59 篇 probabilistic lo...
  • 58 篇 software enginee...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 47 篇 software
  • 45 篇 logic design
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 mathematical log...
  • 41 篇 logic
  • 41 篇 hardware

机构

  • 7 篇 institute for lo...
  • 5 篇 institute of log...
  • 5 篇 university of am...
  • 5 篇 department of in...
  • 4 篇 natl tech univ a...
  • 4 篇 international bu...
  • 4 篇 tu wien austria
  • 4 篇 graduate school ...
  • 4 篇 university of al...
  • 4 篇 imdea software i...
  • 4 篇 carnegie mellon ...
  • 4 篇 university of te...
  • 4 篇 university of mi...
  • 3 篇 university of la...
  • 3 篇 department of co...
  • 3 篇 free univ bozen ...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 ibm corp armonk ...
  • 3 篇 cesnet prague cz...

作者

  • 7 篇 woltran stefan
  • 6 篇 eiter thomas
  • 5 篇 leone nicola
  • 5 篇 faber wolfgang
  • 5 篇 tompits hans
  • 4 篇 tian cong
  • 4 篇 tokhi m. o.
  • 4 篇 sakama chiaki
  • 4 篇 jânio monteiro
  • 4 篇 frangopoulos chr...
  • 4 篇 barnes tiffany
  • 4 篇 pedro j. s. card...
  • 4 篇 michael h. lees
  • 4 篇 l.g. votta
  • 4 篇 jack j. dongarra
  • 4 篇 leonard barolli
  • 4 篇 dimopoulos georg...
  • 4 篇 roberto lam
  • 4 篇 valeria v. krzhi...
  • 4 篇 duan zhenhua

语言

  • 2,573 篇 英文
  • 37 篇 其他
  • 18 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2634 条 记 录,以下是2531-2540 订阅
排序:
Differential evolution technique in solving HEPWM switching angles of three-phase voltage source inverter
Differential evolution technique in solving HEPWM switching ...
收藏 引用
National Proceedings Power and Energy conference (PECon)
作者: Azziddin Mohamad Razali Norazelina Kamisman Jurifa Mat Lazi Norhazilina Bahari Wahidah Abd Halim Department of Power Electronics and Drives Universiti Teknikal Malaysia Melaka (UTeM) Melaka Malaysia
this paper presents the solution for odd and even number of switching angles of harmonic elimination pulse width modulation (HEPWM). HEPWM capable to eliminate low order harmonics of inverter output voltage by solving... 详细信息
来源: 评论
Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically
Using a genetic algorithm and formal concept analysis to gen...
收藏 引用
IEEE international conference on Automated Software Engineering (ASE)
作者: S. Khor P. Grogono Department of Computer Science Concordia University Canada
Automatic test generators (ATGs) are an important support tool for large-scale software development. Contemporary ATGs include JTest that does white box testing down to the method level only and black box testing if a... 详细信息
来源: 评论
Optimization of the Vehicle Routing Problem with Demand Responsive Transport Using the NSGA-II Algorithm
Optimization of the Vehicle Routing Problem with Demand Resp...
收藏 引用
IEEE international conference on Intelligent Transportation Systems
作者: Renan S. Mendes Elizabeth F. Wanner Joao F. M. Sarubbi Flavio V. C. Martins Programa de Pos-Graduacao em Modelagem Matematica e Computacional CEFET-MG Departamento de Computacao CEFET-MG
Demand Responsive Transport (DRT) systems emerge as an alternative to deal with the problem of variable demand, or even unpredictable, occurring in conventional urban transport systems. It can be seen in some practica... 详细信息
来源: 评论
A Mixed-Integer Linear programming Model for an Integrated Planting, Harvesting, and Procuring in Pickled Ginger Industry
A Mixed-Integer Linear Programming Model for an Integrated P...
收藏 引用
2012 IEEE 19th international conference on Industrial Engineering and Engineering Management(IE&EM 2012)
作者: A. Ritvirool A. Pantong Department of Industrial Engineering Naresuan University Department of Industrial Engineering University of Phayao Phayao Thailand
this paper addresses a production and procuring problem for fresh ginger rhizomes in a real-world pickled ginger industry. Planting and harvesting schedules affect fresh ginger rhizomes requirements for producing a pi... 详细信息
来源: 评论
Research on Allocation of Resource in Manufacturing Grid Based on Bi-level programming
Research on Allocation of Resource in Manufacturing Grid Bas...
收藏 引用
2012 IEEE 19th international conference on Industrial Engineering and Engineering Management(IE&EM 2012)
作者: Xiang-bin ZHANG Zhi-xian WU College of Economics & Management Nanjing University of Posts and Telecommunications
In order to make the manufacturing grid complete the manufacturing tasks and meet the market demand with low-cost and high-quality, the paper presents a resource allocation model based on bi-level programming. In this... 详细信息
来源: 评论
Fuzzy Inference System for Risk Evaluation in Gestational Diabetes Mellitus
Fuzzy Inference System for Risk Evaluation in Gestational Di...
收藏 引用
IEEE Symposium on Bioinformatics and Bioengineering (BIBE)
作者: Carlos Salort Sánchez Suzanne Smyth Elizabeth Tully Joanna Griffin Luke Heaphy Niamh Redmond Fionnuala Breathnach Jan Baumbach Cristian Axenie Huawei German Research Center Munich Germany Royal College of Surgeons in Ireland Rotunda Hospital Dublin Ireland RCSI Royal College of Surgeons in Ireland Dublin Ireland Department of Research Rotunda Hospital Dublin Ireland Rotunda Hospital Dublin Ireland TUM School of Life Sciences Weihenstephan Technical University of Munich (TUM) Freising Germany
Remote monitoring health data analysis holds the potential to reduce pregnancy complications, improve patients' quality of life, enhance the efficiency of healthcare delivery and reduce healthcare costs. In this p... 详细信息
来源: 评论
A balun transimpedance amplifier with adjustable gain for integrated SPO2 optic sensors
A balun transimpedance amplifier with adjustable gain for in...
收藏 引用
international conference on Mixed Design of Integrated Circuits and Systems (MIXDES)
作者: José Carvalho Luis B. Oliveira João P. Oliveira João Goes Manuel M. Silva CTS-UNINOVA and Faculty of Sciences and Technology (FCT) Universidade Nova de Lisboa Portugal INESC-ID Technical University of Lisbon Lisboa Portugal
the oxygen level in blood, usually referred as SPO 2 (Saturation of hemoglobin with oxygen as measured by pulseoximetry) is an essential medical information. Measuring the oxygen level of the human blood using non-in... 详细信息
来源: 评论
A data-driven approach for pedestrian intention estimation
A data-driven approach for pedestrian intention estimation
收藏 引用
IEEE international conference on Intelligent Transportation Systems
作者: Benjamin Volz Karsten Behrendt Holger Mielenz Igor Gilitschenski Roland Siegwart Juan Nieto Corporate Research Robert Bosch GmbH Chassis Systems Control Robert Bosch LLC Autonomous Systems Lab ETH Zurich
In the context of future urban automated driving many important problems remain unsolved. A critical one is the analysis and prediction of pedestrian movements around urban roads. Especially the analysis of non-critic... 详细信息
来源: 评论
Least congested channel recommendation for uncoordinated access point
Least congested channel recommendation for uncoordinated acc...
收藏 引用
international conference on Advanced Communication Technology (ICACT)
作者: Ahmad Tajuddin Samsudin Norman Fadhil Idham Muhammad Awang Ibrahim Awang Daud Syaiful Nizam Yahya Khalil Huzairi Ahmad TM Research & Development Sdn. Bhd. Cyberjaya Malaysia
When Telekom Malaysia Berhad (TM) introduces the Wi-Fi residential gateway to its broadband customers, it faces issues related to Wi-Fi signal strength that caused degraded Wi-Fi network performance. the convenience o... 详细信息
来源: 评论
Embedding fuzzy logic in content based image retrieval
Annual Conference of the North American Fuzzy Information Pr...
收藏 引用
Annual conference of the North American Fuzzy Information Processing Society - NAFIPS 2000年 85-89页
作者: Vertan, Constantin Boujemaa, Nozha INRIA Rocquancourt Le Chesnay France
this paper focuses on the possible embedding of the uncertainty regarding the colors of an image into histogram-type descriptors. the uncertainty naturally arises from both the quantization of the color components and... 详细信息
来源: 评论