Results 121 to 130 of about 17,798 (304)

Strengthening Model Checking Techniques with Inductive Invariants [PDF]

, 2009
This paper describes optimized techniques to efficiently compute and reap benefits from inductive invariants within SAT-based model checking. We address sequential circuit verification, and we consider both equivalences and implications between pairs of ...
Nocco, Sergio, Cabodi, Gianpiero, Quer, Stefano   +2 more
core  

Analysing the significance of small conformational changes and low occupancy states in serial crystallographic data

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, Yelyzaveta Pulnova, Elke De Zitter, Helen M. Ginn, Briony A. Yorke   +4 more
wiley   +1 more source

Strict Constraint Qualifications and Sequential Optimality Conditions for Constrained Optimization

, 2018
Sequential optimality conditions for constrained optimization are necessarily satisfied by local minimizers, independently of the fulfillment of constraint qualifications.
José Mario Martínez, Roberto Andreani, Paulo J. S. Silva, Alberto Ramos   +3 more
core   +1 more source

Proteasomal degradation of intracellularly expressed Amblyomin‐X limits suicide gene therapy potential in melanoma cells

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, Carlos DeOcesano Pereira, Aline Ramos Maia Lobba, Melissa Regina Fessel, Ana Marisa Chudzinski‐Tavassi   +4 more
wiley   +1 more source

A novel surrogate-based aerodynamic optimization method using field approximate model

, 2017
An efficient surrogate-based aerodynamic shape optimization method is developed to improve the optimization efficiency. In this method, the field approximate model is presented firstly to predict the flow field parameters of interest for specific ...
Wenjie Wang, Donghui Wang, Zeping Wu, Weihua Zhang   +3 more
core   +1 more source

Rapid screening of staphylokinase protein variants using an unpurified cell‐free expression system

FEBS Open Bio, EarlyView.
An unpurified cell‐free protein synthesis (CFPS) platform enables rapid functional screening of staphylokinase variants. Direct plasminogen‐activation assays performed in microplate format provide real‐time activity readouts, allowing rapid identification and ranking of variants with improved or reduced fibrinolytic activity without protein ...
Maria Tomková, Veronika Hovanová, Jiri Damborsky, Erik Sedlák   +3 more
wiley   +1 more source

Systemic dysregulation of apolipoproteins in amyotrophic lateral sclerosis serum

FEBS Open Bio, EarlyView.
Amyotrophic lateral sclerosis (ALS) is a fatal disease that damages motor neurons. This study found that people with ALS show significant changes in blood fats and the proteins that carry them. Several apolipoproteins were higher, lipid balances were altered, and normal protein–lipid relationships were disrupted.
Finula I. Isik, Russell Pickford, Hannah C. Timmins, Olivier Piguet, Glenda M. Halliday, Matthew C. Kiernan, Woojin Scott Kim   +6 more
wiley   +1 more source

Large‐scale bidirectional arrayed genetic screens identify OXR1 and EMC4 as modifiers of αSynuclein aggregation

FEBS Open Bio, EarlyView.
Activation of the mitochondrial protein OXR1 increases pSyn129 αSynuclein aggregation by lowering ATP levels and altering mitochondrial membrane potential, particularly in response to MSA‐derived fibrils. In contrast, ablation of the ER protein EMC4 enhances autophagic flux and lysosomal clearance, broadly reducing α‐synuclein aggregates.
Sandesh Neupane, Lea Nikolić, Lorenzo Maraio, Thomas Goiran, Nathan Karpilovsky, Stefano Sellitto, Vangelis Bouris, Jiang‐An Yin, Ronald Melki, Edward A Fon, Adriano Aguzzi, Elena De Cecco   +11 more
wiley   +1 more source

Análise da confiabilidade estrutural da longarina de uma aeronave rádio controlada [PDF]

, 2015
TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Engenharia Civil.Este trabalho apresenta uma análise sobre as possíveis vantagens de se utilizar uma metodologia de projeto baseada em confiabilidade estrutural, para a ...
Gonçalves, Matheus Silva
core  

Crashworthiness design optimization using multipoint sequential linear programming

, 1996
A design optimization tool has been developed for the crash victim simulation software MADYMO. The crash worthiness optimization problem is characterized by a noisy behaviour of objective function and constraints.
Schoofs, A.J.G., Etman, L.F.P., Etman, LFP Pascal, Slagmaat, MTP Marc van, Schoofs, AJG Bert, Adriaens, JMTA Han, Adriaens, J.M.T.A., Slagmaat, van, M.T.P.   +7 more
core   +1 more source