Results 61 to 70 of about 140,769 (264)
Evolutionary Techniques for Parametric WCET Analysis [PDF]
Estimating the worst-case execution time (WCET) of real-time programs is pivotal in their verification. WCET estimation either yields a numeric value that represents the maximum execution time of the program when executed on a specific hardware platform;
Marref, Amine
core +1 more source
The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
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
Accurate 2-D Modelling of Transonic Compressor Cascade Aerodynamics
Modern aeronautic fans are characterised by a transonic flow regime near the blade tip. Transonic cascades enable higher pressure ratios by a complex system of shockwaves arising across the blade passage, which has to be correctly reproduced in order to ...
Tommaso Piovesan +2 more
doaj +1 more source
Polyhedral Analysis Using Parametric Objectives [PDF]
The abstract domain of polyhedra lies at the heart of many program analysis techniques. However, its operations can be expensive, precluding their application to polyhedra that involve many variables. This paper describes a new approach to computing polyhedral domain operations.
Jacob M. Howe, Andy King
openaire +3 more sources
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
Based on the Guangzhou Business Center project, a typical super high-rise building with an asymmetric plan, taking the construction speed, closure time of mega braces and belt trusses as influencing factors, a parametric analysis on its lateral and ...
Hua-Ping Wang, Yi-Qing Xiao
doaj +1 more source
Tau acetylation at K331 has limited impact on tau pathology in vivo
We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source
Calpain small subunit homodimerization is robust and calcium‐independent
Calpains dimerize via penta‐EF‐hand (PEF) domains. Using single‐molecule force spectroscopy, we measured the strength and kinetics of PEF–PEF homodimer binding. The interaction is robust, shows a transient conformational step before dissociation, and remains largely insensitive to Ca2+.
Nesha May O. Andoy +4 more
wiley +1 more source
reservedNowadays the world of engineering and architecture, through the use of new technologies is coming to develop buildings, infrastructures and cities always more complex.
ZANON, ANDREA
core

