Results 71 to 80 of about 11,242,110 (313)
A Logic for Non-Deterministic Parallel Abstract State Machines
, 2017 We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by Nanchen and St\"ark for reasoning about hierarchical (parallel) ASMs.
A Blass +9 more
core +1 more source
Modelling rational user behaviour as games between an angel and a demon [PDF]
, 2008 Formal models of rational user behavior are essential for user-centered reasoning about interactive systems. At an abstract level, planned behavior and reactive behavior are two important aspects of the rational behavior of users for which existing ...
Blandford, A., Curzon, P., Rukšenas, R.
core +1 more source
Bioinspired Shape‐Memory Hook Fasteners With Programmable Interlocking and Silent Release
Advanced Engineering Materials, EarlyView.Bioinspired hook fasteners made from epoxy shape‐memory polymers are shown to switch between strong, secure attachment and gentle, silent release when heated. By combining programmable geometry and material response, these adaptive fasteners outperform commercial systems in strength and noise control, enabling new solutions for robotics, medical ...
Maria I. Vallejo Ciro +3 more
wiley +1 more source
Representation of self-similar Gaussian processes [PDF]
, 2014 We develop the canonical Volterra representation for a self-similar Gaussian process by using the Lamperti transformation of the corresponding stationary Gaussian process, where this latter one admits a canonical integral representation under the ...
Yazigi, Adil
core +1 more source
Logical Relations for Monadic Types
, 2008 Logical relations and their generalizations are a fundamental tool in proving properties of lambda-calculi, e.g., yielding sound principles for observational equivalence.
Abramsky +30 more
core +1 more source
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes [PDF]
, 2018 The study of algebraic modelling of labelled non-deterministic concurrent processes leads us to consider a category LB , obtained from a complete meet-semilattice B and from B-valued equivalence relations.
BOTTONI, Paolo Gaspare +3 more
core +1 more source
Advanced Functional Materials, EarlyView.Controlled syntheses of lanthanide coordination polymers based on the dihydroxybenzoquinone (DHBQ) organic linker afforded large single crystals of Ln‐DHBQ CPs (Ln = Yb, Nd). A novel structural variant of Yb‐DHBQ is identified by means of single crystal diffraction analysis.
Marina I. Schönherr +7 more
wiley +1 more source
Complexity Hierarchies and Higher-order Cons-free Term Rewriting [PDF]
Logical Methods in Computer Science, 2017 Constructor rewriting systems are said to be cons-free if, roughly, constructor terms in the right-hand sides of rules are subterms of the left-hand sides; the computational intuition is that rules cannot build new data structures.
Cynthia Kop, Jakob Grue Simonsen
doaj +1 more source
Overcoming non-determinism in testing smart devices: how to build models of device behaviour [PDF]
, 2012 Justification of smart instruments has become an important topic in the nuclear industry. In practice, however, the publicly available artefacts are often the only source of information about the device.
Bishop, P. G., Cyra, L.
core
How friends and non-determinism affect opinion dynamics
, 2015 The Hegselmann-Krause system (HK system for short) is one of the most popular models for the dynamics of opinion formation in multiagent systems. Agents are modeled as points in opinion space, and at every time step, each agent moves to the mass center ...
Bhattacharyya, Arnab +1 more
core +1 more source