Results 141 to 150 of about 553,328 (316)
FEBS Open Bio, EarlyView.Time‐resolved X‐ray solution scattering captures how proteins change shape in real time under near‐native conditions. This article presents a practical workflow for light‐triggered TR‐XSS experiments, from data collection to structural refinement. Using a calcium‐transporting membrane protein as an example, the approach can be broadly applied to study ...
Fatemeh Sabzian‐Molaei +3 more
wiley +1 more source
Retrenching partial requirements into system definitions: A simple feature interaction case study
, 2003 In conventional model-oriented formal refinement, the abstract model is supposed to capture all the properties of interest in the system, in an as-clutter-free-as-possible manner. Subsequently, the refinement process guides development inexorably towards
Banach, Richard; id_orcid +5 more
core +1 more source
FEBS Open Bio, EarlyView.Amino acids sequence of two different proteins with the same sequence (chameleon sequence—black boxes) represent in 3D structure of the proteins different secondary structures: HHHH—helical and BBB—Beta‐structural. The chains folded in water environment adopt different III‐order structures in which the chameleon fragments appear to adopt similar status
Irena Roterman +4 more
wiley +1 more source
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source
FEBS Open Bio, EarlyView.Matrix metalloproteinase‐9 (MMP9) drives ovarian cancer progression. Using MMP9‐null cells (M9‐KO) created from ovarian cancer cells, we found MMP9 loss did not block Epidermal Growth Factor (EGF)‐driven E‐cadherin dissolution or EMT but delayed and reduced EGF‐driven membrane protrusions. Transient MMP9 re‐expression drove membrane protrusion.
Claire Strauel +8 more
wiley +1 more source
Feasibility of dispersed phase grain refinement in ceramics.
, 1967 The feasibility of dispersed phase grain refinement in ceramics is assessed. Conditions for grain size stabilisation of normal grain growth are derived using a Zener type analysis for random dispersions and for the case in which all particles are located
Woolfrey, JL
core
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus
Recently, the rise of code-centric Large Language Models (LLMs) has reshaped the software engineering world with low-barrier tools like Copilot that can easily generate code.
Cai, Yufan +6 more
core +1 more source
FEBS Open Bio, EarlyView.This study explores the feasibility of expressing the antitumoral protein Amblyomin‐X through a suicide gene therapy approach and investigates its intracellular fate after gene delivery. Although the gene is efficiently expressed, melanoma cells rapidly degrade the Amblyomin‐X protein via proteasome activity.
Victor Dal Posolo Cinel +4 more
wiley +1 more source
ArcAngel: a Tactic Language for Refinement and its Tool Support [PDF]
Morgan's refinement calculus is a successful technique to develop and implement software in a precise, complete, and consistent way. From a formal specification we produce a program which correctly implements the specification by repeatedly applying ...
Oliveira, Marcel V. M.
core