Results 71 to 80 of about 100,374 (308)
Structural operational semantics for stochastic and weighted transition systems
, 2013 We introduce weighted GSOS, a general syntactic framework to specify well-behaved transition systems where transitions are equipped with weights coming from a commutative monoid.
Aceto +32 more
core +2 more sources
Programming in logic without logic programming [PDF]
, 2015 In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
Kowalski, Robert, Sadri, Fariba
core +3 more sources
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
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
Structural Operational Semantics with transitivity rules and execution time
CLEI Electronic Journal, 2009 We de¯ne an structural operational semantics of the core of an imperative language. It has a measure in the transitions corresponding to the number of steps of evaluation that takes place in the transition (from the point of view of usual ...
Patricia Peratto
doaj +1 more source
Circuit Implementation of Variable-Order Scaling Fractal-Ladder Fractor with High Resolution
Fractal and Fractional, 2022 Extensive research has been conducted on the scaling fractal fractor using various structures. The development of high-resolution emulator circuits to achieve a variable-order scaling fractal fractor with high resolution is a major area of interest.
Bo Yu, Yifei Pu, Qiuyan He, Xiao Yuan
doaj +1 more source
, 2011 Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
De Nicola, Rocco
core +1 more source
Advanced Science, EarlyView.DECENT is a deep learning method that enhances noninvasive preimplantation genetic testing by accurately reconstructing embryonic copy number variations (CNVs) from cell‐free DNA in spent embryo culture media. By mitigating maternal contamination, DECENT improves diagnostic accuracy, even with high contamination levels, offering a reliable, noninvasive
Zhenyi Zhang +3 more
wiley +1 more source
Modeling operational semantics of machine instructions
Труды Института системного программирования РАН, 2018 This paper offers a model which allows describe operational semantics of machine instructions for various target architectures. Feature of this model is that it is intended for reverse transformation compared with classical compilation one, however the ...
V. A. Padaryan +2 more
doaj
Reversing Parallel Programs with Blocks and Procedures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of operational semantics capable of storing necessary reversal information, and ...
James Hoey, Irek Ulidowski, Shoji Yuen
doaj +1 more source