咨询与建议

限定检索结果

文献类型

  • 2,454 篇 会议
  • 86 篇 期刊文献
  • 7 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,652 篇 工学
    • 1,295 篇 计算机科学与技术...
    • 658 篇 软件工程
    • 368 篇 电气工程
    • 252 篇 控制科学与工程
    • 110 篇 信息与通信工程
    • 106 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 21 篇 安全科学与工程
    • 20 篇 土木工程
  • 405 篇 理学
    • 302 篇 数学
    • 60 篇 系统科学
    • 54 篇 物理学
    • 47 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 238 篇 管理学
    • 178 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 26 篇 法学
    • 18 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学

主题

  • 184 篇 logic gates
  • 172 篇 fuzzy logic
  • 150 篇 programming
  • 107 篇 logic programmin...
  • 94 篇 linear programmi...
  • 71 篇 dynamic programm...
  • 59 篇 probabilistic lo...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 48 篇 software
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 computer program...
  • 41 篇 logic
  • 41 篇 hardware
  • 40 篇 integer programm...
  • 39 篇 object oriented ...
  • 39 篇 programming prof...

机构

  • 7 篇 institute for lo...
  • 5 篇 institute of log...
  • 5 篇 department of in...
  • 4 篇 natl tech univ a...
  • 4 篇 international bu...
  • 4 篇 tu wien austria
  • 4 篇 graduate school ...
  • 4 篇 imdea software i...
  • 4 篇 carnegie mellon ...
  • 3 篇 department of co...
  • 3 篇 free univ bozen ...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 ibm corp armonk ...
  • 3 篇 school of comput...
  • 3 篇 natl inst inform...
  • 3 篇 department of co...
  • 3 篇 institute for lo...
  • 3 篇 carnegie mellon ...
  • 3 篇 hong kong univ s...

作者

  • 7 篇 woltran stefan
  • 6 篇 eiter thomas
  • 5 篇 leone nicola
  • 5 篇 faber wolfgang
  • 5 篇 tompits hans
  • 5 篇 raidl günther r.
  • 4 篇 tian cong
  • 4 篇 tokhi m. o.
  • 4 篇 sakama chiaki
  • 4 篇 frangopoulos chr...
  • 4 篇 barnes tiffany
  • 4 篇 l.g. votta
  • 4 篇 leonard barolli
  • 4 篇 dimopoulos georg...
  • 4 篇 duan zhenhua
  • 4 篇 m. o. tokhi
  • 4 篇 inoue katsumi
  • 4 篇 ricca francesco
  • 4 篇 hanenberg stefan
  • 3 篇 oda tetsuya

语言

  • 2,483 篇 英文
  • 39 篇 其他
  • 19 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2547 条 记 录,以下是111-120 订阅
