Results 51 to 60 of about 550,405 (266)
Saturation Numbers of Books [PDF]
The Electronic Journal of Combinatorics, 2008 A book $B_p$ is a union of $p$ triangles sharing one edge. This idea was extended to a generalized book $B_{b,p}$, which is the union of $p$ copies of a $K_{b+1}$ sharing a common $K_b$. A graph $G$ is called an $H$-saturated graph if $G$ does not contain $H$ as a subgraph, but $G\cup \{xy\}$ contains a copy of $H$, for any two nonadjacent vertices $x$
Guantao Chen +2 more
openaire +3 more sources
Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations
FEBS Letters, EarlyView.The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas +6 more
wiley +1 more source
Dynamic Tensile Strength of Dry and Saturated Hard Coal under Impact Loading
Energies, 2020 To evaluate the influence of water content on the hard coal dynamic behavior, the dynamic tensile properties of saturated coal Brazilian disk (BD) samples were studied using a split Hopkinson pressure bar system, and dry samples were also tested as a ...
Xianlei Zhu +3 more
doaj +1 more source
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
Abstract Proof by induction is commonplace in modern mathematics and computational logic. This paper overviews and discusses our recent results in turning saturation-based first-order theorem proving into a powerful framework for automating inductive reasoning.
Laura Kovács +3 more
openaire +1 more source
Reconstructing enzyme evolution by protein engineering
FEBS Letters, EarlyView.Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler +2 more
wiley +1 more source
Environmental Chemistry and Ecotoxicology, 2022 In this study, corn cob biochar-established Vertical-Flow Constructed Wetland (saturated and semi-saturated systems) with varying oxygen supplying blueprints were initiated to purge methane-fermented wastewater from a piggery farm.
Obey Gotore +2 more
doaj +1 more source
Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic
Notre Dame Journal of Formal Logic, 2011 We discuss automorphisms of saturated models of PA and boundedly saturated models of PA. We show that Smorynski's Lemma and Kaye's Theorem are not only true for countable recursively saturated models of PA but also true for all boundedly saturated models of PA with slight modifications.
Nurkhaidarov, Ermek S., Shochat, Erez
openaire +2 more sources
Investigating transcription factor dynamics in health and disease using FRAP
FEBS Letters, EarlyView.FRAP analysis of GFP‐tagged transcription factors reveals how molecular mobility and target engagement change in response to drug treatment. By combining live‐cell imaging, quantitative model fitting, and statistical analysis, this approach uncovers transcription factor dynamics linked to disease mechanisms, providing a powerful framework for ...
Kannan Govindaraj +3 more
wiley +1 more source
Microbiome‐blood–brain barrier interactions in aging — mechanisms and therapeutic potential
FEBS Letters, EarlyView.Aging reshapes the gut microbiome (↓SCFA‐producing commensals; ↑pro‐inflammatory outputs), shifting circulating metabolites (↓SCFAs; ↑LPS, ↑TMAO, ↑PAA) that act at the BBB to increase nonspecific transcytosis, alter transport, and promote astrocyte reactivity, heightening brain vulnerability.
Daniel Cuervo‐Zanatta +3 more
wiley +1 more source