Results 11 to 20 of about 49,184 (309)
Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae
Summary: In this paper we generalize the well-known notions of Horn and \(q\)-Horn formulae. A Horn clause, by definition, contains at most one positive literal. A Horn formula contains only Horn clauses. We generalize these notions as follows. A clause is a \(w\)-Horn clause if and only if it contains at least one negative literal or it is a unit or ...
Kusper, Gábor +3 more
openaire +3 more sources
Factors reducing the detectability of train horns by road users: a laboratory study
Level crossing safety is a well-researched safety issue worldwide, but little attention has been placed on the safety benefits of using train horns when trains approach level crossings.
Watling, Christopher N. +4 more
core +1 more source
Correlation Between the Octane Number of Motor Gasoline and Its Boiling Range
A significant correlation was found between the research octane number of unleaded motor gasoline and its 90% boiling point using a computer-run regression analysis of data from European and Syrian Sources.
Hassan Al-haj Ibrahim, Mourhaf Al-Kassmi
doaj +1 more source
Ecolabels can improve public perception and farm profits for shellfish aquaculture
Ecolabels are increasingly being used to notify consumers that the labeled product imposes minimal harm to the environment or other natural resources.
M Gray +6 more
doaj +1 more source
A case of cutaneous horn of the penis is reported, which was treated by electro-surgical excision. The possible etiopathogenesis with a review of the literature is discussed herein.
S M, Tiwari, A K, Hemal
openaire +2 more sources
Car horns were originally installed in vehicles for safety. However, many urban areas in several countries face noise problems related to the use of car and motorbike horns. To propose measures to suppress the use of horns, relationships between horn use
Masayuki Takada +7 more
doaj +1 more source
BACKGROUND: The anatomical localisation of the odour glands, which increase activity during the reproduction period and help goat species to find each other, varies.
S. Dalga +3 more
doaj +1 more source
Bivalve aquaculture relies on naturally occurring phytoplankton, zooplankton, and detritus as food sources, thereby avoiding external nutrient inputs that are commonly associated with finfish aquaculture.
JM Testa +7 more
doaj +1 more source
Thermal Treatment of Syrian Sponge Coke
Samples of Syrian sponge coke were thermally treated at high temperatures and increased residence time. A coke of higher quality was thereby obtained, with reduced sulphur content and higher real density.
Hassan Al-Haj Ibrahim
doaj +1 more source

