咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2551-2560 订阅
排序:
Probabilistic Assessment of Harmonics in a Residential Network
Probabilistic Assessment of Harmonics in a Residential Netwo...
收藏 引用
international conference on Harmonics and Quality of Power
作者: Pablo Rodríguez-Pajarón Araceli Hernandez Jovica V. Milanović Escuela Técnica Superior de Ingenieros Industriales Universidad Politécnica de Madrid Madrid Spain School of Electrical and Electronics Engineering The University of Manchester Manchester UK
this paper presents a framework to assess voltage harmonic levels of future distribution networks with increasing participation of nonlinear loads and photovoltaic distributed generation. the methodology proposed is u... 详细信息
来源: 评论
Advanced Computer-Aided Optimization of Quartz Resonator-Based Sensors
Advanced Computer-Aided Optimization of Quartz Resonator-Bas...
收藏 引用
international conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)
作者: Volodymyr Savchenko Oksana Mnushka Oleg Sokulskyi Computer Engineering and Programming Department National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Information Systems and Technologies Department National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute” Kyiv Ukraine
In this study, we present an improved approach to optimizing the parameters of sensor sensing elements using quartz resonators with an interelectrode gap. We combine graphical and analytical methods to solve the multi... 详细信息
来源: 评论
GaN broadband Power Amplifiers for terrestrial and space transmitters
GaN broadband Power Amplifiers for terrestrial and space tra...
收藏 引用
international conference on Microwaves, Radar and Wireless Communications
作者: Rocco Giofrè Paolo Colantonio Franco Giannini Electronic Engineering Department University of Roma Tor Vergata Roma Italy
this contribution reports several Power Amplifiers (PAs) designed using both GaN-on-Si and GaN-on-SiC technologies provided by Selex-SI foundry. the former is still under development while the other one is more stable... 详细信息
来源: 评论
Enriching a Spatial Road Representation with Lanes and Driving Directions
Enriching a Spatial Road Representation with Lanes and Drivi...
收藏 引用
IEEE international conference on Intelligent Transportation Systems
作者: E. Casapietra T. H. Weisswange C. Goerick F. Kummert Dépt. LUSSI Institut Mines-Telecom/Telecom Bretagne Rennes France
the detection of lane layout in the surroundings of the ego-vehicle is a key issue for modern ADAS and autonomous driving. Most modern systems rely on annotated spatial maps to provide lane information. However, these... 详细信息
来源: 评论
What Research Skills Do Scholars Excel at?—Based on Individual Contribution and External Recognition  19th
What Research Skills Do Scholars Excel at?—Based on Individ...
收藏 引用
19th international conference on Wisdom, Well-Being, Win-Win, iconference 2024
作者: Xiao, Aoxia Yang, Siluo Yue, Mingliang Jin, Minshu School of Information Management Wuhan University Wuhan China Wuhan Library Chinese Academy of Sciences Wuhan China
Diverse research skills are used by scholars in their studies, such as methods design, data investigation, and writing, which significantly influence their research quality and subsequent scientific reputation. Existi... 详细信息
来源: 评论
logic and MRF circuitry for labeling occluding and thinline visual contours  05
Logic and MRF circuitry for labeling occluding and thinline ...
收藏 引用
Proceedings of the 19th international conference on Neural Information Processing Systems
作者: Eric Saund Palo Alto Research Center Palo Alto CA
this paper presents representation and logic for labeling contrast edges and ridges in visual scenes in terms of both surface occlusion (border ownership) and thinline objects. In natural scenes, thinline objects incl...
来源: 评论
Simulation of Parameters and Modes of Wave Propagation in Electromechanical Systems Using Methods of Inverse Problemstheory
Simulation of Parameters and Modes of Wave Propagation in El...
收藏 引用
international conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)
作者: Petro Pukach Nataliya Protsakh Yurii Protsyk Ihor Demkiv Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine Department of Mathematics and Physics Ukrainian National Forestry University Lviv Ukraine Department of Computer Sciences Ukrainian National Forestry University Lviv Ukraine
this work is devoted to the determination of influence of the internal forces on the propagation of the waves in electromechanical systems. the task is simplified to an inverse problem for the third order hyperbolic e... 详细信息
来源: 评论
MOAD: Modeling Observation-Based Approximate Dependency
MOAD: Modeling Observation-Based Approximate Dependency
收藏 引用
IEEE international Workshop on Source Code Analysis and Manipulation
作者: Seongmin Lee David Binkley Robert Feldt Nicolas Gold Shin Yoo KAIST Daejeon Republic of Korea Loyola University Maryland Baltimore United States Chalmers University of Technology Gothenburg Sweden University College London London United Kingdom
While dependency analysis is foundational to many applications of program analysis, the static nature of many existing techniques presents challenges such as limited scalability and inability to cope with multi-lingua... 详细信息
来源: 评论
Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision  18th
Synthesis and Simulation of Ensembles of Boolean Networks fo...
收藏 引用
18th international conference on Computational Methods in Systems Biology, CMSB 2020
作者: Chevalier, Stéphanie Noël, Vincent Calzone, Laurence Zinovyev, Andrei Paulevé, Loïc LRI CNRS UMR8623 Univ. Paris-Saclay Orsay France Institut Curie INSERM U. PSL Mines ParisTech Paris France Lobachevsky University Nizhny Novgorod603000 Russia Univ. Bordeaux Bordeaux INP CNRS LaBRI UMR5800 Talence33400 France
the construction of models of biological networks from prior knowledge and experimental data often leads to a multitude of candidate models. Devising a single model from them can require arbitrary choices, which may l... 详细信息
来源: 评论
Development of IoT applications based on the MicroPython platform for Industry 4.0 implementation
Development of IoT applications based on the MicroPython pla...
收藏 引用
MECHATRONIKA international Symposium
作者: Gabriel Gaspar Peter Fabo Michal Kuba Jana Flochova Juraj Dudak Zuzana Florkova Slovak University of Technology in Bratislava Trnava Slovak republic TNtech Bytca Slovak republic University of Žilina Zilina Slovak republic
IoT and their industrial implementation aimed at Industry 4.0 is of a major interest among both research and development professionals. this article deals with the modifications and extensions possibilities of the sta... 详细信息
来源: 评论