Results 91 to 100 of about 22,894 (307)
Human Factors of Formal Methods
CoRR, 2014 Preprint. Final version published in Proceedings of IADIS International Conference Interfaces and Human Computer Interaction 2012 (IHCI 2012 ...
openaire +2 more sources
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source
A factorization method for identification of Volterra systems
, 2002 A factorization method is proposed for identification of Volterra systems of order n and analyses the stability of the systems constructed by this method. An optimization method is also suggested to generate optimal systems which minimize system response
Brenner, Marty, Xu, Yuesheng
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
RICCATI EQUATION, FACTORIZATION METHOD AND SHAPE INVARIANCE
, 2000 The basic concepts of factorizable problems in one-dimensional Quantum Mechanics, as well as the theory of Shape Invariant potentials are reviewed. The relation of this last theory with a generalization of the classical Factorization Method presented by
JOSÉ F. CARIÑENA, ARTURO RAMOS
core +1 more source
Analysis of the factorization method for a general class of boundary conditions [PDF]
, 2013 SubmittedInternational audienceWe analyze the factorization method (introduced by Kirsch in 1998 to solve inverse scattering problems at fixed frequency from the farfield operator) for a general class of boundary conditions that generalizes impedance ...
Chaulet, Nicolas +2 more
core +1 more source
On the Minres Method of Factor Analysis [PDF]
SIAM Journal on Scientific and Statistical Computing, 1985 Implementation and convergence properties by a minimum residuals Gauss- Seidel algorithm of the factor analysis problem: \[ _{C}\| C-\hat C\|,\quad \hat C=AA^ T,\quad z=Af+u, \] are investigated. Account is taken of the constraints \(\sum^{m}_{p=1}a^ 2_{jp}\leq 1\) in the block Gauss algorithm.
openaire +2 more sources
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
The Factorization Method with Linear Motions
, 1999 In this paper we describe the factorization method with linear motions. We design an unified representation of scene structure and moving objects by assuming that the objects are moving linearly and with constant speeds.
Takeo Kanade, Mei Han, Mei Han Takeo
core +1 more source
The Scientific World Journal, 2013 In the paper, we consider the problem of pricing options in wide classes of Lévy processes. We propose a general approach to the numerical methods based on a finite difference approximation for the generalized Black-Scholes equation.
Oleg Kudryavtsev
doaj +1 more source