Results 51 to 60 of about 254,078 (233)
On the application of substitution algebra to program unification
Труды Института системного программирования РАН, 2018 Many problems in software engineering such as program refactoring, deobfuscation, vulnerability detection, require an efficient toolset for detecting pieces of code that have similar behavior.
V. A. Zakharov, T. A. Novikova
doaj
Service Equivalence via Multiparty Session Type Isomorphisms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 This paper addresses a problem found within the construction of Service Oriented Architecture: the adaptation of service protocols with respect to functional redundancy and heterogeneity of global communication patterns.
Assel Altayeva, Nobuko Yoshida
doaj +1 more source
FEBS Letters, EarlyView.This study reveals a unique active site enriched in methionine residues and demonstrates that these residues play a critical role by stabilizing carbocation intermediates through novel sulfur–cation interactions. Structure‐guided mutagenesis further revealed variants with significantly altered product profiles, enhancing pseudopterosin formation. These
Marion Ringel +13 more
wiley +1 more source
A code-based hybrid signcryption scheme
Journal of Mathematical Cryptology, 2023 A key encapsulation mechanism (KEM{\mathsf{KEM}}) that takes as input an arbitrary string, i.e., a tag, is known as tag-KEM{\mathsf{KEM}}, while a scheme that combines signature and encryption is called signcryption.
Klamti Jean Belo, Hasan M. Anwarul
doaj +1 more source
FunTAL: Reasonably Mixing a Functional Language with Assembly
, 2017 We present FunTAL, the first multi-language system to formalize safe interoperability between a high-level functional language and low-level assembly code while supporting compositional reasoning about the mix.
Ahmed, Amal +3 more
core +1 more source
FEBS Letters, EarlyView.Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura +2 more
wiley +1 more source
Formal Verification of Code Conversion: A Comprehensive Survey
TechnologiesCode conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry.
Amira T. Mahmoud +7 more
doaj +1 more source
Code-Switching Strategies: Prosody and Syntax
Frontiers in Psychology, 2020 The contentious question of bilingual processing cost may be recast as a fresh question of code-switching (CS) strategies—quantitative preferences and structural adjustments for switching at particular junctures of two languages.
Rena Torres Cacoullos
doaj +1 more source
Exotic field theories for (hybrid) fracton phases from imposing constraints in foliated field theory
Journal of High Energy Physics, 2023 Fracton phases of matter are gapped phases of matter that, by dint of their sensitivity to UV data, demand non-standard quantum field theories to describe them in the IR. Two such approaches are foliated quantum theory and exotic field theory.
Ryan C. Spieler
doaj +1 more source
Diversity and complexity in neural organoids
FEBS Letters, EarlyView.Neural organoid research aims to expand genetic diversity on one side and increase tissue complexity on the other. Chimeroids integrate multiple donor genomes within single organoids. Self‐organising multi‐identity organoids, exogenous cell seeding, or enforced assembly of region‐specific organoids contribute to tissue complexity.
Ilaria Chiaradia, Madeline A. Lancaster
wiley +1 more source