Results 31 to 40 of about 146,662 (295)
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 +2 more sources
The Case for Hop-by-Hop Traffic Engineering
CoRR, 2020 State-of-the-art Internet traffic engineering uses source-based explicit routing via MPLS or Segment Routing. Though widely adopted in practice, source routing can face certain inefficiencies and operational issues, caused by its use of bandwidth reservations.
Klaus Schneider 0004 +3 more
openaire +2 more sources
New Varieties and Perspective Genotypes of Hops
Kvasný průmysl, 2017 Hop breeding in Czech Republic has been aimed at aroma and bitter hops for a long time. Recently, we have managed to get some new genotypes with a specifi c fl avour. In 2017 Gaia and Boomerang have been released.
Vladimír Nesvadba +2 more
doaj +1 more source
Acta Agriculturae Slovenica, 2021 Wireworms are larvae of click beetles (Coleoptera: Elateridae) and are well known pests of economic importance. Knowing the species diversity in a particular area is important, as the ecological requirements and consequent management strategies of ...
Eva PRAPROTNIK +2 more
doaj +1 more source
BMC Plant Biology, 2021 Background Hop (Humulus lupulus L.) bitter acids are valuable metabolites for the brewing industry. They are biosynthesized and accumulate in glandular trichomes of the female inflorescence (hop cone). The content of alpha bitter acids, such as humulones,
Josef Patzak +2 more
doaj +1 more source
Foods, 2022 Hop essential oil, in addition to alpha-acids, is one of the most valuable parameters for brewers, since it is responsible for beer aroma. The hop oil content and hop oil chemical composition deliver various aromas to beer.
Ksenija Rutnik +2 more
doaj +1 more source
Plants, 2021 Hemp (Cannabis sativa L.) cannabinoids and terpenoids have therapeutic effects on human and animal health. Cannabis plants can often have a relatively high heterogeneity, which leads to different phenotypes that have different chemical profiles despite ...
Marjeta Eržen +4 more
doaj +1 more source
Plant, Soil and Environment, 2010 The influence of mechanized cutting time on the yield and quality of hops was studied for three years (2007, 2008 and 2009) in three Czech hybrid varieties Harmonie, Rubín and Agnus.
K. Krofta, J. Ježek
doaj +1 more source
New hop variety Agnus as the result of breeding process innovation in the Czech Republic
Plant, Soil and Environment, 2002 In the 90th, a methodology of hop breeding was innovated in the Czech Republic. Registration of a new variety Agnus in 2001 represents the result of the innovation mentioned above.
V. Nesvadba, K. Krofta
doaj +1 more source
Hip-Hop Mundial: Latino Voices, Global Hip-Hop, and the Academy [PDF]
, 2014 Reznowski, Gabriella. "Hip-Hop Mundial: Latino Voices, Global Hip-Hop, and the Academy." Shirey, Lynn. Popular Culture : Arts and Social Change in Latin America: Papers of the Fifty-Seventh Annual Meeting of the Seminar on the Acquisition of Latin ...
Reznowski, Gabriella
core +2 more sources