当前期刊: Fundamenta Informaticae Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • Human-aware Contingent Planning
    Fundam. Inform. (IF 1.298) Pub Date : 2020-05-12
    Ignasi Andrés; Leliane Nunes de Barros; Karina Valdivia Delgado

    Contingent planning models a robot that must achieve a goal in a partially observable environment with non-deterministic actions. A solution for this problem is generated by searching in the space of belief states, where a belief state is a set of possible world states. However, if there is an unavoidable dead-end state, the robot will fail to accomplish his task. In this work, rather than limiting

    更新日期:2020-06-30
  • Solving the Team Composition Problem in a Classroom
    Fundam. Inform. (IF 1.298) Pub Date : 2020-05-12
    Felip Manyà; Santiago Negrete; Carme Roig; Joan Ramon Soler

    Given a classroom containing a fixed number of students and a fixed number of tables that can be of different sizes, as well as a list of preferred classmates to sit with for each student, the team composition problem in a classroom (TCPC) is the problem of finding an assignment of students to tables in such a way that the preferences of students are maximally-satisfied. In this paper, we first formally

    更新日期:2020-06-30
  • Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity
    Fundam. Inform. (IF 1.298) Pub Date : 2020-03-31
    Thom Frühwirth

    We present a concise source-to-source transformation that introduces justifications for user-defined constraints into the rule-based Constraint Handling Rules (CHR) programming language. There is no need to introduce a new semantics for justifications. This leads to a conservative extension of thelanguage, as we can show the equivalence of rule applications. A scheme of two rules suffices to allow

    更新日期:2020-03-31
  • Combining Static and Dynamic Contract Checking for Curry
    Fundam. Inform. (IF 1.298) Pub Date : 2020-03-31
    Michael Hanus

    Static type systems are usually not sufficient to express all requirements on function calls. Hence, contracts with pre- and postconditions can be used to express more complex constraints on operations. Contracts can be checked at run time to ensure that operations are only invoked with reasonablearguments and return intended results. Although such dynamic contract checking provides more reliable program

    更新日期:2020-03-31
  • A Constructor-Based Reachability Logic for Rewrite Theories
    Fundam. Inform. (IF 1.298) Pub Date : 2020-03-31
    Stephen Skeirik; Andrei Stefanescu; José Meseguer

    Reachability logic has been applied to 𝕂 rewrite-rule-based language definitions as a language-generic logic of programs to verify a wide range of sophisticated programs in conventional languages. Here we study how reachability logic can be made not just language-generic, but also rewrite-theory-generic, so that we can verify both conventional programs based on their rewriting logic operational semantics

    更新日期:2020-03-31
  • An adaptive coarse graining method for signal transduction in three dimensions.
    Fundam. Inform. (IF 1.298) Pub Date : 2012-01-01
    Michelle N Archuleta,Jason E McDermott,Jeremy S Edwards,Haluk Resat

    The spatio-temporal landscape of the plasma membrane regulates activation and signal transduction of membrane bound receptors by restricting their two-dimensional mobility and by inducing receptor clustering. This regulation also extends to complex formation between receptors and adaptor proteins, which are the intermediate signaling molecules involved in cellular signaling that relay the received

    更新日期:2019-11-01
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
物理学研究前沿热点精选期刊推荐
科研绘图
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
自然职场线上招聘会
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
阿拉丁试剂right
张晓晨
田蕾蕾
李闯创
刘天飞
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
天合科研
x-mol收录
X-MOL
清华大学
廖矿标
陈永胜
试剂库存
down
wechat
bug