咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2561-2570 订阅
排序:
A Research into a Method of Enlarging the Cutting Range by Five-axis Linkage
A Research into a Method of Enlarging the Cutting Range by F...
收藏 引用
2012 IEEE 19th international conference on Industrial Engineering and Engineering Management(IE&EM 2012)
作者: Xing-guo Liu An-chuan Liu Wei-yun Meng Dong-ye Liu Qing-ying Zhao Guang-teng Zhang School of Mechanical engineering Shandong Polytechnic University Shandong Provincial Key Laboratory of Advanced Machine-making of Light Industry and Monitoring Technology
this paper presents a method of enlarging the cutting range by multiple coordinate axes, in which the NC machine tool processes roller gear indexing cams. the relationship between parameters is derived and applied to ... 详细信息
来源: 评论
Euro-Par 2013: Parallel Processing Workshops  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Dieter Mey Michael Alexander Paolo Bientinesi Carsten Clauss Mario Cannataro Alexandru Costan Christine Morin Gabor Kecskemeti Laura Ricci Julio Sahuquillo Martin Schulz Vittorio Scarano Stephen L. Scott Josef Weidendorfer
this book constitutes thoroughly refereed post-conference proceedings of the workshops of the 19th international conference on Parallel Computing, Euro-Par 2013, held in Aachen, Germany in August 2013. the 99 papers p... 详细信息
来源: 评论
Flowverine: Leveraging Dataflow programming for Building Privacy-Sensitive Android Applications
Flowverine: Leveraging Dataflow Programming for Building Pri...
收藏 引用
IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
作者: Eduardo Gomes Igor Zavalyshyn Nuno Santos João Silva Axel Legay INESC-ID / Instituto Superior Técnico Universidade de Lisboa Lisbon Portugal UCLouvain ICTEAM Louvain-la-Neuve Belgium Universidade de Lisboa Lisbon Portugal
Software security is a fundamental dimension in the development of mobile applications (apps). Since many apps have access to sensitive data (e.g., collected from a smartphone's sensors), the presence of security ... 详细信息
来源: 评论
High-K Spacer Gate Stack Engineered, Dual Metal Underlap Junction-less GaN Gate All Around (HKS-GSE-DMUL-JGaNGAA) MOSFET for High Frequency Applications
High-K Spacer Gate Stack Engineered, Dual Metal Underlap Jun...
收藏 引用
IEEE India conference (INDICON)
作者: Anubha Goel R. S. Gupta Department of E. C. E. Maharaja Agrasen Institute of Technology New Delhi India
High-K Spacer Gate Stack Engineered Dual-Metal Underlap Junction-less GaN Gate All Around (HKS-GSE-DMUL-JGaNGAA) MOSFET is proposed and postulated in this work for its applications in higher frequency domain. this has... 详细信息
来源: 评论
An SDN Architecture for IoT Networks Using ONOS Controller
An SDN Architecture for IoT Networks Using ONOS Controller
收藏 引用
Roedunet international conference (RoEduNet)
作者: Calin-Marian Iurian Iustin-Alexandru Ivanciu Beniamin Mihai Marian Daniel Zinca Virgil Dobrota Technical University of Cluj-Napoca Cluj-Napoca Romania
In order to evaluate the ONOS controller for Software Defined Networks (SDN) in an Internet of things (IoT) context, Mininet was installed and configured in a virtual machine. Two different scenarios were created: the... 详细信息
来源: 评论
Computationally Grounded Quantitative Trust with Time  20
Computationally Grounded Quantitative Trust with Time
收藏 引用
Proceedings of the 19th international conference on Autonomous Agents and MultiAgent Systems
作者: Nagat Drawel Jamal Bentahar Hongyang Qu Concordia University Montreal PQ Canada Shefield University Shefield United Kingdom
Although plenty of qualitative logical frameworks have been proposed to evaluate and model trust in multi-agent sittings [2,6,9,11], these approaches generally ignore reasoning about quantitative aspects such as degre... 详细信息
来源: 评论
An Energy-Efficient Smartphone Positioning Scheme by Fusing WiFi, GPS and PDR
An Energy-Efficient Smartphone Positioning Scheme by Fusing ...
收藏 引用
international conference on Mobile Ad-hoc and Sensor Networks, MSN
作者: Yankan Yang Baoqi Huang College of Computer Science Inner Mongolia University Hohhot China
Nowadays, global navigation satellite systems (GNSS) have been widely used for outdoor pedestrian positioning services. However, GNSS faces challenges such as high energy consumption and limited performance due to urb... 详细信息
来源: 评论
Optimization of Ge Gate All Around Field-Effect Transistors at a deca-nm node for Low Power Applications
Optimization of Ge Gate All Around Field-Effect Transistors ...
收藏 引用
IEEE India conference (INDICON)
作者: Sumit Choudhary Chander Mohan Manvender Chauhan B. Prasad Satinder K. Sharma School of Computing and Electrical Engineering Indian Institute of Technology Mandi Mandi India Department of Electronic Science Kurukshetra University Kurukshetra India
Device scaling hit the brick wall due to short channel and quantum effects. At sub-deca nanometers, quantum mechanics begins to dominate over classical theory. the Gate All Around field effect transistor performance i... 详细信息
来源: 评论
Establishing LoRa based Local Agri-Sensor Network through Sensor plugin modules and LoRaWAN Data concentrator for extensive Agriculture Automation
Establishing LoRa based Local Agri-Sensor Network through Se...
收藏 引用
IEEE India conference (INDICON)
作者: Vishnu V Das Anish Sathyan Divya D S ER&DCI-IT C & I Group Centre for Development of Advanced Computing (CDAC) Thiruvananthapuram
LoRa is a long range, low power wireless platform capable of establishing wireless Internet of things (IoT). LoRa devices and networks such as LoRaWAN accelerates smart IoT applications. Now a days sensors are coming ... 详细信息
来源: 评论
Trust-Based Requirements Traceability
Trust-Based Requirements Traceability
收藏 引用
IEEE Workshop on Program Comprehension
作者: Nasir Ali Yann-Gaël Gueheneuc Giuliano Antoniol SOCCER Laboratory DGIGL École Polytechnique de Montréal Canada Ptidej Team DGIGL École Polytechnique de Montréal Canada
Information retrieval (IR) approaches have proven useful in recovering traceability links between free text documentation and source code. IR-based traceability recovery approaches produce ranked lists of traceability... 详细信息
来源: 评论