咨询与建议

限定检索结果

文献类型

  • 90 篇 期刊文献
  • 83 篇 会议
  • 3 册 图书
  • 2 篇 学位论文

馆藏范围

  • 178 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 161 篇 工学
    • 141 篇 计算机科学与技术...
    • 69 篇 软件工程
    • 21 篇 电气工程
    • 12 篇 信息与通信工程
    • 9 篇 控制科学与工程
    • 3 篇 仪器科学与技术
    • 2 篇 机械工程
    • 2 篇 动力工程及工程热...
    • 2 篇 石油与天然气工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
  • 30 篇 理学
    • 22 篇 数学
    • 4 篇 物理学
    • 2 篇 化学
    • 2 篇 生物学
    • 2 篇 统计学(可授理学、...
    • 1 篇 科学技术史(分学科...
  • 8 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 3 篇 哲学
    • 1 篇 哲学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...

主题

  • 178 篇 declarative prog...
  • 18 篇 logic programmin...
  • 11 篇 answer set progr...
  • 8 篇 prolog
  • 6 篇 imperative progr...
  • 6 篇 constraint progr...
  • 5 篇 constraints
  • 5 篇 artificial intel...
  • 5 篇 program complete...
  • 5 篇 programming lang...
  • 4 篇 program correctn...
  • 4 篇 languages
  • 4 篇 programming lang...
  • 4 篇 search
  • 4 篇 multidimensional...
  • 4 篇 separation of co...
  • 3 篇 cartesian progra...
  • 3 篇 parallelism
  • 3 篇 deductive databa...
  • 3 篇 extensible middl...

机构

  • 6 篇 univ pisa dept c...
  • 3 篇 univ penn philad...
  • 3 篇 linkoping univ d...
  • 3 篇 univ new s wales...
  • 3 篇 polish acad sci ...
  • 2 篇 univ malaga lcc ...
  • 2 篇 vrije universite...
  • 2 篇 univ texas arlin...
  • 2 篇 linkoping univ i...
  • 2 篇 rise kista
  • 2 篇 cau kiel inst in...
  • 2 篇 univ parma dipar...
  • 2 篇 univ politecn va...
  • 2 篇 univ turku turku
  • 2 篇 polish acad sci ...
  • 2 篇 univ bergen berg...
  • 2 篇 univ kentucky co...
  • 2 篇 univ americas pu...
  • 2 篇 johns hopkins un...
  • 2 篇 university of am...

作者

  • 7 篇 forti stefano
  • 7 篇 brogi antonio
  • 5 篇 drabent wlodzimi...
  • 4 篇 mancilla blanca
  • 4 篇 plaice john
  • 3 篇 ferrari gian-lui...
  • 3 篇 hellerstein jose...
  • 3 篇 calimeri frances...
  • 3 篇 loo boon thau
  • 3 篇 hanus michael
  • 3 篇 germano stefano
  • 2 篇 barash mikhail
  • 2 篇 casadei roberto
  • 2 篇 stevens reinout
  • 2 篇 salvador lucas
  • 2 篇 henderson chris
  • 2 篇 varela carlos a.
  • 2 篇 stokke knut ande...
  • 2 篇 enrico pontelli
  • 2 篇 tilevich eli

语言

  • 163 篇 英文
  • 14 篇 其他
  • 1 篇 中文
检索条件"主题词=Declarative Programming"
178 条 记 录,以下是11-20 订阅
排序:
Novel Web Application Development Platform Using declarative programming and Business Process  2
Novel Web Application Development Platform Using Declarative...
收藏 引用
International Symposium on Computing and Networking CANDAR
作者: Yang, Wei-Jen Huang, Wei-Lun Liao, Chiao-Ssu Wang, Yu-Wei Chu, Chun-Yen Inst Informat Ind Adv Res Inst Taipei Taiwan
In this paper, we propose a novel web application development platform using the declarative programming and business process. In the proposed platform, we define the program flow by the business process, which can or... 详细信息
来源: 评论
Thermal management for gas lubricated, high-speed turbomachinery
收藏 引用
APPLIED THERMAL ENGINEERING 2023年 218卷
作者: Olmedo, L. E. Liu, W. Gjika, K. Schiffmann, J. Ecole Polytech Fed Lausanne STI IGM LAMD CH-2002 Neuchatel Switzerland KG Turbomachinery Paris France
High-speed turbomachinery is commonly designed to achieve high power densities. Limited space for active cooling results in a challenging thermal management. A thermal modeling approach leveraging modern declarative p... 详细信息
来源: 评论
A domain-specific language for structure manipulation in constraint system-based GUIs
收藏 引用
JOURNAL OF COMPUTER LANGUAGES 2023年 74卷
作者: Stokke, Knut Anders Barash, Mikhail Jarvi, Jaakko Univ Bergen Bergen Norway Univ Turku Turku Finland
A common frustration with programming Graphical User Interfaces (GUIs) is that features for manipulating structures, such as lists and trees, are limited, inconsistent, buggy, or even missing. Implementing complete an... 详细信息
来源: 评论
Prompt2DeModel: declarative Neuro-Symbolic Modeling with Natural Language  18th
Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Nat...
收藏 引用
18th International Conference on Neural-Symbolic Learning and Reasoning (NeSy)
作者: Faghihi, Hossein Rajaby Nafar, Aliakbar Uszok, Andrzej Karimian, Hamid Kordjamshidi, Parisa Michigan State Univ E Lansing MI 48824 USA Florida Inst Human & Machine Cognit Pensacola FL USA
This paper presents a conversational pipeline for crafting domain knowledge for complex neuro-symbolic models through natural language prompts. It leverages large language models to generate declarative programs in th... 详细信息
来源: 评论
A declarative reasoning approach to conflict management in Intent-Based Networking  27
A declarative reasoning approach to conflict management in I...
收藏 引用
27th Conference on Innovation in Clouds, Internet and Networks (ICIN)
作者: Massa, Jacopo Forti, Stefano Paganelli, Federica Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy
Intent-Based Networking aims to automate network management by allowing users to express desired outcomes rather than manually configuring network resources. For its fulfilment, a user intent should be translated into... 详细信息
来源: 评论
On Correctness and Completeness of an n Queens Program
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2022年 第1期22卷 37-50页
作者: Drabent, Wlodzimierz Polish Acad Sci Inst Comp Sci Ul Jana Kazimierza 5 PL-01248 Warsaw Poland Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden
Thom Fruhwirth presented a short, elegant, and efficient Prolog program for the n queens problem. However, the program may be seen as rather tricky and one may not be convinced about its correctness. This paper explai... 详细信息
来源: 评论
Osmotic management of distributed complex systems: A declarative decentralised approach
收藏 引用
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS 2022年 第10期34卷
作者: Forti, Stefano Lera, Isaac Guerrero, Carlos Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy Univ Balearic Isl Dept Comp Sci Palma De Mallorca Spain
Osmotic computing encompasses emerging Cloud-Internet of Things (IoT) computing paradigms, by featuring the possibility for application services to adapt into different functionally equivalent flavours, depending on t... 详细信息
来源: 评论
A General Purpose Representation and Adaptive EA for Evolving Graphs  23
A General Purpose Representation and Adaptive EA for Evolvin...
收藏 引用
Genetic and Evolutionary Computation Conference (GECCO)
作者: Medvet, Eric Pozzi, Simone Manzoni, Luca Univ Trieste DIA Trieste Italy Univ Trieste DMG Trieste Italy
Graphs are a way to describe complex entities and their relations that apply to many practically relevant domains. However, domains often differ not only in the properties of nodes and edges, but also in the constrain... 详细信息
来源: 评论
Program Synthesis for declarative Systems
Program Synthesis for Declarative Systems
收藏 引用
作者: Chen, Haoxian University of Pennsylvania
学位级别:Ph.D., Doctor of Philosophy
Formal methods are essential in assuring system correctness. However, formal specification languages have steep learning curves, thus hindering broader application to system development in practice. To address this pr... 详细信息
来源: 评论
declarative Provisioning of Virtual Network Function Chains in Intent-based Networks  9
Declarative Provisioning of Virtual Network Function Chains ...
收藏 引用
9th IEEE International Conference on Network Softwarization (IEEE NetSoft) - Boosting Future Networks through Advanced Softwarization
作者: Massa, Jacopo Forti, Stefano Paganelli, Federica Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy
Intent-based Networking (IBN) aims at simplifying network configuration and management by using high-level objectives that express the desired state of the network rather than the details of how to implement it. In th... 详细信息
来源: 评论