Results 91 to 100 of about 57,211 (297)
KLAIM: A Kernel Language for Agents Interaction and Mobility [PDF]
, 1997 We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another.
De Nicola, Rocco +2 more
core +2 more sources
Advanced Materials, EarlyView.Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam +6 more
wiley +1 more source
On Asynchrony and Choreographies [PDF]
, 2017 Choreographic Programming is a paradigm for the development of concurrent software, where deadlocks are prevented syntactically. However, choreography languages are typically synchronous, whereas many real-world systems have asynchronous communications ...
Cruz-Filipe, Luís, Montesi, Fabrizio
core +3 more sources
Advanced Materials, EarlyView.The Material Preparation Information File (MPIF) establishes a universal, community‐driven format for documenting the synthesis of metal–organic frameworks and related materials. By capturing complete, machine‐readable synthesis and characterization details, MPIF enhances reproducibility, supports FAIR data sharing, and bridges experimental chemistry ...
Ocean Cheung +10 more
wiley +1 more source
RisksAs Thailand’s financial sector accelerates its digital transformation, cybersecurity has transitioned from a mere technical support function to a strategic imperative that governs operational risk and financial stability.
Artid Sringam +1 more
doaj +1 more source
General Recursion via Coinductive Types [PDF]
Logical Methods in Computer Science, 2005 A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories.
Venanzio Capretta
doaj +1 more source
Familial monads and structural operational semantics [PDF]
Proceedings of the ACM on Programming Languages, 2019 We propose a categorical framework for structural operational semantics, in which we prove that under suitable hypotheses bisimilarity is a congruence. We then refine the framework to prove soundness of bisimulation up to context, an efficient method for reducing the size of bisimulation relations.
openaire +2 more sources
A Step-indexed Semantics of Imperative Objects
, 2008 Step-indexed semantic interpretations of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction. The types are interpreted as sets of values indexed by the number of computation steps for which these ...
Benjamin Pierce +2 more
core +6 more sources
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source