Results 131 to 140 of about 3,152,534 (307)
A proof system for the first-order relational calculus
Journal of Computer and System Sciences, 1980 AbstractA consistent and complete proof system is given for the first-order relational calculus. The system is based on the Analytic Tableaux method for first-order predicate calculus. The compactness theorem for the system is then derived.
openaire +2 more sources
Analysis of Least Squares Finite Element Methods for A Parameter-Dependent First-Order System
, 1997 A parameter-dependent first-order system arising from elasticity problems is introduced. The system corresponds to the 2D isotropic elasticity equations under a stress-pressure-displacement formulation in which the nonnegative parameter measures the ...
Jinn-liang Liu, Suh-yuh Yang
core
MiR‐513a promotes human erythroid differentiation by modulating c‐Jun
FEBS Open Bio, EarlyView.During early human erythropoiesis, miR‐513a promoted erythroid differentiation in primary human CD34+ hematopoietic stem‐progenitor cells and human TF‐1 erythroleukemic cells by indirectly decreasing c‐Jun and phospho‐c‐Jun expression, which are associated with increased GATA1 expression.
MinJung Kim +11 more
wiley +1 more source
A FIRST ORDER SYSTEM LEAST SQUARES METHOD FOR THE HELMHOLTZ EQUATION
, 2016 . We present a first order system least squares (FOSLS) method for the Helmholtz equation at high wave number k, which always deduces Hermitian positive definite algebraic system.
Weifeng Qiu, Huangxin Chen
core
Evolutionarily divergent DUF4465 domains have a common vitamin B12‐binding function
FEBS Open Bio, EarlyView.We show that DUF4465 family proteins, widespread across bacteria from gut microbiomes, hydrothermal vents, and soil, share a common vitamin B12‐binding function. These augmented β‐jellyroll proteins bind vitamin B12 via extended loops. Our findings establish sequence‐diverse DUF4465 proteins as a widespread class of B12‐binding proteins, highlighting ...
Charlea Clarke +4 more
wiley +1 more source
First-Order System Least-Squares for Second-Order Partial Differential Equations: Part II
, 1994 . This paper develops a least-squares functional that arises from recasting general second-order uniformly elliptic partial differential equations in n = 2 or 3 dimensions as a system of first-order equations.
Thomas A. Manteuffel +3 more
core
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 +6 more
wiley +1 more source
A Scripting Language for Embedded Software Automatic Test
Kongzhi Yu Xinxi Jishu, 2019 In order to improve the convenience of human-computer interaction and the maintainability of test cases in black-box automated testing, a script language based on natural language was proposed in this paper.
LONG Xiaoqi +4 more
doaj
FEBS Open Bio, EarlyView.Bioscience students were asked for their opinions on the value and teaching of skills. 204 responded that teamwork, time management and study skills are necessary to reach University, that scientific writing, research, laboratory and presentation skills are taught effectively during their studies, while other skills are gained inherently through study ...
Janella Borrell, Susan Crennell
wiley +1 more source
Why human connection is the true metric of research success
FEBS Open Bio, EarlyView.Human‐centred mentorship can be shaped by mentor attributes, actions, intrinsic drive and career ambition. Drawing on reflections across Singapore and France, as well as workshop insights from FEBS‐IUBMB ENABLE 2024, this article shows that human‐centred mentorship creates the conditions for sustainable growth, well‐being and retention in research ...
Timothy Lin Yun Tan +3 more
wiley +1 more source