当前期刊: 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.
导出
全部期刊列表>>
材料学研究精选
Springer Nature Live 产业与创新线上学术论坛
胸腔和胸部成像专题
自然科研论文编辑服务
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
杨超勇
周一歌
华东师范大学
南京工业大学
清华大学
中科大
唐勇
跟Nature、Science文章学绘图
隐藏1h前已浏览文章
中洪博元
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
福州大学
南京大学
王杰
左智伟
湖南大学
清华大学
吴杰
赵延川
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug