Results 31 to 40 of about 264,555 (246)
The Game Saturation Number of a Graph [PDF]
Journal of Graph Theory, 2014 Given a family F and a host graph H, a graph G⊆H is F ‐saturated relative to H if no subgraph of G lies in F but adding any edge from E(H)−E(G) to G creates such a subgraph.
James M. Carraher +3 more
semanticscholar +1 more source
Reachability analysis of first-order definable pushdown systems [PDF]
, 2015 We study pushdown systems where control states, stack alphabet, and transition relation, instead of being finite, are first-order definable in a fixed countably-infinite structure.
Clemente, Lorenzo, Lasota, Sławomir
core +2 more sources
Bounded Distributed Flocking Control of Nonholonomic Mobile Robots
, 2017 There have been numerous studies on the problem of flocking control for multiagent systems whose simplified models are presented in terms of point-mass elements.
Azimi, Vahid +3 more
core +1 more source
The Flip Diameter of Rectangulations and Convex Subdivisions
, 2016 We study the configuration space of rectangulations and convex subdivisions of $n$ points in the plane. It is shown that a sequence of $O(n\log n)$ elementary flip and rotate operations can transform any rectangulation to any other rectangulation on the ...
Ackerman, Eyal +6 more
core +1 more source
FEBS Open Bio, EarlyView.In human monocytic cells THP‐1, a limited uptake of native—not oxidized—LDL/VLDL induced expression of scavenger receptor A and cellular adhesion. Induction was inhibited by lysosomotropic (WR‐1065) and lipophilic (BHT) antioxidants and by siRNAs against ferritinophagy.
Martina Čierna +4 more
wiley +1 more source
Constructing regular ultrafilters from a model-theoretic point of view [PDF]
, 2012 This paper contributes to the set-theoretic side of understanding Keisler's order. We consider properties of ultrafilters which affect saturation of unstable theories: the lower cofinality $\lcf(\aleph_0, \de)$ of $\aleph_0$ modulo $\de$, saturation of ...
Malliaris, M., Shelah, S.
core
Advanced Biology, EarlyView.A detailed workflow for recombinant GALC production and characterization is presented to support enzyme replacement therapy for Krabbe disease. In vitro assays demonstrate that physiological GALC doses restore enzymatic activity and autophagic flux without affecting cell viability, whereas higher doses impair autophagy and reduce viability.
Ambra Del Grosso +5 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This study explores aerosol jet‐printed (AJP) surface roughness, its effects on the performance of microwave electronics, and its process contributors. First, an electromagnetic model is vetted for AJP's unique roughness signature. Simulations are built which show process‐induced roughness is as significant as conductor resistivity in driving microwave
Christopher Areias, Alkim Akyurtlu
wiley +1 more source
Fixed-Wing UAV Formation Robust Fault-Tolerant Control With Switching Topologies
IEEE AccessMotivated by the demand for formation security, this paper studies the fault-tolerant control problem for fixed-wing UAV formation with switching topologies.
Jinlin Li, Fei Guo, Junmin Zhao
doaj +1 more source
Advanced Engineering Materials, EarlyView.The functional properties of Fe–Mn–Si–Cr‐based shape memory alloys are influenced, among other things, by their chemical composition. Here, the vaporization of Mn, the most volatile element of the alloy, is investigated. It is shown that the process parameters make noninterchangeable contributions to the vaporization and that vaporization differences ...
Maylin Homfeldt, Anastasiya Toenjes
wiley +1 more source