Results 51 to 60 of about 1,050,141 (264)
The Journal of Logic Programming, 1999 Summary: Modes were introduced in logic programming to differentiate the input arguments of a predicate from its output arguments. This information can be used for verifying the most diverse properties of logic programs, notably absence of run-time errors and absence of deadlocks in presence of delay declarations.
Sandro Etalle, Maurizio Gabbrielli
openaire +6 more sources
Pathogens, 2021 Salpingitis is manifested as hemorrhagic follicular inflammation exudations and peritonitis, leading to reduced egg production and high culling of breeder flocks.
Huanxin Fang +7 more
doaj +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
Czech Journal of Animal Science, 2015 The objective of the experiment was to determine the effects of different levels of phytase (0, 150, 250, and 350 phytase units (FTU)/kg; F) produced by Aspergillus niger in the diets of hens fed decreased contents of non-phytate phosphorus (1.8 and 2.1 ...
M. Englmaierová +5 more
doaj +1 more source
Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation
FEBS Letters, EarlyView.Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz +11 more
wiley +1 more source
The Journal of Poultry Science, 2007 Two separate randomised block design experiments were each carried out for 13 months to investigate the effects of replacing, in-part, soybean meal (SBM) and wheat by graded levels of faba beans (FB) and field pea (FP) in a basal diet of wheat-SBM ...
Fidelis Fru-Nji +2 more
doaj +1 more source
The ubiquitin ligase RNF115 is required for the clearance of damaged lysosomes
FEBS Letters, EarlyView.Upon lysosomal rupture, an E3 ubiquitin ligase RNF115 translocates from the cytosol to the damaged lysosomal membrane. Moreover, RNF115 depletion impairs the clearance of damaged lysosomes, identifying it as a key regulator of lysosomal quality control.
Sae Nakanaga +3 more
wiley +1 more source
Antioxidants, 2019 High dietary levels of molybdenum (MO) can negatively affect productive performances and health status of laying hens, while tea polyphenol (TP) can mitigate the negative impact of high MO exposure. However, our understanding of the changes induced by TP
Jianping Wang +10 more
doaj +1 more source
FEBS Letters, EarlyView.Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil +4 more
wiley +1 more source
DAIMI Report Series, 1992 We review the concept of logical relations and how they interact with structural induction, furthermore we give examples of their use, and of particular interest is the combination with the PER-idea (partial equivalence relations). This is then generalized to Kripke logical relations; the major application is to show that in combination with the PER ...
Flemming Nielson, Hanne Riis Nielson
openaire +2 more sources