Results 71 to 80 of about 4,882 (287)
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
A 14‐Year Study of Serum Glial Fibrillary Acidic Protein and Total Tau in Premanifest Huntington's
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT There is a pressing need for blood biomarkers that can identify Huntington's disease (HD) gene carriers' proximity to manifest disease. We previously examined serial serum neurofilament light (NfL) concentrations in 21 premanifest HD gene carriers and 14 controls over 14 years, finding that NfL demonstrates high prognostic value and distinct ...
Natalia E. Owen +8 more
wiley +1 more source
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
Arthritis Care &Research, EarlyView.Objective Despite knowledge that health outcomes vary according to patient characteristics, identity, and geography, including underrepresented populations in arthritis research remains a challenge. We conducted interviews to explore how researchers in arthritis have used equity, diversity, and inclusion (EDI) principles to inform their research ...
Megan M. Thomas +8 more
wiley +1 more source
Science & Philosophy, 2017 In this essay several aspects of the concept ‘indicator’ are criticized, as well as the technical consequences of those misconceptions. The most relevant among them is the pretence of measuring the validity of an indicator, e. g.
Alberto Marradi
doaj +1 more source
A Provenance Tracking Model for Data Updates [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented.
Gabriel Ciobanu, Ross Horne
doaj +1 more source
A Case‐Based Reasoning Approach to Model Manufacturing Constraints for Impact Extrusion
Advanced Engineering Materials, EarlyView.A hybrid modeling approach is presented that combines constraint‐based process modeling and case‐based reasoning. The model formalizes manufacturing constraints and integrates simulation data to model complex manufacturing processes. The approach supports manufacturability analysis during product design through an adaptive modeling environment.
Kevin Herrmann +5 more
wiley +1 more source
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential [PDF]
Logical Methods in Computer ScienceLogical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive notions of operationally-based logical relations have been designed and ...
Francesco Dagnino, Francesco Gavazzo
doaj +1 more source
Advanced Healthcare Materials, EarlyView.This study reports a novel strategy for preparing a biocompatible adhesive hydrogel crosslinked with a muscle tissue‐derived extracellular matrix (MEM) for in situ muscle regeneration. As a natural crosslinker, MEM not only mediates combinatorial polymer networks but also stimulates satellite cells to induce a cell‐free therapeutic solution.
Eun Je Jeon +6 more
wiley +1 more source
Advanced Materials, EarlyView.The SciAgents AI model drives hypothesis generation by harnessing multi‐agent graph reasoning, extracting insights from knowledge graphs constructed from scientific papers. Each agent plays a specific role: the Ontologist defines concepts, the Scientists draft and refine proposals, and the Critic reviews.
Alireza Ghafarollahi, Markus J. Buehler
wiley +1 more source