Results 41 to 50 of about 39,507 (262)
Formal Verification of Fault-Tolerant Hardware Designs
IEEE Access, 2023 Digital circuits for space applications can suffer from operation failures due to radiation effects. Error detection and mitigation techniques are widely accepted solutions to improve dependability of digital circuits under Single Event Upsets (SEUs) and
Luis Entrena +6 more
doaj +1 more source
The Derived Pure Spinor Formalism as an Equivalence of Categories
Symmetry, Integrability and Geometry: Methods and Applications, 2023 We construct a derived generalization of the pure spinor superfield formalism and prove that it exhibits an equivalence of dg-categories between multiplets for a supertranslation algebra and equivariant modules over its Chevalley-Eilenberg cochains. This equivalence is closely linked to Koszul duality for the supertranslation algebra. After introducing
Elliott, Chris +2 more
openaire +4 more sources
FEBS Letters, EarlyView.Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes +4 more
wiley +1 more source
A formalism for treating equivalence of recursive procedures [PDF]
RAIRO. Informatique théorique, 1985 We present a formal system for studying the equivalence of recursive procedures. The procedures are defined to include assignment statements and such constructs as branching and recursion. A fair amount of applications is provided to show how this approach can be used in proving equivalence of procedures.
openaire +2 more sources
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source
Equivalence of formal semantics definition methods [PDF]
Formal Aspects of Computing, 1997 Abstract There are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others have been designed to be accessible to a large audience and some have been designed to ...
openaire +2 more sources
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source
Formal & Dynamic Equivalence in Two English Translations of Nancy Ajram’s “Fi Hagat” Song
EloquenceBackground: Arabic songs have recently gained popularity among Indonesian audiences. Nancy Ajram, a Lebanese artist, is one of the most well-known singers whose songs are widely appreciated.
Rugayyah binti Alwi Muladawilah +1 more
doaj +1 more source
ILCEA, 2002 The translation of a legal text produced in a monolingual context implies a shift from one legal culture to another, since all countries have devised their own legal systems. The translator is thus faced with the problem of culture-bound notions.
Malcolm Harvey
doaj +1 more source
Formal Analysis of Quantum Systems using Process Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of ...
Timothy A.S. Davidson +2 more
doaj +1 more source