Results 31 to 40 of about 28,511 (261)
Termination orderings for rippling [PDF]
, 1994 Rippling is a special type of rewriting developed for inductive theorem proving. Bundy et. al. have shown that rippling terminates by providing a well-founded order for the annotated rewrite rules used by rippling. Here, we simplify and generalize this order, thereby enlarging the class of rewrite rules that can be used.
Basin, D., Walsh, T.
openaire +3 more sources
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
BMC Medical EducationBackground With the global shift from curative to preventive care, an increasing number of physicians venture in the field of public health (PH), which could entail changes in their scope of practice and professional identity.
Yvonne C. Verlind-Brouwer +3 more
doaj +1 more source
Liver organoids: modelling complexity in homeostasis and disease
FEBS Letters, EarlyView.Studying liver in vitro has been challenging because simple 2D cell cultures fail to capture liver's cellular and architectural complexity. To bridge this gap, scientists increasingly use organoids, 3D liver models which better mimic liver composition and function. This review examines recent advances in liver organoid complexity and realism, discusses
Anna M. Dowbaj, Meritxell Huch
wiley +1 more source
ICTACT Journal on Communication Technology, 2021 In the present paper three evolutionary algorithms are compared and discussed for synthesizing a linear array of dipole antenna of half-wavelength oriented horizontally. All the dipoles are mutually coupled and designed to radiate the flat-top beam (FTB)
Hemant Patidar +4 more
doaj +1 more source
Ligand‐dependent transcriptional heterogeneity in cell cycle gene expression delays G1/S entry
FEBS Letters, EarlyView.EGF and HRG induce distinct G1/S progression programs in ErbB2‐amplified BT474 breast cancer cells. Despite activating the potent ErbB2–ErbB3 heterodimer, HRG does not accelerate cell‐cycle entry. Instead, EGF promotes earlier restriction‐point passage via ERK–FOS signaling, whereas HRG activates the AKT–MYC axis, driving transcriptional heterogeneity ...
Ririn Rahmala Febri +5 more
wiley +1 more source
Frontiers in Systems Neuroscience, 2010 The focus of most research on auditory cortical neurons has concerned the effects of rather simple stimuli, such as pure tones or broadband noise, or the modulation of a single acoustic parameter.
Kevin N. O'Connor +3 more
doaj +1 more source
Structural and biochemical analysis of a B12 superbinder
FEBS Letters, EarlyView.BtuG proteins are vitamin B12 scavengers in Bacteroides thetaiotaomicron, a dominant human gut bacterium. We present crystal structures of three BtuG homologs bound to cobalamin and its precursor cobinamide, revealing picomolar binding affinities, among the highest known for any natural protein.
Jose M. Martinez Felices +3 more
wiley +1 more source
Zhongguo yiliao qixie zazhiThis paper introduces and analyzes the principles and structure inside the high-voltage generator, and for the first time proposes the viewpoint that using an inverter to increase the inverter frequency can enhance the imaging performance of the digital ...
Tao LI, Xiaobin MA, Zheng FAN
doaj +1 more source