Results 41 to 50 of about 731,458 (247)
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation
, 2016 Compartmentalization is good security-engineering practice. By breaking a large software system into mutually distrustful components that run with minimal privileges, restricting their interactions to conform to well-defined interfaces, we can limit the ...
de Amorim, Arthur Azevedo +4 more
core +3 more sources
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
FEBS Letters, EarlyView.We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source
IS THIS THE END OF QUOTATION? NOTES ABOUT “LITERARY QUOTATION” CULTURE
Концепт: философия, религия, культура, 2018 This article analyses the classic quotation destiny in modern literary texts through culture and ethics collision. Unfortunately, on the one hand, “Antiplagiat” does not suit for that case and on the other hand, quotation definition as “a group of words ...
H. F. Ovcharenko
doaj +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Supporting Separate Compilation in a Defunctionalizing Compiler.
OpenAccess Series in Informatics, 2013 Defunctionalization is generally considered a whole-program transformation and thus incompatible with separate compilation. In this paper, we formalize a modular variant of defunctionalization which can support separate compilation. Our technique allows modules in a Haskell-like language to be separately defunctionalized and compiled, then linked ...
Georgios Fourtounis 0001 +1 more
openaire +3 more sources
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source
$\texttt{galkin}$: a new compilation of the Milky Way rotation curve data
, 2017 We present $\texttt{galkin}$, a novel compilation of kinematic measurements tracing the rotation curve of our Galaxy, together with a tool to treat the data.
Iocco, Fabio, Pato, Miguel
core +3 more sources
Compiler Verification and Compiler Architecture
Electronic Notes in Theoretical Computer Science, 2002 AbstractWe study issues in verifying compilers for modern imperative and object-oriented languages. We take the view that it is not the compiler but the code generated by it which must be correct. It is this subtle difference that allows for reusing standard compiler architecture, construction methods and tools also in a verifying compiler.Program ...
openaire +1 more source
An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane
FEBS Letters, EarlyView.Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa +3 more
wiley +1 more source
COCOVILA – Compiler-Compiler for Visual Languages
Electronic Notes in Theoretical Computer Science, 2005 AbstractA compiler-compiler for visual languages is presented. It has been designed as a framework for building visual programming environments that translate schemas into textual representation as well as into programs representing the deep meaning of schemas.
Pavel Grigorenko, Ando Saabas, Enn Tyugu
openaire +1 more source