Results 41 to 50 of about 372,766 (340)
Tracking Heaps That Hop with Heap-Hop [PDF]
, 2010 Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and post-conditions and loop invariants, written in a fragment of separation logic. Communications are governed by a form of session types called contracts.
Jules Villard +2 more
openaire +1 more source
CORVET, CHEVI and HOPS – multisubunit tethers of the endo-lysosomal system in health and disease
Journal of Cell Science, 2019 Multisubunit tethering complexes (MTCs) are multitasking hubs that form a link between membrane fusion, organelle motility and signaling. CORVET, CHEVI and HOPS are MTCs of the endo-lysosomal system.
Jan van der Beek +4 more
semanticscholar +1 more source
Kvasný průmysl, 2007 Post harvest drying of green hops causes loss of some antioxidative activity. This loss does not generally exceed 5 % of the original RADPPH value. Drying also affected decrease in polyphenol substances content.
Karel KROFTA +2 more
doaj +1 more source
Setting of import tolerance for cyflufenamid in hops
EFSA Journal, 2021 In accordance with Article 6 of Regulation (EC) No 396/2005, the applicant Nisso Chemical Europe GmbH submitted a request to the competent national authority in Greece to set an import tolerance for the active substance cyflufenamid in hops.
European Food Safety Authority (EFSA) +20 more
doaj +1 more source
Microorganisms, 2023 Poultry litter is a valuable crude protein feedstuff for ruminants, but it must be treated to kill pathogens before feeding. Composting effectively kills pathogens, but it risks losing ammonia to volatilization or leaching during degradation of uric acid
Yamicela Castillo-Castillo +9 more
doaj +1 more source
The emergence and fate of horizontally acquired genes in Escherichia coli [PDF]
, 2008 Bacterial species, and even strains within species, can vary greatly in their gene contents and metabolic capabilities. We examine the evolution of this diversity by assessing the distribution and ancestry of each gene in 13 sequenced isolates of ...
Passel, M.W.J., van +2 more
core +2 more sources
Hop-off hop-on: Assimilates on the road
Journal of Plant Physiology, 2021 Solutes are subject of constant release and retrieval processes during long distance transport in higher plants. In the stem, sugars and amino acids are used for storage or for nutrition of parenchymatic tissues. Modification of export/import capacities along the transport phloem might provide a powerful tool to enhance the productivity of crop plants.
openaire +2 more sources
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2020 We consider versions of the grasshopper problem (Goulko & Kent 2017 Proc. R. Soc. A 473 , 20170494) on the circle and the sphere, which are relevant to Bell inequalities. For a circle of circumference 2 π , we show that for unconstrained lawns of any length and arbitrary jump ...
Dmitry Chistikov +3 more
openaire +5 more sources
Sustainable development – a new trend of retail chain reporting in the Republic of Croatia
Ekonomski VjesnikPurpose: The aim of this paper is to collect and analyze data on sustainable development of nine leading retail chains in the Republic of Croatia (according to sales revenue in 2021).
Branislav Peleš +2 more
doaj +1 more source
Biochemical composition of the hops and quality of the finished beer
, 2020 The large varieties of hops and hop products used in the brewing industry. Various in the biochemical composition, individual approaches to the brewing technology of each hop product are required in order to obtain a high-quality beer with a ...
A. Bober +7 more
semanticscholar +1 more source