咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 2,639 篇 电子文献
  • 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...
  • 76 篇 artificial intel...
  • 71 篇 dynamic programm...
  • 59 篇 software enginee...
  • 59 篇 probabilistic lo...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 48 篇 software
  • 46 篇 logic design
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 mathematical log...
  • 42 篇 computer program...
  • 41 篇 logic

机构

  • 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
  • 5 篇 raidl günther r.
  • 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...

语言

  • 2,575 篇 英文
  • 39 篇 其他
  • 19 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2639 条 记 录,以下是291-300 订阅
排序:
Considering Plurality and Miscegenation: the case of Michenzani Blocks, in Zanzibar  17
Considering Plurality and Miscegenation: the case of Michenz...
收藏 引用
17th international Docomomo conference - Modern Design: Social Commitment and Quality of Life, Proceedings
作者: Oliveira, Maria Manuel Palmeirim, Manuela School of Architecture Art and Design University of Minho Portugal Institute of Social Sciences University of Minho Portugal
Ng'ambo was, until the mid-19th Century, an agricultural area adjacent to Stone Town, Zanzibar. With the city's development, Ng'ambo became progressively residential, revealing typologies of urban, residen... 详细信息
来源: 评论
19th international conference on European Semantic Web conference, ESWC 2022
19th International Conference on European Semantic Web Confe...
收藏 引用
19th international conference on European Semantic Web conference, ESWC 2022
the proceedings contain 28 papers. the special focus in this conference is on European Semantic Web. the topics include: Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data;Improving Question Answe...
来源: 评论
Case study: using AI-assisted code generation in mobile teams
Case study: using AI-assisted code generation in mobile team...
收藏 引用
IEEE international conference on Intelligent Computer Communication and Processing (ICCP)
作者: Mircea-Serban Vasiliniuc Adrian Groza Department of Computer Science Technical University Of Cluj-Napoca and Nexttech International Cluj-Napoca Romania Department of Computer Science Technical University of Cluj-Napoca Cluj-Napoca Romania
We evaluate the performance of AI-assisted programming in mobile development teams that are focused on native mobile languages like Kotlin and Swift. the case study involves 16 participants and 2 technical reviewers, ...
来源: 评论
E-Learning platform to support learning logic programming  19
E-Learning platform to support learning logic programming
收藏 引用
Die 19. Fachtagung Bildungstechnologien der Gesellschaft fur Informatik e.V., DELFI 2021 - 19th conference on Educational Technologies of the German Informatics Society, DELFI 2021
作者: Jebe, Mari Gnyp, Jennifer Münker, Simon Petersen, Wiebke Heinrich-Heine-Universität Düsseldorf Institut für Sprache und Information Universitätsstraße1 Düsseldorf40225 Germany
来源: 评论
Vectorial Genetic programming—Optimizing Segments for Feature Extraction  19thth
Vectorial Genetic Programming—Optimizing Segments for Feat...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Fleck, Philipp Winkler, Stephan Kommenda, Michael Affenzeller, Michael University of Applied Sciences Upper Austria Softwarepark 11 Hagenberg4232 Austria Institute for Symbolic Artificial Intelligence Johannes Kepler University Altenberger Straße 69 Linz4040 Austria Josef Ressel Center for Symbolic Regression University of Applied Sciences Upper Austria Softwarepark 11 Hagenberg4232 Austria
Vectorial Genetic programming (Vec-GP) extends GP by allowing vectors as input features along regular, scalar features, using them by applying arithmetic operations component-wise or aggregating vectors into scalars b... 详细信息
来源: 评论
Fostering Attachment to the Community by Discovering of Local Resources Using Location-Based System
Fostering Attachment to the Community by Discovering of Loca...
收藏 引用
international conference on Ubiquitous Information Management and Communication (IMCOM)
作者: Ken Honda Chiharu Itoga Akira Hattori Faculty of Technology International Professional University of Technology Tokyo Japan Department of Sound Programming SITE LLC Osaka Japan Faculty of Global Media Studies Komazawa University Tokyo Japan
In Japan, population decline and the depopulation of local regions have become social issues. Various municipalities are working to discover and promote the unique attractions of their regions. Identifying the local r... 详细信息
来源: 评论
Interactive web course for teaching system programming  19
Interactive web course for teaching system programming
收藏 引用
19th IEEE international conference on Emerging eLearning Technologies and Applications, ICETA 2021
作者: Solanik, Michal Bilanova, Zuzana Gecaseka, Daniel Genci, Jan Novak, Dominik Technical University of Košice Faculty of Electrical Engineering and Informatics Department of Computers and Informatics Letná 9 Košice042 00 Slovakia
the article is devoted to the design and implementation of modern interactive courses in the form of a web interface. In the introduction, we justified the need to modernize teaching methods in university subjects aim... 详细信息
来源: 评论
A Diagrammatic Representation of Hegel's Science of logic  12th
A Diagrammatic Representation of Hegel's <i>Science of Logic...
收藏 引用
12th international conference on the theory and Application of Diagrams (Diagrams)
作者: Pluder, Valentin Lemanski, Jens Univ Siegen Philosoph Seminar Siegen Germany Fernuniv Inst Philosoph Hagen Germany
In this paper, we interpret a 19th century diagram, which is meant to visualise G.W.F. Hegel's entire method of the Science of logic on the basis of bitwise operations. For the interpretation of the diagram we use... 详细信息
来源: 评论
A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons  1
收藏 引用
19th international conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Auricchio, Gennaro Ferrarini, Luca Gualandi, Stefano Lanzarotto, Greta Pernazza, Ludovico Univ Pavia Dept Math Pavia Italy Univ Milano Bicocca Dept Math & Its Applicat Milan Italy INdAM Rome Italy Univ Strasbourg IRMA Strasbourg France
In Mathematical Music theory, the Aperiodic Tiling Complements Problem consists in finding all the possible aperiodic complements of a given rhythm A. the complexity of this problem depends on the size of the period n... 详细信息
来源: 评论
Constraint programming for Modeling and Solving a Hybrid Flow Shop Scheduling Problem  19
Constraint Programming for Modeling and Solving a Hybrid Flo...
收藏 引用
19th IEEE international conference on Networking, Sensing and Control, ICNSC 2022
作者: Zhang, Haotian Ji, Yingjun Zhao, Ziyan Liu, Shixin College of Information Science and Engineering Northeastern University Shenyang110819 China College of Information Liaoning University Shenyang110036 China Foshan Graduate School of Innovation Northeastern University Foshan528311 China
As an extension of a flow shop scheduling problem, hybrid flow shop scheduling problems (HFSP) have been widely concerned. their characteristics are that every stage has parallel machines, and every job has more compl... 详细信息
来源: 评论