Results 71 to 80 of about 493,809 (298)
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
, 2016 We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs.
Birkedal, Lars +3 more
core +1 more source
Co-evolutionary Game Dynamics of Competitive Cognitions and Public Opinion Environment
Frontiers in Physics, 2021 Competitive cognition dynamics are widespread in modern society, especially with the rise of information-technology ecosystem. While previous works mainly focus on internal interactions among individuals, the impacts of the external public opinion ...
Haoyan Liu +9 more
doaj +1 more source
In‐Hand Singulation, Scooping, and Cable Untangling with a 5‐Dof Tactile‐Reactive Gripper
Advanced Robotics Research, EarlyView.This article presents a two‐fingered gripper with five degrees of freedom and a vision‐based tactile sensor for dexterous in‐hand manipulation. It performs complex tasks such as object singulation within granular media, scooping and precise card insertion, and cable untangling.
Yuhao Zhou +3 more
wiley +1 more source
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources
Interests diffusion on a semantic multiplex [PDF]
The European Physical Journal Special Topics, 2016 Exploiting the information about members of a Social Network (SN) represents one of the most attractive and dwelling subjects for both academic and applied scientists. The community of Complexity Science and especially those researchers working on multiplex social systems are devoting increasing efforts to outline general laws, models, and theories, to
Gregorio D’Agostino, Antonio De Nicola
openaire +2 more sources
The Theory of Finitely Supported Structures and Choice Forms [PDF]
Scientific Annals of Computer Science, 2018 The theory of finitely supported algebraic structures provides a first step in computing infinite algebraic structures that are finitely supported modulo certain atomic permutation actions.
A. Alexandru
doaj +1 more source
Mathematics, 2022 This paper addresses a problem of global optimization in a non-Archimedean fuzzy metric space context without fuzzy P-property. Specifically, it concerns the determination of the fuzzy distance between two subsets of a non-Archimedean fuzzy metric space.
Mi Zhou +3 more
doaj +1 more source
Advanced Science, EarlyView.Researchers develop advanced tools to study grapevine traits like berry quality and stress resilience. A 200K SNP array and high‐throughput phenotyping enable the identification of loci linked to berry shape, sugar content, acidity, and cold tolerance. Functional validation of genes such as NAC08 reveals roles in cold tolerance.
Yuyu Zhang +11 more
wiley +1 more source
Advanced Science, EarlyView.Extended‐field acquisition enables sub‐micron X‐ray imaging of a full mouse brain. The 3.3‐teravoxel volume is reconstructed, registered to a reference atlas, and stored in hierarchical format to augment currently available atlases and improve resolution in the third dimension by an order of magnitude.
Mattia Humbel +8 more
wiley +1 more source
Action semantics in retrospect [PDF]
, 2009 This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on ...
D.A. Watt +13 more
core +1 more source