Results 81 to 90 of about 16,427,329 (274)
Admissibility, compatibility, and deducibility in first-order sequent logics [PDF]
Computer Science Journal of Moldova, 2015 The paper is about the notions of admissibility and compatibility and their significance for deducibility in different sequent logics including first-order classical and intuitionistic ones both without and with equality and, possibly, with modal rules.
Alexander Lyaletski
doaj
Fluctuation Induced First Order Phase Transitions
, 1993 We study a $U(N)\times U(N)$ symmetric scalar field model in four and three dimensions. First, using our data in four dimensions in the weak coupling region, we demonstrate explicitly that the observed first order phase transition is induced by quantum ...
Amit +8 more
core +2 more sources
First-Order Formative Rules [PDF]
, 2014 Extended version of a paper which is to appear in the proceedings of RTA-TLCA 2014 (Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications)
Fuhs, Carsten, Kop, C.
openaire +2 more sources
Calpain small subunit homodimerization is robust and calcium‐independent
FEBS Letters, EarlyView.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
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
First order formalism for generalized vortices
Nuclear Physics B, 2018 This work develops a procedure to find classes of Lagrangian densities that describe generalizations of the Abelian Maxwell–Higgs, the Chern–Simons–Higgs and the Maxwell–Chern–Simons–Higgs models.
D. Bazeia +4 more
doaj +1 more source
FOLE: The First-order Logical Environment
, 2013 This paper describes the first-order logical environment FOLE. Institutions in general, and logical environments in particular, give equivalent heterogeneous and homogeneous representations for logical systems.
Kent, Robert E.
core +1 more source
First Order Vortex Dynamics [PDF]
Annals of Physics, 1997 A non-dissipative model for vortex motion in thin superconductors is considered. The Lagrangian is a Galilean invariant version of the Ginzburg--Landau model for time-dependent fields, with kinetic terms linear in the first time derivatives of the fields.
openaire +3 more sources
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
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