19th EAI international conference on Security and Privacy in Communication Networks, SecureComm 2023
19th EAI International Conference on Security and Privacy in...
收藏 引用
19th EAI international conference on Security and Privacy in Communication Networks, SecureComm 2023
the proceedings contain 51 papers. the special focus in this conference is on Security and Privacy in Communication Networks. the topics include: CyberEA: An Efficient Entity Alignment Framework for Cybersecurity...
来源: 评论
Harnessing Programmable logic for Quaternion Multiplication  20th
Harnessing Programmable Logic for Quaternion Multiplication
收藏 引用
20th EAI international conference on Computer Science and Education in Computer Science, CSECS 2024
作者: Gorbounov, Yassen Chen, Hao New Bulgarian University Sofia Bulgaria China University of Mining and Technology Xuzhou221000 China
Quaternions are four-dimensional hyper-complex numbers discovered by Sir William Hamilton in the 19th century. Compared to Euler angles, quaternions allow combining rotations in three-dimensional space and help overco... 详细信息
来源: 评论
19th EAI international conference on Security and Privacy in Communication Networks, SecureComm 2023
19th EAI International Conference on Security and Privacy in...
收藏 引用
19th EAI international conference on Security and Privacy in Communication Networks, SecureComm 2023
the proceedings contain 51 papers. the special focus in this conference is on Security and Privacy in Communication Networks. the topics include: CyberEA: An Efficient Entity Alignment Framework for Cybersecurity...
来源: 评论
Measurement theory Meets Mereology in Multidimensionality in Resemblance Nominalism  1
收藏 引用
19th international conference on logic and Engineering of Natural Language Semantics (LENLS)
作者: Suzuki, Satoru Komazawa Univ Fac Arts & Sci 1-23-1 KomazawaSetagaya Ku Tokyo 1548525 Japan
the problem of particulars and universals is one of the most essential problems in the formal philosophy of language in the sense that it consists in a crossroads of ontology and semantics. According to Resemblance No... 详细信息
来源: 评论
Relay Assisted Network Coded (RANC) Wireless Multicast  19
Relay Assisted Network Coded (RANC) Wireless Multicast
收藏 引用
19th IEEE international conference on Mobile Ad Hoc and Smart Systems (MASS)
作者: Moghadam, Nadieh Lumori, Mikaya L. D. Shastri, Subramanian, V Li, Hongxiang Univ San Diego Dept Elect Engn San Diego CA 92110 USA Univ Louisville Dept Elect & Comp Engn Louisville KY 40292 USA
this paper considers the problem of maximizing the input rate in a relay assisted network coding (RANC) wireless multicast with packet erasure channels where the relay to destination channels have relatively higher ch... 详细信息
来源: 评论
Compilation of Distributed Programs to Services Using Multiple programming Languages  19
Compilation of Distributed Programs to Services Using Multip...
收藏 引用
19th international conference on Web Information Systems and Technologies, WEBIST 2023
作者: Prinz, thomas M. Course Evaluation Service Friedrich Schiller University Jena Jena Germany
Service-orientation recommends dividing software into separate independent services, with each service being implemented in the programming language that best fits into the service's problem space. However, data m... 详细信息
来源: 评论
Single-Inductor Dual-Output DC-DC Converter with Multiple Flying Capacitors  19
Single-Inductor Dual-Output DC-DC Converter with Multiple Fl...
收藏 引用
19th international conference on Synthesis, Modeling, Analysis and Simulation Methods, and Applications to Circuit Design, SMACD 2023
作者: Yilmaz, Hale Ozanoglu, Kemal Cavallini, Pier Yazgi, Metin Renesas Electronics Istanbul Turkey Bogazici University Department of Electrical and Electronics Engineering Turkey Cirrus Logic Edinburgh United Kingdom Istanbul Technical University Department of Electronics and Communications Engineering Turkey
this paper presents a novel single-inductor dual-output (SIDO) DC-DC converter topology with two flying capacitors. the two flying capacitors are located in the same current path, targeting an enhanced voltage drop re... 详细信息
来源: 评论
logic Diagnosis Based on Deep Learning for Multiple Faults  19
Logic Diagnosis Based on Deep Learning for Multiple Faults
收藏 引用
19th international SoC Design conference (ISOCC) - SoC Technology Towards a New Era of Innovation
作者: Kim, Tae Hyun Lim, Hyeonchan Cheong, Minho Yun, Hyojoon Kang, Sungho Yonsei Univ Dept Elect & Elect Engn Seoul South Korea
Diagnosis of faults in logic circuit is essential to improve the yield of semiconductor circuit production. However, accurate diagnosis of adjacent multiple faults is difficult. In this paper, an idea for diagnosis of... 详细信息
来源: 评论
Common Objects for programming Workshops in Non-Formal Learning Contexts  19th
Common Objects for Programming Workshops in Non-Formal Learn...
收藏 引用
19th international-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) international conference on Human-Computer Interaction (INTERACT)
作者: Bressa, Nathalie Bodker, Susanne Klokmose, Clemens N. Eriksson, Eva Inst Polytech Paris Telecom Paris CNRS i3 UMR 9217 Palaiseau France Aarhus Univ Aarhus Denmark
We investigate common objects as material support for programming workshops for children and adolescents in non-formal learning contexts. To this end, we engaged in a one-year participatory design process with a facil... 详细信息
来源: 评论
Interpolants and Explicit Definitions in Extensions of the Description logic EL  19
Interpolants and Explicit Definitions in Extensions of the D...
收藏 引用
19th international conference on Principles of Knowledge Representation and Reasoning, KR 2022
作者: Fortin, Marie Konev, Boris Wolter, Frank University of Liverpool United Kingdom
We show that the vast majority of extensions of the description logic EL do not enjoy the Craig interpolation nor the projective Beth definability property. this is the case, for example, for EL with nominals, EL with... 详细信息
来源: 评论